{"entities":{"Q2887060":{"pageid":2897785,"ns":120,"title":"Item:Q2887060","lastrevid":58045902,"modified":"2026-04-03T14:22:55Z","type":"item","id":"Q2887060","labels":{"en":{"language":"en","value":"Intuitionistic implication makes model checking hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035668"}},"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":"Q2887060$D04DA759-B655-4A08-9464-DA3D70A44DC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06ee04b3aebe7a46925d7cafd7b9c66c31d3daa9","datavalue":{"value":{"text":"Intuitionistic implication makes model checking hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887060$3658C976-4420-4BAA-94DE-E6AD62110BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb32b544ac14a65710c8f87a38428e637f845bb1","datavalue":{"value":"1237.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$7800E6F3-B541-4703-B01D-3F4D9B2BCCBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85e61d7b9725bee655d0cd96a9d9d32a4f547f39","datavalue":{"value":"10.2168/LMCS-8(2:3)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$A204001C-EA15-4CB7-B048-7FC6EB14DDD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887060$AEA7A682-EEB5-4281-A90E-D428E571A2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab2d86f160a25c6f71ca761c5e02c325013ee584","datavalue":{"value":{"entity-type":"item","numeric-id":2887059,"id":"Q2887059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887060$3BC34FC6-6425-4F3E-807D-A482B39DA17B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887060$8FC372A3-28E6-4BE5-B32D-DDFE1540F9A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887060$5DF00A84-4CD3-40BE-B77A-51BE36510703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cd045b4460a2741e042c613be82961c490ddd4a","datavalue":{"value":"https://arxiv.org/abs/1107.1963","type":"string"},"datatype":"url"},"type":"statement","id":"Q2887060$1C578C09-8FE7-496B-B9F2-94A789B47728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$2DDAFCDB-FF18-4A4B-8BFB-3F29F5BEA68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$F50F9A9A-B202-438F-B18D-EAC95CC4AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$CDD58197-096B-4BCC-B96F-155C1296B2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$39540C4C-ACC1-446F-9801-17F48AB48A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$152C1FBF-96B1-4E18-AABF-DCC16136580E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c42115080f740460099e1784d7fc68a7a4392c8","datavalue":{"value":"6035668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$4E1F4D3B-66ED-435B-96F8-4CED250BD2EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887060$6D5824E3-0E6E-4BFC-B846-72B8FA9F8719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887060$A27B83CB-C33E-4052-8497-DA9984CD4AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887060$0CFEC182-3B91-4FC9-8A0E-2F2D223064D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7236cc8cb081daa05c110f63d7a7e64cabbf9869","datavalue":{"value":"P-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887060$3F0C2AE2-6D78-4BF9-8454-5DBE5D341594","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":"Q2887060$E842560F-DFE2-436D-B8BE-46392BCB61FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbbd7be07308cffcca827abe135f123158a429c1","datavalue":{"value":"W3104155280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887060$6C8AF9A7-34FE-4CD9-BE9B-303AD6F13B89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d11e970053efa6a41d932cca42b807390ee39f3","datavalue":{"value":{"amount":"+0.87381893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$0E569FFB-60C7-42BD-AEB3-2F05A4B7E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3a9b442208678aa3d5077b664a937707d9b557","datavalue":{"value":{"entity-type":"item","numeric-id":5310633,"id":"Q5310633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d508307e1130814bcfd0c141c94c0cf4a407c5d3","datavalue":{"value":{"amount":"+0.8677477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$26CE22A9-9A88-4652-9072-5737D929916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5116f5d3beb5fb5a1ae31dca13654e00a5b14ed0","datavalue":{"value":{"amount":"+0.8677298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$01C62DFF-273B-40B1-95CB-CEA26B849495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6551f22a556eb5ee7dd8debdc69d1625cfcd598a","datavalue":{"value":{"amount":"+0.8662336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$9D50E389-375A-4813-80AF-D16AED17E70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531f73684809211e26ccade3452bc78c10b34f01","datavalue":{"value":{"amount":"+0.86562717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$FD738C6C-D495-4819-9F5F-1ED84677A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590f5a96738642a2cbf02c014772f15f04cb28b1","datavalue":{"value":{"entity-type":"item","numeric-id":3508540,"id":"Q3508540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d901ec4b62df3473fd235af99482142229ed4f3","datavalue":{"value":{"amount":"+0.86490333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$7BC0F106-E9A1-4579-B695-BBB07909EEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c7e14fc21eb392cc7c1d1e5a4a2564b3ef902","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3560f4f77536c5d59b0582715921958ca19e92","datavalue":{"value":{"amount":"+0.85878056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$3F8FEA23-166B-4018-A9BB-81152DE07992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df845c5a633b379b7c542bafe4de3884a6728072","datavalue":{"value":{"amount":"+0.8524676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$46E80058-2D93-40C1-92AA-1EAD280B6847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2985ba1c2e63c95b603c513cb61bab74e2e73f","datavalue":{"value":{"entity-type":"item","numeric-id":475340,"id":"Q475340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c79dcf790a65ebbc076ce229aba347990170686","datavalue":{"value":{"amount":"+0.85154366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$E55D0A91-177E-405E-AC0F-BAC68469CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cf57f86caa463dba73c5fbe9f9faf2bdd8aeec","datavalue":{"value":{"amount":"+0.85046214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2887060$A04D382A-C6E2-4D7A-977E-A97618D7315E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2887060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2887060"}}}}}