Matches in Wikidata for { <http://www.wikidata.org/entity/Q113543896> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- Q113543896 description "Proceedings of SC-Square 2017 workshop" @default.
- Q113543896 name "Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation" @default.
- Q113543896 type Item @default.
- Q113543896 label "Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation" @default.
- Q113543896 prefLabel "Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation" @default.
- Q113543896 P1476 Q113543896-0A6BEAFD-1ACF-40F2-A1C3-BB9EAB25F987 @default.
- Q113543896 P179 Q113543896-69031A7F-8110-426F-A625-7A9D4AB0BBD0 @default.
- Q113543896 P1813 Q113543896-DCD4BAAE-572B-4B30-9C17-C8F9051BB90B @default.
- Q113543896 P31 Q113543896-B4E1C4A7-706C-4CA9-B417-36A37826D776 @default.
- Q113543896 P4109 Q113543896-77BC0189-C104-4868-ABDA-C648CDEB65D1 @default.
- Q113543896 P4745 Q113543896-E9DFF03A-D304-42D5-9BE9-557789374BD8 @default.
- Q113543896 P577 Q113543896-582E001F-CCBF-41EA-BFA1-3D5983EA1634 @default.
- Q113543896 P6721 Q113543896-8D1868B5-EF30-46A8-A0C5-267C7EE0F338 @default.
- Q113543896 P8978 Q113543896-D08A5E00-F6D4-4D39-86D2-3D32FB99E12C @default.
- Q113543896 P953 Q113543896-1D231D55-8B37-4F75-A3ED-8A217139A6B5 @default.
- Q113543896 P973 Q113543896-B3435572-9376-45AB-B322-CFC5DCFC71DA @default.
- Q113543896 P6721 opac-de-627:ppn:1028791453 @default.
- Q113543896 P8978 2017sc @default.
- Q113543896 P1476 "Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation" @default.
- Q113543896 P179 Q27230297 @default.
- Q113543896 P1813 "SC-Square 2017" @default.
- Q113543896 P31 Q1143604 @default.
- Q113543896 P4109 "urn:nbn:de:0074-1974-4" @default.
- Q113543896 P4745 Q113623359 @default.
- Q113543896 P577 "2017-10-29T00:00:00Z" @default.
- Q113543896 P6721 "1028791453" @default.
- Q113543896 P8978 "conf/issac/2017sc" @default.
- Q113543896 P953 Vol-1974 @default.
- Q113543896 P973 Vol-1974 @default.