{"entities":{"Q580971":{"pageid":582738,"ns":120,"title":"Item:Q580971","lastrevid":49095913,"modified":"2026-01-06T14:24:28Z","type":"item","id":"Q580971","labels":{"en":{"language":"en","value":"Fixed point equations with parameters in the projective model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018377"}},"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":"Q580971$B05F6F24-2805-442F-B66F-F5CBF9C55509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46bc9fcbf7179d645224170e1880d47823cfb1d9","datavalue":{"value":{"text":"Fixed point equations with parameters in the projective model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580971$E680C99A-A6C1-4F92-97F3-9BA07BF14E1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"822008a3d3f438c1259a1c4ba5870fa3d413bbda","datavalue":{"value":"0626.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580971$31A7E120-3F44-4B91-9832-03C559F5A406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c17037d2454dd967821ae9d947ea80fdb169d0c1","datavalue":{"value":"10.1016/0890-5401(87)90003-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580971$34239206-FCE0-4646-A676-D7F2F96E2FCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca17c9763199648715858433b15ebaf2ef36218b","datavalue":{"value":{"entity-type":"item","numeric-id":215100,"id":"Q215100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$A9456639-0FD9-43CF-888D-4A5E885F9973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$46C4BA31-8772-4943-A76A-FF7BB7418A3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580971$7C3D4679-2643-416D-A75F-99CBE74E8CF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"724d55be61a3e7b04e804f09afa598d7c124bd7c","datavalue":{"value":"Existence and uniqueness theorems are given for solving infinite and finite systems of fixed point equations with parameters in the projective model (a natural model in the calculus of communicating processes). The results obtained are derived by exploiting the special topological and combinatorial properties of the projective model and the polynomial operators defined on it. The topological methods employed in the proofs of the existence and uniqueness theorems use a combination of the following three ideas: compactness argument, density argument, and Banach's contraction principle. As a converse to the uniqueness theorem it is also shown, using combinatorial methods, that in certain signatures guarded equations are the only ones that have unique fixed points.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$191DA6C3-9AEE-4851-999B-1893F64DCE9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580971$06DF8F40-D275-4826-BCE2-93F420DEC980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb191b1b469cf43c1b163174ba991baae6617acc","datavalue":{"value":"4018377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580971$DB44FA43-389F-4811-8198-33945F0A6CB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e90de64a7a2f4185691f28a3da39d0d2d06b33","datavalue":{"value":"infinite and finite systems of fixed point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$0755533A-DE6E-48C0-91E8-9FBD2C455A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7eee31bf40ede8a965723dc6769721d7e7d4fa1","datavalue":{"value":"calculus of communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$C84A47D8-7334-43D7-9BF6-CC6622EFCC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$6377CD0B-1EF0-4E0D-A370-EF9648C384D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$F78D0496-DD25-436C-987A-12B63F401AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad81ec0d6d0c75a30a102fe349fa439eeac030b","datavalue":{"value":"Banach's contraction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q580971$F4C70BEA-ECF0-4DD1-B484-BB69276368D8","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":"Q580971$397D231D-DEEA-4F68-9FAE-AA02917FBE9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37aaf3f77e747b69356b99a195c21ea4090a07cb","datavalue":{"value":"https://doi.org/10.1016/0890-5401(87)90003-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q580971$C8606701-8684-4EFC-8667-2B647E8D6B1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b008ed77ae0825c62e9764ae3f331ba5ed921fb","datavalue":{"value":"W2165563109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580971$BE91914D-3383-4E4F-B476-FC065101346D","rank":"normal"}],"P223":[{"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":"Q580971$CD358ACD-A2EE-4464-8A82-5389EEF0EC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$A2205790-850A-4D78-B298-909EDED513D4","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":"Q580971$E8B230B0-BE8D-4B10-A7B5-FFC7A4737C4E","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":"Q580971$AAAB644C-359D-4B65-B6FA-112AA3CCCE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$B5002725-C1E4-4727-AE03-8CFDAD29D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$01AE2C2D-5A3E-483F-919C-A0D879E04CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b482a5a13f4b846e6ad6cec9ec768408df1863b5","datavalue":{"value":{"entity-type":"item","numeric-id":3264432,"id":"Q3264432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$E7DA0921-4E6D-4EAB-9DFB-FB424F5EE294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$7DE4919D-15E6-45E9-A455-BE4C8C161178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$5541ABC6-A811-4038-A6C8-035DD36BF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69b42a8a60c99417cabbfede6572df81b1f5849","datavalue":{"value":{"entity-type":"item","numeric-id":3941926,"id":"Q3941926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$175CF256-EEEE-48D3-97BC-6A04815753B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8959c4898e13f36a00630547f4957412796242","datavalue":{"value":{"entity-type":"item","numeric-id":5583194,"id":"Q5583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$7A769428-AE24-4296-914F-B38001872B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$E5276413-8707-4D70-89A9-A372E06C69B9","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":"Q580971$4E55A6D6-FF3B-4FF5-877E-0DD89536E2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da106123d473010fc1538e0b0a54c9a4df6e3f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5527616,"id":"Q5527616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$444529AC-1BB9-4170-AEA3-AB3763C78723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$07D23B57-F398-45A4-92BD-4D028B677AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$30A83A40-BD12-4685-AE6D-FF3F79EDD73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1487e04622fb07e7bfd062a704ff2d28ea44e365","datavalue":{"value":{"entity-type":"item","numeric-id":4078763,"id":"Q4078763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$5795E495-670C-48DF-8CD8-9673566DD332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5352e8def5cbbd1f93a8587b2a577765ba068d3","datavalue":{"value":{"entity-type":"item","numeric-id":3680257,"id":"Q3680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580971$B75A64A0-C2EF-4B6C-84C6-807146159DDD","rank":"normal"}],"P1643":[{"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":"8c744e98941e41f043c4df1fcae45d30cef82580","datavalue":{"value":{"amount":"+0.7406137585639954","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":"Q580971$AC571B38-49EA-4225-A628-34179860F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31b9b4e4d844b87397f22237a4ea8c37999ae85","datavalue":{"value":{"entity-type":"item","numeric-id":913498,"id":"Q913498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658dcdec27c57b4a93b12a14935a058f957fcacd","datavalue":{"value":{"amount":"+0.733319878578186","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":"Q580971$5C77E3C7-7A83-4FBA-8903-376711A2BD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70577ded4bc50ffccd326ccfc37d6fb32cbabb32","datavalue":{"value":{"entity-type":"item","numeric-id":4683183,"id":"Q4683183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e16ae374c9f4ba8fe7b097f6c484f2e70627340","datavalue":{"value":{"amount":"+0.7228408455848694","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":"Q580971$96BB02E5-0350-45D7-B65C-36C8315D8848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d7d3a3617f9cbd69a26048e0b0b7bccceb2191","datavalue":{"value":{"entity-type":"item","numeric-id":1177146,"id":"Q1177146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a590bf98ceb56bf7e53bc1afc0af182433adc4","datavalue":{"value":{"amount":"+0.7223489880561829","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":"Q580971$18EC9496-4FA2-46BF-BBDC-38C04EBDDD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a11fa6949f1ba430eadd52b7feda90ad672193","datavalue":{"value":{"entity-type":"item","numeric-id":751807,"id":"Q751807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee380124df6ff414d92cba89a40736cb984e4f7","datavalue":{"value":{"amount":"+0.7209197282791138","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":"Q580971$5C183B0C-43FE-440E-99F1-65B4AC3A5F84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:580971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:580971"}}}}}