{"entities":{"Q1762482":{"pageid":1773224,"ns":120,"title":"Item:Q1762482","lastrevid":72909015,"modified":"2026-04-14T08:42:02Z","type":"item","id":"Q1762482","labels":{"en":{"language":"en","value":"Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110491"}},"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":"Q1762482$5650931A-E83F-4F9B-AB0C-4D51C3D35183","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74d37b8fc63e813a071a63b412c5948055eff43","datavalue":{"value":{"text":"Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762482$C0D7B7A8-A683-4A7A-9628-2671314BE831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37c58f8077c050818bf2088ef0bd8ff4504d1450","datavalue":{"value":"1266.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$3C15DE4F-0258-475F-9147-74082021F360","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$5C9F3290-E977-4430-8143-CA9CC4AC70AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$C47C68D3-C405-42AB-A76A-167802BB91FC","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":"Q1762482$7B5C9654-0D62-4FB9-ADDD-C94280C8D0BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762482$B5F4C09D-8028-4A1D-9B23-BDF6077B89A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6194774f37285b79a644396d85f2d1fd3c19f0ad","datavalue":{"value":"The authors define Sahlqvist fixed-point equations and prove that every Sahlqvist fixed-point equation is preserved under completions of conjugated relativized fixed-point BAOs (Boolean algebras with operators).      In the language of modal \\(\\mu\\)-calculs, a set of fixed points of terms is defined recursively as follows:      For a countable set \\(V\\) of variables and a set \\(L\\) of operators, {\\parindent = 5mm \\begin{itemize} \\item[{\\(\\bullet\\)}] constants \\(\\bot\\) and \\(\\top\\) and variables are fixed-point terms; \\item [{\\(\\bullet\\)}] if \\(t_1\\) and \\(t_2\\) are fixed-point terms, then so are \\(t_1 \\wedge t_2\\), \\(t_1 \\vee t_2\\), \\(\\neg t_1\\); \\item [{\\(\\bullet\\)}] for each \\(n\\)-ary operator \\(f\\in L\\) and fixed-point terms \\(t_1, \\ldots , t_n\\), \\(f(t_1, \\ldots, t_n)\\) is also a fixed-point term; \\item [{\\(\\bullet\\)}] for each fixed-point term \\(\\gamma(x, x_1, \\ldots, x_n)\\), where \\(x\\) occurs under the scope of an even number of negations, \\(\\mu x \\gamma(x, x_1, \\ldots, x_n)\\) and \\(\\nu x \\gamma(x, x_1, \\ldots, x_n)\\) are fixed-point terms.   \\end{itemize}}  A fixed-point term which has no operators \\(\\mu\\), \\(\\nu\\) is called an \\(L\\)-term. A skeleton is a term \\(\\alpha (x_1, \\ldots, x_n)\\) made from operators and \\(\\wedge\\) only, in which no variables occur twice.      A fixed-point term \\(\\alpha (\\gamma_i/x_i : i= 1, \\ldots,n)\\) is called a Sahlqvist fixed-point term if \\(\\alpha (x_1, \\ldots, x_n)\\) is a skeleton and \\(\\gamma_i\\) are either negative fixed-point terms or boxed variables of the form \\(f_1^d \\cdots f_k^d f\\) for \\(k < \\omega\\) and for unary \\(f_1, \\ldots, f_k \\in L\\). At last, for a Sahlqvist fixed-point term \\(\\gamma\\), \\(\\gamma =0\\) is called a Sahlqvist fixed-point equation.      For a Boolean algebra with operators \\(\\mathcal{A}\\), an \\(L\\)-term is called conjugated in \\(\\mathcal{A}\\) if it defines a conjugate function in \\(\\mathcal{A}\\).      After these definitions, the authors prove the main theorem:      Theorem 4.7 {\\parindent = 5mm \\begin{itemize}\\item[(1)] Let \\(\\mathcal{A}\\) be a conjugated fixed-point BAO relative to \\(\\mathcal{F}\\subseteq \\mathcal{A}\\), and let \\((\\bar{\\mathcal{A}}, \\mathcal{F})\\) be the completion of \\((\\mathcal{A}, \\mathcal{F})\\). Then any Sahlqvist fixed-point equation valid in \\(\\mathcal{A}\\) relative to \\(\\mathcal{F}\\) is also valid in \\(\\bar{\\mathcal{A}}\\) relative to \\(\\mathcal{F}\\). \\item[(2)] Let \\(\\mathcal{A}\\) be a conjugated BAO and \\(\\bar{\\mathcal{A}}\\) its completion. Then any Sahlqvist fixed-point equation valid in \\(\\mathcal{A}\\) is valid in \\(\\bar{\\mathcal{A}}\\).   \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$EE6FE62C-4262-44EC-8CF7-5E07D8C042D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$F1E5C583-7363-477B-B9F9-D0834DC40F3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$790F5CBE-DA36-429B-AD31-3945A11BE5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$8B4EF3CE-0473-423D-8491-281AF8CBFE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$9D79EE8F-A50E-404B-90A2-C88ABE742B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$1905B425-5AC4-480E-8A4E-0DB10B510AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe102b478402153f0d676648708c69d5ff69e996","datavalue":{"value":"6110491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$34FBE3BF-B655-4513-B393-CAD48197AFE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$84A88817-4CEC-4CF0-89C0-36D11073D641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c2829a74cc95b5d9074739cc924a737ab76c0a","datavalue":{"value":"modal mu-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$CB4DFA73-0220-4323-B6BF-20460ABFC90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d59f6a45ac9683664bf696b326ef37f8129e390","datavalue":{"value":"conjugated operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$8A8FA001-E0EC-4AFB-B7A3-30E5A5EBA8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a570a958a0e7bb1426c96b63bf60dcb13ff5b28e","datavalue":{"value":"fixed-point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$61491E6D-2989-463D-8DB0-E17426E1D691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d88644fd15a569d108dc33e7f4ccd61bb29b2a6","datavalue":{"value":"Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762482$3F7C2614-C827-4B8F-A48D-C2EC34D183E7","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":"Q1762482$E5189AB9-DA7E-445D-BA53-80451CE709CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7c91f0b79cc790d368797d998e9a623904b4bfe","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0196-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762482$9FF0FBCF-2418-40D6-AB32-C140572B3A12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6379587fba2996c807d11dd5129bde233730a6e8","datavalue":{"value":"W1986224214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$228B35E5-0B19-46C8-AC97-0A92C70B0313","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$96C99C3B-D017-4D34-8CC8-67D4C0BA0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fa90a523982688ce77dcd738ae3ef55d4ccb6b","datavalue":{"value":{"entity-type":"item","numeric-id":454371,"id":"Q454371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$0E34DC66-2DFB-4109-A4BB-68DFC44C0659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8c5bfbe06816a1110df711925a1455b5b4229e","datavalue":{"value":{"entity-type":"item","numeric-id":418010,"id":"Q418010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$487E25B0-E627-4425-971E-F68955B5AAEE","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":"Q1762482$16C73FCC-E2F9-4BDB-8B14-CE83046A189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$AAD53822-592E-48E1-9CA3-92C2E5DDF220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$770984DB-D513-4B00-B36C-7EBFDCD16D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d9d8acc9637ccbe7181c88d2feaf1eb89e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5932468,"id":"Q5932468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$95A3500C-44DE-48E7-B514-94506897B36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a0f15008c80b0911c4d4b61227bc6c0cbdcab9","datavalue":{"value":{"entity-type":"item","numeric-id":5293993,"id":"Q5293993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$FE582DBB-A0C0-402C-8063-9E8F40A6FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$C7A87857-3880-44A6-B874-AE13AA5E2987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$66908E5F-4D03-4979-9D63-E9BE6F575ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e897e186ca69d57b331468f16b0b5f83082850","datavalue":{"value":{"entity-type":"item","numeric-id":5572316,"id":"Q5572316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$C0DDC784-5D67-4960-AFA4-AE83976FAD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$4D67C049-8BBE-4FF3-8297-4C535B0E128B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3c80b500a26b9f2863ab05df3b7d3242e9625e","datavalue":{"value":{"entity-type":"item","numeric-id":925850,"id":"Q925850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$5851F853-4C5B-435D-B29F-9FFC85CB7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d374e5741d3af854e5693214e4ef65ec167cc13","datavalue":{"value":{"entity-type":"item","numeric-id":3257817,"id":"Q3257817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$C52915B4-501D-4719-8972-D3FE9DB6A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49034912b3a103269437c6273cdcf4b27cbd29ae","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762482$110360FC-1ED4-45AB-B563-D12E65294992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e73c8803732a1afebe0570caaae61d7f98e7c9a","datavalue":{"value":"10.1007/S00012-012-0196-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762482$FBFE259B-2950-40D5-884F-3B082F6588FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040d222bc58141501ebefad850937161900ab691","datavalue":{"value":{"entity-type":"item","numeric-id":5932468,"id":"Q5932468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcaa9643012ce303e98a8f385bcbd81fcef592f6","datavalue":{"value":{"amount":"+0.9620179","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":"Q1762482$FF2374DB-8E98-4C3A-B2C3-839A9A3689D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535111736a797095479fd198544880179d5d43e7","datavalue":{"value":{"entity-type":"item","numeric-id":4849832,"id":"Q4849832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac70c20cc6c15b75fbce025841aac891a01fc76d","datavalue":{"value":{"amount":"+0.8787309","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":"Q1762482$78FEC6B5-677E-4488-A8CD-1BF93BBECF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20a75bf7ee732c4f2c9d26b1970bab3a9069d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2983394,"id":"Q2983394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09615982c1bab9c073d1af36708c26d97c5a2397","datavalue":{"value":{"amount":"+0.86451167","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":"Q1762482$FCBF2622-2CAA-4535-B6AC-EB4FC690805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478de5b4e1ac60265fd659d210a47d0ca6cf0da","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7758cef3f92b7db6887ec768f1a5e1f2fc40942e","datavalue":{"value":{"amount":"+0.8578213","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":"Q1762482$B90C2780-F55C-41AC-9D20-7F35605E49EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ce615ba571a65f08c67739c0603796973986ec","datavalue":{"value":{"entity-type":"item","numeric-id":3677760,"id":"Q3677760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaafa501835c567a6337b64e8cd069a0c2b5391","datavalue":{"value":{"amount":"+0.85543466","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":"Q1762482$ED36FEF4-CACA-4AA3-941A-F71724664821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b07c82351dd6c4580a7a9bb57b3f0d617dccb16","datavalue":{"value":{"entity-type":"item","numeric-id":2850213,"id":"Q2850213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e206bd8f26ccb1a821ab8c82a643a71ede6363c","datavalue":{"value":{"amount":"+0.8446768","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":"Q1762482$060CC159-C4BD-45B8-AE50-FD7A4844A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d000d677467784f2574b45d7b7565eebc76e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4296714,"id":"Q4296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b250e43d6a69acfcd9103fd4ede156da94baf2","datavalue":{"value":{"amount":"+0.83886284","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":"Q1762482$7932E574-CC6C-4135-8D1F-CFD66EDB2CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7576164f8b9316e0577a2d4b7366df518aacbe","datavalue":{"value":{"entity-type":"item","numeric-id":4228153,"id":"Q4228153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75be3acb1245db98d3fb8c3699c5c392fdd67226","datavalue":{"value":{"amount":"+0.8371628","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":"Q1762482$C824F089-C4E7-4BDB-91FC-6DC9F9F9673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f30561314358b0bf1ea45a36dc83aa76e7862c","datavalue":{"value":{"entity-type":"item","numeric-id":3201054,"id":"Q3201054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fdc2191eb5aea7941e54eec7ac19a77dad4422","datavalue":{"value":{"amount":"+0.8355086","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":"Q1762482$AD179A1F-995B-48D0-A344-2E7492F9A8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385af34183eb65cc40d59b02dd130e58dc3a0f8","datavalue":{"value":{"entity-type":"item","numeric-id":1685944,"id":"Q1685944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0169d289319aad0ab437f063156610d2f8a4b11c","datavalue":{"value":{"amount":"+0.83346784","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":"Q1762482$0A8E9F06-69B3-4FC6-AC0A-1F7CFFBE7D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preservation_of_Sahlqvist_fixed_point_equations_in_completions_of_relativized_fixed_point_Boolean_algebras_with_operators"}}}}}