{"entities":{"Q3503510":{"pageid":5533413,"ns":120,"title":"Item:Q3503510","lastrevid":50375891,"modified":"2026-01-13T22:23:24Z","type":"item","id":"Q3503510","labels":{"en":{"language":"en","value":"Partial Satisfaction of k-Satisfiable Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5284953"}},"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":"Q3503510$65DEFA8F-8D89-480D-8AAA-9A972548A1D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96865669a2f6de5428455defa83db72e4bb3216c","datavalue":{"value":{"text":"Partial Satisfaction of k-Satisfiable Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503510$06CA7F1B-15EF-4869-A94E-82801FF5C4F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a25df8cfa921a8af78b14954f2358b495c951e30","datavalue":{"value":"1341.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$0926D61A-7EDD-4061-9198-51755CB9A4AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e69c79bba74806dc3831c8fea2649472145786c","datavalue":{"value":{"entity-type":"item","numeric-id":3503509,"id":"Q3503509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$64C6C1D5-1CE1-49F5-A135-2E9199EA0ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$3FEBCEB5-B973-4E44-A37B-9305D9759E1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a136d04e761e9859ba9ed38b65864112febfa028","datavalue":{"value":{"entity-type":"item","numeric-id":111211,"id":"Q111211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$477EBE51-1E89-4D67-BDFE-F1C6CFD8B23B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-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":"Q3503510$08686EAB-0945-4A0B-B064-AB1D5ACA15C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$929282C6-EEF5-4CDE-8A3B-676B7090B755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$938EEE82-08A5-4B5A-A88F-7BD3E601486E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78315fa637b09265ce6dc5a82025496c8d044d0","datavalue":{"value":"5284953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$755F9762-8AEF-491A-95E8-F807C24C405A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e11fd8df9f93af64de67793672d7e712aadd24","datavalue":{"value":"partial satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503510$7D84429B-4A87-4D20-B169-1D51A85BF2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503510$AB5E1B4D-F4F8-4B24-B2C0-E155362B1D74","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":"Q3503510$6D956B11-46BD-442C-8EA0-4C85DE33C5C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27edbf8055c1e999b9ab5912be7158d952220d72","datavalue":{"value":"https://doi.org/10.1016/j.endm.2007.07.077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503510$31ACB1DB-9292-4D09-94AC-65D2A9E6E524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fcb381c44833da7dc32e9a0fc7527988b491010","datavalue":{"value":"W2067580390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$CC8652D8-70FB-4042-96FA-7BAC1219E35B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937cff77f3008ec75c747bc39da74a24ad81205","datavalue":{"value":{"entity-type":"item","numeric-id":3906440,"id":"Q3906440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$E0276823-44D9-4135-A25F-FF573A48D624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7783807a27a99afd6b0a28e9ac8462796accb95c","datavalue":{"value":{"entity-type":"item","numeric-id":452481,"id":"Q452481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$6F1FCAA2-953F-405B-B224-56014886E4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$4527CEC9-A4E4-4955-A62C-FF3FDC056F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5174524ca8ecd2a43db3a6784a3465663d502ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1082812,"id":"Q1082812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$89E25AEE-7CDC-4111-8193-9EC929544331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eca57a292fb535c64f0ee00c7747458afe5823","datavalue":{"value":{"entity-type":"item","numeric-id":4652606,"id":"Q4652606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$2BABCEB9-8E45-41B3-A89E-FC4962AD1539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f8d0f99451c7b76e703c8f39b406e8547a54bb","datavalue":{"value":{"entity-type":"item","numeric-id":5501275,"id":"Q5501275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503510$25626E18-A15F-4089-859E-B1CCA5F46073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61100721777172076c5c0b2d980a039c4cb9255e","datavalue":{"value":"10.1016/J.ENDM.2007.07.077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503510$D13ED8BA-DC66-4323-874A-315DC63875FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726d6bff16b59a6ac706155551d0b34fce0c989a","datavalue":{"value":{"entity-type":"item","numeric-id":5501275,"id":"Q5501275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680f2ac222d026068b2deab1cef0f20502faa775","datavalue":{"value":{"amount":"+0.8550806641578674","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":"Q3503510$4BBB0164-2779-4A87-AEA9-F0D3BD5A7D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33dc691f0f671e36375cb6d16f27cc3292491539","datavalue":{"value":{"amount":"+0.8435783386230469","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":"Q3503510$74E558BB-773B-42E3-828D-9A73AAB54525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f08b7f53b09d543e17867f85dd8bf5ed80db77","datavalue":{"value":{"entity-type":"item","numeric-id":4375762,"id":"Q4375762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d2e5111a2e97b3f05da3a3fdbccab308000ec9","datavalue":{"value":{"amount":"+0.809320330619812","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":"Q3503510$0375F697-967A-4039-B782-AD185F61A46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9feae15fd9a0e3f176cb30b041091711d1ff65a0","datavalue":{"value":{"amount":"+0.8080658912658691","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":"Q3503510$037BE73D-5CB3-481F-8BAF-2F6B56BD7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47346030bf14a865d018673d2fb08721168c935","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c228103dc2e6eed8b8011aeb67aca07491614c","datavalue":{"value":{"amount":"+0.7871587872505188","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":"Q3503510$867A0A1E-808B-47A4-A202-D879AE4DA549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503510"}}}}}