{"entities":{"Q5118975":{"pageid":7148549,"ns":120,"title":"Item:Q5118975","lastrevid":58432188,"modified":"2026-04-05T04:57:18Z","type":"item","id":"Q5118975","labels":{"en":{"language":"en","value":"Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242848"}},"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":"Q5118975$471E8E44-3BA7-4DDE-A6AB-721E3F7CBF48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3300a78122ae402bb815000275030b6c8971bea","datavalue":{"value":"1446.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$1EE16252-5CBD-4AC9-878C-3FEA72A0B902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe0ec761a3137bdbf81e13cc2e618a521a47a56d","datavalue":{"value":"10.4204/EPTCS.153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$503F9F1F-38E2-4FB6-94F0-E53F6D4C5E19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118975$F94116D6-A876-4AE0-A408-DA80E04F5621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9664f6f6e5456afe3bfb06f929911655f386b297","datavalue":{"value":{"time":"+2020-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5118975$3C2F738D-8A15-4ACD-9D22-65036AB54AED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc565d39222a471af4cd37c9dffc96f5967f13c5","datavalue":{"value":"https://arxiv.org/abs/1406.1534","type":"string"},"datatype":"url"},"type":"statement","id":"Q5118975$169EDFA2-E7B1-4B37-9F8B-4E9B2F491632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd628d1ac3bff6338e9eae977a26b137e56eacec","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?MSFP2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5118975$5FC4630A-56DA-4348-A26F-1FE03E0340E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$FE2A70B1-2407-45A6-A2F5-09FA09B7ED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$B7BC5BB1-9A9F-4407-B2F3-E31B39831684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$B5104685-5DE7-43C5-9627-AFDA574D9D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9533f9ee2669b3b8753de1034761984067ad4173","datavalue":{"value":"7242848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$EB220321-A5F1-460C-BFD8-44BCC71FD7B9","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":"Q5118975$8776AC56-AE55-437B-8199-1FFA5D597BAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0684ccedc126b55f02c8a608e1d90b8c0978f4b6","datavalue":{"value":"W1966256736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118975$BE77A87B-A35D-48D7-A5A4-ECDAAE3C18F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96524abfd3467a01dc6cc5b1c10eb8edfd0355e2","datavalue":{"value":{"text":"Proceedings 5th Workshop on Mathematically Structured Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5118975$9BC7D433-DA30-4BAB-97AF-4148ED698111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c69cd62136f4fb7024e125b8d84eac4023d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5117666,"id":"Q5117666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a421f164bca9337233b638cdc609da11584775e9","datavalue":{"value":{"amount":"+0.9364089965820312","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":"Q5118975$EE5BBCDB-2383-4E5F-AD73-CD32B4CA12B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1044a44def8f0ed33f1eac280a4ed150ba8f95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5118976,"id":"Q5118976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c658cf89396ca038deeabe4379fd72abf28542","datavalue":{"value":{"amount":"+0.929570198059082","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":"Q5118975$B7925C16-017C-4513-804C-FBB14334D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9995876db637a2eaf8e7583cc6b6207d12a83d1","datavalue":{"value":{"entity-type":"item","numeric-id":5118978,"id":"Q5118978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd4d39d01e947eba6463d933f7d95238b864c9","datavalue":{"value":{"amount":"+0.9048671126365662","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":"Q5118975$6E919EA2-3BFF-4591-8D89-78636183BAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f4cd17ae064513e890bc8845d3ac123ed28ead","datavalue":{"value":{"entity-type":"item","numeric-id":4993749,"id":"Q4993749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8584714fe4e83c80ff9faf3e744cd1152b0fde47","datavalue":{"value":{"amount":"+0.9013211727142334","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":"Q5118975$7FDED156-E9B3-46EF-8EF2-DB01229C167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82953d4a2a265dac8f04d2b0fb1d1fa80fcaf2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5117665,"id":"Q5117665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8f19bb954804fab50280e69dd441032466db9b","datavalue":{"value":{"amount":"+0.7372078895568848","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":"Q5118975$EF57E260-E422-4B37-A48A-F293E0AC223C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5118975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5118975"}}}}}