{"entities":{"Q478379":{"pageid":480146,"ns":120,"title":"Item:Q478379","lastrevid":62129766,"modified":"2026-04-11T03:58:25Z","type":"item","id":"Q478379","labels":{"en":{"language":"en","value":"An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376567"}},"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":"Q478379$ABDA10F4-5B3F-49D4-A5BB-5788A6B5567F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c03385861cbb1d8431ee9ad786191bc443d076","datavalue":{"value":{"text":"An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q478379$1AA26BBD-D17D-4471-84C5-099FBC442145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1e8a8dfd580805f25052892698fa2eb3974b4a7","datavalue":{"value":"1304.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$1C408885-E326-4626-84DB-8871153BC2F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b524c9901574bfcbf3bab413d3b290e2d1976f9","datavalue":{"value":{"entity-type":"item","numeric-id":478377,"id":"Q478377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$A2ADDE82-0454-4F5F-8E1C-C8D56A9B2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$D6E7433F-05F5-450C-85DB-E2B61C25B8B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$3030F647-57AE-4F20-9991-2F951BFC08FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726f2859ee2ab0ef37011c240f51f25426a8471d","datavalue":{"value":{"time":"+2014-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q478379$713E3D2B-FD50-4C58-A25A-90D04D69DDCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$FFEF3696-3BB1-45E5-9CC8-06E15920F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$23CA65ED-B604-4B2A-974A-750104F1B0B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32776df03dacdb368d3ae06cdebfb6e263e09077","datavalue":{"value":"6376567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$34DB1F15-244E-4BA2-9458-B1E61F852D18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eebf0ebcb84cc6556f4881976bdb73fd809b0c7","datavalue":{"value":"multicore","type":"string"},"datatype":"string"},"type":"statement","id":"Q478379$22993E73-05FB-479D-8687-275B6D1C2F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q478379$771C1001-EB1A-4393-98B1-25574B5FDA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q478379$8A1736D5-7D8C-462E-87D0-3A6DC3ADF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q478379$A8AE53FF-8296-4EC2-AEA7-3269E6EA49A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q478379$489D97DA-F693-45DE-A711-357EB56DC74E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$6770A158-DBCC-4399-AD66-88ADDA6CFF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34aa30938ae353a23e8c8fd56527e2797d591930","datavalue":{"value":{"entity-type":"item","numeric-id":20409,"id":"Q20409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$79092349-8A23-45E0-A47A-E9F879733DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a2a0944c8cf045367194bccc6df8bb149e4fde","datavalue":{"value":{"entity-type":"item","numeric-id":39366,"id":"Q39366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$5AB3A12C-2E20-41EA-96A4-8CBAEDDC14E6","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":"Q478379$3D698637-731A-4332-9C08-4F05B7F594C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e884ed4718232e05f259016d9f0e7214e3a693f5","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q478379$DCA91C11-FEFA-4CB5-BF61-FF9E0F8DC181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c7e385b0c40a2a9f0ed17f932e03a0cc42eff22","datavalue":{"value":"W2026366530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$C413F18A-3FC6-4271-B797-533A9B19E058","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf64a9e141ce8301c8d7f3ee4e5cdf43ce7806be","datavalue":{"value":{"entity-type":"item","numeric-id":5176931,"id":"Q5176931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$EB644D33-935F-441F-BCB2-CD412411BCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c01bfb65f437d69fdbcfb2d9f8c34823e70739","datavalue":{"value":{"entity-type":"item","numeric-id":5747770,"id":"Q5747770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$70F79109-04F4-4E95-B95F-998A80B8BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd687052f1c98d5be7972b5f2558fe2c0fb7407","datavalue":{"value":{"entity-type":"item","numeric-id":3579404,"id":"Q3579404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$5C5B59DB-96A6-44A2-9007-A4AE615BE81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bd35d34c8cb4660ca6ae9b0c6b460814b14576","datavalue":{"value":{"entity-type":"item","numeric-id":1082818,"id":"Q1082818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$B89E5407-AD2F-4F19-80AB-B02F92887575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$30FCD54B-9115-4161-8B75-172D478A56F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$87D2852C-706E-426A-801C-D8A122939C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$D014FC82-C931-47BF-8E99-F865A993F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$ACF2E7F1-A605-4031-88AF-612F453E236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$022B5D56-2EC8-4EF0-AC4E-F0878CFD70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d1cd7714eb1fb3ccf8e27b50e0d390a01faff2","datavalue":{"value":{"entity-type":"item","numeric-id":2251131,"id":"Q2251131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$BF63F017-7897-4613-BA88-0951F6CD69BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b9abf330dda49b8d7d0e25a087f2609a834d6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$130ED28A-9A5B-4011-95F7-DA2AB3A8FC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$7BD507C6-7260-4F8A-B655-08C6B5E51B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0752e584e73e5e512a0dbdc6f3642a06776294c6","datavalue":{"value":{"entity-type":"item","numeric-id":1606813,"id":"Q1606813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$0800E3D8-92AC-4356-94A1-475F02048600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$0C3A0B56-5D58-4124-826F-B54E59E67949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44283888a711da2bdff4d70851458382102a5149","datavalue":{"value":{"entity-type":"item","numeric-id":3189045,"id":"Q3189045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$FEB0DE7B-B489-4ABB-882E-7076C8DF0D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$20DE0683-6074-48D3-BF09-24A1BAE8CC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba580116a4f7ad65b76e0471fa738ccd5feb2044","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478379$32D5BE70-74D1-42FB-87E4-1A61BA6C2021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"790935d300545c560bc4e7a48d400f4df2f9a8e2","datavalue":{"value":"10.1016/J.JLAMP.2014.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478379$B6192AC4-71B9-4D7A-8B30-B8B772F8C086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238960227706417e300dc5955fff05e624b76871","datavalue":{"value":{"entity-type":"item","numeric-id":4936328,"id":"Q4936328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75dbb4c76f53a080da8240fb42415a55381a48d6","datavalue":{"value":{"amount":"+0.88819396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$EA481ECB-65E5-4019-8A41-22637EF98C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b629025871422b9acb77e033627828c95d931c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536986,"id":"Q4536986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5769233cdc26c1c10860911fb48bb542a972b3","datavalue":{"value":{"amount":"+0.8859021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$E0D51EDA-7880-4AAE-8ED6-B21E4FAC9FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01675245aa87209f2fb0805bfe5df5b064011ca6","datavalue":{"value":{"entity-type":"item","numeric-id":4040911,"id":"Q4040911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687fd992e1a9dfcc7c318c9a0dbd84b7d13467c4","datavalue":{"value":{"amount":"+0.8826238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$EA19366A-8760-4538-9EDD-4533319AF70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d967116537450628ed8a8ec63ce8fa21845806f4","datavalue":{"value":{"entity-type":"item","numeric-id":4948006,"id":"Q4948006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cecb88048119cb94bfb07891fe3cc0066dfc7c","datavalue":{"value":{"amount":"+0.88040125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$F55E001A-6F5A-4443-A283-22B538E3563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b50a0a8a0ea56530943db54d61651855ccd047","datavalue":{"value":{"entity-type":"item","numeric-id":4364369,"id":"Q4364369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cecb88048119cb94bfb07891fe3cc0066dfc7c","datavalue":{"value":{"amount":"+0.88040125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$C8EC31B1-9E2C-407A-BC65-26E7E05F527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc8d6a9f31f328ae3164f10c4f31c67c4a48f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3355229,"id":"Q3355229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa9134cf794f8ea8e362c06c707c624ac93e2a5","datavalue":{"value":{"amount":"+0.8793708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$F437EE7E-71F6-4ED2-828F-F299605D3151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ac04e4714240c5fa1c8ae225f9efc202707df7","datavalue":{"value":{"entity-type":"item","numeric-id":4287379,"id":"Q4287379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582516a5d24a2d0d49665babfd3ca514c6ef4821","datavalue":{"value":{"amount":"+0.8787345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q478379$15D4E902-E76A-49CD-A24F-0C08805B2184","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_multicore_parallelism_using_functional_programming:_a_case_study_based_on_Presburger_arithmetic"}}}}}