{"entities":{"Q879358":{"pageid":881206,"ns":120,"title":"Item:Q879358","lastrevid":50091898,"modified":"2026-01-12T22:14:47Z","type":"item","id":"Q879358","labels":{"en":{"language":"en","value":"Flow analysis of lazy higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151776"}},"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":"Q879358$0E8D2B2C-A1D4-4B76-9904-11831A5E3366","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56035c080b1a51190c22650fbfcdd471afcaf3a3","datavalue":{"value":{"text":"Flow analysis of lazy higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879358$9F705DB4-4AF1-4988-B07A-E992BD93F072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"923ab6cabd3e4cb58216298f1c202eed27220a90","datavalue":{"value":"1111.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$51EF0BEE-6DDD-46BA-8D59-8E5511F444AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$47AB3AAA-8040-4E7D-B247-229988D99395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$2490BC88-56F7-48DB-8965-D11A25D69E98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879358$8E6DB578-7470-4386-ADC3-D4436FB473E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$705B6D42-4A38-4BA9-BDD3-5B18704543C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$CA096C87-2666-4270-8586-FC9FDAF5C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$B818BC16-12CB-4847-87F4-5B0BE6D3531F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c32868a48bcaf459034800f799bc002fe0ba6d64","datavalue":{"value":"5151776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$6DBE3226-1E30-4B7D-9F91-5F3586BAA26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25540c47471feaa9106858cf42204d46378622a8","datavalue":{"value":"collecting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$B6DB4B86-8D13-48B3-ACC8-16FE85D3390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f0051e32813cd0361df25e24b8a9b4109f8e23","datavalue":{"value":"higher-order program","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$F6D033B5-568D-47A9-915F-4480540EA201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f5696f476232cd5d266d67d2d75e4654fe4194","datavalue":{"value":"program flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$E032DF81-96B1-445E-9703-8906DAB24F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$AFFB3A0C-AF9E-4B44-8D7B-E75D8D4F4BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fad75a095bcdba4d15fe16bf8d3c66bf7b9fe6f","datavalue":{"value":"Reynolds analysis of applicative LISP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$3ECB343C-C7B4-4CF1-8DF7-F84D56BCA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$5D3AE51D-0C83-4B50-AC4E-8E2744E3A958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9871393b44a6ba76908b52355e24c65a60af33f","datavalue":{"value":"tree grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q879358$63714559-EAB7-4655-BDF3-52CF1B558313","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$3AA23794-AF4B-46BA-8395-A15421B8E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$B15C34D7-EFB4-423F-B734-049958E63D8A","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":"Q879358$11CEC220-8FEA-4EBB-8225-6AB6718B3361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3242f7ce6a3b62d10c7716aa09cd584ee332b63b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q879358$8E599924-E19B-494B-BC8B-9AD34C5CD204","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e4bc9d792daf41187c43492d59e88aec758b8f0","datavalue":{"value":"W2006990447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$400E898B-A689-4727-8CD9-5248C1FD18A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e490f73f7bd52f2b2f1266074fe30c748649c285","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$F0F427E9-0DDD-4636-A66C-9FEF62149FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$72982C87-A8F3-44E5-9157-5581F134DA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de880688783f8430991fcd8dea08e941fcd50481","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$12A7F6CB-2056-47A2-8D9F-F8AB1DF91964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$67FF65AF-3CA4-4F01-A724-84B56B329913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ccd431cef4cdf0d275d02d94c0c6efbf913649d","datavalue":{"value":{"entity-type":"item","numeric-id":1066129,"id":"Q1066129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$32EB4E74-EA03-4EEC-9F2A-BC8E5BD4F646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$2846231F-CE7D-407B-97D4-691142524CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$AADCD1D2-BB98-4229-B035-04AFCA2C5F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$A8A02293-758C-40F4-A08C-F1DE2E13A30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d965ae90a7eb20eb916fce33c55baba1ba71594f","datavalue":{"value":{"entity-type":"item","numeric-id":3735054,"id":"Q3735054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$6D12A5CE-C25A-4C7C-899C-164413741D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e036cb48b37a0cafe96d5a6bf3f3f6ac1308a9","datavalue":{"value":{"entity-type":"item","numeric-id":3685171,"id":"Q3685171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$80A9B2D0-122C-4968-A9C5-E55DF0BFFE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5abbe257c493edb7645d495fc8fbbf9b8f6617b","datavalue":{"value":{"entity-type":"item","numeric-id":3939216,"id":"Q3939216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$CDE3E5DE-F573-409E-9043-3D9549907FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63ec78833f22bb9e0e2200040a0b3d2024fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$39935A1A-707E-41F3-909E-D631E2AA1054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9ba75fef16caf9282c81430c3b3ff76dd43ed6","datavalue":{"value":{"entity-type":"item","numeric-id":4259964,"id":"Q4259964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$A28B5EE2-E937-416C-B094-64CABE2CC36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$8098EF1C-9837-489F-8D36-1E70C5F74232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa1ba90b9a9496beac3dac8a141ae4a758c2ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$2586E304-CA8E-4853-B38F-263ACC4912BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9deecb43d633f0a679ddf4b2f213ec299c95d3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5585029,"id":"Q5585029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$572E7612-1E39-48C4-8744-DAA5C89AAB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7a16bc99edf7dd1ee8087cc081df8601fdf294","datavalue":{"value":{"entity-type":"item","numeric-id":5901561,"id":"Q5901561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879358$2915A82C-F2A7-45FA-985A-039C878AC0A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d63942636d6d1e547bb08f278a11b0213e37707c","datavalue":{"value":"10.1016/J.TCS.2006.12.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879358$5E270988-609C-4AB6-A9A1-4BE30CB84780","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db91b422d0540cdfafaa09873afcd38ca09363a6","datavalue":{"value":{"entity-type":"item","numeric-id":3999863,"id":"Q3999863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ac08845185022f310a789242d18cec9a7ade68","datavalue":{"value":{"amount":"+0.7950482964515686","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":"Q879358$8F0B88FB-ECB6-48E1-8A40-8A639F8EEC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4570e91d20fbdb6fff2c47cc37373e3cce529e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedbc3b61c58cfa6d7f14c95e82484818845a33f","datavalue":{"value":{"amount":"+0.7945735454559326","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":"Q879358$DB1B6821-6AFD-41BF-A489-7EB13590C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298e3f3af8df72fb01270d4f9a22a3dc95e5c888","datavalue":{"value":{"entity-type":"item","numeric-id":3998830,"id":"Q3998830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77ba1bbcca8d20abca866ad86658dcd1a753fdd","datavalue":{"value":{"amount":"+0.7910054326057434","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":"Q879358$ADD5B053-CCAB-407C-BEDF-C507A4F05F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596aaa51d14f8295fd97818110b981ee7a9338cd","datavalue":{"value":{"entity-type":"item","numeric-id":3735054,"id":"Q3735054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e286c9be2a5e6bfb4910ae167926c68497094a88","datavalue":{"value":{"amount":"+0.7901288270950317","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":"Q879358$1ED72E74-268B-4070-96B5-A138FABA0E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9bb0620be25ddffb4c38a1aa0c61f2e4f593d","datavalue":{"value":{"entity-type":"item","numeric-id":4223775,"id":"Q4223775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0acaf4e925a9f76603326919dc1f24e7ba67a7c","datavalue":{"value":{"amount":"+0.785355806350708","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":"Q879358$154163E8-5E6C-4DD5-8EF6-AF11168761AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:879358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:879358"}}}}}