{"entities":{"Q749201":{"pageid":751050,"ns":120,"title":"Item:Q749201","lastrevid":64046181,"modified":"2026-04-11T17:17:00Z","type":"item","id":"Q749201","labels":{"en":{"language":"en","value":"\\(\\gamma\\) \\(\\omega\\)-calculus semantics of functional programming language FFP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172361"}},"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":"Q749201$E62205D0-4DB5-41B7-A449-4844DB5BD71E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb75c1a36e89bd1f2f03e9f8ed8a4774303a61e0","datavalue":{"value":{"text":"\\(\\gamma\\) \\(\\omega\\)-calculus semantics of functional programming language FFP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749201$8B6DB3C0-C2B2-4BB5-8D2F-67068EB3E9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44cf1f7383e5bcf5c27a9d91ebf63c4f232b22f","datavalue":{"value":"0712.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749201$914ECBC7-97DE-418A-9AC5-900C9B8C1B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5311045125e8bac6e404f1ca506d93520c017c","datavalue":{"value":{"entity-type":"item","numeric-id":749199,"id":"Q749199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749201$F435C3C0-8094-4A43-80FE-1A63C5DAD88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fae9c1923c9530d5fb0d40c91b97fbbca319ce70","datavalue":{"value":{"entity-type":"item","numeric-id":749200,"id":"Q749200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749201$B9525370-6118-4F52-9D10-D39D1A68987E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749201$571950C2-52F1-42DF-8FC9-4766FFBD9A1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q749201$E850F312-0017-4826-9530-309043A56422","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"436bdc8bbe6b2cb0b173de273b64d0ec53b7d144","datavalue":{"value":"It seems hopeful that \\(\\gamma\\omega\\)-calculus would become the most general theoretical foundation of semantics for functional programming languages (at least for the ones without types). In this note, for the formal functional programming language FFP [\\textit{J. Backus}, Commun. ACM 21, 613-641 (1978; Zbl 0383.68013)], the \\(\\gamma\\omega\\)-calculus semantics is settled, and thus an application of \\(\\gamma\\omega\\)-calculus is developed. We emphatically discuss the metacomposition rule in FFP language, and present a general metacomposition rule which is distinct from the generalized metacomposition rule [\\textit{M. Jiang}, Kexue Tongbao, Sci. Bull. 33, No.17, 1405-1408 (1988; Zbl 0681.68021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q749201$9EFAF815-4738-4D96-B2A8-32223394FCB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749201$FB864B6B-FE75-4E28-88B4-14EF24C5F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749201$43F2561C-7A38-41E9-B304-FB994AC3F014","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e41ab5b7426f5516671ff5096ffaa6d5206a28","datavalue":{"value":"4172361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749201$903B72EC-8679-43AF-B253-AF2CB96E37D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc708475364932c0e139b7d523fdebab5069302","datavalue":{"value":"gamma-omega-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q749201$620D799C-33A8-4A06-BA6A-12772B5BC418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q749201$1DACAE6A-EBD0-49DD-B989-7FE15BAB4DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7166f9284f0f8bfbff16274becd01a62da48e3bd","datavalue":{"value":"FFP","type":"string"},"datatype":"string"},"type":"statement","id":"Q749201$B19F6915-1E5D-46B7-9C3C-BE8BC89D29C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e95474c34fb250359a987ab56bd8aea0b3257298","datavalue":{"value":"metacomposition rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q749201$90EA88DE-E41B-4F06-8D33-A97820AC2391","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":"Q749201$E89D6580-DD29-4995-8D25-A2D26B0179A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba92b240c67f837697cea5b234c38f16f91a4f3","datavalue":{"value":{"entity-type":"item","numeric-id":3325009,"id":"Q3325009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8465ed23153cc38ce6dbcd9200f3491a64ee00ca","datavalue":{"value":{"amount":"+0.7374169230461121","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":"Q749201$1410378C-4CBD-4EBB-84BD-4BAC52817731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f87be45bb209f829e144ce3e4974e615cce1605","datavalue":{"value":{"entity-type":"item","numeric-id":3702505,"id":"Q3702505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b2844788e0f6a0fd264ed7404007c1b7669691","datavalue":{"value":{"amount":"+0.6932294368743896","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":"Q749201$0CF1903B-FBBB-4A4C-B8B9-BECCF1589CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ad50d9cfc3c0f4ecf6ab18d0453b98b5e25f0d","datavalue":{"value":{"amount":"+0.6924279928207397","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":"Q749201$64CC2323-FFC8-446E-9820-ECAE0189E73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60bdc202a2d2dc455f58e7829784798ad4d84ae","datavalue":{"value":{"entity-type":"item","numeric-id":5096300,"id":"Q5096300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d575f8099c95755838bb8c8c4ff685110c7ce1c2","datavalue":{"value":{"amount":"+0.6904453635215759","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":"Q749201$36E5FF9A-496C-4C7C-A49F-F8F4D0AA21A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f45571676817787a4321b84e9b8f5165acb296","datavalue":{"value":{"entity-type":"item","numeric-id":4364536,"id":"Q4364536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e114f57e649ce486fe87cee3bdb4f767953ee2","datavalue":{"value":{"amount":"+0.6878516674041748","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":"Q749201$C073FDC8-61A4-4249-92DF-FD6D5D9B9082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\gamma\\) \\(\\omega\\)-calculus semantics of functional programming language FFP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Cgamma%5C)_%5C(%5Comega%5C)-calculus_semantics_of_functional_programming_language_FFP"}}}}}