{"entities":{"Q530865":{"pageid":532632,"ns":120,"title":"Item:Q530865","lastrevid":62533881,"modified":"2026-04-11T06:44:45Z","type":"item","id":"Q530865","labels":{"en":{"language":"en","value":"On graph calculi for multi-modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608313"}},"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":"Q530865$AA5F3E10-0FF5-40A6-B819-303045BEF5AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e538d53e9f519c1a130e30e24b65475c9d9e7020","datavalue":{"value":{"text":"On graph calculi for multi-modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530865$A45CD07A-8E1F-4F50-AC61-AF55C553AB31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bf28a7dd06ed8f7dfeae874d2f7f96975dcf600","datavalue":{"value":"1343.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$FE25DB1A-F136-4DD3-B99A-D97CBCA58D6D","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":"Q530865$088CE36D-91BD-44CA-85F9-64C86AC6C561","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":"Q530865$E2031F0B-7C37-44C7-A0C2-773AC86137CC","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":"Q530865$C47F8EC1-BA31-4EDF-BE72-A6A1F0B2ED3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q530865$A23E2C10-3601-4831-93DD-8870E620F9FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$6BA9BC9B-8B33-41DB-99E9-F763F6AEFF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"277c0743f5b9c87063f97eb43ed115db213a39af","datavalue":{"value":"6608313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$04AC3FB0-76D8-4C62-BFE2-60E11BA66B93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$F9BB5679-5486-48FB-838F-BC30A0D30F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a989db350eecacc920e436c094e272cb495ba6a","datavalue":{"value":"graph calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$42FB75F9-D5E8-433B-BF5A-22883FA36E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$8EFC5743-75B7-4932-98FD-BA6B5D3D37D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$26CE0776-7F4B-4C4C-857D-E1DE4EDC67CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28eeda6b3181529501c0c263578c4223769dc9dc","datavalue":{"value":"special modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$F916AAB0-6837-4785-8F38-B2B6246790CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q530865$F4163055-D54F-4674-9846-AA659C69E2C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b01320dc27e486131d9575570cdf36ab43958256","datavalue":{"value":"Q113317800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$043A4604-28A1-4346-BBA8-14DD17CB1ECE","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":"Q530865$5AE86E70-8E6E-4D3B-A2D8-16620D1BAD12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d896ebb95f8cf2b26dec5a8a13755cbd516dbb32","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.04.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q530865$3423A7D6-F107-4C0E-AB08-FB066C161347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4305f45983ea54a260b95c17c06d7646957a9eaa","datavalue":{"value":"W1986893443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$11A904BC-0CF9-496D-9B35-78CCCF61DD08","rank":"normal"}],"P223":[{"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":"Q530865$0FFFCDB7-4F0A-4E11-A93D-A10D07F3C46F","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":"Q530865$A989B74E-D39C-4AAD-BB96-96A1A1902E07","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":"Q530865$61CA8E3B-DB2A-46A9-93EB-D0D2D27771BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530865$58138FBC-FB44-4363-9278-53D63353AE92","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":"Q530865$BFE6C026-5985-4039-9B73-CA865DA3D045","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":"Q530865$6D6379D9-E129-40DD-A3E6-05D95EB0A6A8","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":"Q530865$79585971-3057-43DC-90D0-DB374B1027E8","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":"Q530865$2B3BAC75-5705-4581-9F77-556680890FFC","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":"Q530865$B0230673-11BF-4BBB-BE8E-6E4D6CC9F077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c055788b23a6358d56522c63933fe962c7f3a68","datavalue":{"value":"10.1016/J.ENTCS.2015.04.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530865$7A6AE93B-0303-4646-ABD0-ADB5E08911F3","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":"4ca11c3866fe81315af8a4f762f2cff6d3fec79a","datavalue":{"value":{"amount":"+0.94566166","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":"Q530865$320E5AE2-7F20-4532-99CD-EDE166946EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"accc36da34e31585b3dd82e0ad614e33578dc624","datavalue":{"value":{"entity-type":"item","numeric-id":2358703,"id":"Q2358703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d2fe245de0e511469036ff5799e063998fadc9","datavalue":{"value":{"amount":"+0.93958914","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":"Q530865$0ED28012-060A-4BD6-8412-3F0F97FA8A7C","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":"ef3566e93946bbfecb6307653ee2fbe7bf566366","datavalue":{"value":{"amount":"+0.93155575","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":"Q530865$5B604D64-8C7C-41E0-94FE-F340E31EA23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a941b3d56ebc8098883216ce0c529e8d5e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1990000,"id":"Q1990000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bef1989a821fc6c73ba031bf6d4ee94f2cbab2","datavalue":{"value":{"amount":"+0.9265915","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":"Q530865$27A0EBCB-857A-4DAB-9C90-4592FC37691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ae76f296fb19174d1d1a30411ae1e08984ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4440829,"id":"Q4440829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a94115696e6890fa2f2aca9322cd7f05ac627eb","datavalue":{"value":{"amount":"+0.91981053","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":"Q530865$C3E7113E-B7D7-474F-8923-ECE6159A9EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c780fe8c35aab31441914456810cc5bb097a13","datavalue":{"value":{"entity-type":"item","numeric-id":4992401,"id":"Q4992401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb3cfddb0bb9b648d883a4a3a1a9009cc87e478","datavalue":{"value":{"amount":"+0.91572416","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":"Q530865$B3B7D224-B9B9-44EC-9074-476BE25A5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f336a5cede667cc284c9729d1f9b546b317272","datavalue":{"value":{"entity-type":"item","numeric-id":3540408,"id":"Q3540408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297a1b4ec5ea82bfa75b597e08c2105ce5b621cc","datavalue":{"value":{"amount":"+0.9095936","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":"Q530865$E494ED3B-0A4D-4595-8B9D-3FE9CD44F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5192e45fbd99589e76cb22a4c9d8e110bdc8de","datavalue":{"value":{"entity-type":"item","numeric-id":631090,"id":"Q631090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f423f9936be3621da84f895d8ae060d86ce5a2","datavalue":{"value":{"amount":"+0.9050364","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":"Q530865$A45F2780-6536-4238-A451-869BA78DCDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66eda1faa6f9a14688d141a7261ebe70747818e8","datavalue":{"value":{"entity-type":"item","numeric-id":3613359,"id":"Q3613359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6b988d60a66afdb8fd4512eeb1a374caad8ac6","datavalue":{"value":{"amount":"+0.90165854","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":"Q530865$504CC7AD-1E35-43D1-BD04-F5E829D55BD6","rank":"normal"},{"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":"bdd77593ba323f54bbb2168e28c18dfd99504c1e","datavalue":{"value":{"amount":"+0.9005039","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":"Q530865$D52B30D1-D662-46B9-8AB9-D0E30CF08C23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On graph calculi for multi-modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_graph_calculi_for_multi-modal_logics"}}}}}