Matches in Wikidata for { <http://www.wikidata.org/entity/Q59321365> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- Q59321365 description "im Juni 2014 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59321365 description "wetenschappelijk artikel" @default.
- Q59321365 description "наукова стаття, опублікована в червні 2014" @default.
- Q59321365 name "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 name "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 type Item @default.
- Q59321365 label "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 label "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 prefLabel "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 prefLabel "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 P1433 Q59321365-592A671A-39A0-4994-8185-F17BF0BF29B2 @default.
- Q59321365 P1476 Q59321365-E4B87622-BA3C-4C0F-AE6C-D64C5F084AE8 @default.
- Q59321365 P2093 Q59321365-F4440934-F779-4D09-A559-B17A87F6A70F @default.
- Q59321365 P275 Q59321365-db244a25-b2f9-405c-9664-f3a10f9a6b7c @default.
- Q59321365 P2860 Q59321365-126F7D38-D719-4111-846C-D0637BAD0620 @default.
- Q59321365 P2860 Q59321365-50085C8F-CBDF-4524-831E-8BC3542C9373 @default.
- Q59321365 P2860 Q59321365-8CEB48FA-7E18-485C-BB5B-8450CD83AC4A @default.
- Q59321365 P2860 Q59321365-E0E9F16E-A10C-45F1-81DC-198AB191B751 @default.
- Q59321365 P2888 Q59321365-990EDE29-BF46-4976-BE86-49D1BB0F8E0C @default.
- Q59321365 P304 Q59321365-08647B40-3274-4A7C-B1A1-AB258270FCFA @default.
- Q59321365 P31 Q59321365-C7E9DC22-F28B-44BF-9313-217FD5B13041 @default.
- Q59321365 P356 Q59321365-FADAD722-F4E8-4B12-A9FD-1405FFE384FA @default.
- Q59321365 P433 Q59321365-01EF9773-DA30-4318-8428-822AE43CA0A3 @default.
- Q59321365 P478 Q59321365-79584EFC-D356-41C8-8ADE-D0DF0F5C8C91 @default.
- Q59321365 P50 Q59321365-02417B00-BF52-4BE1-A4BE-063F768244B2 @default.
- Q59321365 P577 Q59321365-D6A574A0-EDBD-428C-AEE2-E7CBE0C5CB62 @default.
- Q59321365 P6104 Q59321365-C5A7827B-7721-4778-9D85-3CE999868B58 @default.
- Q59321365 P6216 Q59321365-41724ef9-8852-4907-9ddc-2b6e0ecc6e61 @default.
- Q59321365 P818 Q59321365-dfbb52f8-64bf-4fdb-a454-ebe72f01ba86 @default.
- Q59321365 P894 Q59321365-89770F88-8F56-466F-81E7-8765FD6F0DD0 @default.
- Q59321365 P8978 Q59321365-34AF7383-0C82-4A13-9483-D76ABDC48DF8 @default.
- Q59321365 P921 Q59321365-E49DAFB0-A477-4D11-B959-2E42D6ACC3F0 @default.
- Q59321365 P356 S10817-014-9303-3 @default.
- Q59321365 P8978 KaliszykU14 @default.
- Q59321365 P1433 Q6294821 @default.
- Q59321365 P1476 "Learning-Assisted Automated Reasoning with Flyspeck" @default.
- Q59321365 P2093 "Josef Urban" @default.
- Q59321365 P275 Q20007257 @default.
- Q59321365 P2860 Q30054495 @default.
- Q59321365 P2860 Q56001156 @default.
- Q59321365 P2860 Q56814468 @default.
- Q59321365 P2860 Q57382631 @default.
- Q59321365 P2888 s10817-014-9303-3 @default.
- Q59321365 P304 "173-213" @default.
- Q59321365 P31 Q13442814 @default.
- Q59321365 P356 "10.1007/S10817-014-9303-3" @default.
- Q59321365 P433 "2" @default.
- Q59321365 P478 "53" @default.
- Q59321365 P50 Q57556762 @default.
- Q59321365 P577 "2014-06-01T00:00:00Z" @default.
- Q59321365 P6104 Q8487137 @default.
- Q59321365 P6216 Q50423863 @default.
- Q59321365 P818 "1211.7012" @default.
- Q59321365 P894 "1314.68283" @default.
- Q59321365 P8978 "journals/jar/KaliszykU14" @default.
- Q59321365 P921 Q184199 @default.