{"entities":{"Q5325867":{"pageid":7355441,"ns":120,"title":"Item:Q5325867","lastrevid":50726129,"modified":"2026-01-14T23:02:56Z","type":"item","id":"Q5325867","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586633"}},"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":"Q5325867$51FDA003-709B-4A3C-8973-10FCE14DF734","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":"Q5325867$0340BEC2-7433-45F9-BA0B-2B00BF205720","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e41d9cedfb09a07d40aeaa777943bda32123654","datavalue":{"value":"1204.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$B6666F4B-72D0-48D2-809A-C02DFD98D836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e678728ac7de0fcf437150e52f3d8395bfecb0a","datavalue":{"value":{"entity-type":"item","numeric-id":1621123,"id":"Q1621123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$3EBBB607-B7E9-49F9-A89B-261CC3DC417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4408ada845e9f21cd84efd217a9692b5bea74405","datavalue":{"value":{"entity-type":"item","numeric-id":1408514,"id":"Q1408514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$49B02685-A68A-4CBA-8D81-FF7B3D2D1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f6375daeb8e65fb1e2514cf51af034b0e089d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2643298,"id":"Q2643298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$802717EA-4E37-4F40-B87C-B77F09639975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33372afbe8b2921bb5a9e28c9a95b1a6292a4873","datavalue":{"value":{"entity-type":"item","numeric-id":192238,"id":"Q192238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$1C04EAF5-6B83-4FF9-9968-78AC3B7816BD","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":"Q5325867$FEFE0269-D489-44E2-808A-568282F3F441","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":"Q5325867$149F502F-15FD-4476-A687-CA09C5A77758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$6F4A75DE-D460-4504-9A6D-A708A1057C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$2264DC8A-2D43-4D2B-BE29-71EB3C27F304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$C4CA2C5A-F998-4D7A-B08B-54480C7E0C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"711ad050f541452a8673e296e796812ead0ecd8a","datavalue":{"value":"5586633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$4D06F9E3-F9BE-4476-9DD2-0C017EFE3BD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42cc331ddc774b915907d04d7c352c3a6e2b2755","datavalue":{"value":{"entity-type":"item","numeric-id":13077,"id":"Q13077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$137347B0-B97D-44C1-93A7-8591831DD644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$ACFAA813-B930-45B7-90CA-E4297185B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$3901A2A5-7A39-4E3A-8783-85F35CC76675","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":"Q5325867$06DF6E91-B9CF-424F-A88B-AAF2B42D8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$973CB605-A610-4A1E-9253-A8A5617B9A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2484a16108c34d406a4f0f66bbc252ff9cd65a57","datavalue":{"value":{"entity-type":"item","numeric-id":21464,"id":"Q21464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325867$F7046A0D-D7A4-43FF-93A1-471DA81B55B2","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":"Q5325867$A2240BC5-BE5E-4E58-A143-432F3149FB01","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":"Q5325867$52186AF9-7997-4C4D-BDDC-5798E4545CD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$0FB2D0F0-CB93-4EF5-A710-2D5FF7067067","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$E6041DD7-0395-421D-BADF-1A3436E416EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325867$60D2CCB3-82DB-44FE-B0EE-AEB5440EF3BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3cb660a5319086b01e32567165682a7782a1eb","datavalue":{"value":{"amount":"+0.7676933407783508","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":"Q5325867$971BFEB8-8CCF-43A0-AED1-C05FB50142AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da23ca9ae2b923679fec2335949989b8f1c94135","datavalue":{"value":{"entity-type":"item","numeric-id":5266602,"id":"Q5266602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66f2b8b122e88c8c6f66218bb9277fbd6a9a9d8","datavalue":{"value":{"amount":"+0.7636874914169312","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":"Q5325867$95B9C4E8-E389-4EE4-AD09-1B7987E2E042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c3f83b0bcf1c01247235da490f76d20e748ac4","datavalue":{"value":{"amount":"+0.756447434425354","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":"Q5325867$8256FC89-9919-4D7D-8BBD-B5CBDB6FCD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d92b07740549b8054f4af1b5fe918c626068d2","datavalue":{"value":{"entity-type":"item","numeric-id":4933300,"id":"Q4933300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ec8ced3ae5495861fe50e1c16a7f35b4b2edee","datavalue":{"value":{"amount":"+0.7544406056404114","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":"Q5325867$249486C7-2536-4233-A12A-18EF478CD9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3939d7a3c83b9a1049c013f8948e957bc26d3451","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e7dcad326f11904ab81e5eeb0aa5cebe70f81e","datavalue":{"value":{"amount":"+0.7531729340553284","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":"Q5325867$D29B3E7F-9C4F-41A7-8515-9A8965372229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325867"}}}}}