{"entities":{"Q2229144":{"pageid":2239887,"ns":120,"title":"Item:Q2229144","lastrevid":53940173,"modified":"2026-01-25T23:25:08Z","type":"item","id":"Q2229144","labels":{"en":{"language":"en","value":"\\texttt{EVL}: a typed higher-order functional language for events"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313963"}},"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":"Q2229144$7D2ED18B-887D-47A5-9AA2-C2C067F96A8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a886e870c48b029ac3b58bb15b60db019436d644","datavalue":{"value":{"text":"\\texttt{EVL}: a typed higher-order functional language for events","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229144$D2552D29-9945-487B-938C-9C5C854F855C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$86D65574-42DC-4E47-82C5-6DA7D9A24C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$60CE5CDB-C545-4372-9E23-FF386C0DEB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2846550dbc6b49931f55463c96562dae60cf9d1","datavalue":{"value":{"entity-type":"item","numeric-id":261303,"id":"Q261303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$6A6A9E31-17D5-47AB-8B3C-4341E84AF220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229144$C104D7CA-EFAE-4475-83E4-61EB1F4E2946","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93619023b5818410005f950bd36f3a8d207c3615","datavalue":{"value":"https://arxiv.org/abs/2109.08960","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229144$FC488CDB-7637-4786-A816-1C52E4217788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229144$CC6DF8F4-C696-4542-B971-FB24C4329440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a0fdf2135a37fb53925c1a4d3ac2d592d202a93","datavalue":{"value":"7313963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229144$2E02819C-F3F1-4CD3-AA0C-1A86737F6EFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229144$26011B8C-96C3-4841-B6A3-5CF08D11E2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229144$B5FD066D-442E-40BE-AE36-246E38087016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661e57ec499dc75851647185ef73fcf141158acb","datavalue":{"value":"obligations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229144$7B15615F-D80F-4186-9CA8-17D9B6D2C565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33748235d15869c3dc24d46db9dc0c8b399e513","datavalue":{"value":"record types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229144$353EE0D2-26C9-421F-A7F4-4342A63D18CE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"34bf39e53d1359444de1795370432579fbe8f7fe","datavalue":{"value":"Q113317320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229144$4674D265-DBC9-457F-A723-60FABE679F1E","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":"Q2229144$7259BA27-C53A-40A3-8E89-87869152B211","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98a79e4a3bae9986f5fb37ffa8d26dd307caa0be","datavalue":{"value":"W3092566726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229144$E69B9250-C1D3-443B-B0D1-0A6AE9863A4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04d941540841f43d59ee02c523ecce8768eabd7","datavalue":{"value":{"entity-type":"item","numeric-id":5743588,"id":"Q5743588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$4DB41065-260F-4BC8-BB7D-30B5FFE7EFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd7ab821117da2c5bdbcee244ab72aa4d8f56c5","datavalue":{"value":{"entity-type":"item","numeric-id":2949705,"id":"Q2949705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$B8933ECB-2B14-4263-9DB8-8EA5EE7C7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$5C731CE7-1E49-421F-AFA0-B6FCA3DAF126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea1b77230e4428ebdf960f8e297213fea2e2055","datavalue":{"value":{"entity-type":"item","numeric-id":5887510,"id":"Q5887510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$BF5C8191-49BB-4827-A645-A626BF3D8A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e3ee349695bf11b07784e676f866cd5deff086","datavalue":{"value":{"entity-type":"item","numeric-id":4410672,"id":"Q4410672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$17961774-5F1F-4D9D-8D62-3066CAEF4362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60801900cd0388f128140114c8bc59a5e67e882a","datavalue":{"value":{"entity-type":"item","numeric-id":3142165,"id":"Q3142165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$831F264D-7321-4246-80DD-962D48DF4323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$F473C85B-637D-4D22-BB80-072E9F77719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5465485a43d2325fb299c46b9cd69c91789ae02a","datavalue":{"value":{"entity-type":"item","numeric-id":3204026,"id":"Q3204026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229144$F264D787-F520-4342-96A8-6550CEF99A1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"770142f9f655229b33bf2953a7c5da265abd811f","datavalue":{"value":"10.1016/J.ENTCS.2020.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229144$148D28F1-68F4-4F4E-BC57-5F27F07EF591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301d70a9660e4aeec5a791771241104c44f49527","datavalue":{"value":{"entity-type":"item","numeric-id":5743588,"id":"Q5743588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb4dbe2dfdf75123ff361a81d5fc596d2fafb25","datavalue":{"value":{"amount":"+0.7749509811401367","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":"Q2229144$A5748E04-1C7F-4BF3-993B-BB87E43F3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66f63079f19bd41e7db44ba2f99b4e4472ca359","datavalue":{"value":{"entity-type":"item","numeric-id":5418978,"id":"Q5418978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f567b8392ddb6406949210469bdd2779ee04242","datavalue":{"value":{"amount":"+0.6852306127548218","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":"Q2229144$27CB2339-B5FA-4667-A157-A7B5D62F8971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a5ef6861d19a39c1e8b1a18b17a49ee245a48e","datavalue":{"value":{"entity-type":"item","numeric-id":5492832,"id":"Q5492832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c32117ba570f672abc423912651949230932cf","datavalue":{"value":{"amount":"+0.6770138740539551","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":"Q2229144$D4D23E84-1DB4-42D1-8AD6-41281F4F7F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1009e29d638f9e90b776c95c5e7d6103ba46d248","datavalue":{"value":{"entity-type":"item","numeric-id":4779103,"id":"Q4779103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa662feae9d8b7c18e5c289d1af93e93aff92f28","datavalue":{"value":{"amount":"+0.6626836657524109","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":"Q2229144$68742426-C9F4-402C-B5FA-C7AAE4799CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477afeb92bb53c2e92806a0d762111f5943b1d20","datavalue":{"value":{"entity-type":"item","numeric-id":3533119,"id":"Q3533119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613e8cbede01a0dd2c18dcaf611f45ecd30cee1b","datavalue":{"value":{"amount":"+0.658511757850647","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":"Q2229144$0BD4B4DA-F109-4AF5-8D66-3E16D138B6E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229144","badges":[]}}}}}