{"entities":{"Q4939691":{"pageid":6969273,"ns":120,"title":"Item:Q4939691","lastrevid":37441390,"modified":"2024-07-30T10:18:12Z","type":"item","id":"Q4939691","labels":{"en":{"language":"en","value":"Using transformations in the implementation of higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400710"}},"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":"Q4939691$211AF045-BCD3-4B03-8B29-F2E03523AE9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4057fa11160f8b31d5fe23652ce9af1cfa5da738","datavalue":{"value":{"text":"Using transformations in the implementation of higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939691$F471787E-1221-416D-BEBE-746DB8A1FDD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4691abacf1fa22c72278e021877edd660b332501","datavalue":{"value":"0941.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$3DD4E8F6-1491-45EF-98FA-E6535CF63B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db2b5883c69098148a9bf74000f7de5d3480c9f","datavalue":{"value":"10.1017/S0956796800000204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$A1C6D21B-91A2-4694-B181-C8D90A6497C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$AA30B6B0-764D-4648-AC78-640723A6ADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$913818B0-42C3-4B46-8B08-34BCB086E2B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$E676EC22-D726-4ED1-BABC-EF12BED2AF21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939691$83F3F359-ABEB-4996-9B42-4196343C2EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$3E1E9E99-1F82-420A-8150-A94EA603512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$1375FF1E-F6EE-4ABD-8DC1-C381CD48A1D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2c0af1aa11c353ec4565d95d0bbf990a16a3473","datavalue":{"value":"1400710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$D9B9538A-A4D7-419D-B35D-01F1BD98CB6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939691$3DC7A866-B773-49BB-AC85-6D20EE4355DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc63158e3b5900e98ad83cfdeb445f4fa3b66d97","datavalue":{"value":"categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939691$D5B53317-057E-4558-AA3F-6B008051F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"042ba215b49ba89f55468f9ba77b49518674d650","datavalue":{"value":"specifications of abstract interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939691$64A6F865-CD62-437B-993B-91CF22DFD302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939691$1B641E2C-64BB-4FB5-9390-1EB0F18F68DB","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":"Q4939691$301786C2-85BC-4384-9084-53D39CBE3577","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$16385E85-1959-43AB-8503-1395241C75BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$55084830-EEE2-449F-BD97-193B0D98C8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b03de6f1dad401a15e7167ef5bc6e87332d6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$86C1F37E-FFE5-4FBB-8F6F-5F01629AE1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$B189FE2C-DD20-4109-B24C-EB554C2154C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade0bbf9ba9257fa3f0783a85792ec650fca3b91","datavalue":{"value":{"entity-type":"item","numeric-id":1107512,"id":"Q1107512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$D9230805-0E4D-4BF4-8AAF-5F203496D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$F69BBB38-86CC-494E-88E7-3905E77C1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0834187a6dd7c0f4af75042c0b4b718ceaf9c85","datavalue":{"value":{"entity-type":"item","numeric-id":1819572,"id":"Q1819572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$B2564705-CDE8-4A2B-A6D8-F317BE9170F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$BE2B0738-9EC4-476D-9C76-AB191C08E332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$548417DD-5016-42EA-B762-F0CED247A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faafb598fda1606e25f44dda2a82bc799640a14","datavalue":{"value":{"entity-type":"item","numeric-id":1102731,"id":"Q1102731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$EE4CE1A4-8D35-41E6-BC19-B107DCB56DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$62272FDF-E00D-490D-8502-6AF7886CA888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09be05880714a1d3b9a3367e6693661358ec0b2","datavalue":{"value":{"entity-type":"item","numeric-id":3938466,"id":"Q3938466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$AC5BB45C-03AF-40DB-993D-1286CFCB5402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c0af17dc85865b0c440b7eba58f1bf7cca886","datavalue":{"value":{"entity-type":"item","numeric-id":1169808,"id":"Q1169808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$5A183119-3300-49BB-B656-6A858D406547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$27BED855-A382-423D-8EE1-DDB096A3E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b85c21c51833ab8f0213fb58f7f88ffbcbca12","datavalue":{"value":{"entity-type":"item","numeric-id":750415,"id":"Q750415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$4CB7C7BE-BEDB-489D-A536-B55C1E48E8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939691$7B28525D-5A88-40A8-963A-1EDEF09D34E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14de90fce43b7e45a051829c6d51afc2b789bcaf","datavalue":{"value":"https://doi.org/10.1017/s0956796800000204","type":"string"},"datatype":"url"},"type":"statement","id":"Q4939691$BCFB8659-0718-43D1-8B90-B26ECDF556F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"125528869c5b010b10607a5065d8528baa370f9c","datavalue":{"value":"W2098317240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939691$13FF8910-ACB8-487F-902B-8C940D834B5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939691"}}}}}