{"entities":{"Q5326466":{"pageid":7356040,"ns":120,"title":"Item:Q5326466","lastrevid":51791516,"modified":"2026-01-20T01:39:32Z","type":"item","id":"Q5326466","labels":{"en":{"language":"en","value":"Minimizing models for Tseitin-encoded SAT instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195198"}},"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":"Q5326466$A35B590F-13C7-4AA1-9017-A2EE8C7A38CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"587df93fc3ed8eb8847a8883f61c7759a9005b5a","datavalue":{"value":{"text":"Minimizing Models for Tseitin-Encoded SAT Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326466$3DD16A33-9038-4E4C-AC3D-98B76CDFBB51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5213633485a5227337ed09b1b5410d14702ba224","datavalue":{"value":"1390.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326466$0D7AE0A5-F5ED-40AB-B476-CA0D67572171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c71329ca2bc047bac1e97d412baaebf2b2234a","datavalue":{"value":"10.1007/978-3-642-39071-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326466$A80A91F5-45CC-4C44-A228-E7E97D3134E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd232b06d10036c80884b9a858c30c48129d2788","datavalue":{"value":{"entity-type":"item","numeric-id":334793,"id":"Q334793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326466$B67F3D94-B3A8-4365-9BB8-2E4F1DF6EED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326466$52EBFD67-C365-4139-927E-9BD2FF60ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"613fa59e6679db40d5020b506d2cab554236ed62","datavalue":{"value":{"entity-type":"item","numeric-id":2894288,"id":"Q2894288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326466$FC12625B-B6E6-465E-8924-CF2975DF9B1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326466$056F7EAB-586C-4FBB-9AC4-27884D2A7D33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326466$67A8C0F2-79B1-4D24-B361-5A81072F8D52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326466$C00BB10A-1457-4AEB-994E-2F29833FAE3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50c2c9b13ca73631bee94932912ac60c6c93659d","datavalue":{"value":"6195198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326466$F8F532D5-1FBC-42AA-AFCA-637D9923B434","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":"Q5326466$BF516A94-1614-4F14-AC24-BDF20C3E770B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f53332121e56ac34f626d60bad51cf7212e0aab5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326466$F3489796-8FE0-42DA-8F17-C74CF9174E76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb231673060f75539c569406002e73fd4c361cf3","datavalue":{"value":"W1536017779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326466$63D63F6F-0444-4509-9BA4-6391E981D672","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114f98c35f544187bad11562a615d004d1a3f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930598,"id":"Q4930598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97c179e7d6ac9c9d5d17efab6f1389aa49e3758","datavalue":{"value":{"amount":"+0.7712293267250061","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":"Q5326466$4B64E461-CD4E-4113-8A18-34E67D677E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1e351da301eda941a9aed31b0663af6c948af","datavalue":{"value":{"entity-type":"item","numeric-id":3453233,"id":"Q3453233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fb524bdaa3eab9d7f81eee204fabff5db35f99","datavalue":{"value":{"amount":"+0.7528923153877258","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":"Q5326466$AF993083-9CA3-452F-9EAB-B3B325C17FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f846aa30e52a70df0a2e343ee24c654a07c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1cb5309834302fe778cb1236de54843c9101a5","datavalue":{"value":{"amount":"+0.7461838126182556","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":"Q5326466$080B997D-E09C-4687-B477-4DFC068E7473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b695b185e452e074e203b9cfdcfa0c066d69e77b","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a637b6039ff2f6eea7e2f6fbec50de58fdab49","datavalue":{"value":{"amount":"+0.7405115365982056","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":"Q5326466$A99F8706-2B9A-49EB-90C5-0E306C5FFA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ec7042b3e619c9d000791101cc68fa90e45b76","datavalue":{"value":{"amount":"+0.7301937937736511","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":"Q5326466$DBFCD58A-D658-402C-A800-93239F6EC906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326466"}}}}}