{"entities":{"Q3502707":{"pageid":5532610,"ns":120,"title":"Item:Q3502707","lastrevid":50365526,"modified":"2026-01-13T21:54:48Z","type":"item","id":"Q3502707","labels":{"en":{"language":"en","value":"Searching for Autarkies to Trim Unsatisfiable Clause Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279247"}},"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":"Q3502707$7598F49F-AF1B-412F-976F-7C0519126C0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e7a4f6ed7e4dcbf042398d865c35c40584c85d","datavalue":{"value":{"text":"Searching for Autarkies to Trim Unsatisfiable Clause Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502707$7293BB2F-C6FD-4A09-962C-9520391DD609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0538a33924f138b55a86736ff7c72569f198cff0","datavalue":{"value":"1138.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502707$DB59BD66-6F3D-47C8-A0D6-90FF04590363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8520142eb4920f0e1f318accc41c4c76dbf575f","datavalue":{"value":"10.1007/978-3-540-79719-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502707$FE815F51-AB29-41F6-B865-E9AA33203BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502707$02BDB55A-8933-4C27-A3D3-2FE9923076B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502707$DCC6514F-B2A4-4FAE-A094-33569F3BB62F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502707$64F05B7C-71D4-4C1A-BF1B-90E8021A46DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502707$B8A00BE3-CBB0-4E06-91DB-183E7F73DF2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502707$9D1C530C-43B2-4662-9E51-9548F16A488C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce0626e6e199ee2d6085ba2df30e6f6e4ab22eed","datavalue":{"value":"5279247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502707$116F53FC-3083-436A-9698-5C912DA44E38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502707$242705D2-B443-48E0-B84E-35024A17ADE3","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":"Q3502707$3D80B496-4335-42C2-966E-BF770AC94CD1","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":"Q3502707$30A5F12D-690B-4262-A39F-E3A1F89275E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d84c24239192cd5ec051218f4d6d6d22d22e6f5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502707$F0629618-4186-4173-B9C2-8E23A85632B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f09c547a5155b4a8e03dcec0af568f8cb667989e","datavalue":{"value":"W1510851971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502707$CCA776B2-7A52-4023-9D16-B1925AC26FF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e291ccab4ed99ee47a7e41ffa9119cfb597632","datavalue":{"value":{"entity-type":"item","numeric-id":3297584,"id":"Q3297584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5890f85c18c5772feb440bbc8617259f7489129","datavalue":{"value":{"amount":"+0.828265905380249","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":"Q3502707$8B2EB64D-DEEA-483E-9FA7-9B282DCA3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880acca7b73831f2ef96ea6aa56c5186166494b","datavalue":{"value":{"entity-type":"item","numeric-id":2741528,"id":"Q2741528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbf2f3e1db0658d8027e7c0d47a375a1a5b898c","datavalue":{"value":{"amount":"+0.8238314986228943","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":"Q3502707$F9623CC5-0EE5-4563-A170-8A44FBA27279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c368e310248b355f5af7a99a411037cf0b5220","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b3232e095591f6c2b8919e2848106a89426500","datavalue":{"value":{"amount":"+0.8108947277069092","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":"Q3502707$942E446B-B265-42F7-9646-F19DAF3D263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9557bfd0102b2b6f1ac660476e81b4600f223ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3502716,"id":"Q3502716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b3232e095591f6c2b8919e2848106a89426500","datavalue":{"value":{"amount":"+0.8108947277069092","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":"Q3502707$4D64DFD0-C382-484B-9918-6352CE1C7C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61322e198c1b665dbe83d9d6eaff0d2c73805276","datavalue":{"value":{"entity-type":"item","numeric-id":3453219,"id":"Q3453219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f21ebfb3beb9e92483f8ea88428f6bb3ad19f8b","datavalue":{"value":{"amount":"+0.785727858543396","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":"Q3502707$18BEA372-D040-421A-931B-A0FECB0E3C26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502707"}}}}}