{"entities":{"Q2435945":{"pageid":2446688,"ns":120,"title":"Item:Q2435945","lastrevid":51931505,"modified":"2026-01-20T13:52:48Z","type":"item","id":"Q2435945","labels":{"en":{"language":"en","value":"On the positive fragment of the polymodal provability logic GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6260514"}},"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":"Q2435945$8EED6A22-8E66-4CD5-B227-8B49B209FC17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bea66224d34e7b15c300b69e92489246d1df72ac","datavalue":{"value":{"text":"On the positive fragment of the polymodal provability logic GLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2435945$D0D82D4E-D79A-46DB-972F-2761223EE7D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6534941ca449325a074636fce590aad84417d4f6","datavalue":{"value":"1315.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435945$8E085307-E811-402C-94C2-D78C52A5D913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"043d0832739a47de6c41deaf4bee2f1b9fe2a0b1","datavalue":{"value":"10.1134/S0001434612030029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435945$3EB6AD7F-404A-48DC-8833-6B14B1AD7B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f0e4dfa83b3ef2fff6ec577fadccde91eb00bef","datavalue":{"value":{"entity-type":"item","numeric-id":2435944,"id":"Q2435944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$5823BEFE-5CD4-465E-BBAF-6E0BDF67825C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$48513371-2B48-41FD-99A1-26724F7BFD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4ba8a782472381a782c06e87bf427bf702d445","datavalue":{"value":{"time":"+2014-02-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":"Q2435945$0FB68335-65FC-4017-9D5A-4D39E8D2AED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435945$6D9EB98A-84C7-4F80-B670-81EDB33A573B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435945$EFCBD90C-96F6-46AB-8554-140BE6079AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f10936164fce331f15d66acfe25f3cc25b059e","datavalue":{"value":"6260514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435945$41F3FF2B-2A3C-4197-A128-38F5F9EA356B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666b52181927f856b27aa274e501f7ed8c4c6b78","datavalue":{"value":"graded provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$A12F61F8-F5B2-43D9-83A2-DBC085F8A290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0028f4c5c3ad231b9b94bc3f59b45387755c61","datavalue":{"value":"GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$FDEEB8F1-32DC-4836-BD3B-052F90550309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c68cf5898a5f08f3e3cb0489ed98d482c1b8bf9","datavalue":{"value":"equational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$0C51D663-4386-46AB-BA80-3A88BF92356B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$478D8A5E-F034-41CA-A748-5195DF201719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$93AA1CAE-BD4C-48EB-BF52-74093FD789E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6496ed41d57fd95ceb20779c479ac40c533e40f","datavalue":{"value":"complexity of a decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435945$26B7AC6B-D138-4B11-80CB-BC519BE56851","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":"Q2435945$5E187C00-5C5E-4FC1-ACD5-0AA020E02D85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$169ABAC9-18DB-479B-9D1C-C9AC205742A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$9F6671CD-BB52-4C76-B84D-40AAC289D6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823cc67bf607ad1aa858d9275603363a58e0f64","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$D82CCA86-52CD-4A20-A743-A1DE0E8304DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92719b1fcb0956ce1ef0daa8facd86c31678e7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$911A1A5A-2A00-40D2-A5CE-2286AC9704E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$B5168DD9-5209-4641-B70E-45B1628C4B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5627b5d6dd11232b46313e0c1f24553c61be06","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$AE88ED20-F4B4-4AD7-AB3B-E8720292888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049b17ff8f660afc647ff76ab2ee0502b858c66c","datavalue":{"value":{"entity-type":"item","numeric-id":2904059,"id":"Q2904059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$B4E26628-86B9-433A-A8CC-6577101A2915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66afe10f36e3f75bfa1361c264451783413560e","datavalue":{"value":{"entity-type":"item","numeric-id":3085175,"id":"Q3085175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$1EC8F34B-3A61-40FA-B991-C78798B5051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$44BBF02E-9247-4FF1-B2EB-0A08DB68A327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$D5FF5E62-0A25-40C1-8DD9-8651E0BCDC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435945$4BE17081-42C0-4721-9C19-F06AD93A5656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a05b131fe22ba7f3e3766eeb81e4bf48593858","datavalue":{"value":{"entity-type":"item","numeric-id":482919,"id":"Q482919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f277430b6dba27f355f541ac948ef83fd0624c44","datavalue":{"value":{"amount":"+0.8669031262397766","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":"Q2435945$D8F794FF-1744-4ECE-B00C-BBB9ACBECE14","rank":"normal"},{"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":"d12f96f468f979f73a9fb9e66a9315c1e574a5f0","datavalue":{"value":{"amount":"+0.8320373892784119","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":"Q2435945$103EF541-8679-4071-B902-FD002B18B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fd590b72296b4d22eaaf3db6e21add87f538d4","datavalue":{"value":{"amount":"+0.8291676640510559","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":"Q2435945$6089CB38-3663-4FC0-A3D6-10A7A2BD09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868a731c0e7c93e1754a604dc12cadfd3d6f393a","datavalue":{"value":{"entity-type":"item","numeric-id":2966735,"id":"Q2966735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f93e91937bed3033a7a78a33ddf95b16351f980","datavalue":{"value":{"amount":"+0.8263444900512695","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":"Q2435945$C7B681FF-EC40-40C3-8718-44608FA957FE","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":"972caa3db07badfb9881626851fec05207a2ae5d","datavalue":{"value":{"amount":"+0.8219766616821289","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":"Q2435945$413F81E3-94B0-467D-BE1E-AE3EB7CC87D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2435945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2435945"}}}}}