{"entities":{"Q817705":{"pageid":819553,"ns":120,"title":"Item:Q817705","lastrevid":49801498,"modified":"2026-01-10T20:59:21Z","type":"item","id":"Q817705","labels":{"en":{"language":"en","value":"Cut elimination for S4C: A case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013039"}},"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":"Q817705$C6AC3E6C-00F3-417E-884E-18DC85CEDAC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5d3fb688acd0e059fee0cc10ff6bf7e95c1665e","datavalue":{"value":{"text":"Cut elimination for S4C: A case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817705$D0492F42-B69F-421E-8CDD-10CBA6DAFF42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a20a5201b8ae04468c79c30f3dce7753adbf0f4","datavalue":{"value":"1091.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$248E7C81-7DC5-4AD7-A4FF-C4B550D74DA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$1A99CA90-BF6B-4A26-8F42-877D8FBF5F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817705$DEA328D7-3CE0-4B63-AA67-542D44C08448","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2642cb59fce4f080e982482944541819bb465b7e","datavalue":{"value":"The paper contains a cut-elimination proof for a logic of continuous transformations of a topological space, called S4C [cf. \\textit{P. Kremer} and \\textit{G. Mints}, Ann. Pure Appl. Logic 131, No. 1--3, 133--158 (2005; Zbl 1067.03028)]. It consists of the modal logic S4 enlarged by another modality operator \\(\\circ\\). In the intended models of dynamic systems, \\(\\square\\) is a topological interior and \\(\\circ\\) is a preimage under a continuous function. This paper is of special interest because of its concise presentation of cut elimination. The rather special case for S4C is developed step by step by presenting the necessary methods for cut elimination in classical propositional calculus, S4, and finally S4C.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817705$FB825604-32EF-4190-8C22-BB3394231A2C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$6C4F80E2-7C85-442E-BAA4-3BBC1E19B53B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$A3F31EB1-0185-462C-944F-D547D4855349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$6B138A7F-A961-45C9-B6DF-3F6DEC1907DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28eaf3fee1c17554ab9f41893e50fcd8559e3554","datavalue":{"value":"5013039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$FCEC0DA2-4CE1-497B-83EA-755303242FD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q817705$8C474DF6-3AE7-41F5-B27C-8BF1E969A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0c2eac79bee46aee550817d9658f5badf3eff4","datavalue":{"value":"dynamic topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817705$403C0AE5-28F1-4209-B4C0-48B94E4CC95C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$06843044-AFE7-4EC6-B8AC-0E2A7508FE69","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":"Q817705$2D975FCA-C3C4-4DA4-87B5-95DA6DF41BCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4828f1f17cd6d9b79efd86460d435f750b95c94","datavalue":{"value":"https://doi.org/10.1007/s11225-006-6608-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q817705$A1518650-FE01-4BCD-9CE0-512C2B9E3679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eee86747a11f352d3769525c96b6c013d88dcbd7","datavalue":{"value":"W2047993241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$FCD6D5C1-F9ED-4FD5-B321-03555AB41D06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$96AD269D-C1C1-4510-A92B-7708BFF39F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$2F9C9A15-8914-420A-B660-0AE015391D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$3E052129-ACF9-4525-851B-AF755B23254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b9564b979a9d0175ba3c8db086470676cce61b","datavalue":{"value":{"entity-type":"item","numeric-id":3931654,"id":"Q3931654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817705$751A9C9A-D5C6-4E2D-A209-84034EBB8A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"802039f8f5ba832586c15312aa8f5208a1846a53","datavalue":{"value":"10.1007/S11225-006-6608-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817705$B4CCA7EA-A4C1-4113-923A-808187AC980D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ba3eb19c85bbb28ccb676a63e0055d2e5387ed","datavalue":{"value":{"entity-type":"item","numeric-id":4025008,"id":"Q4025008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190e8b76d649b3715c6a9fe2f482ed723728f247","datavalue":{"value":{"amount":"+0.798760175704956","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":"Q817705$0405A804-EA8C-4D3C-813B-C9F582CC071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe186cac75804def3c2fa703a831734e4da013d","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b7042872dd93782a0b11b32976271c190482f8","datavalue":{"value":{"amount":"+0.7965505123138428","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":"Q817705$B6A6A208-ABAB-4F5E-8E50-694A8F93BC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a6c3c8be16dd39b6b162660b560e003807688","datavalue":{"value":{"entity-type":"item","numeric-id":862352,"id":"Q862352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c3cef09dc797bc1bbc0eb4daf7c8790cbcb55b","datavalue":{"value":{"amount":"+0.7916847467422485","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":"Q817705$80D72BE5-9AA1-43D7-A1A7-3DAD44F6DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1e9a9a1e59db9d5d7fe5b524e065bb8be21a3","datavalue":{"value":{"entity-type":"item","numeric-id":3141958,"id":"Q3141958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be11879d0650a22b677b7ca9b72c65f7cf1f8a93","datavalue":{"value":{"amount":"+0.783117949962616","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":"Q817705$04E313DB-E14A-4FF1-98F7-E52AEFFCD5AA","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":"0aad45eae0423de80971ba438f0577e6a600f2b2","datavalue":{"value":{"amount":"+0.7801395654678345","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":"Q817705$D49B8070-EE96-43DC-8837-AF8A805B68F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:817705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:817705"}}}}}