{"entities":{"Q5325875":{"pageid":7355449,"ns":120,"title":"Item:Q5325875","lastrevid":50726177,"modified":"2026-01-14T23:02:58Z","type":"item","id":"Q5325875","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586640"}},"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":"Q5325875$761E39D7-9C92-4BB2-8A25-2364869286EB","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":"Q5325875$53B08C7B-16E5-47E4-A667-B810CE35FC3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9fa00180abc095f1975002d48feed20dd980dcd","datavalue":{"value":"1204.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$CFFCEF91-3451-479B-A9D0-8A8A0B89BCC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a08641ccccee27cf5f2a87c6f4c22369d3dc3602","datavalue":{"value":{"entity-type":"item","numeric-id":4475690,"id":"Q4475690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325875$C2EF6ED0-EAE4-4690-846E-60F1CD614DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65d327f6bb6fd3dba59894c9a73e7631265bf6","datavalue":{"value":{"entity-type":"item","numeric-id":835807,"id":"Q835807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325875$C13A6A03-7ACA-4778-939C-3A385B2F1A07","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":"Q5325875$045C6B88-A48D-4D0C-B7F8-0DFEF56322CA","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":"Q5325875$20384295-2C44-4D3E-B607-1ACC36DF15C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$9C4D6451-240E-43D9-AC7B-BEFE0A8773A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5248c217190ff3e59ed3234c18b03a11179f156","datavalue":{"value":"5586640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$DF75AFAB-3647-4AED-B2DE-B4D5FEAEE30E","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":"Q5325875$5AF9BC21-C24A-4AF8-B768-2DAF7834B861","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":"Q5325875$66D1F21C-655B-4B75-932A-1F952C055645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$1CE7B140-A678-4007-9105-6A71BF8014BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$6BEF7662-BB52-4165-8391-9EB91E557E17","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325875$E8821B00-2211-4EC8-8353-CC4BBC9E7C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e04bad2abc8a5c4aaf60be1708f0c1b7e9e532","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d45e11a53d027340ec6c633b819630ce0cfd53c","datavalue":{"value":{"amount":"+0.7744988799095154","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":"Q5325875$C821BE1A-D911-46B3-AEA3-980B7FF50A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93201ebeb809668fb227ac5f277a037acab6d451","datavalue":{"value":{"amount":"+0.7744140625","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":"Q5325875$BE7C1531-8CF4-4244-97FA-790347D869DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9488133a51a9327b54a45bbeb6383afa794c761","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1b685d7be3f01fe3ae1128f20314bc484b8dd6","datavalue":{"value":{"amount":"+0.7742090821266174","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":"Q5325875$ECEFDD68-9627-459D-9210-A1A0B0A696B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab374e9f5fe0c258a9395969a4be6c2393e4680","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d7c36ef1e6b418d1c753462af605f1cde2436d","datavalue":{"value":{"amount":"+0.768892228603363","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":"Q5325875$35319EF4-1A0C-4E4B-9A7A-602B14C54BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae43bdf4469ea5bf9cec966a00ead8c43df3d60","datavalue":{"value":{"amount":"+0.7484012842178345","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":"Q5325875$E7AC403B-E5DB-4CB1-AFAC-8722784B03BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325875"}}}}}