{"entities":{"Q5145303":{"pageid":7174874,"ns":120,"title":"Item:Q5145303","lastrevid":58447683,"modified":"2026-04-05T06:34:42Z","type":"item","id":"Q5145303","labels":{"en":{"language":"en","value":"Work analysis with resource-aware session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298755"}},"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":"Q5145303$AA1849FB-1E8F-40B0-9558-B0BB672BFD79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66299d6647cc2d9ba52dda82d7df58013bd6aa9b","datavalue":{"value":{"text":"Work Analysis with Resource-Aware Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145303$926A7055-527E-470C-976F-47CC2BEB222F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d367523ab723a0dc82a10dde3c5d96561d8cfc1","datavalue":{"value":"1497.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$83656424-B044-47EE-B777-CCC8E2AADF7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e1b2cbd62ece3f5b90bc7840ad7deb4ee8b5bc5","datavalue":{"value":"10.1145/3209108.3209146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$44976CF5-1E84-409F-AC12-A807DFE47B13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb6fec8e8be7aef9744c6cab8c4ecb8b67169ed","datavalue":{"value":{"entity-type":"item","numeric-id":2233454,"id":"Q2233454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145303$11F786BC-A97B-4E2C-8383-F3B4D5C0D7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145303$83D70D9B-F79C-420C-AAEE-19D86495E833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145303$26D0E08D-D989-4249-9F22-78694174F070","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145303$0978AB1E-C305-4618-92DA-1C3381CA40E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145303$DF47E604-50F7-4F4C-B6FD-7A1390C6724D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c9caae9532b8d1fcf96cc226d0e6bc66c784eff","datavalue":{"value":"https://arxiv.org/abs/1712.08310","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145303$5D40A4AB-27D0-42B5-9914-F0F65F2E6A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$557BBFD8-B3B1-42C6-8BBA-5B67F3E47E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$91034C35-94D5-4F7D-8353-8FC0ADD4C525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5954439bb67d7af72508199d20cd8fb219747ef9","datavalue":{"value":"7298755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$A705552C-FE90-4ED9-8C62-4ED16F24AE60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145303$64509366-13C8-400F-82A8-D13F4E329E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145303$C8D48C63-90C0-4676-AC8B-838459579119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145303$0C0D2822-0EA6-4FFB-92E6-2F52CCE9C2C5","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":"Q5145303$AFCBF675-62A6-4601-9336-4C37C147D6C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0885c9a30e33cfb0f1108bfb2c27334d03b01103","datavalue":{"value":"W2963595697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145303$D01A6854-F323-4363-9C9E-CE31100006BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708f96d0fd2676f1f5ca438a298b0bddb7ff2002","datavalue":{"value":{"entity-type":"item","numeric-id":5310663,"id":"Q5310663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd762900c4412e46fc0687ba8e7b9487e1b88383","datavalue":{"value":{"amount":"+0.7417035698890686","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":"Q5145303$E8F631BC-58EF-46ED-BA23-DBEB2340FCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9a2ab61bcbb5e352bd51746056edbe19c86c63","datavalue":{"value":{"entity-type":"item","numeric-id":5898625,"id":"Q5898625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5241a79cccc42a7ce5bf1cb8ed444a369b372365","datavalue":{"value":{"amount":"+0.7392501831054688","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":"Q5145303$F3EA31C4-BEA3-4C1C-9EF7-8A1D7BE35A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b481af36f516e073227c33647f7f5ef6d6d85","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4c14f357ec5f66623e451ce7d2d559cd0b9ddf","datavalue":{"value":{"amount":"+0.7292554378509521","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":"Q5145303$A9CE2EBE-CB41-4D4E-ADBB-2F1B838D63CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ebf1c7e2b0f04ec3de2ce5d6cc1db0b34aab3","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee831054c6ce433ef2e315a9794d6f52c84a1af","datavalue":{"value":{"amount":"+0.7249494791030884","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":"Q5145303$EC0A7322-FE67-4E6B-AC0D-B6B58DD82442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e8990deabb0e7ffcf6ec082019013db4e1157","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c569cd8267ae17504cbcb226c7223c87b0321212","datavalue":{"value":{"amount":"+0.712909996509552","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":"Q5145303$B6DC19C9-1E7F-4FE6-8372-3A750FFEAB19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145303"}}}}}