{"entities":{"Q5325883":{"pageid":7355457,"ns":120,"title":"Item:Q5325883","lastrevid":50726219,"modified":"2026-01-14T23:03:00Z","type":"item","id":"Q5325883","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586647"}},"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":"Q5325883$E1CE23EC-0EB3-4DFD-BC79-DE67CE2D29F9","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":"Q5325883$AA9BD9FE-396B-42C1-A1C0-149B4FF4CD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302879d283bd63bfbcf8d607554874878f63fb63","datavalue":{"value":"1204.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$FAAAAAAC-FBED-44F0-835E-E990AD643D1A","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":"Q5325883$9E06DDC8-0DAB-47E8-81B6-C83DE032090B","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":"Q5325883$F4CF56CB-63FE-4244-86D8-DF52BC07B734","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":"Q5325883$B78BC17F-E70F-4691-A34A-F30C7A912A97","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":"Q5325883$2DADFE83-C468-4661-833F-B39A3D4C8E77","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":"Q5325883$9D26490B-7908-43D9-B910-F21EEE11B524","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$00FA628B-1DCE-43AC-BF80-4053BD8520FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ef32b07ac3c94880d3a22bd5d78d8f7a13f5d0","datavalue":{"value":"5586647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$4E43E689-76F7-4C69-993B-9E6286F58734","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":"Q5325883$A6D39545-B877-44E7-A622-AE62519CAE82","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":"Q5325883$4B67437D-AAF2-42D4-A762-BEFD372A85D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593225e35565bc9b6cbd92dadddd5563d424d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":14294,"id":"Q14294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325883$3BEFBE4E-518D-433E-A9E6-CD93071B7B64","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":"Q5325883$71D14886-6449-4266-90D7-8CA7934175B6","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":"Q5325883$4DFE6741-4F22-4D95-B3F9-21CF96605671","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$6BB5BA78-3642-48A9-8D0A-FDABAC0A2940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$3353DF7F-12B2-4A24-915D-79A729EE2FF7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325883$720BBF82-B638-4638-BF40-6A3858D20D2A","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":"8a334f470cddd2102a3f307380a9ffbee9a24c88","datavalue":{"value":{"amount":"+0.8958489894866943","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":"Q5325883$14C23B28-4027-4A65-B170-3297CA87FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6047830cf588e34758fb7a32efd60a0a8d4a2998","datavalue":{"value":{"entity-type":"item","numeric-id":5714770,"id":"Q5714770"},"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":"Q5325883$AE3DE454-1EF8-43EA-885D-326CA9D6C9D9","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":"dc4f3c84490ab0920b040b51ee120e26a8fe44d0","datavalue":{"value":{"amount":"+0.8644077181816101","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":"Q5325883$6902F827-65D8-4C30-8AE7-F6D0B8FDA6A1","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":"9f5e33b43461ef16f8c2d9493625c807b7d701c8","datavalue":{"value":{"amount":"+0.8483453392982483","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":"Q5325883$3CA0556D-5BD6-4E1C-B29E-5ED5C141C087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c8dc0a96a6e161d6b4aebf5fd0a1e41b65c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5714777,"id":"Q5714777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e91507ec257966d857d03239100fa14d57ce88","datavalue":{"value":{"amount":"+0.8440794944763184","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":"Q5325883$F3474C8E-B46E-455E-AA48-E43F805CAB87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325883"}}}}}