Matches in Wikidata for { <http://www.wikidata.org/entity/Q56814468> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q56814468 description "article" @default.
- Q56814468 description "im April 1968 veröffentlichter wissenschaftlicher Artikel" @default.
- Q56814468 description "wetenschappelijk artikel" @default.
- Q56814468 description "наукова стаття, опублікована у квітні 1968" @default.
- Q56814468 description "ലേഖനം" @default.
- Q56814468 name "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 name "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 type Item @default.
- Q56814468 label "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 label "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 prefLabel "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 prefLabel "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 P1433 Q56814468-DFF22AC4-DD74-4B64-B3A9-74A89A9FBBDE @default.
- Q56814468 P1476 Q56814468-F614654F-01D7-4526-B820-A485A324171C @default.
- Q56814468 P2093 Q56814468-3BC5587D-26BD-4340-A3BC-14BB3E6B3FED @default.
- Q56814468 P304 Q56814468-A0383F1E-FECC-4D53-9CD2-7D5DB9329C9C @default.
- Q56814468 P31 Q56814468-4E51B433-13D4-42E4-9203-7FD92C297AC3 @default.
- Q56814468 P356 Q56814468-D81F843D-48F0-454A-82EA-1EC7FFCAADF1 @default.
- Q56814468 P407 Q56814468-E664BFFD-C062-45F4-B19E-BDEB2ECCBF68 @default.
- Q56814468 P433 Q56814468-F9881C2A-DC57-45A6-880F-F068D37ABB19 @default.
- Q56814468 P478 Q56814468-96A862D1-2861-40E0-B4B0-8A08A1A92BD2 @default.
- Q56814468 P577 Q56814468-12AB23A6-B29F-46DF-B04D-7249C1270BB0 @default.
- Q56814468 P6104 Q56814468-867E4EFF-DB59-4345-8096-40C6A668E354 @default.
- Q56814468 P894 Q56814468-E59DB045-C559-425D-A96F-770EBB029332 @default.
- Q56814468 P8978 Q56814468-9FA40A23-273E-42AF-9604-DC948A21C96F @default.
- Q56814468 P356 321450.321456 @default.
- Q56814468 P8978 Loveland68 @default.
- Q56814468 P1433 Q1709878 @default.
- Q56814468 P1476 "Mechanical Theorem-Proving by Model Elimination" @default.
- Q56814468 P2093 "Donald W. Loveland" @default.
- Q56814468 P304 "236-251" @default.
- Q56814468 P31 Q13442814 @default.
- Q56814468 P356 "10.1145/321450.321456" @default.
- Q56814468 P407 Q1860 @default.
- Q56814468 P433 "2" @default.
- Q56814468 P478 "15" @default.
- Q56814468 P577 "1968-04-01T00:00:00Z" @default.
- Q56814468 P6104 Q8487137 @default.
- Q56814468 P894 "0162.02804" @default.
- Q56814468 P8978 "journals/jacm/Loveland68" @default.