プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
verfahren nach anspruch 16, dadurch gekennzeichnet, daß die einstellbarkeit des wertes an dem parameter p von einer logischen disjunktion von wertekontexten bezüglich p benachbarter parameter abhängt und für jeden dieser wertekontexte eine eigene lokale wertbelegungsmaßnahme definiert wird.
procédé selon la revendication 16, caractérisé en ce que la capacité de réglage de la valeur du paramètre p dépend d'une disjonction logique de contextes de valeurs de paramètres voisins par rapport à p et on définit une mesure locale d'occupation de valeurs propre pour chacun de ces contextes de valeurs.
verfahren nach anspruch 13, dadurch gekennzeichnet, daß die möglichkeit, ob ein wert am parameter p auftreten kann, von einer logischen disjunktion von wertekontexten bezüglich p benachbarter parameter abhängt und für jeden dieser wertekontexte eine eigene lokale wertbelegungsmaßnahme definiert wird.
procédé selon la revendication 13, caractérisé en ce que la possibilité qu'une valeur du paramètre p puisse apparaître dépend d'une disjonction logique de contextes de valeurs de paramètres voisins par rapport à p et on définit, pour chacun de ces contextes de valeurs, une mesure locale d'occupation de valeurs propre.
computersystem zum auflösen einer logischen formel mit benutzung von vereinigung, welche logische formel eine vielzahl von termen enthält, von denen mindestens ein term ein disjunktion enthält, wobei die oder jede disjunktion eine vielzahl von disjunkten besitzt, die jeweils einen jeweiligen kontext besitzen, der das disjunkt identifiziert; und das system umfaßt: einen speicher; erste und zweite in dem speicher gespeicherte dateneinheiten, von denen die erste dateneinheit auf einen ersten der terme der logischen formeln bezogene daten enthält und die zweite dateneinheit auf einen zweiten der terme der logischen formeln bezogene daten enthält; einen ersten kontext-identifizierer, der einen ersten kontext identifiziert, welcher den jeweiligen kontext von jedem disjunkt eines ersten satzes von einem oder mehreren disjunkt(en) der logischen formel enthält; einen zweiten kontext-identifizierer, der einen zweiten kontext identifiziert, welcher den jeweiligen kontext von jedem disjunkt eines zweiten satzes von einem oder mehreren disjunkt(en) der logischen formel enthält, wobei der erste kontext auf die erste dateneinheit und der zweite kontext auf die zweite dateneinheit angewendet ist; und der erste und der zweite kontext-identifizierer in dem speicher gespeichert sind; und einen prozessor zum ausführen einer vereinigung, welcher prozessor enthält: mittel zum zugreifen auf die beiden dateneinheiten und die beiden kontext-identifizierer, und mittel zum benutzen der beiden kontext-identifizierer zur bestimmung, ob die erste und die zweite dateneinheit zu vereinigen sind oder nicht.
système d'ordinateur destiné à résoudre une formule logique en utilisant une unification, la formule logique comprenant une multitude de termes dont au moins un terme comprend une disjonction, la disjonction ou chaque disjonction comportant une multitude d'unités disjointes, chacune ayant un contexte respectif identifiant l'unité disjointe, le système comprenant : une mémoire, des première et seconde unités de données mémorisées dans la mémoire, la première unité de données comprenant des données se rapportant à un premier parmi les termes de la formule logique, et la seconde unité de données comprenant des données se rapportant à un second des termes de la formule logique, un premier identificateur de contexte identifiant un premier contexte qui comprend le contexte respectif de chacune parmi un premier ensemble d'une ou plusieurs unités disjointes de la formule logique, un second identificateur de contexte identifiant un second contexte qui comprend le contexte respectif de chacune d'un second ensemble d'une ou plusieurs unités disjointes de la formule logique, le premier contexte s'appliquant à la première unité de données et le second contexte s'appliquant à la seconde unité de données, les premier et second identificateurs de contexte étant mémorisés dans la mémoire, et un processeur destiné à effectuer une unification, le processeur comprenant : des moyens destinés à accéder aux deux unités de données et aux deux identificateurs de contexte, et des moyens destinés à utiliser les deux identificateurs de contexte pour déterminer si l'on doit unifier ou non les première et seconde unités de données.