{"entities":{"Q1072368":{"pageid":1083120,"ns":120,"title":"Item:Q1072368","lastrevid":66227682,"modified":"2026-04-12T08:23:59Z","type":"item","id":"Q1072368","labels":{"en":{"language":"en","value":"R-fuzzy computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3942999"}},"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":"Q1072368$40A9E723-91E1-4071-94F0-D92B43877710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dc620716792a40f208868b9e86f3817d2017e6e","datavalue":{"value":{"text":"R-fuzzy computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1072368$944EEC1E-0BB5-43A0-87CB-BDEA7B6CF961","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae498f6ea753404b11d612e49a17c4491e4955b1","datavalue":{"value":"0587.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072368$1F4594BE-89BA-4F7C-9F50-CEC6DC461B82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecdac0b32a126e5a3da39d73fb89ca295ee5eac7","datavalue":{"value":"10.1016/0022-247X(86)90036-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072368$0EE76587-5C5D-4AF3-8E67-B09C0FA6EA59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef50836ca60dcbcfe3a815432541891093607141","datavalue":{"value":{"entity-type":"item","numeric-id":916638,"id":"Q916638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$FB59C08A-B6E4-4CB7-A1CC-13C2D624EDBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$868BF706-D823-4214-81F6-6FB063946D0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1072368$A8807EFD-C7A1-453B-9C67-CD9A9AF6B61C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa35aeadf7e6cbd7c7c4e39bb275beda3edc3fb9","datavalue":{"value":"The presented paper studies so-called R-fuzzy recursive program schemes which are finitely specified by systems of equations \\(x_ i=p_ i\\), \\(i=1,...,n\\). Thereby, \\(X=\\{x_ 1,...,x_ n\\}\\) is a finite set of variables and the \\(p_ i's\\) are polynomials built up over X unioned with a finite set F of function symbols and with coefficients in a given semiring R that determines the different kind of fuzziness by evaluating possible choices. Using power series on F-tree with variables of X the meaning of R-fuzzy recursive program schemes can formally be computed. The main result shows the equivalence of equational (fixed point) and operational semantics of such program schemes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072368$059E20FB-557A-40BD-816B-85ED96F3D23B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072368$9E91B90A-8489-4D02-9453-FF06A8013BA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805c4537d613d3596060a798081837ae4de9260c","datavalue":{"value":"3942999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072368$2CD647A0-E571-48A9-BA8E-625F04F7D017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70868d95467ae61ffb233f13ce17c153e6d42bc4","datavalue":{"value":"R-fuzzy recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072368$C17E7912-EC93-42B1-9601-3C15460B2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072368$88310F6F-382C-4CEA-AB9C-88256FD62763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072368$C4953569-3826-43F0-812E-C4647C0073D4","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":"Q1072368$4729D382-113C-41AB-9E7A-2C1C49B62F1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa22b8020d2e02a46ee6f96a629706536ac1789","datavalue":{"value":{"entity-type":"item","numeric-id":4134908,"id":"Q4134908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$9EC9A97C-C481-432A-8AFA-49EA7E5D2B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$39702024-6D06-4DD3-AE6E-479AE63FC0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74feebd6aeb7b6a39ed2486078ddf173d7310a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241985,"id":"Q1241985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$AF4F5217-5A97-4EDB-B4E6-D97C13EA2281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62329ea6dfc1bcd7f928f88d3b29f0d4ff3319d4","datavalue":{"value":{"entity-type":"item","numeric-id":3888505,"id":"Q3888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$DFD7A4AD-52D7-483F-B9D1-CB019760D773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072368$CEF619D3-8D25-4DF0-8347-D6BFD1FAEA9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1ec15c4c6dbc432808829f066416c440b4ff637","datavalue":{"value":"https://doi.org/10.1016/0022-247x(86)90036-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1072368$BE02250F-75FD-4004-BDA8-5632A4EB1446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18d94afd981bc67b35146817b0399885c26e7f36","datavalue":{"value":"W2083939464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072368$ED89A94A-A649-40F2-894F-A816B09E2BEF","rank":"normal"}],"P1643":[{"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":"2cdf94363af3ce1e773f0d77a7563e84f182d1ce","datavalue":{"value":{"amount":"+0.7274932265281677","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":"Q1072368$D91D9FC5-CFAE-4381-AC9B-4E0BB0CA3F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f916276d7d5c4793f71fa18d12d927e26b6e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c18229614df77eef3a9c966d474c99013df6e7","datavalue":{"value":{"amount":"+0.7268534898757935","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":"Q1072368$AB603EBD-D059-453C-B842-BE9EFE055F3C","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":"3e7ea5c19aca2467f4a040b87d6ca58358c31f0c","datavalue":{"value":{"amount":"+0.7246637940406799","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":"Q1072368$16DEA8F4-F2B6-4101-A070-DE27C185502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543b811b61b244f22c6ebfcd956d2f5c8dd00c7f","datavalue":{"value":{"amount":"+0.7227221727371216","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":"Q1072368$E0134AEF-9AA8-4725-8246-CD00F110549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c763a60908ad49eb4e928d43ea0aee9b295a3302","datavalue":{"value":{"entity-type":"item","numeric-id":3774922,"id":"Q3774922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef77b12b1a20a4b51421b01d2eb553101dd57b0","datavalue":{"value":{"amount":"+0.7210097908973694","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":"Q1072368$A3DDE0C8-D50E-4BA7-A548-0939F4950FD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"R-fuzzy computation","badges":[]}}}}}