{"entities":{"Q5325876":{"pageid":7355450,"ns":120,"title":"Item:Q5325876","lastrevid":50726183,"modified":"2026-01-14T23:02:59Z","type":"item","id":"Q5325876","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586641"}},"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":"Q5325876$3F5357D5-395A-4BBA-AF2A-187F6E273EBB","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":"Q5325876$1BADDDD8-68F3-49EE-8901-A67221319439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cda6dc0c8af3d8e422a7ff8c1a202597d8a12477","datavalue":{"value":"1204.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$C327D1EC-72C3-46E4-BFAB-705C498B371C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a293a9ce82b4253e6b403cab38fbc131fcb98","datavalue":{"value":{"entity-type":"item","numeric-id":613475,"id":"Q613475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325876$A8AF22F8-D3AD-433D-B388-946BED6A6BD7","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":"Q5325876$9319B171-E83F-47E5-8EB5-908413C1374C","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":"Q5325876$5161AF03-DA54-4B82-81E9-08950B2D6611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$97B669DC-973D-4F46-91E0-1CB42E8E87B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$07F2B871-CB10-4F1C-A9AF-EC6A1BED26E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$310485D6-7503-4674-911A-C99625BC724F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ac80c12587a6a5112be7e3ac3096ed09d0c2aea","datavalue":{"value":"5586641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$4D99EDB2-6E7D-47A1-B346-199907971E7C","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":"Q5325876$804A5F62-3497-4735-B3F1-D8C90C1C5023","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":"Q5325876$FC0142BE-B04D-4C29-955C-42488B04883B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$CDDA42B6-63D9-4E46-89C1-6A14E7AA61B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325876$45E6D105-1FB5-4D5A-987B-7D5178F50297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a9e2a7979eab594ef01f80895b485da8044403","datavalue":{"value":{"entity-type":"item","numeric-id":993493,"id":"Q993493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07247ab03bf6b931379920f6821245bc0f8cfe6","datavalue":{"value":{"amount":"+0.7987238764762878","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":"Q5325876$36332175-8DB6-4D65-AA7D-43EC0EC4EB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec6d06c7e5dce9996ac0514279cef6bdc696695","datavalue":{"value":{"amount":"+0.7882742881774902","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":"Q5325876$D7DB4129-933D-4D8D-9DE2-254BCBB3B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d62603c73fb1830a12673b282a77c34fa40b945","datavalue":{"value":{"amount":"+0.787645161151886","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":"Q5325876$D0B18704-E603-4276-B3F8-CB08AA6D7C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29e9da3864eaf02353c150feed2bebcf3bda9b6","datavalue":{"value":{"entity-type":"item","numeric-id":5687269,"id":"Q5687269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b897c702bc8857ca62c1c61863860d06654c13","datavalue":{"value":{"amount":"+0.7822994589805603","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":"Q5325876$5923F8DC-D8FE-475C-BA01-C51F1670AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fd2b1960543f89e4dbeb32eb16f6cec9d8b77f","datavalue":{"value":{"amount":"+0.7807907462120056","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":"Q5325876$A6717B7E-C961-49B9-A564-F67E562CD546","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325876"}}}}}