{"entities":{"Q5325879":{"pageid":7355453,"ns":120,"title":"Item:Q5325879","lastrevid":50726201,"modified":"2026-01-14T23:02:59Z","type":"item","id":"Q5325879","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586643"}},"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":"Q5325879$301FBF13-BB44-4B6C-894B-145E1112B581","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":"Q5325879$4DB52D68-CA8C-4D8D-9B60-0B810446FEE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8cc149920a2d1241a4040cbfcd0ab652af05724","datavalue":{"value":"1204.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$CE4E4CD6-D011-485F-A235-B2667D0DC392","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":"Q5325879$7DDB3D60-ABBF-4FD6-9978-D68FB75ED27C","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":"Q5325879$2AA09ED9-C8B1-4AAD-9582-658D5477BFA1","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":"Q5325879$6C4659E9-23C0-483F-B946-F7951F06EDE5","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":"Q5325879$8E7223CC-2D74-4923-90F7-C7A744AD6471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$5D5BAFA5-E9AA-4B5E-AD1C-3BBBD4411380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$6E17CE84-6296-46B1-BE94-6E17ED9EE2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$F91F287D-8FD3-4D87-BEAA-563DB4B42FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$9B2C0793-E75A-4DF6-A90B-88206FD1A4C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7252aee077ead772b8049da49c7b0703e8d23896","datavalue":{"value":"5586643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$2CF9348C-678A-4967-9651-F2B4DAE09868","rank":"normal"}],"P1463":[{"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":"Q5325879$1A2C5B15-D521-4444-82CD-8716FBC86C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325879$E23ADE0B-6C76-4A07-9F38-A0C07E7CFED1","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":"Q5325879$14D6772D-EE2A-46C8-8808-5E95DBC25B07","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":"Q5325879$3F2B9508-F670-4E28-8718-4717FE8DA1C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$946E4836-C415-47B2-85E4-1CE61BE65087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$FBBE26C5-8DCD-4CC8-B028-EFB300D49ADE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325879$C631B968-7782-4B86-B55D-9E44D1C033E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb824f9601d9f58354e9979d19466963add5cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1736547,"id":"Q1736547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e93e1c47cad5429dd397ff05bff99353e9fc42a","datavalue":{"value":{"amount":"+0.7036486864089966","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":"Q5325879$0D635885-7F3B-47D5-A616-BCDAC4AA3018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9662436ddba986dbfe8fb88fc949db265075c573","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb1649b45b71c0cdc371abd5daa059da88f37a2","datavalue":{"value":{"amount":"+0.6606239676475525","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":"Q5325879$07F58290-7844-48B3-ADAC-C8D8E6FED63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5865791d21a92b62cde5ba68463aa14e2eae6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5714763,"id":"Q5714763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a4b8c56d788ccd66f22b2be327543a9392d309","datavalue":{"value":{"amount":"+0.6591854095458984","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":"Q5325879$160D534D-34CA-4065-9F3D-6DB12EE05371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c5c8f9795a7368a342e73e859a411d943ec61d","datavalue":{"value":{"amount":"+0.6535086035728455","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":"Q5325879$D750E2FC-EA9C-4D95-AC19-6172FD6715B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe75194ec7a76baa486390d415f8abab21383f6","datavalue":{"value":{"entity-type":"item","numeric-id":3172913,"id":"Q3172913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb35b486c93eab7044f988aac71b49d1c962103","datavalue":{"value":{"amount":"+0.6517595052719116","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":"Q5325879$BBD1B883-830A-4ED1-A34E-029FFD052B76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325879"}}}}}