{"entities":{"Q6545554":{"pageid":14156708,"ns":120,"title":"Item:Q6545554","lastrevid":55669384,"modified":"2026-02-17T20:44:21Z","type":"item","id":"Q6545554","labels":{"en":{"language":"en","value":"How easy it is to know how: an upper bound for the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855135"}},"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":"Q6545554$79232663-71EE-4A0D-8710-E36A29A51D9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4ac10ef5314cbb6eb7f6e4553f42b7917ed6ffe","datavalue":{"value":{"text":"How easy it is to know how: an upper bound for the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545554$CE04520C-9AC3-4CEC-A7FA-7DEF0E03A9F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa0f171f3a9a7f7cddcf3298da216d766735599b","datavalue":{"value":"10.1007/978-3-031-43619-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545554$9A287E51-5315-408C-97D7-BA701639F51A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$FD6E31FE-3640-4B15-B82E-51AA4F5EF5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86ea6fc3d88ecd627a9f64f2089a85cae3bcc991","datavalue":{"value":{"entity-type":"item","numeric-id":2055756,"id":"Q2055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$F86E218D-5CBA-4709-9BBA-AA53E53DD234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$51971350-070D-458E-977A-43A38B480E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$5E102253-57DD-409C-BBDF-841A355B6F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a83416ecf0e11f8c56b061bbc1dfc8b521b3255","datavalue":{"value":{"entity-type":"item","numeric-id":6545553,"id":"Q6545553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$06DB49F5-295B-4B52-B5E8-1DCDFC290A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545554$F3D901A8-BEAC-443A-A958-35383F7EAE8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545554$48436121-1FCC-43F3-8FB4-0C3AA75313C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327575cdda78ab29969b3a4248782117908d21d1","datavalue":{"value":"7855135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545554$A2F08FC4-2AA0-4654-B93E-7CF4478C98C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38c9cf2d73a634f2044b69bb5474aec816c03055","datavalue":{"value":"knowing how","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545554$47FE4DD8-9168-4F88-BBDA-DE0C869E07EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545554$0EED8010-622A-4A9A-98B2-1D670A2E40CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545554$0AA2719D-9E08-42DB-A50B-C818DFFF9183","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":"Q6545554$CD212AE3-8E4F-41BD-9F6D-EE6191883F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24850b5aa8f3c4dba834655555be3feb2229f90b","datavalue":{"value":{"entity-type":"item","numeric-id":6642564,"id":"Q6642564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$739CF641-D897-4CED-A329-DAA0A08AFF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$351C0C95-A0BB-4A0E-988C-AC4C5487EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff5daa7c798ad69dd4f7fd980b1c785d90c1e7d","datavalue":{"value":{"entity-type":"item","numeric-id":4636030,"id":"Q4636030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$4278EFA2-D8FD-41F0-BEF9-30E79BAB1AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bca41dd32682a0e65780cba8087104622156ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5871911,"id":"Q5871911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$B301D6F5-1F9B-4A0A-9A72-3B815934254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$68F832C8-B83D-48E4-8FAF-0158E8BA8D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6c3e768d723269817353e3508c57edda0b831e","datavalue":{"value":{"entity-type":"item","numeric-id":5247344,"id":"Q5247344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$58085BEE-7BD4-4BB8-BF3D-6FDBC0C56B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e254696c34e03f8100de6876dfa56e4f737e5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5078817,"id":"Q5078817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$B07CF773-4C2E-4D38-BB62-90ECE27C0B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$516AC8F8-54E0-4504-AD90-BEDB3A6572D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143d6f27075c0eca24b79640218e0653f59231da","datavalue":{"value":{"entity-type":"item","numeric-id":4636044,"id":"Q4636044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$DD95C359-813C-4132-8D22-C754E14AECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8995ed70027dfa2c02af6e3d1c6c16197a395e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647280,"id":"Q3647280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$7B724E6A-74DD-4707-BBD0-B8AF44227187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54934ebc893cb4e34081c22ae2c6c80db88fb1dc","datavalue":{"value":{"entity-type":"item","numeric-id":1840653,"id":"Q1840653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$A20EAF91-665C-4DFA-9FE8-DE4C45E4FFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a1c6528a92a49a5228c8d22587e50a2d338f28","datavalue":{"value":{"entity-type":"item","numeric-id":6118724,"id":"Q6118724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$B66EAA23-2C97-4BF7-8F09-292C1978ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cc240de26a2b33df6651c118b2ba9a9d6c8078","datavalue":{"value":{"entity-type":"item","numeric-id":5224498,"id":"Q5224498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$1CEEC504-FCD0-424A-B4C0-E7D1B8572FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422834c22071c439bf368c29469f06262c414b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2695519,"id":"Q2695519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$7301CE30-BC76-487E-950D-F1516448A394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4047b15af117d7527f4f01329ddf921b017ee6e","datavalue":{"value":{"entity-type":"item","numeric-id":2238589,"id":"Q2238589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$657F24BE-B563-4A7F-957F-6E3AE5F98CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$551C8F55-ED11-4795-A06C-C22A1227845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552befcd72902e1ae5fe52affe24c4249ec0bcce","datavalue":{"value":{"entity-type":"item","numeric-id":1711891,"id":"Q1711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$5C0C9FB7-FDE8-4FB6-9CCF-199189A79E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$03922B45-6B7A-4526-9BD0-824F8CEAFE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f27775b0f23c4a7ac4463d4a41a535242d21ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3457721,"id":"Q3457721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$0F3C59F5-F569-407B-AAA5-32F401ACBA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897afc0193d64b368f5ab3796201890f5a140b12","datavalue":{"value":{"entity-type":"item","numeric-id":3299590,"id":"Q3299590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$C7C13983-E101-44DA-BF6E-47EE368B5529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce1ca1b981bc2a165bae5e688c89596c939f59e","datavalue":{"value":{"entity-type":"item","numeric-id":2218708,"id":"Q2218708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$E77B21F6-D520-4CD4-968C-75B0992B8418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a14a27f7e9d8a2316c847ca4b6885d345e4b453","datavalue":{"value":{"entity-type":"item","numeric-id":2693121,"id":"Q2693121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545554$42431784-B8E2-4B8A-B86D-046B645ADB6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d9d2b3436f53b0eb4a07d7f8672ad3df99b96","datavalue":{"value":{"entity-type":"item","numeric-id":3457721,"id":"Q3457721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90b8d88b1b70d2926be721669924492359bc887","datavalue":{"value":{"amount":"+0.7791110277175903","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":"Q6545554$10D8F7E1-53E5-41AA-9D76-167F01510AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a968bebd652c4cda4d23ac08f3842bbadeed2b","datavalue":{"value":{"entity-type":"item","numeric-id":2695519,"id":"Q2695519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f583d2ac4300b31a796c371fb044621bf31db244","datavalue":{"value":{"amount":"+0.7749138474464417","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":"Q6545554$10E60D1B-CA3C-4DAA-825B-1AEC3789BFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447435d6125ec5145dd871a42836dfaad321f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2218708,"id":"Q2218708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9593d549a0c8abc8508756cfe29b0e43772d225a","datavalue":{"value":{"amount":"+0.7712723612785339","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":"Q6545554$521843D1-E416-4C2C-87F6-F247E8A6FC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f196e862eff7a2eda7c4c1fd30e0aa2c102c188e","datavalue":{"value":{"entity-type":"item","numeric-id":6118724,"id":"Q6118724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1198dd90c0e3dbd1b47669b8add94311097970","datavalue":{"value":{"amount":"+0.7673811912536621","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":"Q6545554$59621B15-8EC9-4545-9322-752B8618EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a41890ffc6fb32ac4c6f801b538dc9bc793d4a2","datavalue":{"value":{"amount":"+0.7591925263404846","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":"Q6545554$D1EE5E63-A446-4A51-B031-CB1A07C94EBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545554"}}}}}