{"entities":{"Q5325878":{"pageid":7355452,"ns":120,"title":"Item:Q5325878","lastrevid":50726195,"modified":"2026-01-14T23:02:59Z","type":"item","id":"Q5325878","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586642"}},"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":"Q5325878$5447C4BC-D4B4-47D6-8C63-0DE9E9017009","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":"Q5325878$04B54864-72E4-4454-BF26-9A81ED71C7D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d885318fe7ae9b0a886235cba9b23f9f20427db4","datavalue":{"value":"1204.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$70FE3DFA-3686-4BE8-9DC9-F702BD172433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e5d0b41c3f26a354b747651eeb4b76b4c64d62e","datavalue":{"value":{"entity-type":"item","numeric-id":2855544,"id":"Q2855544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$905D76E5-AC9A-4FEB-B140-F6871FBF831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$7836DED9-AA01-4445-B16A-8EB853B1FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c45c24deb3286e84c811e5de783d39ee0d836c0","datavalue":{"value":{"entity-type":"item","numeric-id":2869317,"id":"Q2869317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$50ED0439-5E60-4EC1-9DC3-191FE3617E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"139fa708085ecae430cee8c4bc8bba579c83f9f1","datavalue":{"value":{"entity-type":"item","numeric-id":3194803,"id":"Q3194803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$F23F9BBB-EF48-40A7-8BDC-2F8BE0F031F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9bfa598dccae8bd2cbe003da2963790342716b3","datavalue":{"value":{"entity-type":"item","numeric-id":1883654,"id":"Q1883654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$FC9A20E8-2D2E-4879-9C74-E84C5F0E55CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e69d2aeadd45bc78cff242359edd8bac4214ade","datavalue":{"value":{"entity-type":"item","numeric-id":5325877,"id":"Q5325877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$7F48D2C7-BEA7-48BD-8105-BF7184FED61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$5E18E4D5-EB5F-48EC-AA0B-ED046E27EF75","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":"Q5325878$BB3969B4-575C-418B-A6BC-07FC1B649B6C","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":"Q5325878$2AFC8A14-E9C6-4914-9875-13EE52951791","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$27D4F0D4-1787-47D7-AEB0-BA545F9AAC94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f575a47d89c0413fba5429111f632d6b9ed949d","datavalue":{"value":"5586642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$16666770-EF81-4B4E-BD83-1AF94D8649D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325878$C85187C4-6160-4D4E-8A3B-5359B3245F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b059e2d685df28bbdb95958e1ddb951ec04ec0","datavalue":{"value":"State Machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325878$3CAC425D-B15C-4F33-9B10-C6C77EEB5A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d1e708efdaab7a7bfd98b277ab210b7233a00f5","datavalue":{"value":"Binary Decision Diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325878$AA8B8E1A-DDD7-4302-A54D-97BF4E432CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b45434bc02cd14aeccde65fd78ced6ab186e8bf","datavalue":{"value":"DAG","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325878$3B798218-E30C-4BCD-95E4-B3A4B33137AE","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":"Q5325878$30097342-BC52-4C3E-98DC-7BA85EBFB64C","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":"Q5325878$6CE57749-04C9-4117-A68E-2A07EB504A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325878$F2A8D581-944A-460D-BF28-9EFAAA470E6D","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":"Q5325878$FA370B5E-1BAB-4901-85BA-D97598A996EC","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":"Q5325878$72099CA8-A34F-40A9-B90B-327276E31EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$E72BDFC5-456C-46DB-B735-152C1B036D7D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$2D796DF3-CA94-4CD4-8B87-DCF117CD0BE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325878$12E94E16-D95E-4F72-86CF-EB457ED88B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa24aa824dbc2d3b494b5c135b2739b7aa9a392","datavalue":{"value":{"amount":"+0.8015588521957397","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":"Q5325878$7D092498-42E6-4612-9BFC-C16C690F5F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40394d630a6521f30d26e4f8b406b8c1413c5c11","datavalue":{"value":{"amount":"+0.7931315898895264","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":"Q5325878$01071895-3C32-40A6-B8CF-A639C264EB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdc49045c5f21ee3e52df5b9e112f7b32aaed8d","datavalue":{"value":{"amount":"+0.7925809621810913","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":"Q5325878$0C74B8F4-B1F4-4BD0-85A3-2C14AD751925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c395ce850d0e09094a6271daaef0bb30d1236c","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bc6382737eafa8cbd08eeb4080e5293e51e45c","datavalue":{"value":{"amount":"+0.7863301038742065","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":"Q5325878$2565BABD-3DDF-465D-98C4-D541C804D07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c987b6b0449a457939001530a6f2cec151c920","datavalue":{"value":{"amount":"+0.7858293056488037","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":"Q5325878$4D690C7F-EAB4-471F-9E19-4E41B728BF60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325878"}}}}}