{"entities":{"Q5118978":{"pageid":7148552,"ns":120,"title":"Item:Q5118978","lastrevid":58425276,"modified":"2026-04-05T04:13:00Z","type":"item","id":"Q5118978","labels":{"en":{"language":"en","value":"Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242851"}},"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":"Q5118978$B07A10AE-0C1A-4BF3-90AF-F9C27EA036BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea1f5f634fafe3bcea7498f94d14d2db2ee88246","datavalue":{"value":"1446.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$29720DE6-2635-4D02-8E48-6B57A0BE2954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9613c4ad9ab12f145105eda086b1e925c530af4","datavalue":{"value":"10.4204/EPTCS.275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$85CB417A-6375-4D81-B6F3-8971657AB92F","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":"Q5118978$D7AFA48A-CF4F-4A6D-A14B-F06105934B7B","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":"Q5118978$FDE6E440-A72C-4FF2-B902-64CB980FF0AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce1d04240e718dc4acc0633108ae6e646456d1e2","datavalue":{"value":"https://arxiv.org/abs/1807.03732","type":"string"},"datatype":"url"},"type":"statement","id":"Q5118978$C410650D-9E19-4020-B0A7-EE59BC682DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d67174bda6241c6a632567b83b7733dbbc6cab19","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?MSFP2018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5118978$E6A38110-B5B1-43E8-84AE-C87BCEBEBBA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$7033CCDC-2310-46E9-9922-DED9B974FD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$58D8300E-3045-4BAA-B423-E7D6BBDC5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$B149E84E-A84A-4589-9C23-A604E87712CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53914aab2febd497f61bad7c5b2bf36e060d30f7","datavalue":{"value":"7242851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118978$D0D70A9D-AB63-45A8-8A12-CEAF6E65EBA4","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":"Q5118978$44082151-31F6-496F-A4AE-994AC406E823","rank":"normal"}],"P1643":[{"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":"08a1e9c34ed6f830a65fbf09c5d70cdd144850e4","datavalue":{"value":{"amount":"+0.9106726050376892","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":"Q5118978$7942F94B-FF6A-4D7B-8D94-7BB399E1DEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a47d1220c47696f470c50a537e0c4eafbb0d156","datavalue":{"value":{"entity-type":"item","numeric-id":5118975,"id":"Q5118975"},"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":"Q5118978$B31F62A8-E6E0-40D1-BFC2-C41FFFF2E932","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":"d7c23047a61e681db0b0b034a4e37cde601c1427","datavalue":{"value":{"amount":"+0.9047237634658812","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":"Q5118978$9A5E3481-D196-4EA7-839E-586D7AD57DB1","rank":"normal"},{"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":"de38aae4ea92c119011489df6933214dfad76c41","datavalue":{"value":{"amount":"+0.8910801410675049","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":"Q5118978$2A5A1E02-542E-4EDE-9214-DB3DAB1A8E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82e3bb4a5a7ec179a83626457aa100d0b07a5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3299829,"id":"Q3299829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2a7a65c2fbf08ce5c9c0dab78dce695795301e","datavalue":{"value":{"amount":"+0.7554828524589539","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":"Q5118978$9379FB7A-6F86-4A15-99F3-BB814CA5C725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5118978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5118978"}}}}}