{"entities":{"Q5872869":{"pageid":7902420,"ns":120,"title":"Item:Q5872869","lastrevid":55429258,"modified":"2026-02-17T16:11:53Z","type":"item","id":"Q5872869","labels":{"en":{"language":"en","value":"Constructive and mechanised meta-theory of IEL and similar modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638202"}},"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":"Q5872869$10895A05-358B-4D33-9707-6DE8C76B8575","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb8785fd0257a08bc3fe3e1954137bd55b08bada","datavalue":{"value":{"text":"Constructive and mechanised meta-theory of IEL and similar modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872869$696B41B9-A42F-4EAF-AD33-8BBE03F8074B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8980201c16a6ca32bade78c500fe68500d14d6b1","datavalue":{"value":{"entity-type":"item","numeric-id":2151398,"id":"Q2151398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872869$833F71BE-8419-4923-A143-F04D052E7A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872869$45580337-5548-4782-9A85-28B299950241","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872869$A5CC3BF7-5646-4B9B-A34E-82329DA0A6B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872869$6966C39E-0F7C-4A6D-A89D-61A65439F6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872869$12C08165-CC7C-4BDF-B499-E78C4C9ACDB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"143baa581939bc406ed80d82af51c8d13a574e21","datavalue":{"value":"7638202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872869$C40197E5-4B72-4C12-94DF-1FC5C34CE72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872869$E0C28A76-E908-4001-9EC7-8F0073AEE711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872869$2D6A3ED3-0000-4F4C-9287-636DC1358057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872869$891AEDC8-63C2-4E29-9F53-C0C98F4C74DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872869$0573539F-6700-4271-8361-E89A40DE9613","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":"Q5872869$C9500B11-48F0-4DF7-B0E9-EA15CDA9E0E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b724480b1f77c0adbab836a816cbdd52c5ea4f46","datavalue":{"value":"https://doi.org/10.1093/logcom/exac068","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872869$90B8F69A-BB61-44B8-9580-2E438E5EACE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0680dbc5e1ae646437230d20b0db156aff62f95e","datavalue":{"value":"W4308886654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872869$2BA42962-5022-4C08-AA68-9D69D7B1D22C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a863b2071d0a973881c1d3a7f69f404665b27c99","datavalue":{"value":"10.1093/LOGCOM/EXAC068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872869$21105414-E96E-48FB-B50C-CFB545949275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872869$1E4F31B6-09E7-4A39-8520-E82D26C62BE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350bbbcc96b3ac8c2c61b1f1bec9ed4cc54fd1e2","datavalue":{"value":{"entity-type":"item","numeric-id":2151399,"id":"Q2151399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d7bc795eca444378e591c9a71c2412fa79220c","datavalue":{"value":{"amount":"+0.9724739789962769","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":"Q5872869$55EC157B-EE32-4DE3-9445-FD137815C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7f3bc9356358b9f94668635adc4d5588619e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f716af1a86663e3dbf5aa0a20ff25d064b0c79ca","datavalue":{"value":{"amount":"+0.8223960399627686","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":"Q5872869$C2981DD6-ACC1-44D9-8323-33E5D229D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5246ecbc2eb2378e93e87a74f5e840abf5e2d43e","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879d093eee2cfad9ad606133173b093b842bbb4d","datavalue":{"value":{"amount":"+0.8199902176856995","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":"Q5872869$9395C8C9-5BAD-46BE-B8EE-FD3F7376B49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3944b5289b4eb3f4cccb13bf902ec555b3de725","datavalue":{"value":{"entity-type":"item","numeric-id":2291248,"id":"Q2291248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0915a1d1f769c8d40969f3d79b941a403b8120af","datavalue":{"value":{"amount":"+0.7923861742019653","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":"Q5872869$3DCB9671-2427-4CB0-B1C3-2BDBAA9ED36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d33645bd7687d6a02fcac1b99984c432b5965f","datavalue":{"value":{"amount":"+0.7886778116226196","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":"Q5872869$360070AD-160A-4078-B15E-5D7301CF5AA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872869"}}}}}