Matches in Wikidata for { <http://www.wikidata.org/entity/Q106785191> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q106785191 description "wetenschappelijk artikel" @default.
- Q106785191 description "наукова стаття" @default.
- Q106785191 name "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 name "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 type Item @default.
- Q106785191 label "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 label "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 prefLabel "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 prefLabel "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 P1433 Q106785191-447F6B93-60C4-41C0-B080-40DD9E744117 @default.
- Q106785191 P1476 Q106785191-92652BAC-AF7C-4A2F-B6B8-8FE715E83B79 @default.
- Q106785191 P304 Q106785191-257E8E55-2149-45E6-9D06-8FEEF773487F @default.
- Q106785191 P31 Q106785191-CC5F5F2C-E3CB-425C-9B6A-3B374AE34D23 @default.
- Q106785191 P356 Q106785191-2AD76EB2-9E5F-4371-8710-385EBCBAD13A @default.
- Q106785191 P433 Q106785191-33E4BC77-DEF7-4B09-ACFA-26BB9C383B55 @default.
- Q106785191 P478 Q106785191-90BB701F-6943-479E-A310-9B62567CCD05 @default.
- Q106785191 P50 Q106785191-62F0CC1B-3071-42D8-84E1-9DC26156E7D8 @default.
- Q106785191 P50 Q106785191-654C6F5F-DA4B-4FC7-9A2A-E7CEA5D3D562 @default.
- Q106785191 P577 Q106785191-820304BA-35D4-48F8-80EE-313F02203D30 @default.
- Q106785191 P6104 Q106785191-43A5F6B6-A7FC-445E-A8E7-457A2B3705D3 @default.
- Q106785191 P6366 Q106785191-0449C28A-F4E9-498D-83FA-8C35A4F45E5A @default.
- Q106785191 P889 Q106785191-C1057DBE-60AD-4F48-AFF1-785AD28AC63A @default.
- Q106785191 P894 Q106785191-B879D342-FDAA-4506-9A75-59E4EFB59C6C @default.
- Q106785191 P921 Q106785191-6751D494-6B79-4A4D-8603-094A07873784 @default.
- Q106785191 P356 BF01625836 @default.
- Q106785191 P6366 2078618964 @default.
- Q106785191 P1433 Q4787265 @default.
- Q106785191 P1476 "The number of proof lines and the size of proofs in first order logic" @default.
- Q106785191 P304 "69-84" @default.
- Q106785191 P31 Q13442814 @default.
- Q106785191 P356 "10.1007/BF01625836" @default.
- Q106785191 P433 "1" @default.
- Q106785191 P478 "27" @default.
- Q106785191 P50 Q62560079 @default.
- Q106785191 P50 Q79089251 @default.
- Q106785191 P577 "1988-03-01T00:00:00Z" @default.
- Q106785191 P6104 Q8487137 @default.
- Q106785191 P6366 "2078618964" @default.
- Q106785191 P889 "955313" @default.
- Q106785191 P894 "0644.03032" @default.
- Q106785191 P921 Q11538 @default.