{"entities":{"Q1177146":{"pageid":1187895,"ns":120,"title":"Item:Q1177146","lastrevid":66768804,"modified":"2026-04-12T12:43:37Z","type":"item","id":"Q1177146","labels":{"en":{"language":"en","value":"Algebraic and fixed point equations over inverse limits of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20007"}},"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":"Q1177146$5EEAC4C3-F04C-4B6F-8C5E-B7281CA3D34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f0767801655ab37fae4a2101482beb001afb5e1","datavalue":{"value":{"text":"Algebraic and fixed point equations over inverse limits of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177146$E571D040-F18E-4396-907E-133E34147C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0d5dbfa04407f00499a108f940c8e2247f849dd","datavalue":{"value":"0788.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177146$0A91EB57-06AC-4319-91B8-26A1FC815B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fbc6d8339aefa7993bff59557c951493d518c4d","datavalue":{"value":"10.1016/S0304-3975(06)80002-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177146$7770B2E5-795D-4AF8-9B8A-BF8573023935","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51179f5d07eac4a6f6c8d6f4af0f86b9c901e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":688733,"id":"Q688733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$D52E8EB0-3C35-443E-808D-1EC09DCBC8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$E0B22B3C-0765-4FAC-B517-22B443155534","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$EDDF3E41-D5AD-4393-9F40-C582B8F9434E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177146$E4887E4A-1006-468D-94F9-96029EC7B80F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ef1ec2834bd4a5c2528c835aeac7072c28a6aa1","datavalue":{"value":"Algebraic and fixed point equations over inverse limits of algebras have been studied extensively in the theory of semantics. It is possible to introduce a natural metric that takes into account the inverse limit structure of the given algebra. Systems of fixed point equations can then be viewed as ``contractions'' in the given metric, in which case, existence and uniqueness theorems from the theory of metric spaces are applicable in the context of semantics.   The authors prove that a process is definable by a (finite) guarded system of equations if and only if it is definable by a single guarded equation. It is interesting to note that the related question ``if a process is the unique solution of a finite system of fixed point equations, is it the unique solution of finite guarded system of equations?'' (raised by the reviewer [Inf. Comput. 75, 264-288 (1987; Zbl 0626.68029)]) still remains open. In fact, the last reference solves this problem for systems consisting of a single equation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177146$741EA34A-DAAD-4C86-AF6E-572769FCA16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177146$26A841AC-8056-4260-8DFF-F5C2D8F6BF4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d510ce343de2cb3af686d5882f2a532b7ca3b67","datavalue":{"value":"20007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177146$6B489C88-3298-4C7D-9359-3F5688B091F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47468fd024aa2932a0540b7287cdc64ea41e7847","datavalue":{"value":"algebraic equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177146$C0D0D957-5D46-4AC4-A6E8-E0AF774DDF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67ccffebb56c14cfda39d34ee2f65797afd4960","datavalue":{"value":"fixed point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177146$62C740F5-4F89-4FD6-8A06-B3068B61D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53f6e0e15e05f9ab9dfd710f161060e95690f69","datavalue":{"value":"inverse limits of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177146$26BA078B-A901-45D1-A3B4-9671DE08A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27edd772a4100c050a83729dd638a0ce43f21944","datavalue":{"value":"theory of semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177146$E8E64A38-C9FC-4C37-9B1B-3C8C5C07D74C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"333a35af6ab5b17d3a1f289a6554dbd27038e6d5","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$5591C0B2-E306-4B4E-9C68-000ACFF1CB75","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":"Q1177146$0274C605-F9E1-45F7-A3CE-85A6D21819C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e242ce755bdf300b1be26a082354c4b41ab41d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3883492,"id":"Q3883492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$1A36B3B5-D0C9-41F0-A03D-DD7CAE416586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$3CE00C1A-A928-48E5-840F-F4C1E033B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$2A536F9E-BC5D-4451-9841-55420588569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$C3C76BDF-1A4C-455F-89E0-B623AAF48B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$5204BF20-A8B7-4D6A-92B2-BA9703806AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$1E945666-AD97-4E09-AEBF-01440A3429E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83ff1a9e72a69a2772e581c54639f52339c1590","datavalue":{"value":{"entity-type":"item","numeric-id":4746776,"id":"Q4746776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$2944AB5A-7CD2-46A8-B81F-FAABDAA80C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$834C1C82-7DDA-467B-97F9-E89CC2251B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$1BC32CF2-832E-41B0-999A-43F31FDCE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$C46C9FE8-9CB0-4755-8ABE-E42356833F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09cb66327c1c8a35bae1f3c32652346443b3cd1a","datavalue":{"value":{"entity-type":"item","numeric-id":3510919,"id":"Q3510919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$F0161B90-1A38-47A0-8899-C73153DAE24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$3C617F23-2E1E-4173-8891-368DDFABEBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$9F1D0213-8105-4B6D-9731-8CE5F56A0DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$AA6E8607-8898-4E0D-9212-1090E39AEB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$0447008F-3A6C-40EE-8B09-4DBFFDB7F20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$15DF31F4-0729-4E22-ADE3-6D14CF03C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029b2a577f00f600436658245c7e91da1f2aba49","datavalue":{"value":{"entity-type":"item","numeric-id":3812231,"id":"Q3812231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177146$78F17057-DE86-4595-BD6B-538724D8D1BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e75a4340ff6eaec26d6e65bf86ed6cef3c90d06","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(06)80002-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177146$3438C8AD-BDD4-4B0B-AE97-8F5EF29E71F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bb28a89427ec8d6a36efdb59cb1b1b8c7700036","datavalue":{"value":"W4210540924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177146$270AB2C1-F1A1-479F-90AF-449E4EDDC995","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6daa84a0e831397bd4d396c96cb42a0082a3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1098617,"id":"Q1098617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdb50824cd4281465e0cbff25e57cf042ede9c6","datavalue":{"value":{"amount":"+0.754131555557251","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":"Q1177146$E37F5101-F577-44D0-AD8C-A781CA94F5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4698e93842a74d9017801b212f46afe493b3c8d","datavalue":{"value":{"amount":"+0.7471233606338501","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":"Q1177146$C0275E62-6DA8-44B6-8263-F4DD1900AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb74d3235c5f3f7c4da192d4efe18886ad1115a5","datavalue":{"value":{"entity-type":"item","numeric-id":1822946,"id":"Q1822946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e816b7cc196aafd7be6663b0a389f3c176c873b","datavalue":{"value":{"amount":"+0.7459655404090881","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":"Q1177146$B0D4FC7C-6E8E-46FB-9C8C-69BD1A699A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a45738c5678ffcd30c32134f602034ecac93f82","datavalue":{"value":{"entity-type":"item","numeric-id":5454623,"id":"Q5454623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ece7ed61fea376c9c9b80af6970178771a6c3b","datavalue":{"value":{"amount":"+0.7349321842193604","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":"Q1177146$EDBB14EA-3363-4A8F-B30F-A70DBE46187F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and fixed point equations over inverse limits of algebras","badges":[]}}}}}