{"entities":{"Q408545":{"pageid":410312,"ns":120,"title":"Item:Q408545","lastrevid":61681446,"modified":"2026-04-11T00:55:46Z","type":"item","id":"Q408545","labels":{"en":{"language":"en","value":"A relational semantics for parallelism and non-determinism in a functional setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022774"}},"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":"Q408545$E5E54AA9-ED28-43A0-BE31-7345E472CF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a59f635eb31d155319c322bbc10d07b6b7c9fa46","datavalue":{"value":{"text":"A relational semantics for parallelism and non-determinism in a functional setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408545$C634E3F5-C936-4EC8-AD3D-306968384E2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a2e4ff2a0d0b09bb378ea5e312a393c4ac9c4c9","datavalue":{"value":"1241.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$047D7EA0-24F9-4B27-9AE4-70FA7A00D048","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$B6913FB3-4070-42B5-85FD-FB9B81BF6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$FFD94821-BA0F-4177-AC43-7BE9FE6DBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$DCF41534-8E03-4574-B4A3-45390671FE52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$B9485E5F-D0D4-438D-AAC4-6F69EB313955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408545$169CFC7F-041E-4BF8-8CB7-247662180EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$A8B74593-8EB8-482F-903D-16B122669F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$9E5A8467-91D0-4E70-B224-0EEBAC248FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$24F28986-E239-4813-A38A-7B197D8912B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$E024BC27-AF28-4850-8CC2-E5950AA2B805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78022e19d82ee97dc6804198d78be93042108797","datavalue":{"value":"6022774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$DABD9540-BA6B-41A1-84CD-9819CEB6AFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q408545$8514FCC6-C903-4D5A-9225-BE50094C9E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0ab382b35cea6f1ba25e17a87a5df2f3126a69","datavalue":{"value":"relational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q408545$FBAE6AC7-3ED3-4DB0-8CB5-8F1047927A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q408545$00DAD64E-AE4F-47B3-9AF1-8A90C94E3753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q408545$875D9A01-FF25-4B77-9F3D-C6CB41772D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q408545$B6EA7B46-DFBA-4BB0-B8D0-A68359075066","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":"Q408545$3DAA40D4-B85B-48DE-B29D-6D89474751B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"269a913c32a5f49c3edd2fdc3f5b7ed02145d139","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q408545$8A832FCA-DD38-4FF0-ADFA-BEB5094905FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ab45964c9726f1680dc23d657ff3ca67eb868c4","datavalue":{"value":"W2169655078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$6975B97F-5FB2-4B34-A7B7-5AA6C9B469D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$44296092-8EE1-42D9-94DE-45211E71B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$E7C33B6F-BBAD-4E0A-AA2A-1D6AF16B9AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b91c1e597e7a30d5292d890194aa38d3dc1889a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$F5EEBC79-4903-496D-B11E-1FA993C2B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$BA8C1778-025D-46D2-BD63-D6FB8CDE0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0870db58ef29af09183f5109755585782995618c","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$52A41AE0-38F8-4668-B24D-949CD6AC3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$FC80D8F8-0F96-403C-B304-E36B8B178C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7631dfe98f153b44523a49c42bb14e1fd65c15","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$0F9B36C0-CB0C-4531-9FD1-732C05C78F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$C7A58359-0DFC-43DC-BA65-B042630E3C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3922828cf4dbf4516fa0211fdd931e2efe1e2b6","datavalue":{"value":{"entity-type":"item","numeric-id":672044,"id":"Q672044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$2DC7EA48-871B-46B0-AB0E-697C154E6171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc37ebf85b158f95e7a2fe63513f109810e5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$8360E28F-A29B-4B7F-A0F1-131DD087FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780a9ad4c86d73c5a3a0d8fefdaaf36e7ad91501","datavalue":{"value":{"entity-type":"item","numeric-id":4286525,"id":"Q4286525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$EE440AEB-3944-4647-805E-5DC611E728B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03098e4e1ce88eb9dd426831b61463f3e9e4b55","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$C7FEA129-0DA1-4242-8849-BABF2AF323A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$252F549F-EE5B-4B5E-BB2F-0449D1901C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$1E9E6849-35C9-4FD9-A4B6-DE0ED2B7799D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f6ca5ab3c2d44af5ccd4591530402e9e560f00","datavalue":{"value":{"entity-type":"item","numeric-id":5899099,"id":"Q5899099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$967178D5-159B-4712-AEE8-5075B04A16BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979527873e56ce4a7e38801acf179445595090a5","datavalue":{"value":{"entity-type":"item","numeric-id":2492185,"id":"Q2492185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$E4DFA8EF-CD55-4D36-8877-287DF531BE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$AF2BA917-6F54-41F4-B15F-47FA39726E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$E4D5A13E-0478-447C-9583-7EBBAFF3DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5b0cbb25e0f5891c436ffcd8cb33862a001234","datavalue":{"value":{"entity-type":"item","numeric-id":4709842,"id":"Q4709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408545$03F10AF3-872D-42C8-8EA0-FF4250F28F79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007dd1ac7a87ac93ad8291c0c622a58b7136cae1","datavalue":{"value":"10.1016/J.APAL.2011.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408545$E2D13423-CAD3-4CC2-829B-207AAA23A063","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd10e95a9a98d9dbaa54677c6d085a072897086","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03bb9db82faa4a22c6cac9ba21202b9dac60d96","datavalue":{"value":{"amount":"+0.917332","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":"Q408545$59CE5802-1C10-4C26-84DC-268F487A96C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f1d19eeaba7690e11aa21cdbf8c6d39f05e4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2733158683e4b692217d9ee9f252da1e36ede77","datavalue":{"value":{"amount":"+0.8983488","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":"Q408545$1854E369-4B62-4A87-89EB-F4E0A6CACBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c341ba6d39cda177452b490acb0978c47e0cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4e5abc4a8dddc2fd103bc666c981fea95eae5d","datavalue":{"value":{"amount":"+0.8952447","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":"Q408545$2E1EADC7-A41E-4153-9D62-CFD7F300DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57b31ffdf0ef9dfddb24b06f4167f6cc245c5d2","datavalue":{"value":{"entity-type":"item","numeric-id":2763373,"id":"Q2763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1f5478a04ffb91739640134f899cf891fafdd7","datavalue":{"value":{"amount":"+0.8938945","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":"Q408545$3B4B6C70-4922-4366-B324-2B16C8849791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13960a32f0259626006be9a582f01a0192b686aa","datavalue":{"value":{"entity-type":"item","numeric-id":792754,"id":"Q792754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dd5bf628ea8a8f7d45f4bfaad8fb7ddcb5b6b6","datavalue":{"value":{"amount":"+0.8903065","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":"Q408545$D3C00CA6-6FB8-4471-A5ED-70CF639CFFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf3552f01f3e990c090d3d92f13a95237637f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1328556,"id":"Q1328556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf5eaf39305d2f1d43eac688673d72f0b38402c","datavalue":{"value":{"amount":"+0.8869991","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":"Q408545$6EA34D3A-61B9-4FCD-8E2D-BF84C58657EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ff3f3126e0291a632494a6aa61c7fe3f5d621c","datavalue":{"value":{"entity-type":"item","numeric-id":3095349,"id":"Q3095349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec25b16e91966c02b3db1626e732f4e34316fc4","datavalue":{"value":{"amount":"+0.88439745","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":"Q408545$1D52C736-7596-4406-9B6F-27FE07DFC4E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relational semantics for parallelism and non-determinism in a functional setting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relational_semantics_for_parallelism_and_non-determinism_in_a_functional_setting"}}}}}