Matches in Wikidata for { <http://www.wikidata.org/entity/Q57309877> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q57309877 description "article scientifique publié en 1986" @default.
- Q57309877 description "article" @default.
- Q57309877 description "wetenschappelijk artikel" @default.
- Q57309877 description "наукова стаття, опублікована в 1986" @default.
- Q57309877 name "The KRIPKE automated theorem proving system" @default.
- Q57309877 name "The KRIPKE automated theorem proving system" @default.
- Q57309877 type Item @default.
- Q57309877 label "The KRIPKE automated theorem proving system" @default.
- Q57309877 label "The KRIPKE automated theorem proving system" @default.
- Q57309877 prefLabel "The KRIPKE automated theorem proving system" @default.
- Q57309877 prefLabel "The KRIPKE automated theorem proving system" @default.
- Q57309877 P1433 Q57309877-271F2AD9-E726-49BE-9A22-98E1E69CCC7F @default.
- Q57309877 P1476 Q57309877-A2E7C9C1-B9A0-4F83-BE70-41BE84C78104 @default.
- Q57309877 P2093 Q57309877-55A37403-CAF7-4158-875D-94BD4891C94A @default.
- Q57309877 P2093 Q57309877-C3B13191-37F7-4813-AFA9-173B8FC95B7E @default.
- Q57309877 P2093 Q57309877-DC099E04-986E-4BFA-85CE-EA02CEF6A634 @default.
- Q57309877 P304 Q57309877-FE1CDFA5-4632-4215-95FA-CC4728D50B70 @default.
- Q57309877 P31 Q57309877-AC252A1C-5C7A-489C-98EB-2D39F176592D @default.
- Q57309877 P356 Q57309877-D0A02295-5070-4304-B20A-2075210E7316 @default.
- Q57309877 P407 Q57309877-D00B0461-E007-462A-93BB-4B92762B92EE @default.
- Q57309877 P577 Q57309877-E01A129F-1C42-45AE-A4A5-F9ED965D003D @default.
- Q57309877 P8978 Q57309877-C157C893-F756-4ADF-89F8-FBBCACB7B4E8 @default.
- Q57309877 P921 Q57309877-CE50366A-B756-44C9-A61D-CB959F7A4800 @default.
- Q57309877 P921 Q57309877-F677BE38-B7CC-4A0B-9D32-FF247695C9EC @default.
- Q57309877 P356 3-540-16780-3_147 @default.
- Q57309877 P8978 ThistlewaiteMM86 @default.
- Q57309877 P1433 Q924044 @default.
- Q57309877 P1476 "The KRIPKE automated theorem proving system" @default.
- Q57309877 P2093 "Michael A. McRobbie" @default.
- Q57309877 P2093 "Paul B. Thistlewaite" @default.
- Q57309877 P2093 "Robert K. Meyer" @default.
- Q57309877 P304 "705-706" @default.
- Q57309877 P31 Q13442814 @default.
- Q57309877 P356 "10.1007/3-540-16780-3_147" @default.
- Q57309877 P407 Q1860 @default.
- Q57309877 P577 "1986-01-01T00:00:00Z" @default.
- Q57309877 P8978 "conf/cade/ThistlewaiteMM86" @default.
- Q57309877 P921 Q184199 @default.
- Q57309877 P921 Q431667 @default.