{"entities":{"Q2358703":{"pageid":2369446,"ns":120,"title":"Item:Q2358703","lastrevid":52830896,"modified":"2026-01-23T14:39:23Z","type":"item","id":"Q2358703","labels":{"en":{"language":"en","value":"On a graph calculus for modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731777"}},"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":"Q2358703$AF78D675-1B33-4F17-8B41-DC8C50E30EA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46b0b2c7348fea720da4f5577ce15710ee44c390","datavalue":{"value":{"text":"On a graph calculus for modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358703$B06E40DA-98F8-4A25-8E13-8FC4EA2A00A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e91ddf022cd83e15122ec714c509f94c65d7dc3d","datavalue":{"value":"1401.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358703$9E989EC4-31C4-4BAA-918F-3709EDEB19A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$4C7C9A0B-1304-42E6-A99E-9F1AD65E1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$82A74863-8333-4218-BAA9-61CFA6F89024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$561E3345-66BA-4B09-9EB1-F8D0D3D36320","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$A1BF439A-BC0D-4B64-AD0A-1410E3068951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358703$22731531-98AA-4957-9B56-D2D5D5056A22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa351f8b1bc2d58607323cb6c3b3cb74adfcf48e","datavalue":{"value":"The authors characterize a graph calculus for multi-modal logics, that is, a calculus whereby one can graphically represent and reason about multi-modal logic. The calculus allows for the graphical expression of Kripke semantic-frame properties and modal formulas, including formulas containing modal operators that cannot be expressed in standard ways. Soundness and completeness theorems for the calculus are proved in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358703$C0EF3E32-C174-4204-9888-8EE3578F6593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358703$DAC33306-F510-41F3-ACE6-F31762196961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d19e712c87f84980147df9122f0bac377f1f543d","datavalue":{"value":"6731777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358703$32DF5F27-491E-4FC6-AB44-15003B7CC32E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358703$EA960A82-502E-4DDA-BEA8-C6A229C04D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7afcccfa705d43678049aca4e39474dafceeebb","datavalue":{"value":"graph calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358703$58F65505-11C1-4E51-908B-C854DCE1EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a8b6b62af9868c75c8dd64544f20a4968acb24","datavalue":{"value":"Kripke semantic frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358703$6A5A95DB-495C-4F1E-AB47-7A38B39587C8","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":"Q2358703$71A17EF0-D25A-4464-B5F1-6D045B2A0ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5690a62d02152f8f558fffa88d4023e2be10e6f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.11.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358703$FF31E463-518E-4D2D-8930-F79E56D08859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96636d6e16271f5bbc9952e31eb0eb59493ef814","datavalue":{"value":"W2624427461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358703$DEDBD0FF-74BF-49EF-8598-9A4FA50D7AD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e23100ee15abd5423a393a8fc786da512b3eb97","datavalue":{"value":{"entity-type":"item","numeric-id":3643256,"id":"Q3643256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$212CF4CE-12A4-4199-9F2F-DD6CCB847536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$1F7CFA76-8CD3-451A-BEAD-8F5453A0928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ffcf81162b56903d92572bbca9dc1aab37b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":964500,"id":"Q964500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$D25026D4-595E-4E2F-994B-0A27D1D0CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f272b1872c6cc58f61dcebf5b4b39996397ff16","datavalue":{"value":{"entity-type":"item","numeric-id":5962305,"id":"Q5962305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$63C1ADA3-BA12-4458-81C0-32F512346111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fe4a44c40ec678098e03a4152470d782ddba46","datavalue":{"value":{"entity-type":"item","numeric-id":1916365,"id":"Q1916365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$46C90D7E-BCA4-4767-BEFF-B725B3D25F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17a6db7dd3ad38c36f1c757ce2636fc2318bf66","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$1973E235-DE6E-404A-84A1-B9C09631DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$DBA46650-E77A-4321-A772-84BF994CB772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e652dfbbf69d5d4a7dd6764a908482c7b582c7ea","datavalue":{"value":{"entity-type":"item","numeric-id":731892,"id":"Q731892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$984B6C0D-30ED-4D12-91FF-1C9D66D6220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23550e65b8b67ff206ede9a1290adbaf012b81d9","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$D8464F8D-D92B-4C03-89C4-2CE3A98C2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$93BB3BC1-2151-44CF-B73B-AA19DFF5B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$232F3E34-561B-4EDA-BBF5-3C0383F9357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aee3285a1812894731e4b27615330e17c83223","datavalue":{"value":{"entity-type":"item","numeric-id":4540990,"id":"Q4540990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$316F68C0-CBBE-4F24-8AB6-EDF007B78926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b331fd0910b3fe864dc718df0d24297418195d5","datavalue":{"value":{"entity-type":"item","numeric-id":1603411,"id":"Q1603411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$D60C615A-F243-40DF-ADC3-DD1C62A943BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036d82869c69ed6751552b827cdc09ef82d2ed64","datavalue":{"value":{"entity-type":"item","numeric-id":281163,"id":"Q281163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$EA9740A7-9600-475C-93AA-AFAFB66C4280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8e4c3a43e7d0d69a709204a3a7a085b67b28cc","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$9A46FEC1-8FC3-4E2A-B088-332BD0EB1CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8468fb515555f57e34fe608785778edafb5f3abe","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358703$5009E73D-19E9-4A1F-A81C-A824A53C3279","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4df75396cb6dc346a28c0deb77504117e2116a14","datavalue":{"value":"10.1016/J.TCS.2016.11.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358703$CACAB509-E3F9-4A76-BA07-05B1E550C276","rank":"normal"}],"P1643":[{"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":"16c5ff2acef4685e9eefe8ee649f754b53316479","datavalue":{"value":{"amount":"+0.8786770701408386","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":"Q2358703$7D5C9AC4-2B05-40B4-BAAD-0784BE609746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd62199ab8a1e6d3b338dd769068a0cf0a3d45a","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de678b61a1ce92940630c2f799de823cf6e42bf9","datavalue":{"value":{"amount":"+0.8778179287910461","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":"Q2358703$B8FBF92A-7E2F-4B66-A0B9-CE73D30ED97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a51c8995db8c0d9c7111b433f42184d330dda0","datavalue":{"value":{"entity-type":"item","numeric-id":1744424,"id":"Q1744424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814707f129f99b4f821b4d066f5dfa985d79a4b3","datavalue":{"value":{"amount":"+0.7692033052444458","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":"Q2358703$ACFA8455-8ABD-4F4C-A98E-8496A701B8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2401b97e560361b6c612cb6a2a7a202302cc17d9","datavalue":{"value":{"entity-type":"item","numeric-id":4823810,"id":"Q4823810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0006df6201f37e05b0ed8dc4a86437a3bc4690e","datavalue":{"value":{"amount":"+0.7476945519447327","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":"Q2358703$5BC9DB4B-A04D-46AE-9FB3-F22B98064A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6d1ededfc2c91ec6e73a2cb95ec81488e483de","datavalue":{"value":{"entity-type":"item","numeric-id":3511467,"id":"Q3511467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f08dacca5e97e2f77835cce21a1dba82c0b7477","datavalue":{"value":{"amount":"+0.7456796169281006","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":"Q2358703$8D92BC06-795B-4E9D-B1ED-5C92B9AE30C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2358703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2358703"}}}}}