{"entities":{"Q5887988":{"pageid":7917538,"ns":120,"title":"Item:Q5887988","lastrevid":55445950,"modified":"2026-02-17T16:33:38Z","type":"item","id":"Q5887988","labels":{"en":{"language":"en","value":"Modal Logic With Non-Deterministic Semantics: Part II\u2014Quantified Case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7677428"}},"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":"Q5887988$487BBDAF-D5F7-4412-93A0-8BDBF4A5DFD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44dc4048bec3ab6e1e6bf51d3ceb16a4ce133d58","datavalue":{"value":{"text":"Modal Logic With Non-Deterministic Semantics: Part II\u2014Quantified Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887988$79BBB1C7-98B7-4EF1-B643-5A43CB811A34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887988$EFF9306A-022A-4256-BB5A-44DE4B92E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14b450311ed738e427327f4a9f537dfc447c19e","datavalue":{"value":{"entity-type":"item","numeric-id":4586134,"id":"Q4586134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887988$D874B021-5311-469D-AA33-D108B5B818C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad51ededfba9fb02103a787da804b6544909e46","datavalue":{"value":{"entity-type":"item","numeric-id":1945705,"id":"Q1945705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887988$074BF542-D2FC-4DA1-B476-399A71C00A01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887988$4D2E688D-9C9F-456E-A0BD-042F3A1CC74C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887988$67B1C769-034F-49F1-B54A-FEA6643F7D1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7787b704337b97a7bba2b24a54e29198eead5912","datavalue":{"value":"https://arxiv.org/abs/2101.02259","type":"string"},"datatype":"url"},"type":"statement","id":"Q5887988$B33A9EB0-95EF-4BF8-8360-BF4A90873088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887988$39D3A757-688E-4C2D-B812-8901238EF070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887988$0A568461-F73E-4733-B04B-06F8CA0A2109","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37d5fce1325eef7c56afdb226ceccc9f08a05a37","datavalue":{"value":"7677428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887988$2B1A45F4-29E4-4117-81AF-A461BCBBE745","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$C9177BA0-B074-450C-97F9-A821089ED123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8237bd01aefc41171a36ebadaa5137e16b14312","datavalue":{"value":"non-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$16282DDE-60CB-41D6-AEAF-6534D0E4E081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029800e25b88b7c01a8227f5eeb739c450063ac4","datavalue":{"value":"non-deterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$F201F9DB-03E9-4774-978B-2ED3E4BD9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ffc248fb9787fa281d63117fff35c7e12274a6d","datavalue":{"value":"Ivlev's logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$D451226A-0BA4-49DE-AC60-6CB4A89B1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17811fc2a9482e487bde4207074b89eae427acfa","datavalue":{"value":"Barcan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$ED7AC750-549A-4DB5-9FC7-DFFA96B5237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b966d808156b2835179e5d98436da34dcea63b1","datavalue":{"value":"de re and de dicto modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$F776E355-0BD4-48A5-8C41-141D34DBA79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83ac63f0c7e2602990d802cd2a104adac4f7470","datavalue":{"value":"contingent identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887988$DD0FD8F4-09BC-404D-B2F8-9B0FD5BA027A","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":"Q5887988$DDE79EC1-8E61-4B79-88B6-DAE5B95A2BAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8fd6afb7c1952d45390cfd49c2c9a68dfb7ac2","datavalue":{"value":"W3168366845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887988$841609D4-9F66-46DB-8D0A-8ACAA53559E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"516a42ccdc7cfe5a794221cee0fd96c06ad6e2a6","datavalue":{"value":"10.1093/JIGPAL/JZAB020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887988$C8E9DAC8-F0AA-456C-8505-FEBA155B754E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f947f09f2ec5786a66cc92aef1676e3101e3bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5082324,"id":"Q5082324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73561758e80d79198c7330af61080fe6ae417495","datavalue":{"value":{"amount":"+0.8575536012649536","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":"Q5887988$DCDE9B83-75E4-497B-8638-64E10B667D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e22b20d61e6cc64bf4106d7e0db1caaa0984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596ab44dc77e5c0c812e827b9d40ca66bc6dc5a0","datavalue":{"value":{"amount":"+0.8070084452629089","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":"Q5887988$0E5B2E84-F3C1-48AE-B942-42A870ABC0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3c3debf401c126d4e868c6d6601232ea3a5838","datavalue":{"value":{"entity-type":"item","numeric-id":2254562,"id":"Q2254562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d8462ba5e3ee2c9ca4063ed1a99ec037bb0024","datavalue":{"value":{"amount":"+0.7879002690315247","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":"Q5887988$D9986343-EB6C-4FAE-892D-284A3726A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada01ea354f012000b9d5e8afe0a8f21a83dc888","datavalue":{"value":{"entity-type":"item","numeric-id":5028307,"id":"Q5028307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b446a5c7d61459bfeea9d5b528c878f70a5bae9a","datavalue":{"value":{"amount":"+0.7614200115203857","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":"Q5887988$65FB4159-491C-435C-8A7D-2A6DE5DFCF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11de348693e72ee51cfb6aa2e95b862e239e3f00","datavalue":{"value":{"entity-type":"item","numeric-id":3007244,"id":"Q3007244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0783f7b9c8980b27d4b8bf56a673e7fbafc84bbd","datavalue":{"value":{"amount":"+0.7528647780418396","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":"Q5887988$F4CCCF25-DBDA-4E91-9A6E-812D5C347EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5887988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5887988"}}}}}