Matches in Wikidata for { <http://www.wikidata.org/entity/Q7912960> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q7912960 description "Software" @default.
- Q7912960 description "automatic theorem prover" @default.
- Q7912960 description "perangkat lunak Andrei Voronkov" @default.
- Q7912960 description "програмне забезпечення" @default.
- Q7912960 description "ソフトヱヤ" @default.
- Q7912960 name "Vampire theorem prover" @default.
- Q7912960 name "Vampire theorem prover" @default.
- Q7912960 type Item @default.
- Q7912960 label "Vampire theorem prover" @default.
- Q7912960 label "Vampire theorem prover" @default.
- Q7912960 altLabel "Vampire" @default.
- Q7912960 prefLabel "Vampire theorem prover" @default.
- Q7912960 prefLabel "Vampire theorem prover" @default.
- Q7912960 P10283 Q7912960-5150EF74-C57B-4B07-89C3-7C15608DCCEF @default.
- Q7912960 P1324 Q7912960-87E0D850-A555-4B67-B967-DB59324A1DB0 @default.
- Q7912960 P17 Q7912960-4CF50FCA-C3EE-4C84-AE8D-393A9C776827 @default.
- Q7912960 P178 Q7912960-D4A500D6-8BBF-4AC0-B98B-952D7AFC40ED @default.
- Q7912960 P31 Q7912960-BA464322-3F48-4F30-BB3F-5D15752C48C0 @default.
- Q7912960 P31 q7912960-860fd367-45f0-9f19-637a-81c0de486cf7 @default.
- Q7912960 P348 Q7912960-0FA37D8A-5D8E-49E7-A991-97FAC1013D5B @default.
- Q7912960 P348 Q7912960-73c02c0c-5142-4988-a108-9a3301e82bd2 @default.
- Q7912960 P348 Q7912960-fea3af73-0155-4503-bfb0-3fba1fc1428a @default.
- Q7912960 P366 Q7912960-FF160382-670D-4D10-BA13-27D6E5F4A50D @default.
- Q7912960 P6366 Q7912960-55FBEC9C-492F-4A37-8613-41D314CFB111 @default.
- Q7912960 P646 Q7912960-F78DE4A6-E9C3-4433-9004-4B5A0607B559 @default.
- Q7912960 P856 Q7912960-2dc7536a-426b-e793-3d64-d98d8e9ade3e @default.
- Q7912960 P6366 2776562800 @default.
- Q7912960 P10283 "C2776562800" @default.
- Q7912960 P1324 vampire @default.
- Q7912960 P17 Q145 @default.
- Q7912960 P178 Q502611 @default.
- Q7912960 P31 Q431667 @default.
- Q7912960 P31 Q7397 @default.
- Q7912960 P348 "4.5.1" @default.
- Q7912960 P366 Q431667 @default.
- Q7912960 P6366 "2776562800" @default.
- Q7912960 P646 "/m/035lz6" @default.
- Q7912960 P856 vprover.github.io @default.