{"entities":{"Q2946724":{"pageid":2957444,"ns":120,"title":"Item:Q2946724","lastrevid":44769276,"modified":"2025-11-25T23:26:09Z","type":"item","id":"Q2946724","labels":{"en":{"language":"en","value":"Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483222"}},"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":"Q2946724$76840B6E-DECD-49CF-AE89-13BD5612AD7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dde67b3e6cb1863849c362f0f4834f8bc4aaa68","datavalue":{"value":{"text":"Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946724$EEE1367C-2392-427C-B408-EFEC96566981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2223b138de38eacffc4f25b72f7dab777dbe601a","datavalue":{"value":"1353.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$7EF3FA30-8254-4039-8A92-79CB91AF8004","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e37c7dbefd8be2cefa4821ed41352fc9cb78f79","datavalue":{"value":"10.1145/2536740.2536742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$B1BA7908-747F-45EC-A14B-E5214C4DF87B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946724$A3C5B750-ADC1-4500-918C-8800E2BC0502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d727509a11bb59658cf105c2824b79eed66eb9a4","datavalue":{"value":{"entity-type":"item","numeric-id":388205,"id":"Q388205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946724$893B9DD6-0D03-4ED5-B09D-3C8C21CDF931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c19ea881ab2311bb11ae18bc8e1b3687ee99a4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946723,"id":"Q2946723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946724$1D4DC498-3A17-4986-ABB4-F110CDDA0FCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946724$81A313F7-9E9A-4AA5-B3C9-F1F6D4C239C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946724$54BBFEB4-1383-406D-9483-371B0C731CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$1358A723-D825-4E20-8C1F-C5895AF6AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$3E1A4ADF-391B-48A3-A3F4-A3C3F36BB429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"678f0e4f65ae799476868409a434f1715eba9b5d","datavalue":{"value":"6483222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$E578329C-8B96-40DE-938D-6D8057AE4EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$37155E62-17B2-4856-AD8F-BA8BDF222522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30df074c16f8c38b199fb22885a59bb826f79ddd","datavalue":{"value":"adjoint modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$5CC00706-CF68-4691-AAB5-304F8D777272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$7ECE0673-A341-4875-9EA3-DD1B6F5F0F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$915CF8EF-17C8-4B39-A89E-087233BDE178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$3E0B9CBB-2507-47D5-BE3B-2858F86DE9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13dff979820b61d1d26bc2f2b9c71ab5b5a78b39","datavalue":{"value":"epistemic scenarios","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$289700E1-5005-4180-9AFD-60543F937918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5e381219ee5e99a09f153b102b01ae2ce86524","datavalue":{"value":"logics for multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946724$68FADC72-5700-4894-97CB-5DF00B25250D","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":"Q2946724$444E5D4B-16BF-4F24-A935-D8B2316B1621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce008af1940935a121f7c2a051bbaae7eacb2dba","datavalue":{"value":"https://doi.org/10.1145/2536740.2536742","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946724$84BA3787-6ACC-4F1B-BCB2-EC07FA04B0FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62cfe44397fb1745dc3b743d9a74b0d602ccee5b","datavalue":{"value":"W2165797525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$8D86372D-88D2-4329-B94B-068B9C01E9D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"71c63601f5c460f42dc1248e5382ff65d3bb7999","datavalue":{"value":"Q130864099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946724$291E8E14-F940-4827-AAC6-0BB827F12E76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbd9cfc97c8a804791c0bd85304363ce2516890","datavalue":{"value":{"entity-type":"item","numeric-id":3178281,"id":"Q3178281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8ddd95b94126f8612b0e2e38414bfe107c5af3","datavalue":{"value":{"amount":"+0.98494077","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":"Q2946724$1A76B83C-AF2B-4E90-9868-80BE5AF14834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fa50a4dab0e3121aff9eee43f3c03b78974c42","datavalue":{"value":{"entity-type":"item","numeric-id":910395,"id":"Q910395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b99a6e570933ffc51ba2fe524a6ef8a90b6ebd","datavalue":{"value":{"amount":"+0.92815536","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":"Q2946724$43937585-FDA3-4F55-BBE9-EFF073623CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7423c652f8cc7a74811048c1456128e65c1205","datavalue":{"value":{"entity-type":"item","numeric-id":3743303,"id":"Q3743303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee8fead42abb494245e9161949a4186f0c0e0a3","datavalue":{"value":{"amount":"+0.9043044","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":"Q2946724$171E5EA5-C1B9-41D1-A6BE-C2F7E97A00A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c279a5edb22b1f7f119a374b6c0e1f0e9c9d1a40","datavalue":{"value":{"amount":"+0.90216386","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":"Q2946724$B73BA92E-6F39-46E8-ADD9-D24904D962AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8863310b298b8a320d9b245990d5f4e07f3047","datavalue":{"value":{"entity-type":"item","numeric-id":4329240,"id":"Q4329240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94a5a9a7d39e7356467b7797866176812016ceb","datavalue":{"value":{"amount":"+0.89879036","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":"Q2946724$51DF29B7-4409-4CDC-BE5A-2E71A20047F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f6f869346d10b84bdc8cfb119ef6d6f0f65455","datavalue":{"value":{"amount":"+0.89770937","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":"Q2946724$B5D37FD9-D5AD-4DC5-B156-2D1AD7CA93DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c07f8f72c7e829354374cb0088f6fb30ea7e4","datavalue":{"value":{"entity-type":"item","numeric-id":2731097,"id":"Q2731097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bedfc4e18bd3a9313e9e9daf86dbe137005813f","datavalue":{"value":{"amount":"+0.89674205","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":"Q2946724$B243DD87-7A2F-4D26-B6B9-210B0FD3B76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9349563c94c08e53e0baa831964759d3985ad139","datavalue":{"value":{"entity-type":"item","numeric-id":4011715,"id":"Q4011715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3d06395f8bd924519ca93272b7c18e23da782c","datavalue":{"value":{"amount":"+0.8965893","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":"Q2946724$E402A3E6-6EFD-45A6-B986-F09E04236EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262fcb7ae9552937cc39c83dcc94d35a8803d697","datavalue":{"value":{"entity-type":"item","numeric-id":5187260,"id":"Q5187260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f525ad40c8ac47c1c7d173921697be6bbdd852d0","datavalue":{"value":{"amount":"+0.8963049","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":"Q2946724$D4295CA9-5F75-4C19-8AE2-E375E9D4C27B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946724"}}}}}