{"entities":{"Q6535423":{"pageid":14146566,"ns":120,"title":"Item:Q6535423","lastrevid":42341282,"modified":"2025-06-11T22:47:30Z","type":"item","id":"Q6535423","labels":{"en":{"language":"en","value":"Efficiently explaining CSPs with unsatisfiable subset optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7781085"}},"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":"Q6535423$19623DA7-DDAB-4B0B-954F-D0F7E7A9CEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"733d2870f109e44a2e8c696e76d6a9950e313855","datavalue":{"value":{"text":"Efficiently explaining CSPs with unsatisfiable subset optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535423$54A541EB-8D81-41AA-8563-178EE6C4C9B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec27afc251ed966b70400c836827825ef267fe77","datavalue":{"value":"1543.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535423$8B14E781-B990-4058-AA06-4B241F6F3A3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af553a258be3b83b5eadc346c53598ee149e8a26","datavalue":{"value":{"entity-type":"item","numeric-id":2238722,"id":"Q2238722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$82094537-B8B9-4C6E-AF8E-915B88787F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$FA8CEBC9-9E6F-4299-AEE3-C9ED93EDF349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a3de7332385d7b97b89f26a0e9ce27856745e5b","datavalue":{"value":{"entity-type":"item","numeric-id":511750,"id":"Q511750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$DA9F2E38-3A91-4A11-BFA8-D539FA3FE40F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$4945996E-374B-4D60-BD20-62BE51BB419A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88d84fca5a874c594f937d742c69f4f718800990","datavalue":{"value":{"time":"+2023-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535423$0755EBA4-9B9D-4F28-9957-9C4CBDA3A798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535423$E43D4668-DB31-439A-9848-63A2F9EB90BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535423$6C34DED6-A04E-420D-9BA4-5B836C88B22E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dbb05712a028bd33237388dfddf4b77e599bf2a","datavalue":{"value":"7781085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535423$182A4E38-0F1D-4E05-BCC6-1CF2A14E2624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3290d383b380159531d975c9a32670c8987c015f","datavalue":{"value":"unsatisfiable subset optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535423$A489CDDA-8A99-4F7E-83D5-2C18F7DA6FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e37c228cdd19c72d9e60cb48007fc8265358e69","datavalue":{"value":"explanations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535423$1AD35C56-4A24-4202-8A40-796658A34C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535423$DE74DF4D-AD03-4FDF-BAF9-D9F480E26135","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":"Q6535423$E3EE0B46-07C9-48F0-8983-BA66700A0083","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3edc88323998aebe98e006bbc507630d9107b32","datavalue":{"value":{"entity-type":"item","numeric-id":2055864,"id":"Q2055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$606258A1-067A-4247-8AB9-19C8EDB449D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a0da5461a77e3d1740266a13fa2f767ff2372e","datavalue":{"value":{"entity-type":"item","numeric-id":2815093,"id":"Q2815093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$4615A378-A7A8-461F-A59E-EECFB91D417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$CAF001E8-1B22-4BF4-8F32-D8B0AC854196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e3ef35134805dae17358e93170522c8a23bc50","datavalue":{"value":{"entity-type":"item","numeric-id":4999264,"id":"Q4999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$7BD92F7A-CC4D-4D61-B14E-EECED395CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fccbd7ea5449e9789d3c607e52e3e310ceb55e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2238723,"id":"Q2238723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$2F197C64-81AA-42DE-9688-0C0E1EBF3671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$C3F99436-287C-4B88-83F8-9B2003742209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e5be1cd0086b4ca5f0b22a7cc8d2ad226c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$8605EDC2-2B4A-4B3B-A890-A82C65EFE9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6b47945a474d5570ae0ac55107b34b7957e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":941817,"id":"Q941817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$87E1436A-2E2F-43F7-B42C-34BDC9BD4C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ace1ca00d0f981a30fb584f0d2f61bf11eec24","datavalue":{"value":{"entity-type":"item","numeric-id":1028724,"id":"Q1028724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$E5D7D5F7-8690-4A38-8FFA-F25931E7FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e54d65cec629a4bc2c3dc401d1faa06a3b01aec","datavalue":{"value":{"entity-type":"item","numeric-id":272016,"id":"Q272016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$C8332F7B-1CA7-4561-B132-7BA4F4F4C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$58FD9CB5-E471-4FA9-BD1F-45DB5A12FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e5efcd45772e60382711bade151348531772eb","datavalue":{"value":{"entity-type":"item","numeric-id":5145815,"id":"Q5145815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$93A151B9-2039-4950-B079-5B32B6A93271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$2AEF4DC8-50B7-4301-A659-8411A4E5FBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$DBA8EC01-59ED-4C7A-9E6D-5F7755D9791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e0c597ce2dfaa2e54a53bfde6d5ec42d99e17f","datavalue":{"value":{"entity-type":"item","numeric-id":2321252,"id":"Q2321252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$011736CA-C239-4B11-9D41-A326C438DC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53be8bd6756ad389cea2934fb992bd7a50c5fa09","datavalue":{"value":{"entity-type":"item","numeric-id":1680696,"id":"Q1680696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$94A1B01D-79D6-489E-9116-5632B30729F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$9CFB96CE-D093-4D72-A521-C982C7987B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$1B5AD0BD-14E9-4F4A-913D-50E004DCC87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ca0584fb8f5c769c02518722fe93cb25b5c629","datavalue":{"value":{"entity-type":"item","numeric-id":2441764,"id":"Q2441764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535423$BD9FB70D-334B-44C9-AC2C-2728E76B987C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d9587deddb08717b165cbf3f08eaeae644833","datavalue":{"value":{"entity-type":"item","numeric-id":4475666,"id":"Q4475666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bcabe059052aea0556dccddb1a25a3a2db6bd56","datavalue":{"value":{"amount":"+0.86818194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$9905A1BD-D110-4990-A2DD-42259C9C86CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4ab8e4ddde8697dde2b8d55499bacefa7ca829","datavalue":{"value":{"amount":"+0.86557406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$A8271632-ABDE-4C86-88FF-48FF659C3C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989d0dac0f0008c600c54b2b739c16cc47561465","datavalue":{"value":{"entity-type":"item","numeric-id":4999264,"id":"Q4999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e501b639bf95df2aed6cd92e5691196bc240529d","datavalue":{"value":{"amount":"+0.8652346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$418F1CCB-B322-42B1-A7C2-0771345FFE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3883fd0ca3e5a135d492c1afa41925f1cf6746b6","datavalue":{"value":{"entity-type":"item","numeric-id":5369245,"id":"Q5369245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1751d7676ac299b37781cf0f71c4ea9599d5c137","datavalue":{"value":{"amount":"+0.8616233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$A3A2682B-4D31-4C43-B4A0-085FD638D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0cd430ca59a93f22b307b525b1ef9891eb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152e9d7347070a4df3de47d1a554259dd91d1621","datavalue":{"value":{"amount":"+0.85493636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$67780B21-9D6F-4C6E-9400-21A5C119C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7bafdae41783e661967543b559be2d14555564","datavalue":{"value":{"entity-type":"item","numeric-id":2238723,"id":"Q2238723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c928fc7534ad7feab1308aee062f2b816787c0","datavalue":{"value":{"amount":"+0.8546301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$0CD67944-FA4D-47B1-AACF-83C63E3B875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24db9665a49e519c9e6d18b01a1aca251703c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545208fbe1620a66cec550d2d2b898d84589a44f","datavalue":{"value":{"amount":"+0.85061467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535423$4441FC79-EF75-4BF6-80C8-AD6CF9E02189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78ef82c6313c573e6a4864a1680a5f599e3d50ce","datavalue":{"value":"10.1613/JAIR.1.14260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535423$822F0CA4-210D-41DC-8679-6F5240393B42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535423"}}}}}