{"entities":{"Q5714770":{"pageid":7744324,"ns":120,"title":"Item:Q5714770","lastrevid":48614098,"modified":"2026-01-05T09:39:54Z","type":"item","id":"Q5714770","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239217"}},"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":"Q5714770$5A9657C3-6372-46B5-A6CC-F3CC5D47AB5F","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":"Q5714770$0C81D79F-2691-4C1F-B10C-4CE4F651DB41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0646f1e3bfc6802f52cf88dccd75bde685170bf","datavalue":{"value":"1122.68608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714770$D8C1C40D-CA76-45A0-B6A4-005A649DB47F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714770$01434FE6-6F49-4793-A9C4-05130849DC3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714770$A46FF85B-D32B-4674-B288-2E59B4F46DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714770$261FB082-6BA5-47F1-82A9-ED09141F5775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714770$8A1D3E87-AE2C-4B5A-9E39-33780741A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714770$D0BAE24B-8BDB-4A43-B724-441C678EE46C","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":"Q5714770$FEB3222D-9AB7-4029-A933-5AB6EF49770B","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":"Q5714770$32D1118A-18F7-4E50-BD79-C812BED19CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714770$36B7ED13-888B-4D50-8C36-D370A81EA7FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf363d5c116a85a7f9564e95be9c168debe24240","datavalue":{"value":"2239217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714770$B5ACC60F-6465-459A-A364-84562B114BC2","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":"Q5714770$3CF4FC65-D3A2-47A2-B3F2-28473EC12B7A","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":"Q5714770$89D11803-32CF-48EA-B755-8C8D8F6ED6B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714770$FDF43D28-005F-4BB8-869A-E276CC61A64C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5241b39e344f70f66cdde4696489a4d4873ddbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3429159,"id":"Q3429159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ce24edb8e716c440479aadc5113aa165985b83","datavalue":{"value":{"amount":"+0.9395830631256104","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":"Q5714770$AA9F74D2-1C05-4279-95FB-8A7504A97B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4381427977ff5f7ecae9b21009f38a9564b868","datavalue":{"value":{"entity-type":"item","numeric-id":4930592,"id":"Q4930592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f00251d60cff39b7aee705452944f9edc91887b","datavalue":{"value":{"amount":"+0.874905526638031","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":"Q5714770$F07323A0-3836-44B7-BD3D-5394D8A0AF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2c407c9d263a0164835ab2ab00e250470b2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5325883,"id":"Q5325883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626086cbc61da890850ea36aff7b2d6998eb6e22","datavalue":{"value":{"amount":"+0.8741406798362732","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":"Q5714770$43900F53-35C2-4B15-B22C-2FDC72524285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd59fe52cfdcc9ce0c690e13935dc1360068227","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6599a01e3958383e2c4f18c297242317abf09c","datavalue":{"value":{"amount":"+0.8510103225708008","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":"Q5714770$1C48FD39-7EE6-473C-B293-21A705E5EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9aa26eff1af960c63d24fd546aebd1497adb6d","datavalue":{"value":{"amount":"+0.7987358570098877","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":"Q5714770$14A41286-2D02-49DD-950B-EE535484F773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714770"}}}}}