{"entities":{"Q1114959":{"pageid":1125708,"ns":120,"title":"Item:Q1114959","lastrevid":67038954,"modified":"2026-04-12T14:29:48Z","type":"item","id":"Q1114959","labels":{"en":{"language":"en","value":"On the uniqueness of fixed points of endofunctors in a category of complete metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4086520"}},"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":"Q1114959$96739FC4-2D2B-440D-A636-281C1B66705B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f65b379db9a661d27d315c71a6ac3083d3b4d6b7","datavalue":{"value":{"text":"On the uniqueness of fixed points of endofunctors in a category of complete metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114959$E7FA3A3A-5843-40C3-9F74-BBCDB8E248F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3219623d57560f6637b2c3c4898665b94acd3623","datavalue":{"value":"0664.54017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$AE3F0A21-8409-40F7-865E-DDE8F5BB1293","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81079acde98c9fa90fa80de815e5d835c1bc5a7c","datavalue":{"value":"10.1016/0020-0190(88)90224-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$46B1692A-95C7-4EB4-8276-3D36B1D50A65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$E5C5E447-E72C-4F0F-91BC-615A42E06EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$99B1ABD9-0341-4086-B1D6-06B04E9C1756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1114959$23C3287B-DBF3-4721-9466-80C3AEF84DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e32ad8d3e0a79daa0223ec7ac99ddd89d877ead8","datavalue":{"value":"https://ub-madoc.bib.uni-mannheim.de/1865/1/1988_01.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114959$2D431268-4272-4BCF-8B51-5CCBF2AE35EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d324f24e815ef4d9367ba8dee2d9a1ae3712f7a1","datavalue":{"value":"\\textit{J. W. De Bakker} and \\textit{J. I. Zucker} [Inf. Control 54, 70-120 (1982; Zbl 0508.68011)] proposed to use complete metric spaces for the semantic definition of programming languages that allow for concurrency and synchronisation. The use of the tools of metric topology has been advocated by Nivat and his colleagues already in the seventies and metric topology was successfully applied to various problems. Recently, the question under which circumstances fixed point equations involving complete metric spaces can be (uniquely) solved has attracted attention [see, e.g., \\textit{P. America} and \\textit{J. Rutten}, Mathematical foundations of programming languages semantics, Proc. Workshop, New Orleans/LA 1987, Lect. Notes Comput. Sci. 298, 254-288 (1988)]. America and Rutten provide a criterion for the existence of a solution, namely the contractiveness of the respective functor. Contractiveness together with an additional criterion, the hom-contractiveness was shown by America and Rutten to guarantee uniqueness. The problem of uniqueness is the topic of our contribution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$AEC4FA17-308D-4147-8819-1A0AB3753A37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$E58B9BED-17A3-49ED-B384-50A579F2E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$7DC0264E-C183-4E02-9D34-6276BAE7B474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$1C252B77-F81C-489C-998B-A9339B0D4093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$01B53F40-9907-4993-B65E-BAADC020BE38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aad9f50ec7749a6c4c60323ec0cf639ddef6966","datavalue":{"value":"4086520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$B6FB107F-80B6-4B0A-B13B-BAF481029672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$EA7D00EB-F9AE-4984-8667-F045F0178687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$A104B637-5B3B-4F93-A53E-4AB86FB8E92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67ccffebb56c14cfda39d34ee2f65797afd4960","datavalue":{"value":"fixed point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$3C705FF9-B6E9-4D23-BDDA-8602E9ACF18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$641EF39D-19A5-46FA-9AA2-D28E13EE67A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99b837ca8c636c9ce2435d4e9cad3157610085b6","datavalue":{"value":"contractiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114959$CF77855B-203A-4723-8745-D7F23D65FF0F","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":"Q1114959$C4989F8A-CE3A-4744-8292-EF7FD2964D0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2189b9728fa443b5de9e142725580e20e1cfa2c2","datavalue":{"value":"W2020850587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114959$3EE492C0-841E-47D1-B21D-DEAE1E3D7181","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ca1730025ce44688730b055138c3986f4a8581","datavalue":{"value":{"entity-type":"item","numeric-id":4063607,"id":"Q4063607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$333C60DC-8B24-4F2C-BB39-B1F3BCB9FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$4C2B306B-FF0A-4BCD-A733-3A0D782E0130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$8DFE8DD2-7A75-4A5F-BAA9-15193FD4570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$57BEA37B-16CA-49A5-B2DD-36EA60C30B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0376c3db189b8c426e304b128e5c8000af4556","datavalue":{"value":{"entity-type":"item","numeric-id":3343434,"id":"Q3343434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$FAE118FB-C4BF-40CD-A511-27E6F6E8F5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$F02D86FF-5A5C-4267-B5AF-2524E26E7ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fc2a3be1844d25c3fd3b6d911f4f393e149ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1318721,"id":"Q1318721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$F5277B7F-EDCE-4F17-969E-0ADF908D6896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$C0C09F1E-1EC2-441E-995B-41ECEE350D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$4DE460AB-22E5-4EF4-BA34-35D7794D1041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$6628AB62-8E50-4EE9-B53B-21DBE392B267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$4A49F952-4DEA-413F-8BAA-CD5DE64C4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114959$45516CBF-A200-49C4-8FBD-A429B9E320AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e731b747926ccecacb33ee8b018444daeba26da","datavalue":{"value":{"entity-type":"item","numeric-id":1123253,"id":"Q1123253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8589f04e3b5d1df65d74802a66cd7ec408ed7a","datavalue":{"value":{"amount":"+0.932844340801239","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":"Q1114959$8E2CE873-BB3F-4D24-9455-DE4571D9B609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489e6430505018a743b082bc90fd38dbc6c3ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1173767,"id":"Q1173767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b1448f6e2e095ec99a1de808d976144d4202ba","datavalue":{"value":{"amount":"+0.7937749624252319","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":"Q1114959$90CC6118-B9CE-4636-AB5D-3BABA4A88152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d84049919dea984de2e96c7fe1fc85ca9fe53b5","datavalue":{"value":{"entity-type":"item","numeric-id":4373409,"id":"Q4373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6b5296c2e024d996d5e6c87e58641509011cf9","datavalue":{"value":{"amount":"+0.7934272885322571","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":"Q1114959$5C3BE7B4-FB2A-427D-9B9C-EFC1138D2D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102126ead0ce08da80c54ec42516715002376fb0","datavalue":{"value":{"entity-type":"item","numeric-id":673143,"id":"Q673143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19474f8c93d8af27e6dabd058545483c106d995","datavalue":{"value":{"amount":"+0.7932250499725342","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":"Q1114959$7D56D589-8BAF-4886-B925-6457D02813A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a1e818c586c390b224cd053898f960ed195c96","datavalue":{"value":{"entity-type":"item","numeric-id":3815463,"id":"Q3815463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0597fadd249618070ca3ed98c1a19b6c8c33b1","datavalue":{"value":{"amount":"+0.7777190804481506","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":"Q1114959$109D50CE-88E5-445F-80FB-15109D2D7562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the uniqueness of fixed points of endofunctors in a category of complete metric spaces","badges":[]}}}}}