{"entities":{"Q5325853":{"pageid":7355427,"ns":120,"title":"Item:Q5325853","lastrevid":40995529,"modified":"2025-04-17T05:09:14Z","type":"item","id":"Q5325853","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586620"}},"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":"Q5325853$7758B753-9004-48E4-BB04-CD322CCDD683","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":"Q5325853$A84AFE08-819C-4A85-9C15-63FCE655BB81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb6b66abe654c6cf07c8c5769dc2a591d4dd535","datavalue":{"value":"1204.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$16FB9298-D0BE-493A-A853-16CFB1BD8509","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":"Q5325853$74521195-E8A9-4B06-9DB3-F586965F4D30","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":"Q5325853$943C0F39-B462-426B-903F-534362A9A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325853$2DB0712C-D938-4A57-AD7F-D35C2FB187CF","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":"Q5325853$64362CF6-59D4-4BF9-9C15-BCEF595D703A","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":"Q5325853$E6BC193B-4BD8-4204-A89D-BDCA3D5741AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$24F0B7B3-BA11-4758-B5B5-781676B5308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$A9ECCED9-48CB-4530-B422-A561EABB869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$777AC522-FDE5-4C32-B3DF-71CD638404A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$DA7B33D0-44FF-4F47-9B12-726459608CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79f6d8cfb3c026c68f25fb8a0020aa96235d1b57","datavalue":{"value":"5586620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$DD1BA042-FF38-440E-AFF0-844A529AFD70","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":"Q5325853$1EA37CED-6E72-4853-9257-1F6C53D1CF9B","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":"Q5325853$BA928111-B9F9-41EA-BEF1-D5AA97C07F40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$5F6FA858-FB0D-4407-95F6-ED58FD947073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325853$B84E592C-0001-4DB8-9656-2D54E147FE3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bfc6b36d5c922d32d23af7118cef854dba8973","datavalue":{"value":{"entity-type":"item","numeric-id":5712370,"id":"Q5712370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d884c25d1e036c39e649b5bf0257415683d558b8","datavalue":{"value":{"amount":"+0.95452964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$1EF2AA64-2C79-486C-A0C2-C11A9AE37EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559f6f9651587146abc33aa717ed7a61964cd2a2","datavalue":{"value":{"amount":"+0.92381406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$1AC9EC4D-314B-481E-B4F1-AD508A59E484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1342f2fa80443240294e89d6a99c9448f05812","datavalue":{"value":{"entity-type":"item","numeric-id":5714753,"id":"Q5714753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6a25fa1901271dbf58ee808d760ed8f5af254f","datavalue":{"value":{"amount":"+0.90993285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$1F43F0A8-9B6A-4D27-923D-34662DA9E022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8d7eaec06e6bf804b952f47ec9d5b5e8049f19","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f0d0ce610db97def005b26c984bbbd6fbba400","datavalue":{"value":{"amount":"+0.9029488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$AE828FAD-D720-41F8-A92C-50E887A2402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5080963c401e6f7873c09ff3ec91b988beb8dd64","datavalue":{"value":{"entity-type":"item","numeric-id":5713727,"id":"Q5713727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48ec8c30ae9d7e1e09c011602317dd79d0fbe11","datavalue":{"value":{"amount":"+0.90121824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$56C6DEAB-ACF5-4D51-B177-115436F291C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2331e83b178897a82880a330374d5ff5fd9dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2748855,"id":"Q2748855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04ecf4936627801d10520a3f9f24aecad7d7bd2","datavalue":{"value":{"amount":"+0.88514304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$22EB729A-ED14-4934-9BAA-B06740286CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a1a29718dec37f81f429c6f24b3813fc46a3b0","datavalue":{"value":{"amount":"+0.88356686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$B59207F6-933A-471B-B905-4112FB156D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7a8488441167050207c08966b6ab729f4ae6a0","datavalue":{"value":{"amount":"+0.8831922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$9639687F-2F28-4A46-87CD-6C79688EF730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c095a5920571272f1325dcc468b58346cefb08","datavalue":{"value":{"entity-type":"item","numeric-id":5326469,"id":"Q5326469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0102c76610badf34dae8e84133b9e061e0beb44","datavalue":{"value":{"amount":"+0.8814461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325853$6A00C383-A866-4D52-BAA5-CCB8F1AAFDCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325853"}}}}}