Matches in Wikidata for { <http://www.wikidata.org/entity/Q57389433> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- Q57389433 description "article by Andreas Franke & Michael Kohlhase published 1999 in Lecture Notes in Computer Science" @default.
- Q57389433 description "wetenschappelijk artikel" @default.
- Q57389433 description "наукова стаття, опублікована в 1999" @default.
- Q57389433 name "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 name "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 type Item @default.
- Q57389433 label "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 label "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 prefLabel "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 prefLabel "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 P1433 Q57389433-D7C69A5C-A8BB-4DE0-B27A-4A44F860900D @default.
- Q57389433 P1476 Q57389433-B4E896CD-E485-42A3-9DEA-017C652D8968 @default.
- Q57389433 P2093 Q57389433-323D400E-1F8C-437D-B714-019C589DE875 @default.
- Q57389433 P304 Q57389433-21F215F7-3181-4337-BEBA-FF5A8BEF7D20 @default.
- Q57389433 P31 Q57389433-6965189B-3777-4AEE-8D8D-BAC30B98BF11 @default.
- Q57389433 P356 Q57389433-0C16AD1D-668B-472C-A75A-9F2D2FC9E719 @default.
- Q57389433 P407 Q57389433-FCD762FA-902F-4166-B77B-FA2EC1BF9C7A @default.
- Q57389433 P50 Q57389433-9BDF1CDD-7DDC-4100-9489-0266B6C23097 @default.
- Q57389433 P577 Q57389433-F77EC3E6-6E77-4530-B0B9-EBEAEF382652 @default.
- Q57389433 P8978 Q57389433-4A81645F-905C-4DD3-838C-3D2683143F44 @default.
- Q57389433 P921 Q57389433-23CD5CFD-C6D7-428B-BBBB-280AFC04B033 @default.
- Q57389433 P921 Q57389433-8AC72577-E521-40A2-846F-3A84180B9B09 @default.
- Q57389433 P356 3-540-48660-7_17 @default.
- Q57389433 P8978 FrankeK99 @default.
- Q57389433 P1433 Q924044 @default.
- Q57389433 P1476 "System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving" @default.
- Q57389433 P2093 "Andreas Franke" @default.
- Q57389433 P304 "217-221" @default.
- Q57389433 P31 Q13442814 @default.
- Q57389433 P356 "10.1007/3-540-48660-7_17" @default.
- Q57389433 P407 Q1860 @default.
- Q57389433 P50 Q91233 @default.
- Q57389433 P577 "1999-01-01T00:00:00Z" @default.
- Q57389433 P8978 "conf/cade/FrankeK99" @default.
- Q57389433 P921 Q184199 @default.
- Q57389433 P921 Q431667 @default.