{"entities":{"Q5714751":{"pageid":7744305,"ns":120,"title":"Item:Q5714751","lastrevid":58588299,"modified":"2026-04-05T21:34:43Z","type":"item","id":"Q5714751","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239204"}},"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":"Q5714751$05A73B4E-1CAA-4815-989C-4DDAB14E9313","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":"Q5714751$9B8F6B0C-CB9D-42CC-9E2F-2E0BE87704F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15c9e2981375029850eff1c866b94be18ee1a02f","datavalue":{"value":"1122.68605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714751$A4E6BA4B-3C5C-4C55-ABBF-B1BC2D4D4E57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714751$2EDD9693-4754-48E3-9308-1BD7C183991D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aed3db4041933bb8185c3a919ee4c0aab106d5bf","datavalue":{"value":{"entity-type":"item","numeric-id":3506879,"id":"Q3506879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$EDB30DDD-7641-44A9-92FC-0D82500EEA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9a5c7376fab625180f58f20ebd6bb1b67e776","datavalue":{"value":{"entity-type":"item","numeric-id":162055,"id":"Q162055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$77EFE44D-83B9-4B72-8C4B-EF888A07B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$0A82AA3A-5E4D-4A5D-84E8-C8BA6E4BB192","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":"Q5714751$A10CF865-8125-49D9-A07B-CBB132FAE2A4","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":"Q5714751$5EE16DB8-5302-489F-A42A-436CD43A2B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c2c5972aad277bed245807a7003470162a84536","datavalue":{"value":"https://arxiv.org/abs/cond-mat/0408190","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714751$43A1F607-E678-4654-B6E0-44D7E90BD32B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714751$0680C579-2281-4C55-AD6D-0528244511DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c2aadb4f12211e666a83f5a19a3777c37909ec5","datavalue":{"value":"2239204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714751$489B81FF-E247-4F29-8B2D-34A0FF5707F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8766c20cdfb7782aee991b8eb35e225f62b9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":16631,"id":"Q16631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$434EE9B0-B9A1-414A-A4D3-76FB93A9D22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$FA25CE71-C7DD-48B7-AC87-787470D22388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714751$A4D1E7EE-CB34-42BE-AD4C-9AAEEF296C59","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":"Q5714751$4E3AC52D-6B0C-48C9-86EA-F59A3CE05551","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714751$024D8B61-597F-4BA6-94E8-9728D30F42E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd12f20018924476486f303d7591b83f059fa50","datavalue":{"value":{"amount":"+0.8149142265319824","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":"Q5714751$AEBEC178-D1A6-4C07-8490-C7DBC14FD1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85570080ab34fdbedbd6a5b343bbe7b3b587d46","datavalue":{"value":{"entity-type":"item","numeric-id":3439117,"id":"Q3439117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a8a6080a8ca8eb3685e22f4606aa4ac334960c","datavalue":{"value":{"amount":"+0.8144102096557617","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":"Q5714751$86BDD97E-0D2A-4FF0-BD40-4C74D2ED2755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b091c6ad307ef3a1494f08534f9ebaa1f6a70509","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640d9c2620fd951c2e6fb6923657aa59b3a8ab6d","datavalue":{"value":{"amount":"+0.8097857236862183","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":"Q5714751$51C6F82A-1FDD-4D65-9666-4243205E4109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8de6c420bc2e74c4e75c8e7cedbfc59d1f2b43","datavalue":{"value":{"amount":"+0.8082273602485657","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":"Q5714751$05FD322A-5AAC-4CA0-8538-926FEB816619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dc7b369d19a8bcc8d2b4e7b22efae8b5a64102","datavalue":{"value":{"amount":"+0.8081769943237305","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":"Q5714751$05BE74DD-42E5-4EFE-861A-CC043BCF8DC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714751"}}}}}