{"entities":{"Q2148783":{"pageid":2159526,"ns":120,"title":"Item:Q2148783","lastrevid":55411837,"modified":"2026-02-17T15:49:57Z","type":"item","id":"Q2148783","labels":{"en":{"language":"en","value":"Modal logic via global consequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547737"}},"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":"Q2148783$036B2F7F-AA78-4B1C-AB78-1661989C6A14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aabdbca0b88c5bf12f26777a4d7a9c39528f07cc","datavalue":{"value":{"text":"Modal logic via global consequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148783$F8821D1A-E838-42BA-8061-67486D451AE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d8cb123697e857ddcc1c40bd00355b3951a47ca","datavalue":{"value":"10.1007/978-3-030-88853-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148783$B754E7F8-CC1D-4D80-9A17-20F5418B3024","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f552b677aa3ab2ef4af43544f79e101af3a7667d","datavalue":{"value":{"entity-type":"item","numeric-id":1005943,"id":"Q1005943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$3B290B90-4ED5-453B-915F-3E411063A965","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148783$24FF4647-1C09-46BA-BFB8-59CE4F3114AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab5043fa87f1d2442b9783cc7c795910b3d1bc1","datavalue":{"value":"https://arxiv.org/abs/1910.02446","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148783$5A0CF866-6BE4-49F5-9C46-9CF8DE0E6D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148783$61951C1D-8675-4F1E-9CE4-5E4C26043C17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d21169c7cf7ccd8ba4e769004aade126f90543","datavalue":{"value":"7547737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148783$77CAA121-B2EB-4756-99A7-9F60665D447A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148783$21CCB58D-91F6-4135-9923-21E2803B55CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2919ccde6e158f302d0b3926b8911f94bd4c8d79","datavalue":{"value":"local consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148783$8F8703D8-99A5-4D5F-A152-8E23705CE7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1068aad4199ba80c05a67186d38b08f545dd3f3","datavalue":{"value":"global consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148783$4C432F70-A162-47C1-AC12-27BEF417C75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74074b5ff794c47d673d82d082407d90119629dc","datavalue":{"value":"domain semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148783$F66FD0A2-5847-4ECD-8271-52879C897CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bdc05fb1005b2d2be1fabd50a21850bbe9fc6e9","datavalue":{"value":"update semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148783$3AFEEBC9-FE7B-47E2-A585-7D867AFD96C4","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":"Q2148783$BFD99A54-DCF9-4431-A5C0-B5050674965A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e15d24be1f6aa10005ffb030e1537514d4e3449","datavalue":{"value":"W3209539560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148783$D040CCC5-3E6E-4D0D-AADB-B90306DC6FF2","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":"Q2148783$B98D9EA5-0C43-4008-A5DF-3518D265A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$71EA82CD-037E-4C05-B27F-DE62CF6C73A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6382e2feb09ec31cf432e8d77b8dc8c52b30efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4532129,"id":"Q4532129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$FC1B3753-034F-4FAA-9332-CAA574486E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2488c75692162cb60f6ff9476938677e99583a","datavalue":{"value":{"entity-type":"item","numeric-id":4817194,"id":"Q4817194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$B6E16119-D168-405D-A45D-1D86419EA41D","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":"Q2148783$2A5B82D2-7DD7-42F3-9548-234AAF567DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6500c5de49320733a17e6a0d341efe7bc510f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5275556,"id":"Q5275556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$46D09F20-A403-4A90-926C-1E424D927794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$20FB70A1-16A2-4B04-B8AC-595D29B7A2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0a17b595c3cd4211d5f05749fbd7b6d037a539","datavalue":{"value":{"entity-type":"item","numeric-id":2323632,"id":"Q2323632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$D1E1E972-6E00-4CD9-931B-1EFD154CE096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbca501512b5c59ad44f758b6109edec48c39d9","datavalue":{"value":{"entity-type":"item","numeric-id":5249688,"id":"Q5249688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$B12F3B48-6A78-4003-A5FD-AE541CA61138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb62c6d2416965fd35021b5bcb25cc50eb262b3","datavalue":{"value":{"entity-type":"item","numeric-id":987480,"id":"Q987480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$553E6D74-EB40-4D92-B537-87BAFCE1C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$F3B9CED3-2359-44BF-927D-F166266DE589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17b3c0b42328891462fa84e03b0ace3632518d","datavalue":{"value":{"entity-type":"item","numeric-id":1918912,"id":"Q1918912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$7BD750B3-9BCE-4806-8985-90028216314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fb8620a031057980ff4951240a77242af854d2","datavalue":{"value":{"entity-type":"item","numeric-id":266669,"id":"Q266669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148783$1E772D31-D970-4C1B-AFE7-41F5ED10C174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90943835290d2a1ec5f6bd1e0cee8efdacf3714b","datavalue":{"value":{"entity-type":"item","numeric-id":2323632,"id":"Q2323632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77e7d46b90bf7b738ccdf8bd88074ffb7c8fdb1","datavalue":{"value":{"amount":"+0.7899211049079895","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":"Q2148783$7B7DE92F-4EA7-4113-BC3A-346FB552C199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5b1c440626aa928eb160e390e911ac1a424777","datavalue":{"value":{"entity-type":"item","numeric-id":1102937,"id":"Q1102937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bc17443ba3cfcadc82b0b4df7cc0d39e3bd813","datavalue":{"value":{"amount":"+0.7300140261650085","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":"Q2148783$B3F1B604-3D8C-4653-BFA1-3F9276FFA0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f73063f84374f4733dd11f5a193d1569ea8c07","datavalue":{"value":{"entity-type":"item","numeric-id":4532129,"id":"Q4532129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd17aab45d7e0f82ac7d6e4a17afc97362ec038","datavalue":{"value":{"amount":"+0.7183996438980103","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":"Q2148783$8D7E92F6-1713-40E3-93FE-BEA8AD7C9E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ec24c11660681c1d9a6b635f57dc288fc56bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4227549,"id":"Q4227549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c98ba35e1cffd4b189280d2930b969f8ed37d1","datavalue":{"value":{"amount":"+0.717428982257843","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":"Q2148783$607621A4-325B-4949-AEBD-6D995D670390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452065cfa5f38fc0d82c5b62df9f314cfb2d6d39","datavalue":{"value":{"entity-type":"item","numeric-id":5249691,"id":"Q5249691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0732a31eca9300c15c125c005d4f49eac256e5","datavalue":{"value":{"amount":"+0.7112597823143005","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":"Q2148783$82A9DC3D-832D-4799-B065-25C1696ACA53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148783"}}}}}