{"entities":{"Q3305433":{"pageid":3316141,"ns":120,"title":"Item:Q3305433","lastrevid":53787434,"modified":"2026-01-25T17:32:49Z","type":"item","id":"Q3305433","labels":{"en":{"language":"en","value":"Distributed modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229300"}},"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":"Q3305433$B37A454B-BA70-47CD-9472-D43D85B884E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe8fcc0f951c45189d120050fd14ae3af0bca533","datavalue":{"value":{"text":"Distributed Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305433$3EA99411-0F9D-461E-98B4-9DFEA06C6242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6771304efef5646179dd489f12cf085172d1037","datavalue":{"value":"1439.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$1442013D-5A41-405B-B13D-E3BA4F62A986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"491861adda186214eb31bfaab60e1bdf3a6f958c","datavalue":{"value":"10.1007/978-3-319-29300-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$60866603-F818-4027-BB4D-94038AB41609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a99e140463feef29a3990f0935b0b5e2887b7ec","datavalue":{"value":{"entity-type":"item","numeric-id":227765,"id":"Q227765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$0D5387EF-76D6-4949-A0CE-351AAB30D2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dd00a9f14f1024dbf704b25a1b3f851cc8b8f30","datavalue":{"value":{"entity-type":"item","numeric-id":2721102,"id":"Q2721102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$307976A1-6B85-4A36-9552-0394B64C5697","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$05C56B7D-1D5E-4310-9600-2C1075C7F5EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305433$8AB8C7B4-28A7-4796-A2F0-4CE373CDF3AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$678BF606-83D1-405D-BDE2-D9DFE6C415B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$99758627-DB96-40E4-93F4-8DE87252EE0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ec04420127098ab3d6f49b87694ab25bccc8ee0","datavalue":{"value":"7229300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$D5038478-532D-41B5-864A-FB2E276C6A46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d2cd6c808ad9febc6998c9d303f1acef764ca9","datavalue":{"value":"Hilbert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305433$B45F9BE1-515C-41C2-94F5-90DF8A77A34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2ab92064595c4bc80edf6ce409f05542fc14b3","datavalue":{"value":"Kripke","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305433$2A728117-5E99-4B6E-BF5E-78304B37CE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305433$015BD844-0C0D-48CD-9F1C-E82038F8ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305433$7B89A39B-FC9B-40C2-8607-1C820FA63E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305433$C84BA57A-C608-47EC-B61A-187AF4351B44","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":"Q3305433$9EFB8A29-01B1-4383-BF99-FA291506AC7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2819371825d42fd53341abe675debf374bcfee73","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29300-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305433$CED13A09-2E9D-482B-A731-B996E892EDB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2db96021990a65cdbb006f20ddaa8c14bd9f2313","datavalue":{"value":"W2465223121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305433$EDF537EF-9A8C-4D66-8129-01EBEFFE4EB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$050C7DEA-5BD3-4CD5-B78A-0DA040C581D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$FB1F4669-743B-4FDA-9394-C79484C7B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c4135c5c5c2850a1d2e8d6af1e3e785dc4f7eb","datavalue":{"value":{"entity-type":"item","numeric-id":2904043,"id":"Q2904043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$3E49E76A-62BB-4189-9B8C-0A31818C76B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe5f683fe3dfee202443ee27666acbd2e6b2d86","datavalue":{"value":{"entity-type":"item","numeric-id":4982511,"id":"Q4982511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$123383A9-B279-44E7-BEAA-1954BFE7FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$F1562F65-8579-46D9-BBED-FA1010CDB378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342a5b0b31f0f05ad26f2f5b664833f7a02c9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4229040,"id":"Q4229040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$4AB9F6A6-EE43-4F45-8AD9-CFFB1FAABDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$F0EC026D-B6D5-4683-AE21-945069E5AA7A","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":"Q3305433$0F9854EB-9412-41CF-94AE-8C0C965561FF","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":"Q3305433$D5BB4D1C-FB81-440F-BF88-B9D549CC4038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e451b1746a346de32c7ff025c45f478901c7da","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$8A4773B5-6548-475D-ACAA-4E25DB6CE25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7863f2174c0a55f7876d0a9cacbcef92afe17a8","datavalue":{"value":{"entity-type":"item","numeric-id":4287485,"id":"Q4287485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$CF4D001A-DA64-44C3-93C1-D5A95DD3EA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$BE34D551-FB86-4645-B777-BA5EE8EFBA43","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":"Q3305433$1641A490-F8E5-4BF9-83D9-7072577A2D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$AF7CB7F7-C041-4966-8BD3-60C517C284ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$EB10EF50-26D3-404C-9ECC-10DCFA9E13C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$138CDBE4-6228-4BC5-9330-B535B270D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$4B3A03EF-D074-40C5-B781-04D930546FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a5fa90792db6d1d1efe8b61362509ac100aff","datavalue":{"value":{"entity-type":"item","numeric-id":694499,"id":"Q694499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$E502245E-0EC8-4345-92F5-849AADAA6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$72CA8CF3-A79F-4761-8309-C52C742619D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8462cd38d13160180cee3227a98b69c13eba8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$ED361E42-B52A-4510-B60B-2A9595D61963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$32426624-D39B-41BE-9E3B-0E8C09EAC4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ff9167f5d043b164a9b42e532ab2bad15ad888","datavalue":{"value":{"entity-type":"item","numeric-id":4521281,"id":"Q4521281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305433$9BCDB92C-A6B8-4825-82CA-73F0D173CDC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a340906188ba77b3b6bee1c1068ea3f70dc81095","datavalue":{"value":{"entity-type":"item","numeric-id":4733416,"id":"Q4733416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97edae8a11a073d44d6e8f0d8050b688c531303e","datavalue":{"value":{"amount":"+0.7924286723136902","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":"Q3305433$A879A511-A1E7-49BF-891E-8D0CD41C2E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d245440d6e7b24402aaf872d7e44f524f66bc750","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed13927a745992d33f67cc6dc911c70216d788f7","datavalue":{"value":{"amount":"+0.7883024215698242","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":"Q3305433$E277D1C4-B6E7-4D94-B0FE-C7A7F968F750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c99d6d42bbf797f6ced8191eef8eed9367e828","datavalue":{"value":{"entity-type":"item","numeric-id":2782484,"id":"Q2782484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed13927a745992d33f67cc6dc911c70216d788f7","datavalue":{"value":{"amount":"+0.7883024215698242","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":"Q3305433$37DA8F8B-027E-4B46-8E0F-2F66AE076D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5372b48eed0f40cb4eb93ee5cb6de9c745e8c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df598e10430bc995b295b9fe06cd6a04cd92363","datavalue":{"value":{"amount":"+0.7879342436790466","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":"Q3305433$CA8C2181-2B17-40F6-91A7-6F9716BFC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428ab980dbe46bc1607b3b6894d939c4a458d849","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b09fd9de35cea6a27f071ba17754ca9ce34a15","datavalue":{"value":{"amount":"+0.7784699201583862","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":"Q3305433$8BE70471-6920-4312-9EF8-13FD8AA8F6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305433"}}}}}