{"entities":{"Q1745356":{"pageid":1756098,"ns":120,"title":"Item:Q1745356","lastrevid":55909618,"modified":"2026-02-21T01:43:01Z","type":"item","id":"Q1745356","labels":{"en":{"language":"en","value":"Expressivity in chain-based modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6860718"}},"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":"Q1745356$2AFA9BA2-755B-4362-B0F3-6315D5968478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1613ee5071a8b94e0292d5f551704524e6907596","datavalue":{"value":{"text":"Expressivity in chain-based modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745356$A4E5157B-28DA-4D95-AB8B-9200B6A5F7DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e87a878d84b1111dd655e2f93c1effbdfc993f","datavalue":{"value":{"entity-type":"item","numeric-id":334159,"id":"Q334159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$AE2997E8-C868-49BD-99F6-ACA67966F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$5768B1E4-2FFC-40F8-8F74-EAB26ACC8BB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$46B7943A-201F-47A4-A924-F3A066A013E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27401f0c0ec451342185690781fa9506a9acdf7c","datavalue":{"value":{"time":"+2018-04-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":"Q1745356$5DA1714A-76B0-4360-8DF5-30211A4AF9D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e8bd0759a271b99482f880887851b588b73be57","datavalue":{"value":"https://boris.unibe.ch/102069/1/mame17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745356$882BB370-94CE-4575-AD56-4C036B580350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$B1ECE208-B3F4-4DB7-BC89-73F976657D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$56360389-FF41-4589-8E06-CA2EA0B53A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$876861B3-58EE-40F5-9429-A74715E62F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d7bf7eb2f40ea6d5e3fc849ec8371133616aa1c","datavalue":{"value":"6860718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$B94C2C6C-001E-4D81-A4A4-464B332996F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745356$4E642469-7C4F-489D-A594-C242F465FA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745356$AA730E11-DEC0-4A0B-B6FA-74569AF14012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745356$8219E900-9650-4AA9-9E7F-E0F827A77F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931c0bdc35bfbbe94df28d09af431c04a5d69eef","datavalue":{"value":"modal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745356$490F47BD-DF87-4CDE-AE43-82AD5502A3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745356$30BE06F7-BDA7-4635-B6E1-57AAF5ACDD6E","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":"Q1745356$DE52BF2C-1979-4ADA-A3CD-17D4205C1417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f97072ff9c93328f447c361a7bf336c474bcefb","datavalue":{"value":"W2733196847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$0B149295-9C22-43FC-A5D8-6D4941936FCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$D044FEA3-E4C3-423A-B803-C271C32326F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebaee7c23bbdb4586c8c27830f2c0c8154d7b10","datavalue":{"value":{"entity-type":"item","numeric-id":2820688,"id":"Q2820688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$6DAF644E-5092-4765-A43D-5E8A8A753D00","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":"Q1745356$7091ADBF-3290-47FB-B6F1-5547A7F04A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3b405f2112459a2a87fa5c04fbfbf7901f6175","datavalue":{"value":{"entity-type":"item","numeric-id":2512986,"id":"Q2512986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$12B8DEB9-2076-4C71-904D-5211AC85132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$959B7B69-5644-436A-B3A4-1114BE83D677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fca1aa145c954105ccc69ed1e2873dd9a5c86d","datavalue":{"value":{"entity-type":"item","numeric-id":2361346,"id":"Q2361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$1FAAB395-BFD0-409B-B8BD-7437B4E494A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$46910E99-25B2-433A-992A-D4CB3D467D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02149d0f3702ffaf6b195b17d6ff6b1ab7b5d343","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$8650158E-A3AA-4227-9145-C1305E611DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$3AD71D72-5963-4742-A3A6-066CF68B907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$F6A2122E-6B15-4321-8EDB-08EB09C2EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02bfb898391f6437de84958a82b3fb052307929","datavalue":{"value":{"entity-type":"item","numeric-id":4636037,"id":"Q4636037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$E04DFC2C-A014-4DED-AC2D-549A1355C01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011c925f0ac54cd70126a579dc95961aec48e862","datavalue":{"value":{"entity-type":"item","numeric-id":2882558,"id":"Q2882558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$FE7DE961-BD47-426C-802D-B9CAD412327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$7FE031A9-5E68-4B95-940F-A399264E2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$AC9BA2BD-BC63-4098-84A8-C4C888D13442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de17d730a5554fa073707b3503d367143f6cf8f4","datavalue":{"value":{"entity-type":"item","numeric-id":4460673,"id":"Q4460673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$BBBF682F-7C6F-47C1-907F-16CF3194A716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$B9327B17-4450-4DE8-A2EE-2B0A19A51A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$D7B7E478-7740-4901-9EE1-105C53114092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f40276dec1a5608df60bddb3062a45d089860e","datavalue":{"value":{"entity-type":"item","numeric-id":1344258,"id":"Q1344258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$F0F35D9E-2A34-4AE3-B928-F5AD65954A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece188b1590616bdd9fb098c5fbc7b67e626a41a","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$B58CD74F-7E7F-4043-8193-82491CC7B2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$8E6E01E8-946D-47FF-BDFB-205532D5413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08cb6edc87bf625cae1da3ab2aaa2a77463d955","datavalue":{"value":{"entity-type":"item","numeric-id":3003328,"id":"Q3003328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$E830F15F-A686-48A6-B119-5CE46E752262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$4A41D301-DCCA-4D32-9B7F-EA27A3B85BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$DB7DDC25-D0EF-497F-BC67-C3F9C1E2F8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fc1f742d5a081503eee88d019893ff7445254e","datavalue":{"value":{"entity-type":"item","numeric-id":835806,"id":"Q835806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$5B7C7E69-D36D-41D2-BB88-13F11764D7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4468ed143426306fe7e5105ec7c4680188409b57","datavalue":{"value":{"entity-type":"item","numeric-id":2717787,"id":"Q2717787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$C63FE570-E246-43BF-9865-D53486FB6287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0f10026eb1d1b29d367b8bb2d15f247247309","datavalue":{"value":{"entity-type":"item","numeric-id":2987054,"id":"Q2987054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745356$5108B8DD-8675-4B11-ABA4-DD3DDC1AA6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00244f9f057487fcb948227ad1e6c7884f9b6d83","datavalue":{"value":"10.1007/S00153-017-0573-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745356$7A99F595-4C23-4F46-945A-E60BA8D660A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb80659977aec99804b30d76ea5cdbb50cdf15","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9214a3ad16288a1cb31bf96e21186fd0cb8d704","datavalue":{"value":{"amount":"+0.8340787887573242","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":"Q1745356$677220CC-8CB3-4B3B-87C7-B7A0FACA9B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3adbd202cfeb46e618634cdd86432fa842b8b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5134275,"id":"Q5134275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96016bbc10d0042b3b37da78d8717d9d417bf35f","datavalue":{"value":{"amount":"+0.8300923705101013","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":"Q1745356$B05F601F-AE5C-421A-836D-5ADD24F15118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d252b6fe29e7d56420b3696c6f2aefd1accfc11b","datavalue":{"value":{"entity-type":"item","numeric-id":2820688,"id":"Q2820688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0710edf01593995e8ae08cf23d0d977b58b55e97","datavalue":{"value":{"amount":"+0.8222106695175171","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":"Q1745356$20027B70-4881-4127-B889-EC041F247FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2409a040f80dc645b66ae6ce44b3058410ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":2219166,"id":"Q2219166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d88a91fe3684b871e2c041cbecc55bb380b396","datavalue":{"value":{"amount":"+0.7716212868690491","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":"Q1745356$60AF1D30-3577-4836-9BAB-F9618E88FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bcbf5ab1b4ee1d90196c628857cae1fe2f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019dc0039fc6d636da2bd56461a2867bcc5dbf22","datavalue":{"value":{"amount":"+0.7715762853622437","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":"Q1745356$66498E2F-AF04-497E-BE83-E428AA7DFFA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1745356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1745356"}}}}}