Matches in Wikidata for { <http://www.wikidata.org/entity/Q6054337> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- Q6054337 description "conference series on automated theorem proving for first-order logic" @default.
- Q6054337 name "International Workshop on First-Order Theorem Proving" @default.
- Q6054337 name "Беренче Тәртип Теоремаларны Исбатлау буенча Халыкара Остаханә" @default.
- Q6054337 type Item @default.
- Q6054337 label "International Workshop on First-Order Theorem Proving" @default.
- Q6054337 label "Беренче Тәртип Теоремаларны Исбатлау буенча Халыкара Остаханә" @default.
- Q6054337 altLabel "FTP" @default.
- Q6054337 prefLabel "International Workshop on First-Order Theorem Proving" @default.
- Q6054337 prefLabel "Беренче Тәртип Теоремаларны Исбатлау буенча Халыкара Остаханә" @default.
- Q6054337 P1476 Q6054337-956BA368-31C8-4BFE-A1B8-463378BD8942 @default.
- Q6054337 P1813 Q6054337-e678363d-42a9-5b4b-1a39-2fec8f671e59 @default.
- Q6054337 P2699 Q6054337-b6e1ee6b-4379-81ce-616d-1c2b4d32139e @default.
- Q6054337 P31 Q6054337-6428d899-4621-079d-2d99-f95f352171e7 @default.
- Q6054337 P646 Q6054337-902411D5-CFC9-4C42-BF50-DD44F7E608C7 @default.
- Q6054337 P8926 Q6054337-97464ac4-41c9-8cbd-4f96-b3d0f2088eb5 @default.
- Q6054337 P921 Q6054337-0e0ec4b3-41a1-7a97-94d5-a219c35061d6 @default.
- Q6054337 P921 Q6054337-2eb771ed-4a77-bf3b-6a03-e7c851716bc1 @default.
- Q6054337 P1476 "International Workshops on First Order Theorem Proving" @default.
- Q6054337 P1813 "FTP" @default.
- Q6054337 P2699 ftp @default.
- Q6054337 P31 Q47258130 @default.
- Q6054337 P646 "/m/04gpdct" @default.
- Q6054337 P8926 "conf/ftp" @default.
- Q6054337 P921 Q4055684 @default.
- Q6054337 P921 Q431667 @default.