{"entities":{"Q5095650":{"pageid":7125226,"ns":120,"title":"Item:Q5095650","lastrevid":58433682,"modified":"2026-04-05T05:06:46Z","type":"item","id":"Q5095650","labels":{"en":{"language":"en","value":"A many-sorted variant of Japaridze's polymodal provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570101"}},"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":"Q5095650$EBE562A4-E5F8-4059-BD84-191933D57B5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c78d5eb33da03e99188f57a24ccda2d609c95bfa","datavalue":{"value":{"text":"A many-sorted variant of Japaridze\u2019s polymodal provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095650$143257ED-5A18-4DAC-B197-A4A6B974E4D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29db067c086712355c9ea19471d0d38d25c3e62b","datavalue":{"value":"1492.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$5D2561DB-A71D-4D19-B136-3CE1D416ECF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3d51ea13776e6d54cdf0be4717671837a28639a","datavalue":{"value":{"entity-type":"item","numeric-id":5015963,"id":"Q5015963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095650$563767AE-F08E-44C1-8620-DA24D1724464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095650$5CF32C7A-B9BB-4F45-A6F8-E5F8313C63F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095650$B4368176-9A65-400E-825B-97647A6A8F59","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":"Q5095650$0DAF837B-B67D-4D02-BF09-FA14BF32D4EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095650$3B8EF06E-DA71-470E-8D26-D52E2373D89F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03acba7e13cb57d98c1139a180c6f959051d03e9","datavalue":{"value":"https://arxiv.org/abs/1601.02857","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095650$4ECA3F39-1ADA-499D-86D4-1C050D8375B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$5EAD9E9B-30E2-47B9-BA48-87D49B00A9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$365F39BA-253C-44FB-A71F-27A5979BC240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7ddba740c0bbedbb6a4c5ac2185009422d8c824","datavalue":{"value":"7570101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$B3191403-E241-453D-A808-4448FFC4A7D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095650$B1119129-FFE6-43F2-87A2-2211DAC750F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095650$E8392B81-15E6-4687-9798-93FD6F3B7B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095650$0C940653-AD51-4610-B886-CFDBC49DCA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095650$C7A3D650-D845-4903-8746-2ED282CFC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095650$4E55BD8B-888E-41E5-9CAF-D1656BAEC0C0","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":"Q5095650$F31DFDBC-63C3-4497-AE96-5B00C1798124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0da653c97a5025ab1f67f0c1c67dba5cbc734612","datavalue":{"value":"W3098913837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$6C6028BA-26B8-4E04-837C-2B0E99127FCE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ada9c565c80c3232e0c8ac1d85c1ea049f59c611","datavalue":{"value":"Q130042366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$4B1A0BFE-CA52-4E30-92E2-9AEEAEC3E731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bee35206aa2f0600710e248721f93214a333b7f6","datavalue":{"value":"10.1093/JIGPAL/JZY012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095650$D969C276-1006-4E1B-A4CB-C6C5B1D45109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d6eefadcbe83398f013ce8b6b29d4811a67cd6","datavalue":{"value":{"amount":"+0.8104038238525391","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":"Q5095650$06089963-709D-4C62-AFCE-C51DDCA3434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ff46ec8f64d77a2c8f4674d0b8252aa06c776","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d943d029a6b1b5d030d485b38c3b90eaf842ab32","datavalue":{"value":{"amount":"+0.8080899119377136","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":"Q5095650$675B72FA-12C4-40D3-839D-DB5A1325046A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa688d1bdd99513a23e23a146bc6376d86ee3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":685073,"id":"Q685073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b01c880645c5ab8e1449df02ee8120c0086cdb","datavalue":{"value":{"amount":"+0.8071683645248413","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":"Q5095650$512892A9-4434-4852-A7DA-EFA703880673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99a326126174256e95cc195e20805a4d60cc435","datavalue":{"value":{"amount":"+0.7981275320053101","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":"Q5095650$8B122C85-51C8-4697-87A7-6E2C1CFC72ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9699d318a03e3b911c83b4b7cd31b7676126b6a9","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd468b7494aa6e7327d73c936028c450b7566ca4","datavalue":{"value":{"amount":"+0.7977334260940552","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":"Q5095650$6B5FE6BD-C046-4424-96D6-5D11A8468C5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5095650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5095650"}}}}}