Matches in Wikidata for { <http://www.wikidata.org/entity/Q59900280> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- Q59900280 description "article scientifique publié en 2014" @default.
- Q59900280 description "wetenschappelijk artikel" @default.
- Q59900280 description "наукова стаття, опублікована у 2014" @default.
- Q59900280 name "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 name "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 type Item @default.
- Q59900280 label "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 label "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 prefLabel "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 prefLabel "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 P1154 Q59900280-46CE1225-34B8-4E23-A41C-A9B68A3432EC @default.
- Q59900280 P1433 Q59900280-21A89B7A-9654-45BD-9C11-4943B093FD4A @default.
- Q59900280 P1476 Q59900280-329F6DA0-2C9E-4146-89BF-C6EECACF3C03 @default.
- Q59900280 P2093 Q59900280-58E2F776-C638-49C1-9A94-73F60EC684D4 @default.
- Q59900280 P2888 Q59900280-DDED6DB0-37B8-4CA7-9D40-E4E12DF98DFE @default.
- Q59900280 P304 Q59900280-4A955867-0C14-4015-92B5-DFB74F431094 @default.
- Q59900280 P31 Q59900280-17CD5125-30CF-4E59-A478-B17CA47F8438 @default.
- Q59900280 P356 Q59900280-52543F3C-7FB2-41AC-9ED4-AE8C5938C7C4 @default.
- Q59900280 P407 Q59900280-0F5C7D66-7F0C-425F-988C-AFAEF6E31552 @default.
- Q59900280 P50 Q59900280-CC9DD726-3E6A-42BB-9955-C23A625056CA @default.
- Q59900280 P577 Q59900280-FE9F5CA1-A100-4C1B-B513-076353E0CA4D @default.
- Q59900280 P6104 Q59900280-7C78450C-8328-45E5-950A-CFBB83CACABF @default.
- Q59900280 P6179 Q59900280-59AB5104-CC2E-4DA4-9F25-AE4D43EC45FC @default.
- Q59900280 P894 Q59900280-3036DFC3-EA33-4691-B60A-F949D20BA9F9 @default.
- Q59900280 P8978 Q59900280-26CCE673-6DA6-4BBC-80AB-5C7C0B21FCA3 @default.
- Q59900280 P953 Q59900280-095AA1C1-6B7A-41EC-BB8D-86E166F86186 @default.
- Q59900280 P356 978-3-319-08587-6_32 @default.
- Q59900280 P8978 BeyersdorffC14 @default.
- Q59900280 P1154 "2-s2.0-84958541051" @default.
- Q59900280 P1433 Q924044 @default.
- Q59900280 P1476 "The Complexity of Theorem Proving in Circumscription and Minimal Entailment" @default.
- Q59900280 P2093 "Leroy Chew" @default.
- Q59900280 P2888 978-3-319-08587-6_32 @default.
- Q59900280 P304 "403-417" @default.
- Q59900280 P31 Q13442814 @default.
- Q59900280 P356 "10.1007/978-3-319-08587-6_32" @default.
- Q59900280 P407 Q1860 @default.
- Q59900280 P50 Q60022559 @default.
- Q59900280 P577 "2014-01-01T00:00:00Z" @default.
- Q59900280 P6104 Q8487137 @default.
- Q59900280 P6179 "1023336867" @default.
- Q59900280 P894 "1425.03006" @default.
- Q59900280 P8978 "conf/cade/BeyersdorffC14" @default.
- Q59900280 P953 80489 @default.