Matches in Wikidata for { <http://www.wikidata.org/entity/Q7782343> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q7782343 description "Software" @default.
- Q7782343 description "automated theorem proving system for first-order and higher-order logic" @default.
- Q7782343 description "perangkat lunak" @default.
- Q7782343 description "програмне забезпечення" @default.
- Q7782343 name "Teoremo-Pruvanta Sistemo" @default.
- Q7782343 name "Theorem Proving System" @default.
- Q7782343 name "Theorem Proving System" @default.
- Q7782343 type Item @default.
- Q7782343 label "Teoremo-Pruvanta Sistemo" @default.
- Q7782343 label "Theorem Proving System" @default.
- Q7782343 label "Theorem Proving System" @default.
- Q7782343 altLabel "TPS" @default.
- Q7782343 altLabel "TPS" @default.
- Q7782343 prefLabel "Teoremo-Pruvanta Sistemo" @default.
- Q7782343 prefLabel "Theorem Proving System" @default.
- Q7782343 prefLabel "Theorem Proving System" @default.
- Q7782343 P178 Q7782343-cc092b08-4e51-c7c1-e424-51f16848e6ca @default.
- Q7782343 P2078 Q7782343-6eb2d752-4fc8-d366-1954-6832aa6d2390 @default.
- Q7782343 P277 Q7782343-a544e870-46a5-8272-ac55-bb5847c27bd5 @default.
- Q7782343 P31 Q7782343-3AEABD39-4D5C-4D58-A63A-EC0D33E50758 @default.
- Q7782343 P366 Q7782343-C911ED5A-109C-4F98-949B-FDC82B9BFD89 @default.
- Q7782343 P6366 Q7782343-BAAD95D8-61CB-4502-A576-99D84B916E73 @default.
- Q7782343 P646 Q7782343-7C9212B4-AE7C-4E58-AFB6-74E5DFA980AE @default.
- Q7782343 P856 Q7782343-2a0c1c0e-43f0-d3fb-87d0-adaefeef998f @default.
- Q7782343 P6366 2776671111 @default.
- Q7782343 P178 Q190080 @default.
- Q7782343 P2078 tps-etps.ps @default.
- Q7782343 P277 Q849146 @default.
- Q7782343 P31 Q11387554 @default.
- Q7782343 P366 Q336 @default.
- Q7782343 P6366 "2776671111" @default.
- Q7782343 P646 "/m/0chmvs" @default.
- Q7782343 P856 tps.html @default.