Matches in Wikidata for { <http://www.wikidata.org/entity/Q123579530> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q123579530 description "software for solving satisfiability modulo theories" @default.
- Q123579530 name "cvc5" @default.
- Q123579530 type Item @default.
- Q123579530 label "cvc5" @default.
- Q123579530 altLabel "CVC5" @default.
- Q123579530 prefLabel "cvc5" @default.
- Q123579530 P1324 Q123579530-0db2e008-4e39-ece7-47be-fafe72195ef5 @default.
- Q123579530 P31 Q123579530-5e7aa634-447e-cda9-47de-31e66b81b4b2 @default.
- Q123579530 P3442 Q123579530-7f0e0e2c-4a81-95e7-42b3-e9c1e528d5be @default.
- Q123579530 P348 Q123579530-0a32c50d-8e8b-4e3d-83be-38ddfffc5814 @default.
- Q123579530 P348 Q123579530-0f67b941-8436-45f6-8660-d1e3ed6072a6 @default.
- Q123579530 P348 Q123579530-128046b6-2c09-4771-b480-4cc5d0a4b847 @default.
- Q123579530 P348 Q123579530-15c68fd0-4bc3-21c4-edab-ccd2c2aeea9e @default.
- Q123579530 P348 Q123579530-1877da76-7a17-4a27-8e66-f3d4be1e6235 @default.
- Q123579530 P348 Q123579530-27830768-8a52-4958-b01d-933e16498f04 @default.
- Q123579530 P348 Q123579530-302ad2f3-2cd1-4c86-8c40-b3d435ec1d95 @default.
- Q123579530 P348 Q123579530-34e8d557-26f6-4706-b766-54e0d420c355 @default.
- Q123579530 P348 Q123579530-37f49b76-3f60-47aa-80d5-81a17c0459a3 @default.
- Q123579530 P348 Q123579530-3ab5f723-c2e7-4f3e-b422-1e88399edaca @default.
- Q123579530 P348 Q123579530-464e59b6-dda9-4c38-8ebc-28d5abbb3cb6 @default.
- Q123579530 P348 Q123579530-678bdc97-facf-4de0-bd67-215c042b237e @default.
- Q123579530 P348 Q123579530-6bfefdce-d0f6-48cb-aa0c-f2ef8677fa5b @default.
- Q123579530 P348 Q123579530-77f11675-73f2-4d0e-aacd-3209ddbdf655 @default.
- Q123579530 P348 Q123579530-79a9a8cb-0946-49e8-8713-e05bc04f302b @default.
- Q123579530 P348 Q123579530-7c583a61-8504-4d4c-b329-1e534bb8715c @default.
- Q123579530 P348 Q123579530-8915446e-cc88-4bb5-97e4-9e5268a31b00 @default.
- Q123579530 P348 Q123579530-93add953-0de3-4982-84d1-e5ca965819c3 @default.
- Q123579530 P348 Q123579530-9bf6c404-d42c-44d6-a60c-7c624081e559 @default.
- Q123579530 P348 Q123579530-9ed19808-a8c6-430c-b414-9c9f25cc54fd @default.
- Q123579530 P348 Q123579530-9fd98cdf-e12c-4d3f-b308-d20da99c1d83 @default.
- Q123579530 P348 Q123579530-a0cf58e7-a1ad-4c5b-83fd-ff8dc7be562f @default.
- Q123579530 P348 Q123579530-a90e84a5-d468-485b-9239-87d0b3484ce5 @default.
- Q123579530 P348 Q123579530-bd315725-1a7a-4184-920a-7490a3144919 @default.
- Q123579530 P348 Q123579530-d910921f-42da-4caf-ac3b-0a88f838a248 @default.
- Q123579530 P348 Q123579530-e5fa325a-cd25-4ef3-873e-9463ed96dec2 @default.
- Q123579530 P348 Q123579530-ea89cfea-8bb9-4330-a7b5-2203956d4fc3 @default.
- Q123579530 P348 Q123579530-f4199db9-d1f8-4dea-aafd-741bd5cf984e @default.
- Q123579530 P1324 cvc5 @default.
- Q123579530 P31 Q111307290 @default.
- Q123579530 P3442 "cvc5" @default.
- Q123579530 P348 "1.1.1" @default.
- Q123579530 P348 "1.8" @default.