{"entities":{"Q5325864":{"pageid":7355438,"ns":120,"title":"Item:Q5325864","lastrevid":50726105,"modified":"2026-01-14T23:02:56Z","type":"item","id":"Q5325864","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586630"}},"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":"Q5325864$87793804-8632-42D9-B8FE-DC38CE3956EE","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":"Q5325864$4F90F3A9-B83E-45D8-BBC2-E5C5E7513F89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f094bee470c0a8713d7a31bff57e51dfea1b610d","datavalue":{"value":"1204.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$76D62BC4-6B0C-41CC-86AA-6F5648392771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527715c31d225d5d93893467164e1a8892971b8e","datavalue":{"value":{"entity-type":"item","numeric-id":655182,"id":"Q655182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325864$8AF6A6DF-33DC-4AE7-BA7F-F826B0A827BD","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":"Q5325864$8C3F3F57-982C-4CA3-BDA0-7F036F8DFE9C","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":"Q5325864$045D9B41-7350-4868-A6D5-27579657C6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$B2CF14EB-5F37-4F58-8D98-CE3779136FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$44C53FE4-DCA0-43A5-832E-08E6883F1888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$93EB19D8-AB11-4236-9190-134FA5797239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$46CAE070-04FE-4235-BA31-959718F01573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"651fd0023503e4d30270266f1d3e85a840a06bca","datavalue":{"value":"5586630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$33045891-E3B6-4CD4-A2E8-1FB26F085F72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325864$5497C57D-1274-4151-B63D-73CEAE800986","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":"Q5325864$B0516FE5-498E-4F88-B51D-1A970E355C14","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":"Q5325864$2A091805-8629-4731-95F7-2517806944E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$A7A5C61D-BF62-4101-948B-E29AAD4F9A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325864$92F455E1-E6BE-405D-BFBF-CC362082577D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ab14e1e8392bb7e300ee37c1d48ab0d2e4f677","datavalue":{"value":{"entity-type":"item","numeric-id":5317751,"id":"Q5317751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14da648a20b8e52f0ffc43bd56ee018a018a84d6","datavalue":{"value":{"amount":"+0.8278806805610657","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":"Q5325864$2C07402A-E7ED-45E0-B5D8-85F58189EB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ea1ee4364ad50d01656acf43c7182cb3de12a5","datavalue":{"value":{"entity-type":"item","numeric-id":4444470,"id":"Q4444470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abbb891ffb63589a8493020e222de1041faeeee","datavalue":{"value":{"amount":"+0.8040626049041748","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":"Q5325864$23DA360C-4C5C-4C54-8A70-7CCD39982CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3920feb0ba825ea0211a8bfa3506d3a93f8c606","datavalue":{"value":{"entity-type":"item","numeric-id":3803966,"id":"Q3803966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37470b3af087be82dbcc409b5a162a5fbd50afc","datavalue":{"value":{"amount":"+0.6883469223976135","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":"Q5325864$4BB1AF16-7C15-421A-9A27-497A0D38107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bab85b81903c22d18ffeb04eb747c79cb7faa5c","datavalue":{"value":{"entity-type":"item","numeric-id":1919203,"id":"Q1919203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56dc775667fb4e1c6e6d9b22ed14b3072936000","datavalue":{"value":{"amount":"+0.6859005093574524","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":"Q5325864$652C10B0-5BC0-408E-8B61-07300A2275C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b905caedb43b82703fe10b599430f470b05ea561","datavalue":{"value":{"entity-type":"item","numeric-id":1777399,"id":"Q1777399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334c8775187abfc222132f5e63079d72eeaee9bb","datavalue":{"value":{"amount":"+0.6840423941612244","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":"Q5325864$12974AE5-0C37-4A7D-88E2-1B8872409C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325864"}}}}}