{"entities":{"Q2151399":{"pageid":2162142,"ns":120,"title":"Item:Q2151399","lastrevid":73439190,"modified":"2026-04-14T15:59:30Z","type":"item","id":"Q2151399","labels":{"en":{"language":"en","value":"Constructive and mechanised meta-theory of intuitionistic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551713"}},"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":"Q2151399$170712BF-6803-4CBA-AB90-DDAF7A8E976E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801c447febebdd64c55797f6c8aba6564d35f035","datavalue":{"value":{"text":"Constructive and mechanised meta-theory of intuitionistic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151399$56E71EC4-E497-48BD-936E-D38A097ED9DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"522889921bef9644f9539368450cf289e53679bf","datavalue":{"value":"10.1007/978-3-030-93100-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151399$EED556BC-9937-4769-A879-2360A354F676","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":"Q2151399$DBC8E3BE-9ABB-4B11-84E0-5F1F0DBFA3F2","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":"Q2151399$547D374A-1E4C-4FC5-91C4-9DDBFBB4687C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2151399$7A2D9CAC-6CC2-4FEB-AFC7-F220275B9A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151399$E2341276-0BCC-49DC-9FC4-6812D75C0B04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce5da402e8d6400a62f325a983376357bb360afd","datavalue":{"value":"7551713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151399$57DC5AF7-8B8B-44A0-9D00-72A19DF0DA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151399$17557B05-3510-4E78-B2F9-99D5419A37D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151399$0FA4DD90-5DA4-4A38-B74E-F1C3F5B9DAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2432641e17de36cb30d43c5b86e3de97e74008","datavalue":{"value":"constructivisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151399$6D8F59A9-31B2-4F94-971C-E08EE1E478D5","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":"Q2151399$16A01046-C46A-49F0-A959-93EDBCD8A3F7","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":"Q2151399$B7F2170E-3B9E-46AE-8C17-639C4F7D0513","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ce266d247586599c7a4e73cb846235a2626aec","datavalue":{"value":"https://doi.org/10.1007/978-3-030-93100-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151399$68BD3923-A1E7-454A-9531-F2FB0DD434A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc470c71d71a44b1a809409731ff833a28b4971","datavalue":{"value":"W4200520344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151399$0226B303-499E-4ED6-B195-721671E19034","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$5A499CE8-603E-482E-BBE7-14E2D9F1BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1ab5e305c192824b2ceed56bbd138b7f971611","datavalue":{"value":{"entity-type":"item","numeric-id":2695534,"id":"Q2695534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$6FA74EB0-E9AF-495C-9456-0605661A10C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa68a56f1e6d920b4253e172f355c0c21d40c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1744443,"id":"Q1744443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$15E2429B-3EFC-46A7-9744-FDF6F0A3477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$BD7A9A55-7CFD-4B3F-B926-E2699A620E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00b5895e99d191ea2985b1dac8cd0296ccfe42b","datavalue":{"value":{"entity-type":"item","numeric-id":5369482,"id":"Q5369482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$F4D7D667-E22F-4AA1-9E63-74B7754F1FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a83e9d4b2466541daabb18a182df31c046f1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$F8FEB42D-BEAB-4C89-98AE-5564040E791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4726bf851623fb67c3d5e7fb7efb2df578a920e","datavalue":{"value":{"entity-type":"item","numeric-id":287375,"id":"Q287375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$16753407-CE57-41B9-A00C-4E3B8AE8A35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d11b5633225797f864fca555faf4aef15de8c","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$19F80441-0DE0-40F5-A766-32BC61F85F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba80adbf95d04708975cd3c7111b174ce214fe6c","datavalue":{"value":{"entity-type":"item","numeric-id":2142084,"id":"Q2142084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$BF229633-DD90-4243-94F8-6B84652BBCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$FE913A0C-770A-481D-9C3E-823BA5B66AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$D44A5020-C707-42B8-A1F5-D95FF6F5F697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$D9E2953E-6DDF-4AE7-96D5-83C5102CB4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36125f32db7e1775b0d8cbd569d1b6c9439c1ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$C7278DB9-BDB5-4E9C-A292-BAB83A567B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$C8BD6B71-2597-43B5-8BE5-F3B57E8725FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$B9EF0F8E-2703-4CAF-850A-040469C71248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4621c6b7e759ffec000c8fe263e7fdebf9d599d7","datavalue":{"value":{"entity-type":"item","numeric-id":5283437,"id":"Q5283437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$0128EE24-FF36-4849-9F26-8FDD8A319B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fc11d2346e46f71f462ef9d98414772edce410","datavalue":{"value":{"entity-type":"item","numeric-id":4552747,"id":"Q4552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$A3361CB6-57D5-4248-9CB9-FA6D778EC3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cb6de7665224715bae1428552c9975cb569ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5028321,"id":"Q5028321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$8ECF29D3-15DD-4D36-8B41-4146C65D3A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb22192d4b461a8e92e6d1a5705afddb3b30a82","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$E36286A6-7FC8-441E-8413-DF5C5C912F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b827267215f30424dfab181f34e5c4c2f3706780","datavalue":{"value":{"entity-type":"item","numeric-id":2291248,"id":"Q2291248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$3AC702CD-497C-473F-A73B-1D206B14DA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$E1D2D18C-F558-4945-97DC-ECD6ECD2E0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb50c78ca5b3b07e1bdd03b8580c9a3593e69b","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$1009783B-8A34-406E-B6A3-B00778462FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151399$B19C8417-3829-4519-B13D-2277FCDEC81E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23071d44cf42c6a671af29cc74f4ddae3eb8209","datavalue":{"value":{"entity-type":"item","numeric-id":5872869,"id":"Q5872869"},"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":"Q2151399$EFD28874-0CCC-4C6D-8785-5F789CE097AD","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":"b194ad29c6c1908cf24fe9db9cff384756540edf","datavalue":{"value":{"amount":"+0.8429345488548279","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":"Q2151399$F68DB3CD-68AE-421B-89B3-83B0F722279C","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":"90ea199e36cbb26f7e0fb187b2f0b0881a7602ef","datavalue":{"value":{"amount":"+0.8319334983825684","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":"Q2151399$140CE558-9059-4B24-B4F5-8ABC4F6D28B5","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":"be66b9a6bb9c173a6d0f34a62d512a602f074c84","datavalue":{"value":{"amount":"+0.8124449849128723","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":"Q2151399$328CE1F5-ACB2-43CD-BF42-AF3AD82150E6","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":"37064a28b226e04352c40af30d0720e1a84dc3d9","datavalue":{"value":{"amount":"+0.8012059926986694","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":"Q2151399$332F2D10-D5ED-4334-BE7B-22D7E3301886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive and mechanised meta-theory of intuitionistic epistemic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_and_mechanised_meta-theory_of_intuitionistic_epistemic_logic"}}}}}