{"entities":{"Q5714743":{"pageid":7744297,"ns":120,"title":"Item:Q5714743","lastrevid":48614050,"modified":"2026-01-05T09:39:50Z","type":"item","id":"Q5714743","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239198"}},"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":"Q5714743$AAB1DE5A-5C34-4B7A-9BBE-A079C2151B28","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":"Q5714743$09010DC9-58E6-4EA1-B0A1-1F9D5BFA1C7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8a00481439e7e59730cbd1b45753db99bb075b","datavalue":{"value":"1122.68597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714743$9F30A55F-A73B-4D88-9541-1D11D7B179FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714743$205DEF54-3022-4924-BEBF-108731913579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f22cba4fdd004fc833bd72d9f66440bfea5f47","datavalue":{"value":{"entity-type":"item","numeric-id":513327,"id":"Q513327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714743$B24C4893-39CE-49D9-B0EF-2DD381E91871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"540102e576d0aa9e6d16531b5f8f5324a9535282","datavalue":{"value":{"entity-type":"item","numeric-id":3524221,"id":"Q3524221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714743$EA27B23D-9502-4009-86C2-2E101874A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e88d1227c6f881b7f6fcba4e1e3032aea20dacd","datavalue":{"value":{"entity-type":"item","numeric-id":513328,"id":"Q513328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714743$A8E16418-759F-4DB7-96AC-0F6FE4C97B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714743$9C88214E-1737-4767-A4C7-3B03A258BD27","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":"Q5714743$2D168E1B-7515-45E4-ADFE-E108D64A2190","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":"Q5714743$55E37205-3E6D-43EF-AC79-89C479D7FB33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714743$FFB9242C-AFE6-4239-871F-F12F2AFA2A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f0759b6020bc561720a7cc99ed3415af46d678","datavalue":{"value":"2239198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714743$FD554EFF-A970-46C1-BDDE-5F1282EAACAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714743$C3AA887B-F169-4434-BC6E-433173D87903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714743$7CBC56C8-4BC3-4FBB-BFA1-DDA7B6C37597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86cc21038ec5c75a082db34720fb7349c846e51","datavalue":{"value":"propositional reasoning and search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714743$6B58E16E-A163-4D83-97D9-38D333D4DF98","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":"Q5714743$4D42D995-EAB9-4E55-929E-7A5A60721C65","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":"Q5714743$8A954C76-9074-4034-8272-2D669A6C433D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714743$10CBDF58-433D-4881-BBE9-EB71C0EBFBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f30cb5780e4c5c1123f3c1542d9f6878fe04ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4473271,"id":"Q4473271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa8d3744ea29d69de264ba079d52ef5cfa41a90","datavalue":{"value":{"amount":"+0.746881365776062","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":"Q5714743$2D94CE99-D661-4909-9CFD-EE397F003EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6eb7c02265cdb40b50527157ecf1a76701ee32a","datavalue":{"value":{"entity-type":"item","numeric-id":3830524,"id":"Q3830524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7caa8d88d7a42c2cd1c1dc50bc0361c0ce22baae","datavalue":{"value":{"amount":"+0.7405436635017395","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":"Q5714743$7E0FC8E0-2688-4CC5-9A0B-6DFB55221A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6819b6ce17e80b616d6f953dbf7b3ed84db556b","datavalue":{"value":{"entity-type":"item","numeric-id":4535566,"id":"Q4535566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c45e860cfbd82ee3a681b954cfa8e3f6a185ff","datavalue":{"value":{"amount":"+0.7322497367858887","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":"Q5714743$A5A26ABE-C108-4DAD-97A0-62E05FE52102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e5b3475a643676a881cba40ecb23e491d292b0","datavalue":{"value":{"entity-type":"item","numeric-id":5953901,"id":"Q5953901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8facfe4488b9d8fbc53ced97daaa77305e0ba3e8","datavalue":{"value":{"amount":"+0.7289785742759705","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":"Q5714743$7D13DC77-3B65-4225-A361-A25663E2B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e69acfa569480e2e03d8bbf7f7e4c95f05b0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4294515,"id":"Q4294515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e04f72fb03a344a4a32b4f5b4bcf6227b5ada9","datavalue":{"value":{"amount":"+0.7246220111846924","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":"Q5714743$13684A6B-2D8C-4643-8CD2-175D2A4D5C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714743"}}}}}