{"entities":{"Q4644600":{"pageid":6674181,"ns":120,"title":"Item:Q4644600","lastrevid":90028652,"modified":"2026-06-04T18:54:36Z","type":"item","id":"Q4644600","labels":{"en":{"language":"en","value":"Nested sequents for provability logic GLP: FIG. 1."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998035"}},"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":"Q4644600$7AE17C3B-9B78-4C9F-BE67-E98AE483036E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9404b0012f6c70f2373c659d99470b4c660b95e0","datavalue":{"value":{"text":"Nested sequents for provability logic GLP: FIG. 1.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644600$DE2F6682-F161-4D73-88E9-2C53A49E10C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30476f10913bdd7117b1ae6a436792591a6307e7","datavalue":{"value":"1405.03098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$A605C7F0-ADB5-41EC-BAB3-2C16726858D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644600$1A3FD9CC-B9CA-4E8B-81A8-88C15FAD7B6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644600$6243C6E5-3511-4428-BE32-E03BBAF2B99A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$289977C9-5E7A-4973-9F4D-70A7DAA92C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$0176832E-38A3-4AF2-A1F1-739B58B9C332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$19AD0083-0A46-46BF-AA4D-F5826EC86951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e8fe871c1510eaad206a183e5a646b1d2675fb","datavalue":{"value":"6998035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$FE5A00AA-8197-4B63-8FC7-2BE2FE7485F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644600$F23E8C0B-4761-49AE-AA01-BDE7810090CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644600$5F810657-7C0A-42E7-9515-7ED4D108B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644600$83CCCE02-0F61-4096-A3E7-634521C61CC3","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":"Q4644600$15056827-1757-4645-9F8C-ECF385692F97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0e9d364c2325e36d785c8ebd3617858c6013454","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzv029","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644600$F6B75C8C-99F2-4A85-A90B-7D61447C8A26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b367f6ec722f52ad56dc89bfe409b5d23b412a73","datavalue":{"value":"W2951954830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$AD0EA9DD-7AEC-4E4D-9147-4DC98B877A81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e856ada8d8b90e29c69c87bafff7c1c5eee8e4b9","datavalue":{"value":"10.1093/JIGPAL/JZV029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644600$2AC3E58D-80B6-43A1-A4FB-755EB0C9A6FF","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":"Q4644600$D8469CDA-E2CB-477E-B4F6-0B64BC3C6ACE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aeeb6d558a84af6751e10fcab4c83a17a9630ee","datavalue":{"value":{"amount":"+0.9265015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$C58B0B61-7EE1-4AF2-B2B5-4CDAC6A669CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587af02668957b678a1f76738127339e04949bd","datavalue":{"value":{"entity-type":"item","numeric-id":1694451,"id":"Q1694451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758e94dc21c2831e6f61530eb6c28bc7e6fb16c2","datavalue":{"value":{"amount":"+0.9125551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$55EB7CBD-0E97-46AC-8AD9-8BC5EB6BD415","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":"2fe8fcac27a58779023b88422a0201deb44f73ab","datavalue":{"value":{"amount":"+0.904325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$535634E8-3046-4228-AE6F-230F621F49D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca8bd5c8228247921d211e8b7ddf437ca996d45","datavalue":{"value":{"entity-type":"item","numeric-id":4918406,"id":"Q4918406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2155bbc183527082488942aea5d88ee6b841c202","datavalue":{"value":{"amount":"+0.90416485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$60BFB9EA-6BF3-40AD-B792-74E0CA413179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c791c8d7a791d86a63d37b23f5cc1309e8f76eb8","datavalue":{"value":{"entity-type":"item","numeric-id":6172067,"id":"Q6172067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9f1013006204ec25c769596601a3a126948f9a","datavalue":{"value":{"amount":"+0.90399575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$D8403261-C4E1-487A-9CC0-B46E791092E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0d1f3c4880915ab9c829ccfd20416fda078c93","datavalue":{"value":{"entity-type":"item","numeric-id":283115,"id":"Q283115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7dc84d924a3fe397442d035a7574fd0d46a922","datavalue":{"value":{"amount":"+0.90370536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$CF6E03A4-0045-449C-8C65-47E19CFB918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ba4347c385b7b857d7f517cc75226f766cabdf","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a895cdea79d3c58a53cdbc5f9a2ab5a85ebd4d","datavalue":{"value":{"amount":"+0.9035728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$3EC84AD7-EF13-4119-86D6-EAFF75237D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7566ee0626172806842f8b3949c73515ea92d2e","datavalue":{"value":{"amount":"+0.90208447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$48C9B6E1-BBAF-4BF9-8CFD-0919E181ED0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80981bd29aaa2f163271ac6bef507931a8466b17","datavalue":{"value":{"entity-type":"item","numeric-id":5419898,"id":"Q5419898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2122ea0cf20c4846c03d25b83791c5ae7618d8c3","datavalue":{"value":{"amount":"+0.90185857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$F8B1C217-8F96-4169-BF3C-1458D2CE022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c434fa91b1dbb4a823636c23356ce55fdc45eef","datavalue":{"value":{"amount":"+0.8984647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644600$9D76DC96-0FA7-4692-AD70-3A051D9A2AAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested sequents for provability logic GLP: FIG. 1.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested_sequents_for_provability_logic_GLP:_FIG._1."}}}}}