{"entities":{"Q5325855":{"pageid":7355429,"ns":120,"title":"Item:Q5325855","lastrevid":50726060,"modified":"2026-01-14T23:02:54Z","type":"item","id":"Q5325855","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586622"}},"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":"Q5325855$AA24B75A-36F8-4FD5-B9CF-84609CB6B761","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":"Q5325855$BCB7C834-CAC1-4B88-85F0-4AB1D8631AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2c38e4533078cc09128b9fc51ad94db41cdd7b","datavalue":{"value":"1204.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$B0F28956-5033-4829-8B15-15AAE6F5C5B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f00290088b529e65211f851586e02e8cd7b4faa","datavalue":{"value":{"entity-type":"item","numeric-id":650183,"id":"Q650183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325855$16BFCE17-4901-4F87-9D69-CA3780D96674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8ef2f48d9f17dc4d1028b49d4a09f5a3b97855","datavalue":{"value":{"entity-type":"item","numeric-id":1668955,"id":"Q1668955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325855$07D1ADF9-AD32-411B-A20D-68B7A76EDBC7","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":"Q5325855$A83D2EF8-5515-49D4-8E55-F2FEB0AC7351","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":"Q5325855$19CD147C-CB2B-4F49-986D-3EC2DCB17B7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$618D6CA6-3768-4117-BEFE-9E5ECAEFBAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1605bc5dea0dca4de0a503b8718abc9a678a6472","datavalue":{"value":"82B41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$5D747942-54CB-4056-9EB9-D76714DF7DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"407ee9be3098d6cfbf098d44b32b1543384bfc51","datavalue":{"value":"5586622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$377A5B2E-27DE-4866-ABF3-9305890B8244","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":"Q5325855$AEB39092-E2F0-4735-9B42-4D67EE55EB37","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":"Q5325855$28EB4A36-805A-4D22-9006-1E1C70A6CC15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$4925E42F-765F-4C5D-9E22-18056EE26EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325855$A865E275-2EFF-48C4-8AFE-10D2E55B2939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8fee64663273aa385a03e432f47369502443b6","datavalue":{"value":{"entity-type":"item","numeric-id":3188855,"id":"Q3188855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce93793bcec8b3ee60cf670c074029fa788dd1d7","datavalue":{"value":{"amount":"+0.8548628091812134","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":"Q5325855$3A4387BC-805C-4007-A194-C8D9C6DEAAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f3d3fec23b5dfa3e450b89f7443e3a6e71f23d","datavalue":{"value":{"entity-type":"item","numeric-id":328683,"id":"Q328683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b52724aba4372862db1f486fe5776a08a3b8bd","datavalue":{"value":{"amount":"+0.8436506986618042","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":"Q5325855$CB85A4AC-A358-46F0-9C82-CB40E619D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5452939a61f1a8f86d5a8eb4958d665e50e79c97","datavalue":{"value":{"entity-type":"item","numeric-id":5267998,"id":"Q5267998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a7816ca97daeb8b285c25e4e17bf00d2c3a855","datavalue":{"value":{"amount":"+0.8187299370765686","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":"Q5325855$26AB0086-CDCA-4426-ADF9-D4CEB3B38492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d0e4a00bc5925ad25d50c609550d9dfeffaf19","datavalue":{"value":{"entity-type":"item","numeric-id":3499766,"id":"Q3499766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1217085345069ae8b886d5e0da748982f9d2e2","datavalue":{"value":{"amount":"+0.789133608341217","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":"Q5325855$C1B272B3-D63D-4990-8E26-97C21CE4904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f72557383b8a14374c7ea6e6c1e789239d38867","datavalue":{"value":{"entity-type":"item","numeric-id":5325862,"id":"Q5325862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d9ac123fc63742826b130e1357d5c0a3815c5c","datavalue":{"value":{"amount":"+0.7821569442749023","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":"Q5325855$7747734E-834D-4453-BAFF-E2F5EDAAA766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325855"}}}}}