{"entities":{"Q5714776":{"pageid":7744330,"ns":120,"title":"Item:Q5714776","lastrevid":101625683,"modified":"2026-06-06T01:51:41Z","type":"item","id":"Q5714776","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239223"}},"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":"Q5714776$37393381-F4AD-425D-A907-30BB5A19D8EC","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":"Q5714776$F72884EF-68C5-40D9-88EA-7D96D6E76283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde7a2fd9d74ddcbc0b8d34e5f49fe989d5e1502","datavalue":{"value":"1122.68595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$67C2A329-9F96-4E75-BAC4-35E36471B822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$61ACC114-B8FE-4AFB-8582-B7B03727B233","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714776$A0E794C0-9E71-4A8F-A072-688D9125420D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714776$690F20A7-48C9-486C-927D-6D4B71566854","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":"Q5714776$73550FF8-E585-4D76-A896-B79BE238A74B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714776$CCCF5D62-1945-40A4-83C9-2F07641745E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$FF1AF342-8030-4A8E-8F85-859AC835248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"898109ac7e401de8fce76101fe27418b7afd5158","datavalue":{"value":"05C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$EAEA7437-F9F2-41B7-9D01-679741F9B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$53868C63-76C9-49E3-9306-80B534E886D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$70C35F1E-5DDC-46AD-BABD-80D36773AEF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6554961826d6d9072994a1cf2954e36c58c426c","datavalue":{"value":"2239223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$5B470D0A-A656-449F-B298-3EE319B5C448","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":"Q5714776$00E86CFB-C967-4C40-8D07-90A396F4F7A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714776$C35BFFCA-5822-471A-9951-82F3E92E6461","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714776$FE77B0A7-CFCD-49DA-8B9E-7C5EF4A3FE77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d257a4f3557c6ec781c9e532bfad50107ab87","datavalue":{"value":{"entity-type":"item","numeric-id":5325876,"id":"Q5325876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba93597c542819efbbbb811c79fd605eb99e10b0","datavalue":{"value":{"amount":"+0.757847785949707","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":"Q5714776$9CF3ADE2-A05E-40EA-BB46-8C9783962CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fcc69eb9a762c59074c9b191e2ab98412cb6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3612474,"id":"Q3612474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6406314dd2bdddc1916c0366d6005f9856dcd1","datavalue":{"value":{"amount":"+0.7537955045700073","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":"Q5714776$A00C6054-DB9F-45BA-9DBC-8651355FA7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb97412cd8b524c6a05fab6162ee918aca32b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284db93c4af8a1e898c4e1c4c9d31e88c64af849","datavalue":{"value":{"amount":"+0.7478062510490417","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":"Q5714776$A1C1FA14-340A-4F36-BBF8-2CEE3D5270ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0c1b2a15db8e89573809f52bcf2b8bf1078cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3985743,"id":"Q3985743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1462917951cd37a3393a52c1d3779ef94e1d080a","datavalue":{"value":{"amount":"+0.7412212491035461","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":"Q5714776$89ECE56C-7A98-46DE-AB81-C6A66EAD13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a505666d5ffbf67d9cce8bb2a0f39608f8ee72","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37078c86941012daebc5e269ae6581ec5aa99e4e","datavalue":{"value":{"amount":"+0.7342855334281921","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":"Q5714776$6FFB65EC-2824-4700-93AC-A02303D19DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239223)","badges":[]}}}}}