{"entities":{"Q3936172":{"pageid":5966077,"ns":120,"title":"Item:Q3936172","lastrevid":55034905,"modified":"2026-02-03T00:58:58Z","type":"item","id":"Q3936172","labels":{"en":{"language":"en","value":"The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752192"}},"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":"Q3936172$6D0D40CD-0787-4877-A57A-484E76BEDDCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"134e480c348f87ac8433d614ab5dcc4a7f85bb18","datavalue":{"value":{"text":"The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3936172$DD63BE95-B98F-4502-BECC-608FE0ABA217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6110d7e5308fad669cc8c69971826f936865f6ad","datavalue":{"value":"0478.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936172$7838CE7F-BE0F-42FC-9063-5F576231AF53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1685eaaa62e54c75849185cd5ffc576d938ac9a","datavalue":{"value":"10.1145/322307.322325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936172$F6EA68B3-C326-4951-B17A-762BC7A77B5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f116c104fd8501cd0b8f4b9f1940e06b14dad","datavalue":{"value":{"entity-type":"item","numeric-id":310163,"id":"Q310163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936172$B925E35B-47B2-4808-B222-4861C78212E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936172$8BCF3B6D-4E64-438E-B7CC-A023E1F9D2CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936172$8D710B6D-41C7-4649-A235-48D96F61B269","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3936172$0515ABE7-832A-4B41-9B71-5FB47DD55C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936172$27905137-DA47-4A2C-9D3A-CFEF3B713EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"745539f38945814181b9ef1afbfa78fb39af1fad","datavalue":{"value":"3752192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936172$14C92F1B-51D0-4816-9CBC-59CD0E4772F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc277fc3541c0c24c2142c45c228337597536111","datavalue":{"value":"partially-additive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$88B996D5-56BE-4282-9B05-6E1B4E2766BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c4c4d42f315682e496fdbeb9259f4ff3dbd5f09","datavalue":{"value":"interpretive semantics of a recursively defined program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$99550E24-3D76-4AE4-9143-F9CFD6078632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b649c4f0a78b7333753db80ef381b4ee309bc7","datavalue":{"value":"proofs of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$B745EC51-11FF-43A2-9EF5-D60E873060EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$2816A1A7-E58E-4DB1-9CE6-383168FDCBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$888AD0A0-8D2B-4692-9C82-5A6122927FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634f3af3d0793e8ac5459b905a88f64142658bb8","datavalue":{"value":"abstract recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936172$EC947B31-5D4F-42DE-AE18-64755429E002","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":"Q3936172$4FFC188C-D1F0-4E00-A52A-8F47D412B8DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe56d462c2fb6c20eea391c5168bc286f7d7861","datavalue":{"value":"https://doi.org/10.1145/322307.322325","type":"string"},"datatype":"url"},"type":"statement","id":"Q3936172$62E7EB94-C348-40DF-8ACF-0F224BD8DF5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7328749cdba1365bfd677ff3d1eba607dc3538ed","datavalue":{"value":"W2018561559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936172$B799D8CF-A5CE-463E-9C5F-00589402604C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936172"}}}}}