{"entities":{"Q4306544":{"pageid":6336145,"ns":120,"title":"Item:Q4306544","lastrevid":96635096,"modified":"2026-06-05T11:49:28Z","type":"item","id":"Q4306544","labels":{"en":{"language":"en","value":"A Sequent Calculus for the Lesniewskian Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 640761"}},"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":"Q4306544$40717810-C579-4F57-AA1E-82920E13298E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00e286a8ca0aa49fb223f9773dc54edf16f80fbc","datavalue":{"value":{"text":"A Sequent Calculus for the Lesniewskian Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4306544$543E4ABD-1410-4C17-B09F-D59F23C19340","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79e7a6c1f2a23c23049ff02e5812a26b1dcd33c5","datavalue":{"value":"0810.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$AAF4580D-A2E7-4A7B-B904-E0042B3BA38C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306544$9B714927-C716-4657-9894-6C802B767503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306544$D713B27A-9966-4293-AFD5-46EA8EB06872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4306544$670A74AC-4DA8-419C-A654-572170DCDF3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$D747C768-6DB8-43AC-8FF0-68CAD0FA3216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$9B2D9A9A-C678-4CD8-98A5-20875094C230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4142c83cc1fb64fd760b6ebd2af39f14a883a9e9","datavalue":{"value":"640761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$3CBB9A78-326A-4D2C-84BB-995680470CE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$6233597C-65FD-49EC-BF8C-4DE8FF2F6552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7124fc85145e06b600717566ee0ec615aaaa9cd","datavalue":{"value":"Le\u015bniewskian modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$7E743077-49B9-44F7-9096-A7CE6FBB625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5e0d74e7d266bbb773daed537401a3c0cbc67c","datavalue":{"value":"normal propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$C8DA5597-9958-4C86-89AE-80B403D60B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$F0142816-BD38-4DD8-A487-A3FFD9B2C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c54fe9e439377939c6d4fe57e50175713e59fb","datavalue":{"value":"Le\u015bniewskian accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$6601D3E3-3009-44D8-8B5D-598752ECA3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$DDCBEF48-BDE3-4189-9701-BAA7B695FDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306544$8C48AE97-A716-4B0F-A608-945F7D6D8144","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":"Q4306544$BC527911-7C7F-4EEE-80F4-77895A6FE390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe844e68794eeee049cbe94701883a0cbd8f84c","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.8.191","type":"string"},"datatype":"url"},"type":"statement","id":"Q4306544$2CE31B6D-7FAF-4409-B916-7F4DF260EF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4b63c194722e8d1a17235172319b5f6a0534398","datavalue":{"value":"W2328071459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$B12FD339-93AF-45C6-8847-0B06B64471FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"361af0a6f6d33442fa522aee7652f80c88ed68c2","datavalue":{"value":"10.4288/JAFPOS1956.8.191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306544$115E97D4-F5A3-4521-AA12-28CB2DBB6FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b00837db4104f9c763f8b72172c8e59322a3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4296507,"id":"Q4296507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6b18011431b35394c02b37337ad51c2aff5a4f","datavalue":{"value":{"amount":"+0.7730435729026794","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":"Q4306544$1254463C-DCF5-4D24-9B0F-118BF608DE9F","rank":"normal"},{"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":"905085410ccfd09789b2ec5106c00b87e9f86450","datavalue":{"value":{"amount":"+0.7442992925643921","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":"Q4306544$D6320202-D10E-4889-9261-B60946D37D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0172def228e4298673282fb52fff2c1debcd45b5","datavalue":{"value":{"amount":"+0.7436712384223938","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":"Q4306544$E21D8184-B377-4591-B335-B2C2A757F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cb7d181222542dd517909564a5980e9021944e","datavalue":{"value":{"amount":"+0.7397140264511108","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":"Q4306544$7FB8A4CD-874D-41B3-8A35-78D3C5F4A415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520bb8a623dcf2b25b675cfa19bfda530a17910b","datavalue":{"value":{"entity-type":"item","numeric-id":1810258,"id":"Q1810258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55acd8f4348d8603d2116a83d1728b7a136327e","datavalue":{"value":{"amount":"+0.7394160628318787","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":"Q4306544$6447AF16-E28E-4885-B05A-745A5B7EC2EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Sequent Calculus for the Lesniewskian Modal Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Sequent_Calculus_for_the_Lesniewskian_Modal_Logic"}}}}}