{"entities":{"Q5714759":{"pageid":7744313,"ns":120,"title":"Item:Q5714759","lastrevid":48614083,"modified":"2026-01-05T09:39:52Z","type":"item","id":"Q5714759","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239211"}},"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":"Q5714759$FE4AFDD5-AAAF-42DF-83F5-6520075A1DF9","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":"Q5714759$01C5A7DA-E6F7-4A15-89BA-645DE226EDF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0472219d0c0def74d2af64b480f1f50de0cd1f9","datavalue":{"value":"1122.68618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$BDD8669A-7EFD-43E4-8249-EECE90B41A73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$D13ACE29-2DDD-4899-98BB-548F6774E1CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08fc9d7a5a29e1735be78fa299ce4f3e4c2e4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5450943,"id":"Q5450943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$A5F6DF2B-A66D-4F15-A4B7-02974A27637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"579a4c4ddd9fcaa15053d564f78f057ce0128411","datavalue":{"value":{"entity-type":"item","numeric-id":3181586,"id":"Q3181586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$3C036AB4-E90D-4099-BDFB-6868CD0FFE95","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":"Q5714759$1F121CC2-7627-41BA-B988-5B830DB09A45","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":"Q5714759$00DD39D5-6A14-4BD0-94F9-D1B461F8A347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$0D2B5541-C433-4907-84DD-C9BD3D37F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$C867DB20-252C-413A-8808-5AEAFE1BCE06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bef469dad959554e44b1a92ce3444b27258760b","datavalue":{"value":"2239211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$77CD3DDC-E4EF-46FB-806B-4778F53167D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$75B409AE-AE7A-4141-AB93-92DB719E8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$C3436963-5082-4D54-867E-E9D0B90DBEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$6F575569-DF34-460C-822F-46A687E65872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714759$A03421B9-7580-45A5-8482-FC2F55C758E5","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":"Q5714759$11AF0FE5-7C78-46D1-904F-7706F6B1E66A","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":"Q5714759$2CD000E5-1B74-41E3-B48D-AD806EB1468C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714759$56C1246D-2C26-467F-BF0C-947CDF082F35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c7e6193c332c8fd1055533ea02244efed9cae6","datavalue":{"value":{"amount":"+0.8423250913619995","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":"Q5714759$5430EE96-7C6E-46C4-BE0E-3C466AB04D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524429162c908c33f05338237f69067d4714a38c","datavalue":{"value":{"entity-type":"item","numeric-id":3985811,"id":"Q3985811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fd445e60efec994a0edc1643f3aff1252fd8ae","datavalue":{"value":{"amount":"+0.759238600730896","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":"Q5714759$29A8D032-8208-4CE9-86BD-190E83D52B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f8442dfbf21783e50ffb29450dc0c3e55403eb","datavalue":{"value":{"amount":"+0.7585141062736511","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":"Q5714759$EFB10ADC-F6E9-438C-9457-B5A12BC01C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9488133a51a9327b54a45bbeb6383afa794c761","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1d801c36f0b8fcfaa8b06d0a2073a60a82e083","datavalue":{"value":{"amount":"+0.7547672986984253","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":"Q5714759$1F9E3E27-EF25-4010-90E8-79556065E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0a373b2a8284259127714dce903cb6115c58b2","datavalue":{"value":{"amount":"+0.7499296069145203","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":"Q5714759$D742E20A-7548-4989-AEB0-13EF95541BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714759"}}}}}