{"entities":{"Q5714748":{"pageid":7744302,"ns":120,"title":"Item:Q5714748","lastrevid":97124675,"modified":"2026-06-05T13:22:23Z","type":"item","id":"Q5714748","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239201"}},"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":"Q5714748$9909AB45-6290-45B1-845D-4C33281AD49A","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":"Q5714748$7D294E7E-A566-4164-A1E5-7D368DEA117D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07edca3c0724b27c75f7faacf3f10728d93295a","datavalue":{"value":"1122.68601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714748$AF4EDCB9-9EE5-4BED-ADC7-667D847A02DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714748$8DB3564C-DA91-46CC-92E3-E002242BD3DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1693622b090ca2c193736616e46d7f4791fafb3","datavalue":{"value":{"entity-type":"item","numeric-id":360105,"id":"Q360105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714748$41CEDC6D-1C31-4614-8634-3B72E2BD0D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab581a8596fa2f5f17dcb9bcf516e7db4560e5f","datavalue":{"value":{"entity-type":"item","numeric-id":511783,"id":"Q511783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714748$30978391-F272-4164-BF4F-3664222FE391","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":"Q5714748$D2D24057-A224-4341-9F2A-381E3CE72805","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":"Q5714748$684D0BA3-7E2D-4055-A44B-44131422B999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714748$F1771648-E08A-441C-B55F-A23EAB786D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240bfc06b1c775141f7581c18273c86f7115808d","datavalue":{"value":"2239201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714748$BC5C8138-2F83-4522-B1CD-A825BACB3E20","rank":"normal"}],"P1463":[{"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":"Q5714748$BB2524B0-A14A-4FC8-A0A4-671EB7407CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714748$A9A775B1-B539-4983-B1B1-786E26E8C0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde14699ec3921b2ddfda23b9fc31ea095df40a7","datavalue":{"value":{"entity-type":"item","numeric-id":21011,"id":"Q21011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714748$ECCA7FEF-FB1B-4CD0-8022-60D3D64AB11F","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":"Q5714748$BFF92BFE-0058-411E-905B-96D18C7EF78B","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":"Q5714748$0DE11488-AA7A-4166-9C4B-78765588D1F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714748$76D4E746-FBE8-4080-90A3-2DF8FCFBCF53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b12a5a927834afd5558f74dcc24eccc82adb63","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894942feece4d2ed6fb54c58c65032be2c23bac4","datavalue":{"value":{"amount":"+0.777940571308136","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":"Q5714748$FA58A193-F1CA-4D21-887B-60E674C26FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c27dbd30a9821bed1ffb7135af2fa491dcd9958","datavalue":{"value":{"amount":"+0.7629538178443909","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":"Q5714748$CAC111FD-9816-41C4-BFE7-CDA3EC4BD603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739b66e23da840c3b1e8f4397e7ec6d13025cbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326072067bacb5c2daa9fc5223644c5e0929302b","datavalue":{"value":{"amount":"+0.7438293695449829","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":"Q5714748$867B31A3-53B1-45E2-9290-A3A5150D3C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d441322ccc7b02a6ebea7923e5faab64e47ff3bd","datavalue":{"value":{"entity-type":"item","numeric-id":1332638,"id":"Q1332638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f02f075258b6e4961fa1b601e5395d6301c69a2","datavalue":{"value":{"amount":"+0.7420434951782227","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":"Q5714748$5B181C51-1512-416B-95DB-73FEEBC6B2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42251eb8c74163d8a65918642b6681c353a8233","datavalue":{"value":{"entity-type":"item","numeric-id":5148102,"id":"Q5148102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffabc299091c72b7f7d372c8a33826d9382d5141","datavalue":{"value":{"amount":"+0.7419313192367554","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":"Q5714748$1B0B6D32-2222-4B75-9395-3BD8148DCF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239201)","badges":[]}}}}}