Matches in Wikidata for { <http://www.wikidata.org/entity/Q1239194> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- Q1239194 description "Problem der mathematischen Logik" @default.
- Q1239194 description "computational problem" @default.
- Q1239194 description "problema computazionale" @default.
- Q1239194 name "Erfüllbarkeit von Hornformeln" @default.
- Q1239194 name "Horn-kielégíthetőség" @default.
- Q1239194 name "Horn-satisfiability" @default.
- Q1239194 name "Horn-satisfiabilité" @default.
- Q1239194 name "Horn-soddisfacibilità" @default.
- Q1239194 name "Hornova zadovoljivost" @default.
- Q1239194 name "Satisfatibilidade de Horn" @default.
- Q1239194 name "ارضاپذیری هورن" @default.
- Q1239194 type Item @default.
- Q1239194 label "Erfüllbarkeit von Hornformeln" @default.
- Q1239194 label "Horn-kielégíthetőség" @default.
- Q1239194 label "Horn-satisfiability" @default.
- Q1239194 label "Horn-satisfiabilité" @default.
- Q1239194 label "Horn-soddisfacibilità" @default.
- Q1239194 label "Hornova zadovoljivost" @default.
- Q1239194 label "Satisfatibilidade de Horn" @default.
- Q1239194 label "ارضاپذیری هورن" @default.
- Q1239194 altLabel "HORNSAT" @default.
- Q1239194 altLabel "HORNSAT" @default.
- Q1239194 altLabel "HORNSAT" @default.
- Q1239194 altLabel "HORNSAT" @default.
- Q1239194 altLabel "Horn-SAT" @default.
- Q1239194 altLabel "Horn-SAT" @default.
- Q1239194 altLabel "Horn-réalisable" @default.
- Q1239194 altLabel "Horn-satisfaisable" @default.
- Q1239194 prefLabel "Erfüllbarkeit von Hornformeln" @default.
- Q1239194 prefLabel "Horn-kielégíthetőség" @default.
- Q1239194 prefLabel "Horn-satisfiability" @default.
- Q1239194 prefLabel "Horn-satisfiabilité" @default.
- Q1239194 prefLabel "Horn-soddisfacibilità" @default.
- Q1239194 prefLabel "Hornova zadovoljivost" @default.
- Q1239194 prefLabel "Satisfatibilidade de Horn" @default.
- Q1239194 prefLabel "ارضاپذیری هورن" @default.
- Q1239194 P10374 Q1239194-c0f5f6b4-4109-ea28-7d25-11446a5d9314 @default.
- Q1239194 P138 Q1239194-bef24df7-4543-b5b9-54d4-01f8e6d7a8e5 @default.
- Q1239194 P31 Q1239194-a243f98a-4cc3-4015-941f-39f7223a3dfc @default.
- Q1239194 P6366 Q1239194-A68F0207-C0A1-463F-B207-94643B674112 @default.
- Q1239194 P646 Q1239194-63937357-429F-480F-BEA0-56F578E5B346 @default.
- Q1239194 P6366 138555303 @default.
- Q1239194 P10374 Q905789 @default.
- Q1239194 P138 Q761863 @default.
- Q1239194 P31 Q3435924 @default.
- Q1239194 P6366 "138555303" @default.
- Q1239194 P646 "/m/04k5jj" @default.