{"entities":{"Q5325886":{"pageid":7355460,"ns":120,"title":"Item:Q5325886","lastrevid":95983712,"modified":"2026-06-05T10:09:39Z","type":"item","id":"Q5325886","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586650"}},"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":"Q5325886$62CDABCC-9C9E-452B-8D7E-3D84F0C8817B","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":"Q5325886$73CA5C80-4A49-4B08-A407-36B050A259C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe7caa5f3c98dc2ffc716eb0a302d1a08b5fcc96","datavalue":{"value":"1204.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325886$32075BEF-E068-4B24-8273-0C7AD3430D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a2c458cf2431e63d7439c0ab4cc2d22036a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3160045,"id":"Q3160045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325886$D355713B-9BF0-4458-9703-665628207F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c89a389cfe18acf9b42f03905ba53d9733e408e","datavalue":{"value":{"entity-type":"item","numeric-id":220479,"id":"Q220479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325886$AABCFB07-2AC5-4422-BAF5-F2BEE4086166","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":"Q5325886$2FB89DE4-E57C-4132-AD4D-014CB19E2B92","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":"Q5325886$2B98B277-7F83-4587-9B59-3E8172AD44FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325886$3828008D-8036-4C0B-8912-C1C1F0C0E6BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8285c37cd58abdf5173f55d1bfb74c1932163fec","datavalue":{"value":"5586650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325886$E4B9FD6A-E205-4D4D-9B8C-4EEE4B1E201D","rank":"normal"}],"P1463":[{"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":"Q5325886$13234F73-9757-4E61-B3F3-C304DFE018AA","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":"Q5325886$666CDFBF-414F-4734-B576-E5C3E3F9F4CB","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":"Q5325886$5029BE68-D70C-4E17-9347-411445671512","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325886$227364FB-D71D-4D2B-A11E-043E681D7B27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325886$DC306407-82B4-417E-A98B-B7197758C2ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de71686e9114bdbbfc274fae56804571cae80fd","datavalue":{"value":{"entity-type":"item","numeric-id":2921781,"id":"Q2921781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f7072dea635ce47a30c9d0e14cddef8be620c0","datavalue":{"value":{"amount":"+0.847588300704956","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":"Q5325886$ECE966A0-2874-44CC-8BA5-593181750B74","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":"f5d5507eb58c988e2540016b4c4c243915882064","datavalue":{"value":{"amount":"+0.8347658514976501","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":"Q5325886$54970103-D916-478D-989F-CB25E2C4C4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937107a1d7e0a829d57cf459d36d70fac7be3b11","datavalue":{"value":{"entity-type":"item","numeric-id":3160046,"id":"Q3160046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb931727501424c6cc484b725e4ab14ddd77bec","datavalue":{"value":{"amount":"+0.8121508359909058","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":"Q5325886$BC27F994-E2FF-4AD6-890B-3F70CD5B8BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cdb25ce3e8cc70aa21ee9d98e2fb8abdc7c61b","datavalue":{"value":{"entity-type":"item","numeric-id":2090606,"id":"Q2090606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2746ee918d50dfb112e80cbfa7cf7635fa52576f","datavalue":{"value":{"amount":"+0.8036414980888367","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":"Q5325886$6A7A21F1-FF05-4E79-BCE3-BCA84BB98E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9927bad97444004be1677e2edaae053a9ea2514","datavalue":{"value":{"entity-type":"item","numeric-id":5756574,"id":"Q5756574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d7e0e5882035b8243ffdf023e33ac6033a9245","datavalue":{"value":{"amount":"+0.796863853931427","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":"Q5325886$C81BFAA4-0D25-49C1-850C-D9E350BE809A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 5586650)","badges":[]}}}}}