{"entities":{"Q5325880":{"pageid":7355454,"ns":120,"title":"Item:Q5325880","lastrevid":55934701,"modified":"2026-02-21T07:15:37Z","type":"item","id":"Q5325880","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586644"}},"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":"Q5325880$05919464-A691-431A-A8CB-BF0A4D8CDC01","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":"Q5325880$F6BE893B-595F-4274-AA02-03BEB21C43FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c24ef0c676b061c6ad1e86ed3a45d5e13f66cc4","datavalue":{"value":"1204.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$1062C641-71DF-44AD-B561-7FC81A734BB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325880$B3A7BDE9-434F-42C7-B970-6E48180B2ED1","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":"Q5325880$C7D0BA5A-47A4-417E-85DA-D44389380973","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":"Q5325880$8344B6E9-8FBF-4D96-B015-79D2C023A23C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$3F43614C-39D6-4286-BD63-DECD8DE6C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$BA227647-5F86-4790-8384-47BDBF6F30A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$DAD8C03C-5B39-44B4-B711-AFBE47E1DEE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c837aab786c1b9aec56659e1571e3041f2a144","datavalue":{"value":"5586644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$C1E629BB-C7AD-434E-A3F5-3A79B09872E2","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":"Q5325880$50F304B5-AE97-4B33-97EC-8CE70495113F","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":"Q5325880$62E85F05-622A-48EE-B89B-C98A354C2736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$CC1D9F80-DB5B-437C-86F8-9256CA0ACEDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$3A0536DD-AD76-4B35-AE74-4728DDEA70C5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325880$AA6F75AC-A3D1-4A9B-A6A2-06DAE09BEA8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fcc69eb9a762c59074c9b191e2ab98412cb6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3612474,"id":"Q3612474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd800ebe05fee1e247f2d767da650949f92c7da9","datavalue":{"value":{"amount":"+0.7273562550544739","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":"Q5325880$BA083362-8BB1-41B6-A212-CB9AC86EB2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff63281f26becdb526a225e7a9b20e2a0c7b8b26","datavalue":{"value":{"entity-type":"item","numeric-id":3502712,"id":"Q3502712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6b5b657df5a25d6c6e5451fb43617fd68121c9","datavalue":{"value":{"amount":"+0.7236171364784241","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":"Q5325880$38707C14-A04B-439C-A618-ED79E7FE98A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455e4f7380bdb748763327c69938713b98b631eb","datavalue":{"value":{"entity-type":"item","numeric-id":2872092,"id":"Q2872092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c679fd7f486acbf059aa63ab6309cdaf8b96880","datavalue":{"value":{"amount":"+0.7066681981086731","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":"Q5325880$63F4E515-70A7-4815-8245-24C2E60E69C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325880"}}}}}