{"entities":{"Q1063013":{"pageid":1073765,"ns":120,"title":"Item:Q1063013","lastrevid":66063537,"modified":"2026-04-12T07:17:26Z","type":"item","id":"Q1063013","labels":{"en":{"language":"en","value":"An effective representation for finitely generated free interior algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3916332"}},"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":"Q1063013$D95D4799-6836-4A36-ACB0-45B6B4EBE9D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a830e596fe9e32eee86e0057a4f31f9394971041","datavalue":{"value":{"text":"An effective representation for finitely generated free interior algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1063013$056F822E-F60F-41DF-82AB-ECE491E0A851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8cd674e832d03e471421c047b60c95ed7aa682","datavalue":{"value":"0574.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$99F8682E-9D19-4C13-9EEC-90DC943B83F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad781fc67a66d4acaf4dcfbee970f76e20f0ff5e","datavalue":{"value":"10.1007/BF01195140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$04EDB683-8E1A-496F-8694-CC11FBEA47E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$EBB7DC1C-DCEF-454A-BCF3-06CDC0BC4DFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$555D35A8-0DC5-4427-8414-1A94748C4940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1063013$506E798C-5809-4A2F-AFCD-7F049893FB94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78df9db4f476260834ae0cd5f262f6dd03275f2c","datavalue":{"value":"An interior algebra (IA) is in fact a closure algebra in which one works with the interior operator \\(I=\\rceil C\\rceil\\) instead of the closure operator C. An I-model is the algebraic version of the concept of Kripke model for S4. The author obtains a representation of every finitely generated free IA as an IA of subsets of the set-theoretical union of certain I-models. This yields a representation of the Heyting algebra of all open elements of the free IA as well as certain strengthened versions of several results of \\textit{J. C. C. McKinsey} and \\textit{A. Tarski} [Ann. Math., II. Ser. 45, 141-191 (1944; Zbl 0060.062); ibid. 47, 122-162 (1946; Zbl 0060.062)] and \\textit{W. J. Block} [Indagationes Math. 39, 362-379 (1977; Zbl 0412.03041)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$848244C5-6CAB-4A3F-B9F5-5D41CE755554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$20E0E6F1-6BFC-412D-9E0D-ABF1D805A673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$22A91220-7047-4AD6-8FE9-F9DA579B6B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$EE2202E0-627C-46D1-B16E-88E7F9110155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$7B35805A-7650-4D64-9560-7A6561658745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$001FCC2A-D3C9-4F53-AB6F-5AF4B2D89EAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ccca4f4b07f258516c50ecf9665ba96cd4fa3cc","datavalue":{"value":"3916332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063013$8D1A02D1-65A5-49DB-BED7-58F3C0380CFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904963c3e828ca8efb0ba638f117586bc8aa9d14","datavalue":{"value":"finitely generated free interior algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$9D23BBFA-1956-4519-AA7D-AABD3CCFD592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f5379ecfc18c6c97b7b095086d81c6fe68061d","datavalue":{"value":"closure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$13C1111D-E599-42A4-A5B1-201CA98E6293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68479d7d5567e39d3740752b036c0fda9330134d","datavalue":{"value":"I-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$05200D71-47C0-46BA-8E50-087406CFFD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$4872C8A9-6C7B-486B-AE4E-05CBA6D8C606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$F82866E8-2D62-4A5F-8F2A-74EC54D3D15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063013$8FCA308E-4B72-4541-BF15-413820BEF45A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$259C62CF-5216-475D-925D-5523849F0194","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":"Q1063013$AAFFD66F-DC41-4540-9FAF-63EFAD7D36E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbea547ba0621cebaaf54185c97d277a45fb4091","datavalue":{"value":{"entity-type":"item","numeric-id":3657972,"id":"Q3657972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$C2938726-311D-4BC3-BB53-DAEEA0BB3BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b420a628720114a41cc60ae0a5080d2edfcf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":4198505,"id":"Q4198505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$65D6B6D4-8392-47B4-88D8-7CA8DADF3E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$A0ED7632-7845-4618-A0B7-F8E41BCE43F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$018EA60F-220A-4C07-884C-EE8A98D6CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$87766701-E608-43F9-A5E9-D40D06F66DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58167cdbc39f4575e7fe7fbea896293d368a692","datavalue":{"value":{"entity-type":"item","numeric-id":3955334,"id":"Q3955334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$F121F1D3-14E6-41C5-9615-586C4A5CA362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$74967B55-E6B6-49A1-B1D7-ADE17BCE6059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063013$AFCDAAD0-AAD8-4819-9519-45AEDB301005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954cda44428643b8c195d80991cf71fcbc5fa684","datavalue":{"value":{"entity-type":"item","numeric-id":5286735,"id":"Q5286735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568bb77f0defa6872e5362b6784eb2a3b84ea502","datavalue":{"value":{"amount":"+0.7501245737075806","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":"Q1063013$EC15C715-FACA-4E61-A97F-AD88DBCC3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c567023e50bfb5df3c70b520d8d995aa2deac2e","datavalue":{"value":{"entity-type":"item","numeric-id":3146371,"id":"Q3146371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a9dce1a8db156557227db4d3902ecd9e4e03ba","datavalue":{"value":{"amount":"+0.7491965293884277","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":"Q1063013$A6036287-B928-4E01-AA8B-ABF9299E9008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e92e6f394b77796efcc2f30ccf0b9e69e5d7f7","datavalue":{"value":{"amount":"+0.7438955903053284","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":"Q1063013$FB47DBBC-39CF-4407-AFF4-615B6F21A81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1812aba15b4908fa4b55461a608223f81f601e7","datavalue":{"value":{"entity-type":"item","numeric-id":1966159,"id":"Q1966159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8087322b1ba930d7113b2e4455183d896fb87950","datavalue":{"value":{"amount":"+0.7068586349487305","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":"Q1063013$7E642775-C534-4329-80FF-D0CC8F540021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331159b159a609d8f752b30f3741ed5b5bf372d6","datavalue":{"value":{"entity-type":"item","numeric-id":711563,"id":"Q711563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8087322b1ba930d7113b2e4455183d896fb87950","datavalue":{"value":{"amount":"+0.7068586349487305","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":"Q1063013$EBC8969D-C02F-412D-87F8-1AE172A2DF86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective representation for finitely generated free interior algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_effective_representation_for_finitely_generated_free_interior_algebras"}}}}}