Matches in Wikidata for { <http://www.wikidata.org/entity/Q1307834> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q1307834 description "Lösungsschritt zur Vereinfachung einer Menge von logischen Aussagen" @default.
- Q1307834 description "algoritmo di deduzione automatica" @default.
- Q1307834 description "procedure of automated theorem proving" @default.
- Q1307834 name "Egységszaporítás" @default.
- Q1307834 name "Einheitsresolution" @default.
- Q1307834 name "One-literal rule" @default.
- Q1307834 name "Unit propagation" @default.
- Q1307834 name "propagation unitaire" @default.
- Q1307834 name "propagazione unitaria" @default.
- Q1307834 type Item @default.
- Q1307834 label "Egységszaporítás" @default.
- Q1307834 label "Einheitsresolution" @default.
- Q1307834 label "One-literal rule" @default.
- Q1307834 label "Unit propagation" @default.
- Q1307834 label "propagation unitaire" @default.
- Q1307834 label "propagazione unitaria" @default.
- Q1307834 altLabel "BCP" @default.
- Q1307834 altLabel "Boolean Constraint propagation" @default.
- Q1307834 altLabel "OLR" @default.
- Q1307834 altLabel "OLR" @default.
- Q1307834 altLabel "UP" @default.
- Q1307834 altLabel "one-literal rule" @default.
- Q1307834 prefLabel "Egységszaporítás" @default.
- Q1307834 prefLabel "Einheitsresolution" @default.
- Q1307834 prefLabel "One-literal rule" @default.
- Q1307834 prefLabel "Unit propagation" @default.
- Q1307834 prefLabel "propagation unitaire" @default.
- Q1307834 prefLabel "propagazione unitaria" @default.
- Q1307834 P2159 Q1307834-c2715daf-41b5-ee45-75ae-04ef6ef1addb @default.
- Q1307834 P2581 Q1307834-0B78F53A-9D8A-4410-BBCA-BD63537B26B1 @default.
- Q1307834 P279 Q1307834-a44bd6e7-4317-6ed5-7295-c7705db181b8 @default.
- Q1307834 P361 Q1307834-bffcdfcc-4315-6324-71bb-e9f72273b8e9 @default.
- Q1307834 P6366 Q1307834-844DBDAA-9E76-476B-8FA5-CD5BBE38DBBD @default.
- Q1307834 P646 Q1307834-6D6539C2-8626-46B4-B12C-30EFB0860EA3 @default.
- Q1307834 P2581 s02090720n @default.
- Q1307834 P6366 166091005 @default.
- Q1307834 P2159 Q1239194 @default.
- Q1307834 P2581 "02090720n" @default.
- Q1307834 P279 Q1051925 @default.
- Q1307834 P361 Q2030088 @default.
- Q1307834 P6366 "166091005" @default.
- Q1307834 P646 "/m/07_kj9" @default.