{"entities":{"Q3523066":{"pageid":5552970,"ns":120,"title":"Item:Q3523066","lastrevid":88334987,"modified":"2026-06-04T14:15:27Z","type":"item","id":"Q3523066","labels":{"en":{"language":"en","value":"MUST: Provide a Finer-Grained Explanation of Unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318824"}},"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":"Q3523066$D3B60B15-2193-4F8B-8321-E99199477CBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63c7610901412bb6440f86caeed1d673f40b135b","datavalue":{"value":{"text":"MUST: Provide a Finer-Grained Explanation of Unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523066$76E4C860-342A-4BAF-9C4D-F2B074C2D618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e06142401b77337ae0ef813f54dfd8de14416f52","datavalue":{"value":"1145.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523066$306D59F8-7C3D-46FF-8D43-B50E09C9F77F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc90f1d620fc8fe4923bb39b5765620b5528d04","datavalue":{"value":"10.1007/978-3-540-74970-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523066$19C6E9C5-C918-4787-BE2B-0347FC78BEF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f22cba4fdd004fc833bd72d9f66440bfea5f47","datavalue":{"value":{"entity-type":"item","numeric-id":513327,"id":"Q513327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$FFABB2EC-27E5-4D7C-808E-7CC3DC98EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e88d1227c6f881b7f6fcba4e1e3032aea20dacd","datavalue":{"value":{"entity-type":"item","numeric-id":513328,"id":"Q513328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$0164ADCE-8AAC-4744-A6A6-B889BE9445EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda148735553016690e2619598fce8816178ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":1042193,"id":"Q1042193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$928C6328-0704-422B-96A8-41230AD57ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$2FA6AE66-032B-41B7-8329-5E4CB9831C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523066$8ABDAC96-4AB4-4E6C-A9A4-FB6F3D3FC8AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523066$A5E81742-560F-41CC-A339-3D853DFF3D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6a39c8835309744b1a90a0bb6cf68d7dbf90307","datavalue":{"value":"5318824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523066$0DA5EAB4-BDBE-455F-A273-3B5DBA9F2EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$0326A69E-DE32-404D-B907-FBFD51C2A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7d379b2ed1e3bb547b46327bdf5a14d2b1a093","datavalue":{"value":"constraint networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$E8BEA363-5CC6-434C-8880-3BEA1F5CAE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0acc9615d97fd62c429b6849356a0d6c28b9753","datavalue":{"value":"explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$530CBFD2-55A1-49A7-B46F-98396F30FAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$BB2F756D-0F16-4467-9EB5-E3F1E833422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42be4dff912fd582e54dc07ea72d9c293354782d","datavalue":{"value":"MUC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$875C365E-0856-4ECF-ADE1-EAED753D15AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c233a9983a53b81beee6cbfe2165fe8bc60308de","datavalue":{"value":"MUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$92966F44-077A-453F-AFE7-84DA58478535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ec4fd1440d360e9f92e8be250538157fce6215","datavalue":{"value":"MUST","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523066$B4618FFA-CA36-4D5B-94D4-FFAE158E9E56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a38f73c85cafa3dc88009f90be7e151ca6abe37","datavalue":{"value":{"entity-type":"item","numeric-id":18387,"id":"Q18387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$4EC42D41-C583-4A7B-BC61-DC2B116DED3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$1548D04B-577F-492F-A5E3-D7C3013ADB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87199dd2d92d5f5bf1509bce7aa6451f2401c70e","datavalue":{"value":{"entity-type":"item","numeric-id":4395423,"id":"Q4395423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$406CC200-4172-4C9D-A29D-6AE662743ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a170af516145ca9c0e5963c08cb024ad4f2af17","datavalue":{"value":{"entity-type":"item","numeric-id":3489523,"id":"Q3489523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$D8D16C0C-B00F-4F2D-922C-53495F535B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$6963100C-4CAC-4339-96E0-2B863E3896BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$232A2AD3-6130-4EB5-B352-3DF0C23757C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4699d42b5b3f21a80e72cad235daeb21adce5262","datavalue":{"value":{"entity-type":"item","numeric-id":4473030,"id":"Q4473030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$12D5070C-3326-4CEB-B22D-6EB0A4041829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37d3694c50f3395e78b82e401f4b3dee259c900","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$55D61520-830F-41B6-8799-1A7A95A6115C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3821cba10f9ba32847ffe54a67883c54c1cae65a","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$A5B1797A-F6E6-4A8D-8D54-B64F1D4C3635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a33ce35f676b680d016698e0b2b6311d0722e3","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$6AEA9E1C-BA20-43AF-94DD-EA277786248B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa3146bcbd56e2318d2551d75802a157e8cd411","datavalue":{"value":{"entity-type":"item","numeric-id":2459383,"id":"Q2459383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$F917A77E-5CE4-4099-B70E-979E99E56F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf42b1d7f232909dbb6ecc8beda225b7876a9df","datavalue":{"value":{"entity-type":"item","numeric-id":2385174,"id":"Q2385174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$C1FCC906-ED40-4B25-B2E5-8C3423F79FA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ede50fc4f4c1109ee9121665cf9062e9d42c04e","datavalue":{"value":{"entity-type":"item","numeric-id":18387,"id":"Q18387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523066$A6D7F93D-6ED7-4C3B-AC28-D4F0A4EEEB05","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":"Q3523066$33B9AFD1-2037-4BBC-922A-D6085CA3F1AD","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":"Q3523066$20333301-F643-4B6B-AAD9-44882269558B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"915d4f21fdbdb4a1d70d6443c691bb7f800ae826","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74970-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523066$CD05177F-68B0-4517-8E21-95697F58BBE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ff1de8053e1408f6d039f6740eea3080b2bcfc","datavalue":{"value":"W1562908040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523066$DA80EF7C-DBF3-4F23-B5FC-EF59AA6C95B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d99b8f8b877e58c72892e3cfc23b29447b2211","datavalue":{"value":{"entity-type":"item","numeric-id":3100180,"id":"Q3100180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62335a7ec7f1ca931b87d7ce8eb20c182030ccba","datavalue":{"value":{"amount":"+0.7942876219749451","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":"Q3523066$F1FEFBEB-9613-4A98-B74C-9862CD789339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6c6b31111eeade84d2ff432ead8862cfeb872","datavalue":{"value":{"entity-type":"item","numeric-id":2385174,"id":"Q2385174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23597131de343e60412545a78be91de38ae62a5a","datavalue":{"value":{"amount":"+0.7523385882377625","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":"Q3523066$D7872B27-17BF-46BA-94E6-EA114091916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b6d89b014ba2d1dc39e601c40b23fd4ca1dcb1","datavalue":{"value":{"entity-type":"item","numeric-id":2011577,"id":"Q2011577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0f3ee0e1abbd2c6b57b9700f421aa77051b61c","datavalue":{"value":{"amount":"+0.7481610774993896","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":"Q3523066$8318D7DF-EAB8-4CE1-82CF-AB83E416C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f69a8b554f9ba68c31b509186653fbce98a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cfd8ad85defb27aaeb851feba1d50d3b36650a","datavalue":{"value":{"amount":"+0.7441257834434509","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":"Q3523066$1D0E1C74-24E7-416D-8D0E-2728A4ED0DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40afb41161c7640ecf57dfc49b396f460d084ab","datavalue":{"value":{"entity-type":"item","numeric-id":903912,"id":"Q903912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3363d1fbd6566fe480a3bd7d48f547167f84a0e3","datavalue":{"value":{"amount":"+0.7441108226776123","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":"Q3523066$EAFB9391-7BB2-4471-9707-20382EF42E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MUST: Provide a Finer-Grained Explanation of Unsatisfiability","badges":[]}}}}}