{"entities":{"Q3100180":{"pageid":3110895,"ns":120,"title":"Item:Q3100180","lastrevid":86205560,"modified":"2026-06-03T16:28:55Z","type":"item","id":"Q3100180","labels":{"en":{"language":"en","value":"Restoring CSP satisfiability with MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977331"}},"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":"Q3100180$1B4C0FE2-B5F7-464D-8924-B75020279F29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8029654df6eb68dfb1457baa25c2bce23d0d9ceb","datavalue":{"value":{"text":"Restoring CSP Satisfiability with MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100180$695220F6-FB15-4EEE-BAB1-C2AA70A47233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d055914431ec78466ba2ca95b19309eca53beff","datavalue":{"value":"1230.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100180$5D1D97AB-B079-4A7C-B13D-DE1AF7F487D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84abbc167f091eb0d76ce3ee9ab46a77d0c30439","datavalue":{"value":"10.3233/FI-2011-402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100180$C9DEAB10-0C2D-485F-9CB5-FE97007F3413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100180$57A85AEA-5D49-4E05-BFD0-886A5550B19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100180$0F6840FF-DCB7-40CB-87FC-C1DB472ECFA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100180$81117990-D92A-44F4-A1C2-524808939573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100180$4C901A5B-2DF1-4DAF-9BD6-6240F975013F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100180$A569167E-4D51-4274-8EDD-443503F26C53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0683dfd59a79f8196b24058881f2822cb96baeac","datavalue":{"value":"5977331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100180$F1A42241-267A-4967-99E0-84849E7F5C26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100180$4C5DBE7E-57E4-4810-AF8E-C1328F5AC0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f73b8974fd3bbe2c88cdb391fed95f46e4058c","datavalue":{"value":"minimal unsatisfiable cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100180$0F14CF0F-62D5-49E0-80D9-C83422690E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c338289423e813cc7692141ccb982824448310","datavalue":{"value":"minimal set of unsatisfiable tuples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100180$B9967F63-D82B-432C-99FB-194FD0E741D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100180$71F51B61-76A5-4665-A096-F5C062F3F2A7","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":"Q3100180$5BFF234B-55D4-46B0-BAAD-0BEE1BA2D08B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e4fd56573249bdc2be17e2ea7ef9238ee7a35e2","datavalue":{"value":"https://doi.org/10.3233/fi-2011-402","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100180$3B6D9A96-D410-4B17-9545-344D2723A370","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a4e9be9bf88dc77620ce94074f04fdc36250ae","datavalue":{"value":"W2135116531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100180$205F1B0C-EAB5-469F-8399-479C92C56AEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820e8fde2c9fe3c98a5ed9c5f715502b444343a1","datavalue":{"value":{"entity-type":"item","numeric-id":3523066,"id":"Q3523066"},"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":"Q3100180$C9591CA8-F557-42FC-8FD9-DC0DCFE7C12E","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":"6a41cc546e302df3da17ec9b828807d898c98b4d","datavalue":{"value":{"amount":"+0.7483347058296204","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":"Q3100180$9A77A804-C9BC-490F-83F6-6A4FA98DF7DC","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":"a11110ef34f0b08515b600ae99dc93be536d2292","datavalue":{"value":{"amount":"+0.7419180870056152","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":"Q3100180$75B1065C-6CED-40C6-A5DC-49401B5BA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbf0625de84d54ddf45e22301f4e2ed0c5b7289","datavalue":{"value":{"entity-type":"item","numeric-id":2741521,"id":"Q2741521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253b9e0bea9cb4d0dd720b5321e09393870dbde7","datavalue":{"value":{"amount":"+0.7389976978302002","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":"Q3100180$E34D0DBC-732F-4902-B2B9-F189F6B6E75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305ecc0000e94045bc07f20a27596f0d79f79b46","datavalue":{"value":{"amount":"+0.7248614430427551","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":"Q3100180$10DD3DD8-EAA2-4247-87F3-F1E49BF2C906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restoring CSP satisfiability with MaxSAT","badges":[]}}}}}