{"entities":{"Q5325871":{"pageid":7355445,"ns":120,"title":"Item:Q5325871","lastrevid":50726159,"modified":"2026-01-14T23:02:58Z","type":"item","id":"Q5325871","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586637"}},"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":"Q5325871$0A39FE30-6CDA-44CD-A019-CD3CEBD1572A","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":"Q5325871$830AE860-25BC-4552-BA8A-C080C353D005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d60573b39caeb07e491a483ee43bdb64d899c659","datavalue":{"value":"1204.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$ECFBEE37-56F6-4617-8DCC-0BC0B3AF333F","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":"Q5325871$251A5A37-23D7-4D99-800C-2D9D1AE36AB7","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":"Q5325871$89BFD8C8-E725-4C57-8EEE-2F745D46C518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$A17DA4B9-2AFF-4E48-BE9B-2505B8CBBD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$0B52FC4C-7B27-4045-A5FB-2096A7FF994A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$7A656DE8-C346-488E-92F0-8410C23ED409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$95DD7BFB-CE92-45F1-8242-A5E1F9A40588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d892f329879dd84da832e74cadadc6b11c7e5f48","datavalue":{"value":"5586637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$BC2EE34F-4243-48D4-8089-07C7A4A41713","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325871$FC59CD05-4E31-4D1E-8972-3E6813B0AC7C","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":"Q5325871$A05CD5F9-4618-4B5B-A63E-2C5DDACE6357","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":"Q5325871$149E4234-7E34-482A-9B7D-967D7F9B447B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$D129AB09-44DB-48DB-8C85-71892CBA9289","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325871$7FF1A62E-103D-4B99-A762-C2A83ED54944","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72e2bb98bf6e6bad833c64e10546a81202a77dd","datavalue":{"value":{"entity-type":"item","numeric-id":5325884,"id":"Q5325884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f81648f63161780e9b2216f5c22232ea21bddb3","datavalue":{"value":{"amount":"+0.8244540691375732","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":"Q5325871$3531ABED-087B-473D-839E-E0D5A44E7855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e6cfc0843016bc5ade6d6a373115730b50e76","datavalue":{"value":{"entity-type":"item","numeric-id":2904751,"id":"Q2904751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0edaf1baefe1cd50c8dfc6dbb68493a47c25229","datavalue":{"value":{"amount":"+0.8162528276443481","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":"Q5325871$BE3716C8-7736-4E0A-972B-A014B1E237A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e45b606eabed5bdb0ecb9d682fffb754362e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2303bab6a0b465a3af69cae1ece81aaa472f35","datavalue":{"value":{"amount":"+0.8145904541015625","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":"Q5325871$F844C786-0DA4-47B4-B7CB-D13944446209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d8b1a19a4e702327fd280e75f53f91008dd41d","datavalue":{"value":{"entity-type":"item","numeric-id":1408379,"id":"Q1408379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a127d9cdbdb27300420dda3ad26ba0e570969a","datavalue":{"value":{"amount":"+0.8130007982254028","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":"Q5325871$717375EC-3D2F-4A10-91C0-A37178268AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aea13165739a8116b9fe700dad2f466a0f70bc3","datavalue":{"value":{"amount":"+0.8060442805290222","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":"Q5325871$8C9FB6CF-03A8-4185-9208-B354A83C431F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325871"}}}}}