{"entities":{"Q5713745":{"pageid":7743299,"ns":120,"title":"Item:Q5713745","lastrevid":48613759,"modified":"2026-01-05T09:39:35Z","type":"item","id":"Q5713745","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238995"}},"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":"Q5713745$90CE5DBD-5694-4B5A-986B-F52BC22158F2","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":"Q5713745$F81AD2D7-AF47-472A-8565-2F617416AD89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f81a64a1610ac056293c7c25d1ba4d2a3711ce21","datavalue":{"value":"1128.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$8A788C33-0899-4F99-A1E3-7CBECFEACE0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f963cda1fb3200f29721abeb0ea7280204306ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1037639,"id":"Q1037639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$4B4EA7DF-582C-4518-B8D3-F6C14CB9955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$7969BC8D-AD58-4895-8761-C36EA956840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"630ca3960cc466dcf9601d2313ce5a15acdc4d40","datavalue":{"value":{"entity-type":"item","numeric-id":1037640,"id":"Q1037640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$DE34E4F5-C4F3-4C37-B475-46C76BEA0120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$D92F299E-D67B-491E-BF5A-958C8044BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$38D1599F-2414-47C3-974C-7375510D432C","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":"Q5713745$62D42552-0D77-4FEE-8B70-D10AF044C78D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b520865fd883bc73fc620b09c86f160900096aa","datavalue":{"value":{"time":"+2005-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713745$AD071C57-70A5-436B-8C0E-7A5C87312594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$B7C006AC-8980-4C43-9300-412909B45BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$EC3B904D-B3C2-4B9A-9087-74A40E4E8CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$F95D7CFB-9FA8-414A-B412-F6A487756E2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c4a9fb7539a628fdc9fe9ac8827abc97a1829b3","datavalue":{"value":"2238995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$EAEE7854-97F6-4AD7-9B3B-238D9CD41B37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713745$144377DF-2567-4112-9F67-221BBCEEB600","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":"Q5713745$0EF55314-5935-49B7-ACBC-02AAA9A2AED3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64dc5720e0a37f50535f68f0b7d0dea92dd100ee","datavalue":{"value":"https://doi.org/10.1007/b137280","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713745$D223B1EC-1639-4600-A9FB-A6F8BE98DC83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$38E3F4F0-2DB9-48EF-BF8E-75A9B2ED4BA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713745$76E0C464-BD4C-4108-974D-921BB1A92202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ca2c9c0c2484fb1d2a29c3735b9e8dc10cf37c","datavalue":{"value":{"entity-type":"item","numeric-id":1037642,"id":"Q1037642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab9b008f78ef79e52a84253b6b997aafa5cea73","datavalue":{"value":{"amount":"+0.9186183214187622","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":"Q5713745$A80F4DDD-2BD6-439B-91D7-E88639293051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2aa685a7d98ef9f9d8cfe5713c6c94b8260a6a9","datavalue":{"value":{"amount":"+0.8442484140396118","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":"Q5713745$D358EE63-ADA9-4D8D-B90D-7A235C218674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919585733e4e0e444af90ed3a2b761251c84723","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9104599df4687318f8b1a39170aaac96227bae","datavalue":{"value":{"amount":"+0.8383867144584656","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":"Q5713745$3466E8C0-CFA9-4713-BCE9-2D520CF7EA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330ef4d1ae31292f491f336e17fe1209411f0ba2","datavalue":{"value":{"amount":"+0.8360337018966675","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":"Q5713745$57A54894-8CF5-471C-A3BF-5D8F048A3D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e4d5a06e35da0a59ed8b3cb0f518cd9bff1185","datavalue":{"value":{"entity-type":"item","numeric-id":6108818,"id":"Q6108818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45d167e58f2a2b2245f767ac85a1188225dbcaa","datavalue":{"value":{"amount":"+0.8219854235649109","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":"Q5713745$ECD421DA-E602-4AED-9F9C-0D2C29CEAFFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713745"}}}}}