{"entities":{"Q2701979":{"pageid":2712724,"ns":120,"title":"Item:Q2701979","lastrevid":82774712,"modified":"2026-05-06T21:54:57Z","type":"item","id":"Q2701979","labels":{"en":{"language":"en","value":"Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574457"}},"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":"Q2701979$0357561D-D0B1-4162-BB31-DDCAFC674B14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d273295e2dd41287d04beac9e3662d0f4ee0c0a3","datavalue":{"value":"0968.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$86AE38A4-E391-4783-8B8B-7F9129FF3AA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad6be95a4db56366788326297aaa443f1d207f3","datavalue":{"value":{"entity-type":"item","numeric-id":596471,"id":"Q596471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701979$7D79100E-9097-42D0-8AC1-F444FA5A012C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701979$DC31E96E-85AF-44C3-B0EF-222605A6F224","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$817885E1-4D4B-49EC-B6B6-6DFEACB3B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$2A93DD7E-C247-4114-A31F-D6AE5BC7A015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$7CCF5335-1FA6-4E10-BBA6-6D411707979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$7B3D1306-FBB6-4E3A-895A-8434F1ADF355","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0aa11562221116c744a0aac5f36632049d5520c","datavalue":{"value":"1574457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701979$0123F13F-610B-44B0-A659-E092D1AA22F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdd301c9f815c7dcc867e9b237e4271ecefdf14","datavalue":{"value":"prefixed analytic tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701979$68CBE8B5-7336-4659-9A03-50DF27000521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"003b26be5c031af6c2c7196135473646a1b172db","datavalue":{"value":"normal multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701979$0821607E-B78A-4599-87A6-7CC5872AEA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5047da4574726aede831b860db00e09b585e5ee8","datavalue":{"value":"counter-model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701979$E40BBC73-FC0D-4B66-9B4C-F8E5CB09B9FC","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":"Q2701979$A1B827F6-19CE-4922-BAE4-C53A6626D43E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cca17e1fbeaaeb1896b9f4d406603bc594e8b18","datavalue":{"value":{"text":"Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701979$AF095C89-91DA-4288-9F11-07ADF29AF9E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377d9c22ebc2c0e2637018642d1652b6c80e0951","datavalue":{"value":{"entity-type":"item","numeric-id":3838802,"id":"Q3838802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1731936f5ff9fc1c6e042b8a32ded9551b487f","datavalue":{"value":{"amount":"+0.8850025534629822","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":"Q2701979$B6B94FDB-DEC2-4C09-AA9F-2BE0E213DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37620166db5464bcf3b3508cb1e989ab81e52e6c","datavalue":{"value":{"amount":"+0.8314737677574158","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":"Q2701979$5C093973-1EBC-45AE-B1BA-60013171D92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c595f8293d5bed0227e1747b9ffea55e6cefba1c","datavalue":{"value":{"entity-type":"item","numeric-id":3397155,"id":"Q3397155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d612c80526781ddecbdb17f6b706e8b21929734","datavalue":{"value":{"amount":"+0.7803740501403809","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":"Q2701979$5616545B-498C-4FFD-BBD9-5447A0FCFCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa381a38d8684b9fd647f2bf3d9bb87762c847a1","datavalue":{"value":{"entity-type":"item","numeric-id":281163,"id":"Q281163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60392eb26629411372cdfdb908f842231c35324","datavalue":{"value":{"amount":"+0.7711628675460815","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":"Q2701979$C27C952B-F9B1-4DA5-9491-03C3C3C36530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a1f03376c8c4d5fd70a4c94204e6f0c9efe6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3149219,"id":"Q3149219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfee788f7aecaf8fb47ac583c277714b44d8f0dd","datavalue":{"value":{"amount":"+0.7624998688697815","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":"Q2701979$47D5A0B5-D575-435A-9C50-4FF371B77E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_multimodal_logics_with_interaction_axioms._A_tableau_calculus_and_some_(un)decidability_results"}}}}}