{"entities":{"Q5325874":{"pageid":7355448,"ns":120,"title":"Item:Q5325874","lastrevid":50726171,"modified":"2026-01-14T23:02:58Z","type":"item","id":"Q5325874","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586639"}},"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":"Q5325874$252B2242-2411-46D4-AF64-BD1D174735B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325874$E3EC4E64-3642-45FE-80BE-29DCB6D0185E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f53d434b244da138f62774fc86ec73623c3bbb","datavalue":{"value":"1204.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$8B9ACC38-5599-468D-B6AA-3D347685D67C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325874$4B6581E3-C369-4FE8-A917-B875759DB60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325874$B3ABF722-AD16-43A2-9AFD-328302AA4238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325874$C56955C9-E3FF-4F12-8D9A-A8B71344162B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325874$2151AC74-3F56-4FA1-85CA-61AEC843525C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$0AFC21EB-472C-4BF1-9998-64A82B3AD641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$A66C17B1-DA9F-454A-A970-D372166EE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$737F7E82-0152-42F5-A584-EEA585C155C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$343F15F7-749C-4CF4-BAC9-20ADFF666BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$569B5EDC-9B3F-4FBB-BF2E-5D1F2D546470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a17450e1838a8a73bfb69f803e354d6c90e57c","datavalue":{"value":"5586639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$050B471B-37E2-4B4B-B202-79C1FD4950BD","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":"Q5325874$43A9C2A7-18B8-4193-98C8-DE684C361DC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"973c1d11b12a0839879d25acdd61541706e13a7c","datavalue":{"value":"https://doi.org/10.1007/b95238","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325874$161D8CD9-90C0-4F7B-8C38-86695D54FB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$27EB8F99-17DE-415F-A50A-F5AFFA38760D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325874$7A9E13F8-895B-4882-8CD6-B0AF2BEC37D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b73f0bcd9d62fab9a89cd0539ba480246a9947","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26054a2957c28805dfb1afaf174821bf551048b8","datavalue":{"value":{"amount":"+0.8842372298240662","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":"Q5325874$B8D0119E-8747-409B-9E34-02F947314947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8832ba9a080737a2ad3288fcd858633b5f53471b","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c24c7423c8bbc61d9f9881bd70024a6deab5ea","datavalue":{"value":{"amount":"+0.8312360644340515","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":"Q5325874$329AD5C3-3835-4A26-8B61-48F1CE056A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2bf6cf7b283cf67643d50b772c997a6605ab0a","datavalue":{"value":{"entity-type":"item","numeric-id":2235734,"id":"Q2235734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1b457aa27af339cffae08d1b0a77587dcc23a5","datavalue":{"value":{"amount":"+0.8088706731796265","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":"Q5325874$7E8B0109-4A4F-40AB-9829-C72D7D4C214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37711a1f9db45c4ea3c33515ffb03b2d5ec2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5224491,"id":"Q5224491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681c8c81140a404710e56794d57054be7f47167b","datavalue":{"value":{"amount":"+0.7984651327133179","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":"Q5325874$ADDB2F37-3D9F-4ACC-AA86-7AD39C6AFF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da7745af10aea54d82bc13dafd8acdcc1d756c0","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9106ff34a187d078dc828d62ce9ace4d73761c6","datavalue":{"value":{"amount":"+0.7875033020973206","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":"Q5325874$6FC41059-CFBD-4AFE-B5E6-1F4A27A20980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325874"}}}}}