{"entities":{"Q4945246":{"pageid":6974828,"ns":120,"title":"Item:Q4945246","lastrevid":108572366,"modified":"2026-11-07T01:01:32Z","type":"item","id":"Q4945246","labels":{"en":{"language":"en","value":"On guarding nested fixpoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424055"}},"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":"Q4945246$C30E34DA-46CC-4E1B-842E-F0A6D3C7C26C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"800311769cd8bbbd7bac15b3ae4a40879f7db6a8","datavalue":{"value":"0944.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$8DDC65E6-E99A-47CA-8899-D40907316C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945246$BDE0574B-1BFE-4826-B2FD-DC7CAC751E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de43c76cdcf5d94dad9d181d239567c718ae79bd","datavalue":{"value":{"entity-type":"item","numeric-id":1118664,"id":"Q1118664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945246$3FC8ECB8-A8CE-4BF9-9352-FCA6CABC8502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-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":"Q4945246$2216FFA0-3C2E-49B7-887F-CA1D55860A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$B37681FC-6E1D-470C-8FA9-C5F6D4379CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$1EABBBA0-6684-4029-85B2-BFD9FF8F5370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$F4FEBC04-52B6-4696-A833-C6F4230EB328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72bc40fd3c1b63790c3d8ce911bec3017332021e","datavalue":{"value":"1424055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$42CD58CD-8F3D-4479-997D-F433D9830CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eec30d4438aa9c178e8b310d81741e807631a6","datavalue":{"value":"guardedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$C5D8B25F-4710-4187-97C7-66FFF325A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$3A486149-B93A-4BF1-B36B-00FD8C3831E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1a76d835de5879ba09a135ae1648593be295a4","datavalue":{"value":"loop-connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$9BE9822F-9DD5-4090-BD58-314A965A8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3771d8ea30a275bbea2eefe8c34bb4b1f72f10","datavalue":{"value":"hierarchical system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$73214DE0-CAFE-4AC0-BBA7-374D528D870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$F8DD35CD-ED33-4DE2-9E03-1FB2CDFEA213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a956f23731299a4d5d987b172cd9e025d7143d1","datavalue":{"value":"variable dependence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$EF83EEEC-0E4D-4D7E-B91E-88C2DF42D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21ac5c33079b13cdc1e8669c70489ac0dc101f3","datavalue":{"value":"regular tree pattern-matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$32788C17-A5CE-498D-B4E2-1A91756DB78C","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":"Q4945246$323D2801-3AB0-46A4-9517-9362E9AF30F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164572f8791f288d0989674415cab479d2faba87","datavalue":{"value":{"entity-type":"item","numeric-id":1350911,"id":"Q1350911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79516af7218efd3b59344f3c3cd8060f141ab2ca","datavalue":{"value":{"amount":"+0.7191252112388611","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":"Q4945246$6E1DDE07-CA94-456E-9796-C787196C3CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da5db7ce77e86a4fbd43e8f4bfd937d7d54ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b59b4d2a46eb7ec32fb42779445f0540ccf059a","datavalue":{"value":{"amount":"+0.7184520363807678","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":"Q4945246$4B1FC181-35CC-4E54-A225-63164DBD6DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ebd865ffdb8179d06b3fc504ece3fb10ebe272","datavalue":{"value":{"entity-type":"item","numeric-id":2044189,"id":"Q2044189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453266a5d3d08e949fbc92e145844d18d16deea7","datavalue":{"value":{"amount":"+0.707223653793335","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":"Q4945246$F56A4646-4AF7-42CA-BD54-7355CAE3A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7919f883435133146fff3ed35f34af0bdf1de4","datavalue":{"value":{"entity-type":"item","numeric-id":3090856,"id":"Q3090856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175b2ff8e2dc88c5e32eb9916036a90539e1be44","datavalue":{"value":{"amount":"+0.7018750309944153","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":"Q4945246$C6380357-94B5-4B7B-AD53-237B2916843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a92ca8268c4c270c00363bf4f60b3d47109985e","datavalue":{"value":{"entity-type":"item","numeric-id":1854400,"id":"Q1854400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3112e08bf7fb6a09b0daf7a6ac38711320a5b5df","datavalue":{"value":{"amount":"+0.6983550190925598","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":"Q4945246$C51A9F82-AE3B-425C-9D12-3FCB670A0A0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3143ab4fc40834b6e2f2865acf8cb24984cefdf","datavalue":{"value":{"text":"On guarding nested fixpoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4945246$5E6D1570-B120-48D1-98AF-EC5340171857","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d59937cf264eaf5797f8324b622bf29fb136fd","datavalue":{"value":"10.1007/3-540-48168-0_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$61B2849D-A79E-487E-A6DD-C6CBEFAA0C1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b788f0c53d919b15e3f817e8ac09a08151b7e23","datavalue":{"value":"For every hierarchical system of equations \\(S\\) over some complete and distributive lattice we construct an equivalent system with the same set of variables which additionally is guarded. The price to be paid is that the resulting right-hand sides may grow exponentially. We therefore present methods how the exponential blow-up can be avoided. Especially, the loop structure of the variable dependence graph is taken into account. Also we prove that size \\({\\mathcal O}(m\\cdot|S|)\\) suffices whenever \\(S\\) originates from a fixpoint expression where the nesting-depth of fixpoints is at most \\(m\\). Finally, we sketch an application to regular tree pattern-matching. For the entire collection see [Zbl 0929.00039].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$A59DD5D7-B0C1-4480-886E-E15774217FF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945246$7C1AEE6C-EA95-41E5-B428-BBFAD6A42550","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On guarding nested fixpoints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_guarding_nested_fixpoints"}}}}}