{"entities":{"Q5213665":{"pageid":7243235,"ns":120,"title":"Item:Q5213665","lastrevid":94452044,"modified":"2026-06-05T06:51:11Z","type":"item","id":"Q5213665","labels":{"en":{"language":"en","value":"Semantical approach to cut elimination and subformula property in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162563"}},"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":"Q5213665$30415EC0-9A85-483E-A1D1-9219B2782964","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c279cd9b5b92254ceb9b2200f78a38cd773572e","datavalue":{"value":{"text":"Semantical Approach to Cut Elimination and Subformula Property in Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213665$2084A141-2C93-41D9-8861-82683FD0E6DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"134b593b0802c1dffc5c2aaf1d3924a72942f4fa","datavalue":{"value":"1429.03199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$2868E1CB-5383-419D-8DCB-C6A99D09F942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"109418b63beef5d13d65bcf7c046737ef1d4e619","datavalue":{"value":"10.1007/978-3-662-48357-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$2EF9B358-DCDD-47C0-ADE5-BE18D3CE272E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$1AC90AAD-C09F-4053-A8EC-CE72EC15AFD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e42ed111514e7a293ed36550d0a2ec275632ecec","datavalue":{"value":{"entity-type":"item","numeric-id":501085,"id":"Q501085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$C58BAE49-DE24-45A0-A882-A24B8328B0D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-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":"Q5213665$33EA5C32-DA31-4562-A167-5E038EBBE293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$3B094E06-B534-4CDD-9F04-1F20045A6BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$98C91096-2149-485D-8E0C-85D0758618A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53818c6966162e358850d4b5017fd152dbdc5c18","datavalue":{"value":"7162563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$1B5207F2-B4B3-42BE-A7C0-1DBE0980CCD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213665$1342B46B-E44F-4B0B-88F8-410D7B7BA633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213665$6BB4963D-8BEE-4CFC-99B1-BF6B7138B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213665$CB1114D7-7E85-43FA-BA12-C56721C0B524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213665$CE9E3BA3-EAA2-4395-B213-4008058433E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73a2f146136b5248618c92e0def0f01e98ed72","datavalue":{"value":"embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213665$66A8280F-80C4-4C54-87CA-467D36521BC0","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":"Q5213665$C3ADCD00-7598-45B8-ABC7-29DBF563C91C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c0ad9272fbd130efe8ad082bd328d43e0fdade","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48357-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213665$407B3653-3197-45A2-8B9E-9F550DF6E029","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a220504d8063b637493e7727403bc05731e71ce","datavalue":{"value":"W2309699221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213665$CA426950-F19F-4588-A839-522BE499EBC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$D2404489-ADE1-4584-9AF1-5A2F1FC31CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$8CE6348E-AF6C-4514-B26F-9A8B854749DE","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":"Q5213665$1C0D0B8E-0ED2-474A-99E1-9232CFE4F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$9B9E0C32-9A63-4A01-AC48-BC0A031F1176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$8683B620-BC8D-45AE-8A07-05A00E1C185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a084492b6c511dc051f5e0b718a2fc1f4adf14f1","datavalue":{"value":{"entity-type":"item","numeric-id":4774043,"id":"Q4774043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$06235D8C-A96D-463F-9002-831C4CDDC5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$7233DA74-D4EB-4C67-96F1-40CD95F514E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$DF2AEADE-25FA-481F-9D86-A73BB0A8A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$E3F0EBE8-2CA2-455F-B4F8-BE9D1D8BE7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$9FFF2674-8F45-4E33-BB56-96C7423D4353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$84012FBD-1BA0-47BA-B4A3-248533675401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$A2357BB8-7882-4720-9D51-1EF5C474CA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$7A3F7BD8-8148-4A0F-B43F-48E2077ED189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$A9CBF91C-319A-4295-9E0B-3362E0B0E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$27C680D4-A606-4953-97C6-07CDDFD75B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$84C2462B-8C23-4942-8530-A210D695A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213665$6327E1D5-513B-4802-9C2A-5F544E8E9A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916737b1e46bfa0036fd3c63105050494c3972fe","datavalue":{"value":{"amount":"+0.835987389087677","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":"Q5213665$ADA50BF1-E3A4-47FB-AFF4-DC8FFDA036F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b134d5ced4a17ea2b9d2662ef75c9840eec739","datavalue":{"value":{"amount":"+0.8078937530517578","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":"Q5213665$7CE56F64-DB77-43C4-A095-9E7F574A8F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810aefee01ccb129939682b375c50ab17abcbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5126197,"id":"Q5126197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219f72db0fc4c2fdfd15832f4dfeaebbba53fb77","datavalue":{"value":{"amount":"+0.7819846868515015","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":"Q5213665$9778E327-54E7-4B69-9070-7B81331AF583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33db1eec7aea7c40c3e2ec756afdc2c74f0aa222","datavalue":{"value":{"amount":"+0.7796059250831604","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":"Q5213665$7F88053A-FA39-4E4A-AC88-B9672C5E81B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ac02e83313bc4efcc68de7bb6789a74c9f471c","datavalue":{"value":{"amount":"+0.7649533152580261","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":"Q5213665$FCF9E0A7-53A0-49C8-99BF-781EB598C34C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical approach to cut elimination and subformula property in modal logic","badges":[]}}}}}