{"entities":{"Q925850":{"pageid":927698,"ns":120,"title":"Item:Q925850","lastrevid":57230667,"modified":"2026-03-27T14:09:24Z","type":"item","id":"Q925850","labels":{"en":{"language":"en","value":"Completions of \\(\\mu \\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5278696"}},"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":"Q925850$12888411-80B7-4280-8E90-AD0B21789B85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6f04e2cdc15021e1f3d2a1caa7d3d97a4cd4954","datavalue":{"value":{"text":"Completions of \\(\\mu \\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q925850$51101998-044B-449C-B19C-EDBC8325B556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"984182ec038d49dd4c39959995d0f78bb5c49d07","datavalue":{"value":"1146.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$9D3D7164-F8C0-4C03-B415-588E3EF4AEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$8F0E1ECD-FD35-4BC3-9890-E8DF01B36599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$0CF88D92-0EE6-448D-9622-1D6D4EB5F2FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bff01d1d557ba9f8f1f6ed25f5e350a544eef099","datavalue":{"value":{"time":"+2008-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q925850$5441FD8F-62F3-49DF-ACE3-6E661CD745F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94f28edf403bc5a6357aaa5d5db5119b10bf7932","datavalue":{"value":"https://arxiv.org/abs/math/0508412","type":"string"},"datatype":"url"},"type":"statement","id":"Q925850$3BA7C7F1-63E2-429F-A757-AC003F06BD37","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4dc941e5225bb8abbcc7cf2ea01165d396586da3","datavalue":{"value":"A \\(\\mu\\)-algebra is a model of the first-order theory of bounded lattices extended with prefixed point operators. Modal \\(\\mu\\)-algebras are algebraic models of the propositional modal \\(\\mu\\)-calculus. The author proves that any non-trivial quasivariety of \\(\\mu\\)-algebras contains a \\(\\mu\\)-algebra that has no embedding into a complete \\(\\mu\\)-algebra. Then he focuses on free modal \\(\\mu\\)-algebras and obtains some new results about them, inter alia implying that the MacNeille-Dedekind completion of a free modal \\(\\mu\\)-algebra is a complete modal \\(\\mu\\)-algebra, and moreover the canonical embedding preserves all the operations in the class \\(\\text{Comp}(\\Sigma_1,\\Pi_1)\\) of the fixed-point alternation hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q925850$DE1E9A15-8878-4E80-B14D-ED2741B9A4F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$370A73A1-21C6-427B-98C5-A0E790473A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$3EB3CC41-8CC7-486B-9614-775AB1E0EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$FE7F0E1A-F88D-4C89-8C56-0B10CA4E34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$944EC2FC-9876-4D0D-92D7-4DFE7DE3CCA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f3db62bef9c6ab8b954fbb25a13de0ea9b3e7d","datavalue":{"value":"5278696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$341F0393-A5ED-4DBE-ACC5-63C36109AA42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c24c24cefde3a736c980e80bf4c31c21e57954","datavalue":{"value":"\\(\\mu\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q925850$ED2594B7-76FD-49DA-A3E3-9A2B5F44DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q925850$D84550DB-6D40-484A-BCA1-B793E0E08801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q925850$D2FAAC95-5F4E-41A4-BFE3-C1BD06674CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dba8efd60bcb4b091dde6c1e38ff7d961839ab4","datavalue":{"value":"least fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q925850$81A47A0D-A70D-49BE-BBD7-6BA4814EBD39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$3DC37B84-FF12-4609-9EC3-EF7250EAE760","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":"Q925850$F7D637B3-811D-463C-8D8A-A6AC2571552A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"753e0e733e27fb9f9e31ef7fe58e012393a1b5ba","datavalue":{"value":"W2263967233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$08A74C0E-2DC0-4005-9526-90E2AE97BE3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$8969FF5D-872C-4964-8854-21B330F2D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$2A95F967-C22F-454A-82B2-D57CB30ECC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$300155B8-F300-443B-8005-E8EF6DD3A00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$C0A10CF4-5C8C-41AB-9433-DF3AD345069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58ca95d5ede34b2909fdee7f84b16553ce35d10","datavalue":{"value":{"entity-type":"item","numeric-id":1155129,"id":"Q1155129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$D0B4D926-9357-4741-8EFF-6E318002A8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$67FF7AAE-342C-419F-ACBE-BA82C97A5B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$0750FE26-24FF-48A1-B4B4-9E06CEB150A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$E211E9A8-E346-4C4C-843A-AE524BD8F36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$0E19636A-50D1-46C0-8608-FB72BC96839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$AEF22E14-B34C-42F0-BED5-D0705C9B6AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$7BBEF40C-CE57-4B58-9B89-E109FAF36400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$9F0CDFCC-19DD-4183-BCDC-4C4ED7AE542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8016482a97a49db71bdb617b79d3757eaddb9f0","datavalue":{"value":{"entity-type":"item","numeric-id":2762494,"id":"Q2762494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$0BCF126C-FBBA-48A6-87E8-C1A5A2AD7A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a26290365b209f3364d39da8d2aa2cea9451d5","datavalue":{"value":{"entity-type":"item","numeric-id":789385,"id":"Q789385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$95EBFB93-6040-486C-AEEF-86C8DCD369F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$50F44DA0-D497-465F-91A8-DDDE1FD5C0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$D944ADE1-85CB-44A5-8559-C10C0EB98FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4155ec1979bcff48fbade25963b9a4724d46a2","datavalue":{"value":{"entity-type":"item","numeric-id":5960406,"id":"Q5960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$CA872A20-D3EF-4C12-9752-B70588E6256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949f528e82fd47768844b622a1e2504534da3c1","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$41DC2B37-0CEB-414D-A78C-FF8B4B5E3F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd709cda929b7a28bc1183cdd5f7ed97f3340bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1401250,"id":"Q1401250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$56813626-2D76-4D80-BF0D-CF3F37A56EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$E96DD8DD-20A8-469A-889E-05B038EC2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$67227B64-260B-4567-A69A-2C5A57035087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afd3f1a209daf30a2b30423d512796782c950bc","datavalue":{"value":{"entity-type":"item","numeric-id":3310797,"id":"Q3310797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$CB63A070-369A-4254-8E15-5BFE5D23F17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q925850$628E4260-669B-4DBD-85D8-4BCC51E9E097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e9df3ebcfe74d82a8820a99cd9221b5d8f8674","datavalue":{"value":"10.1016/J.APAL.2007.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q925850$1044C395-57E1-49C5-8C28-314A09A8EA08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf67ec8fc4b768ba52449a987c1a16ceb6e7f2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5293993,"id":"Q5293993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f19c409309e1f08c1ee017998e87bf84f2459c0","datavalue":{"value":{"amount":"+0.7967844605445862","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":"Q925850$9A2651ED-9035-41BE-95DD-CDDBF4D9F01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e39a04f806218e7b318fb7a4e5445bae03d951a","datavalue":{"value":{"entity-type":"item","numeric-id":2885174,"id":"Q2885174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27161c652474880da82a1970bdf3cf6e370cd52a","datavalue":{"value":{"amount":"+0.7684163451194763","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":"Q925850$B0D22DA1-D743-4409-B04B-2032C974E3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b65f98eb5cbb8820fa65d5aafc1c92454db5f1","datavalue":{"value":{"entity-type":"item","numeric-id":5960406,"id":"Q5960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adff7525b7523ca114954e3190e0533c416f8cf5","datavalue":{"value":{"amount":"+0.7636787295341492","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":"Q925850$D888C4D6-CBA8-453E-BF66-B1BF3AC7F67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f9ef32b3bfa80c040aba6c03389bd6c8dc6303","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ec8eb43ec23e3a43513bdd52ff3bae79c775b1","datavalue":{"value":{"amount":"+0.7557592988014221","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":"Q925850$653742E0-50CF-425A-A2E0-9BF597D9AE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1463d28f9c4d2fe983d16b7c9ff27f67a97c0626","datavalue":{"value":{"entity-type":"item","numeric-id":1128984,"id":"Q1128984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6991365ae6f2ef21e356b167ab14e98bf79a93b1","datavalue":{"value":{"amount":"+0.7534453868865967","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":"Q925850$73A9D8BD-3FE3-44E0-9C4A-C66C8BE275F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:925850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:925850"}}}}}