{"entities":{"Q5714775":{"pageid":7744329,"ns":120,"title":"Item:Q5714775","lastrevid":48614110,"modified":"2026-01-05T09:39:54Z","type":"item","id":"Q5714775","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239222"}},"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":"Q5714775$BF42C021-3E44-426D-8F5D-CD138D7FB5B7","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":"Q5714775$FD0A3FF9-2564-4C30-912E-B0D5A2E0E86E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a8277a92f61cd8615b93e08a6cd73df915af992","datavalue":{"value":"1122.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714775$16958087-9230-46B8-A745-C0A4FF1DBD4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714775$D4F91C48-B46B-43CE-A0A9-B1230993B644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714775$794132D1-9715-4745-85CF-43A1004A60C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714775$94F7F482-B9D2-4F4C-8915-D053B07AA163","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":"Q5714775$DF84969F-37B0-4787-A88C-EB0E86574B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714775$A86155AD-517C-4A07-BECB-875E31988254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714775$EF1F479F-0BC9-451F-801B-8089309D47A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d16f4946de857162f79697c413bd1b2eb212c3a","datavalue":{"value":"2239222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714775$4E797BDC-72DA-4F1F-A5E1-229C8E0D89E1","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":"Q5714775$645733AA-C260-436A-B2A8-F57FB22D9A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714775$7488CE16-7ADE-4645-9D98-CDBD4E9D1F25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714775$95F31ED4-F4B1-4A9D-820A-E1C32EB4A242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63794991f66678f117749d4fa880f19fb422ee0d","datavalue":{"value":{"entity-type":"item","numeric-id":5419094,"id":"Q5419094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eb9bdc7acdd74f02ae7df05e846ef8bc537572","datavalue":{"value":{"amount":"+0.8636181354522705","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":"Q5714775$85C25B91-4D34-4D57-9CD8-237E722F9901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba5295930191029d223c1ed02e8d25afa5e364f","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f5374544195a4e0ae75138f0f06781c1653644","datavalue":{"value":{"amount":"+0.8348583579063416","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":"Q5714775$1980DF36-71A8-4970-8623-06F0F2AE9DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d89c193993855d68878c9b41e3ef8998d8b9254","datavalue":{"value":{"entity-type":"item","numeric-id":3429016,"id":"Q3429016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7ccb40e9cdbad2983168eb01821b974b1fc9ad","datavalue":{"value":{"amount":"+0.834561288356781","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":"Q5714775$C75F0A5C-4CA3-48A6-BAC0-814827F6E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c80e0804d12bb63a2077948bca07f986da79dac","datavalue":{"value":{"entity-type":"item","numeric-id":3434543,"id":"Q3434543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3b1f73d24bbbb29144d042ccd7d9e86615a35a","datavalue":{"value":{"amount":"+0.8204631805419922","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":"Q5714775$5F391C34-BEEE-48D3-BF15-C43EAC86C64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0690d1aec32bde9c4c0d111f4f6bb9e69c4584","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e173bf2ae25c05068cbfcf6c7d801cf754785270","datavalue":{"value":{"amount":"+0.8107905387878418","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":"Q5714775$78133FDC-8FAD-4028-9F5A-44336783DC9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714775"}}}}}