{"entities":{"Q5325850":{"pageid":7355424,"ns":120,"title":"Item:Q5325850","lastrevid":50726027,"modified":"2026-01-14T23:02:52Z","type":"item","id":"Q5325850","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586617"}},"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":"Q5325850$B457C572-5A62-4868-9208-3A599E9F42F8","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":"Q5325850$2419F38A-2107-481F-A482-8B609D913FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"202567597d0d5bb1ffaf52bd3f26fbea20c8e707","datavalue":{"value":"1204.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$6FD458EF-EDF1-4C5D-90AE-F4F8CC10AE94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9624f6496afb7988a03f86080738a83c88471b12","datavalue":{"value":{"entity-type":"item","numeric-id":864029,"id":"Q864029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$3E17CE1D-CEBE-49CE-971D-CCA353318111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acb93b8eb5bafd163038f2ecd650bd52e95edf5","datavalue":{"value":{"entity-type":"item","numeric-id":1606808,"id":"Q1606808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$D4476338-2F1E-43C7-9092-3FDEAFC19E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d76068fd93824ecde1cb5542b87f88971fa03118","datavalue":{"value":{"entity-type":"item","numeric-id":1777388,"id":"Q1777388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$17FDDE89-13E2-4DFC-8C3B-B627294FC963","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":"Q5325850$C80DFC1D-B05E-413B-BA2A-8959A1371CF4","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":"Q5325850$1B7793F6-B7B4-491D-9413-F20FE267E08C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$F212FE88-565A-40C1-B123-60147D9B3B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$89C58B98-AD08-4066-AE1F-33B19DBE5646","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a6ecb0aff56ec62d557ef1d22601ed7ff726616","datavalue":{"value":"5586617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$E3ADD256-3EB8-464C-804E-0BD8960D7CDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b03ea1b50cfcc83c65dc6f11e6a28ace876d748c","datavalue":{"value":{"entity-type":"item","numeric-id":16628,"id":"Q16628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$8CFEC1E6-6D7B-413C-830F-906CC553E224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$6271424B-7D78-412C-A6A8-7E04C16CBA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$52096948-10E0-424C-AB47-FE48AC4F4FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$0FF60F1E-2E7A-46A5-9368-061EE94A8063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325850$1CAD7933-1DB8-447D-98A4-5C746BEBBEC3","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":"Q5325850$863DFD94-4241-4C01-8B33-E36553E47FAB","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":"Q5325850$C08151B5-4CB4-4C58-BC09-408DC0D8C23B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$17DD9283-DE98-405E-883D-A6455604C99F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325850$6D7D9811-980C-4959-B288-E579B81D9A0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbf705985e241aef351e0883d41dfabcbcff633","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e144a1a9ac3c48c19ba8ceae614b78f1a7d798bb","datavalue":{"value":{"amount":"+0.7943267226219177","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":"Q5325850$795249E7-D249-4625-B350-F94388E6912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e1b5817113569fea0ac7dd8ba48747163ebfb5","datavalue":{"value":{"entity-type":"item","numeric-id":3604008,"id":"Q3604008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957ce5ff3da86f80f5a5dc0ce8d8813ab355a7a1","datavalue":{"value":{"amount":"+0.7666437029838562","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":"Q5325850$40F5EC08-2CB3-4D07-85BF-010C67630FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a99bc43de1a53a4faa6c780165a566eb3f91b6","datavalue":{"value":{"amount":"+0.7542375326156616","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":"Q5325850$DC771023-D076-47DA-8B3F-274B39A812F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f53227324ededbcc859ac44f8de37bedb0d642","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ec496e58fb6ec737dd39f6160e95013a364646","datavalue":{"value":{"amount":"+0.7519509792327881","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":"Q5325850$22FE9A4B-CA14-42A2-B577-0B3F288BB0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a12490123d7cfc5286efd9e4bef35a387ac7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4475671,"id":"Q4475671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babb70cca746fbb65a7fe7c5af580fe4bfee72ef","datavalue":{"value":{"amount":"+0.751387894153595","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":"Q5325850$8B61256E-402A-47BA-AEC7-594CF1650A33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325850"}}}}}