Matches in Wikidata for { <http://www.wikidata.org/entity/Q57382729> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q57382729 description "article scientifique publié en 1989" @default.
- Q57382729 description "im September 1989 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57382729 description "wetenschappelijk artikel" @default.
- Q57382729 description "наукова стаття, опублікована у вересні 1989" @default.
- Q57382729 name "The foundation of a generic theorem prover" @default.
- Q57382729 name "The foundation of a generic theorem prover" @default.
- Q57382729 type Item @default.
- Q57382729 label "The foundation of a generic theorem prover" @default.
- Q57382729 label "The foundation of a generic theorem prover" @default.
- Q57382729 prefLabel "The foundation of a generic theorem prover" @default.
- Q57382729 prefLabel "The foundation of a generic theorem prover" @default.
- Q57382729 P1433 Q57382729-54DC1E12-CB1C-4F8E-A478-1C444EC4D30C @default.
- Q57382729 P1476 Q57382729-6828DCC7-85E0-400C-A4A6-17EA7D6B84CD @default.
- Q57382729 P2888 Q57382729-2B42231F-5C2C-4655-B7EA-DC20FF227303 @default.
- Q57382729 P304 Q57382729-7CAF866D-F0AA-4D04-B342-2FB7A7996E81 @default.
- Q57382729 P31 Q57382729-BD2BA3BC-E20E-4CC1-9E5D-8D89F03087D2 @default.
- Q57382729 P356 Q57382729-B0AADCCC-6B31-47E8-8FE0-BCA6C39C1863 @default.
- Q57382729 P433 Q57382729-4FC27F0B-3E8C-43FD-8ED3-C3223D1952DE @default.
- Q57382729 P478 Q57382729-9D50B2C0-0B30-43B8-8F22-7F39DBEAFED2 @default.
- Q57382729 P50 Q57382729-103F9F49-6503-4880-91FD-9142C96B9030 @default.
- Q57382729 P577 Q57382729-E73A019A-D584-4587-97C2-EC8CFC67EBCB @default.
- Q57382729 P6104 Q57382729-6AAF9B69-0AA8-46A3-A16F-B72492ECF402 @default.
- Q57382729 P894 Q57382729-C186A09F-87B2-47F3-A088-16C12A100AA2 @default.
- Q57382729 P8978 Q57382729-BB3CB083-810C-426B-879D-1C2E4E477E5C @default.
- Q57382729 P921 Q57382729-12A60738-1EEF-48AB-8A83-50FB4932DF0E @default.
- Q57382729 P356 BF00248324 @default.
- Q57382729 P8978 Paulson89 @default.
- Q57382729 P1433 Q6294821 @default.
- Q57382729 P1476 "The foundation of a generic theorem prover" @default.
- Q57382729 P2888 bf00248324 @default.
- Q57382729 P304 "363-397" @default.
- Q57382729 P31 Q13442814 @default.
- Q57382729 P356 "10.1007/BF00248324" @default.
- Q57382729 P433 "3" @default.
- Q57382729 P478 "5" @default.
- Q57382729 P50 Q6504468 @default.
- Q57382729 P577 "1989-09-01T00:00:00Z" @default.
- Q57382729 P6104 Q8487137 @default.
- Q57382729 P894 "0679.68173" @default.
- Q57382729 P8978 "journals/jar/Paulson89" @default.
- Q57382729 P921 Q11387554 @default.