{"entities":{"Q1744424":{"pageid":1755166,"ns":120,"title":"Item:Q1744424","lastrevid":72418452,"modified":"2026-04-14T04:46:28Z","type":"item","id":"Q1744424","labels":{"en":{"language":"en","value":"On graphs for intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862951"}},"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":"Q1744424$287E8B12-7417-4F1C-B8F3-4DF8FC62A3CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22632ceeb9d37f8e5ce4d0bc3ef3262e9255396","datavalue":{"value":{"text":"On graphs for intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744424$1060EC90-B513-4828-A8B7-82BCD6B1FB64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13253e393ee443ed624a528adeb99dc0e8d68a28","datavalue":{"value":"1394.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$76FCD05F-95B2-4F2A-ACC8-5A9456ADF759","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":"Q1744424$552103C8-8EB1-47B8-A6D8-9DF6EC8B1EF6","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":"Q1744424$0FF7FEE2-4AE5-4F45-84F6-CC8758019B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744424$2D31B15E-6193-43D8-A58C-5939E75751DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$90015A2C-A369-4FF6-9D50-371C3649B286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600f8bb1333b22a91d4c5c216e88a8534b6b80e4","datavalue":{"value":"6862951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$DE6647C2-636E-46E6-926B-1C4C7C4ED813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$DD43CECA-06B0-4FB5-A9A5-8617BBA1E891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$E56946F6-1044-4727-AA5D-B7B62F9B55F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425b9e95b6f49afc57f246967da57ee549f42e22","datavalue":{"value":"graph formulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$DFC2C804-CCDE-40A1-9896-6E3AF7CE9258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc733e21e6045f1a40c846262ef150480aeb297e","datavalue":{"value":"calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$CF95E313-6482-456B-8C4B-63E27B4D20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$068DC95B-8377-46FB-A915-A38E894A149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc9845cf1e3b6a5ebde0334d0069b43d5a2156cc","datavalue":{"value":"special relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744424$C3FCBAF0-0143-4892-B250-366AE3303AD0","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":"Q1744424$B383EDBE-8746-457A-9978-A8ADA36B5695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e8f468e32a483dc2f81a7720412b45b5853200","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744424$EA9BCB1A-80D0-4D12-B77D-905489112AB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"331ba60a2165dfb2d78b8cec22ac8cf152d286ab","datavalue":{"value":"W2469202987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$E273D1E6-FD1A-4AC0-AAC3-9037C49506A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3a28e44f0a9cc2e4f96c294a1606c9c66e11a8f1","datavalue":{"value":"Q113317677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$A33B0C71-9BE4-4F05-9DA5-E55C3B4E76E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"616c6a5e8df30896f29b57b5d118beac1fb930e1","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$55FB2AA9-85FA-4408-8B5A-9007780C5A05","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":"Q1744424$E97DF0E1-70D4-4C66-89A6-D34D1922AC8D","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":"Q1744424$B86D810E-3C67-4ED1-907C-BAA385632817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$A191FD0D-8D24-4C55-82A7-9DEA6B9FFFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$DE4ED71D-BF36-4BF6-B356-8D52635E00A3","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":"Q1744424$F54BD15C-0A40-48A1-92C6-EAFBA15116C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ece1e9b541701cf09383b131741beb2ba8bd5c","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$71BE4B91-5E32-49F7-B2DA-9B41B8CF0D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c9df65c33cd4f43f9f611e4e81da4b3519e079","datavalue":{"value":{"entity-type":"item","numeric-id":2986808,"id":"Q2986808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$C34A3030-D8C9-4533-88B1-66D69B63427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$2B7217A0-F042-4118-917F-08562FD9D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f000b442f0a1b16f5a1aac825944129ab8376977","datavalue":{"value":{"entity-type":"item","numeric-id":5858676,"id":"Q5858676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744424$557FE770-B4E4-42B1-9A55-72CA2F6B3749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c845f937bca37f804708ed6a2b238edf53a7bd3f","datavalue":{"value":"10.1016/J.ENTCS.2016.06.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744424$FA410E3C-36DD-4DED-94C0-75A62A30F1ED","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":"7a602832087228169f02f18f66a35986c70d0f65","datavalue":{"value":{"amount":"+0.8531630635261536","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":"Q1744424$F2E7768D-FFE6-495E-BDFC-6219E15218C9","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":"14541514811e84dc4f7f63280268d048f486875e","datavalue":{"value":{"amount":"+0.8168817758560181","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":"Q1744424$F5B19A36-0CCD-4743-B7A7-2473FD229EF1","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":"387a2c7ed1d263ff4e2eb5706bdbabd4a681493f","datavalue":{"value":{"amount":"+0.814864456653595","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":"Q1744424$93DAABCA-DB5A-417D-8DCB-CEC23D9ED21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c841bbfd7aa28c6354cdbf171e1b40a2f8c33f18","datavalue":{"value":{"amount":"+0.7781485319137573","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":"Q1744424$69215D0C-AC44-4045-A518-6BD420901D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033cac62fcdf64b0baf79d02b39769bb477c8253","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a55a26eb2e94a0f3fe6a05761c03e98e055bd","datavalue":{"value":{"amount":"+0.7729710340499878","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":"Q1744424$7934403A-035D-4629-A74F-95D018C79216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On graphs for intuitionistic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_graphs_for_intuitionistic_modal_logics"}}}}}