{"entities":{"Q791310":{"pageid":793158,"ns":120,"title":"Item:Q791310","lastrevid":64368423,"modified":"2026-04-11T19:23:43Z","type":"item","id":"Q791310","labels":{"en":{"language":"en","value":"All solutions of a system of recursion equations in infinite trees and other contraction theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850458"}},"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":"Q791310$CD257665-4342-4079-B609-9870EBDA608E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e57d1e49482b45e979e7cf465594856471ce8c2","datavalue":{"value":{"text":"All solutions of a system of recursion equations in infinite trees and other contraction theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791310$25846314-DDC8-46B0-920B-EDC906D5B97F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7daac26a725afd541f1f2a645ca1e9382ebb968","datavalue":{"value":"0535.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791310$F50C164A-58B0-495A-868A-AC05852A8965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"098b6540f1a52c40d3e265979104b0f39459e3e1","datavalue":{"value":"10.1016/0022-0000(83)90041-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791310$1FA08D32-713B-45C8-AEF2-61FBC50A3A68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$D99C4693-BCC1-41C8-A700-B648C7EC4D1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$90AEF6B5-1AFE-4514-A84E-265339C2C457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q791310$2CF691AE-061C-41AF-861F-4EB838E86950","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb125f56ce1e6c6f227bc9ab961789683470028b","datavalue":{"value":"A system of recursion equations is a finite set of equations \\(f_ i=t_ i\\), \\(i=l,...,n\\), where the expressions \\(t_ i\\) denote terms built from individual variables, functions constants and the function variables \\(f_ i\\). An interpretation of such a system assigns a meaning to each function constant and a possible meaning to each individual and function variable. Standard interpretations include an ordering on the class of possible ''solutions'' of the system and only the least (or greatest) solution is found. In this paper, contraction theories are defined and used as interpretations. Several known kinds of interpretations are shown to be contraction theories, including the collection of rooted labeled trees. No ordering is imposed on solutions in a contraction theory, but a metric is involved. All solutions of a system of recursion equations in any contraction theory are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791310$36AE08FA-5E96-49DB-8827-50C34D320054","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791310$7A2AD22F-357F-4F42-93C3-C41FA1F9B52B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a57d429bf769178a0d7f49fb818d449ef40a4a1","datavalue":{"value":"3850458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791310$3E9B4128-E7A7-4F0B-834A-244D62DC1D14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q791310$9E5BC84C-1BA7-4066-92AF-C05059B37B61","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":"Q791310$5159D56E-C4F2-47F0-992E-D81630CACFA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a6f29110fa90300ac497b69c1a033313254f7ab","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90041-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q791310$8A18FCE6-4AA8-4690-A6F5-56CBC0DCFE4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c1b8d909ace3f6e212725c214ed21d86eb49ffd","datavalue":{"value":"W2082477520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791310$C5ED8A77-C5DD-47C4-8275-EE8632AFFA4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"511c0f4d0fed4628c9d364bd6839717d6eef6d55","datavalue":{"value":{"entity-type":"item","numeric-id":3663501,"id":"Q3663501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$3E536A47-C3C8-4A7A-9EAD-FA6F326ED073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$0D3C86C8-FC1D-4A62-BDB9-1EF1F891CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$914DC08E-D4B7-4183-B5D9-DBD9D2A5BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$62006164-F079-4420-BFFD-109E19926BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$1D242792-1941-4560-B4FE-2315EF8A12F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726054eb080cce02aeede690f7345dc64ec1af05","datavalue":{"value":{"entity-type":"item","numeric-id":1239362,"id":"Q1239362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$3653EFF0-D66F-4858-BC59-B37E33931D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$8F5C7273-BF5B-4743-9C8D-76C816E243DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$68991144-6268-4926-8070-004364EB1550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$DDB6AF12-142B-4B94-B5AF-64287F69EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$6F635251-BAD3-4F8B-893C-DA5ECFB3BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$19BCBBAD-1CBD-4F56-ACCE-3CEE05ECB71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc69deff899863c52fc929579315dce12ae30b53","datavalue":{"value":{"entity-type":"item","numeric-id":1239183,"id":"Q1239183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$8E368257-E052-4D86-826E-9D05ABC2D607","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":"Q791310$86D38A2A-3DDD-495C-A7DC-2AB6D22BF9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39278001a75d3220a3183d2b3f63c77eda552852","datavalue":{"value":{"entity-type":"item","numeric-id":3947101,"id":"Q3947101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$AB5FFA97-775D-4EF3-9294-C66598B63B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$9E3FBCB1-3B18-479D-8624-53339930B93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384639dd0297f5f273f013e5c517a8ae258e7aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1243578,"id":"Q1243578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791310$71B9759B-5D0C-4873-AB64-902F56669553","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b220a4411c05fe62af67c1f268e59b5252a7d5","datavalue":{"value":{"entity-type":"item","numeric-id":1185240,"id":"Q1185240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba752701e41a2377e78651fe1e0457826c420e05","datavalue":{"value":{"amount":"+0.7920982837677002","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":"Q791310$1D2D7B2F-440B-45B5-8562-37EB1570BCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f62f5ff011c86ea40c02f9a39bd5170827d565","datavalue":{"value":{"entity-type":"item","numeric-id":5492828,"id":"Q5492828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264ff8b6946d70c5bcb94872445b8a19ac15e33b","datavalue":{"value":{"amount":"+0.7439121007919312","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":"Q791310$20B9D302-E9A0-456B-863F-E1B0103B4B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee03811315ba128e8e3078b8e191e4878c9b904","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca4c63b4e5399393e3d628deb03c86a22cb42e8","datavalue":{"value":{"amount":"+0.7401016354560852","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":"Q791310$754CAE61-4176-4A45-A94C-B630F7A326AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12c43bbdf8a9caeedb927986e0999d15c7fbc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4720787,"id":"Q4720787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c80b18974e94c1fd3edbfba6d3028678ed670d","datavalue":{"value":{"amount":"+0.7397315502166748","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":"Q791310$4EB5AA93-EFB4-4D69-B3F6-65043277E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce747c2590d5bf78ca16a5c47ac88ab29b0cef3d","datavalue":{"value":{"entity-type":"item","numeric-id":2760495,"id":"Q2760495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8f45de138d28635d776ad578a2ed81fe7b4ef0","datavalue":{"value":{"amount":"+0.7388430833816528","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":"Q791310$ED05AD0E-4AD1-4189-A9CD-81D0666949B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All solutions of a system of recursion equations in infinite trees and other contraction theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_solutions_of_a_system_of_recursion_equations_in_infinite_trees_and_other_contraction_theories"}}}}}