{"entities":{"Q3612475":{"pageid":5642381,"ns":120,"title":"Item:Q3612475","lastrevid":50601110,"modified":"2026-01-14T12:59:09Z","type":"item","id":"Q3612475","labels":{"en":{"language":"en","value":"A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527220"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$1D537B72-25BF-42CD-92A9-7DB9B12D0A53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0c01906d497a87b2c7f0d805d0340fdb4062c0f","datavalue":{"value":{"text":"A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612475$ED989207-25B8-4888-BCA8-20A2EF31B931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9223c91072cf70296363bcfd3d7d1ddaabcdd425","datavalue":{"value":"1214.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$F1965511-3B39-49DC-A909-664E0A090EB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2371248328cc9478ddad4b0fed32b3d68e6577","datavalue":{"value":"10.1007/978-3-540-72788-0_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$CA2DC301-A92D-498E-B80A-46E25096F381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$110D8212-28C0-4CA6-A2B5-D94AD6723804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$24E31D03-B132-4640-8391-582BB55417A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$9C113A02-75B5-45BC-B598-E57BF68CF844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$7A48A480-947C-4582-9975-799B79DE6C09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612475$AFD09447-DC4D-413E-BC6B-EB270B6692D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$6BBE95D5-4F57-4EEB-958D-33FEFE339FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c58cecc57220cbcf6d98d293ffb29a6db8fd5b","datavalue":{"value":"5527220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$AD62F928-CCE3-4A7E-8F3C-D3BCD1E71D42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$38866401-4E39-43B3-8D66-A1D84C2220B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$71628400-93B4-4331-ADCA-1CA951AD0CF9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612475$E38FB22B-3406-44AB-912F-778B329E5E4A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb7e4e420cc202a0741fa9c514dc5a455622b344","datavalue":{"value":"Q62041314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$E5F6F829-D716-4F14-A1E9-94CC0E4E34F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"565ea459ca380ba71f7dafbd1d0ca103db59b9d4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612475$73F7B57C-F6B6-4410-90E1-CFE93453C0D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8e7046c3b587414a58e1e57088bbfc138123ce","datavalue":{"value":"W1593691693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$82F6B4B0-0FD1-4D0E-9942-7CC9C7AF968A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9a616cef11fda08fb5caa5ba201a16f96da8aa9b","datavalue":{"value":"conf/sat/CimattiGS07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612475$588B56A7-418C-4CA5-AC20-A6A5DC674F18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27786181a7a6d42b0019e979b09ed156e1345b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e589e05a8c6aca6dd914032f308acf0014636","datavalue":{"value":{"amount":"+0.9353320002555848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612475$764A9924-899B-4AA9-8929-A8A0B120C4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7096f47b9d27f8c1e87f020fcdf13208c9657ba","datavalue":{"value":{"entity-type":"item","numeric-id":1028724,"id":"Q1028724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f515c3cd572300c1a2da43bdb0815d53889e59","datavalue":{"value":{"amount":"+0.8095656633377075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612475$3058464F-830A-4047-93F4-B6F3E3D9FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baa14e88319bb40aae8bb111e040434ebce5abb","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2f0f41f82afdc8e9473593bcfa43539055a49c","datavalue":{"value":{"amount":"+0.8088526129722595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612475$5F6C6BCB-EEA2-4500-B4E7-27CE2E99D221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305314cd53c45094fbe0975e30108a02ae33267c","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7870dfc8e7e951ef1de8ddc16991e459584d59d","datavalue":{"value":{"amount":"+0.7928844094276428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612475$220B49DA-EA40-473A-97F9-6F13E70FDA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30b4d55194d040fcea1595b87e24275e383b833","datavalue":{"value":{"entity-type":"item","numeric-id":3400917,"id":"Q3400917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf3c78690e30d0a019bcca1e4e50e77a53cd553","datavalue":{"value":{"amount":"+0.7666288614273071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612475$1A66B035-5EB6-44CF-9905-B230F7C595C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612475"}}}}}