{"entities":{"Q2915676":{"pageid":2926396,"ns":120,"title":"Item:Q2915676","lastrevid":85104059,"modified":"2026-06-03T05:53:49Z","type":"item","id":"Q2915676","labels":{"en":{"language":"en","value":"Full abstraction for resource calculus with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083533"}},"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":"Q2915676$7F824B75-B1FB-4EE7-AB6A-110233E37209","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8dfa009cebaefa216cc900ea0cced42fe95f15d","datavalue":{"value":"1247.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$47DE2D12-02CC-4145-97B0-D2B3FAA4C182","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":"Q2915676$E401FEEF-F0EA-4B4B-8020-3024A4F74169","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":"Q2915676$766BEC0B-94DD-4D5A-8370-51F281A401F0","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":"Q2915676$C33799DD-247B-4757-978F-DE9C05AA16EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915676$169F9E46-195D-4E9C-980B-7C0101B35CD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915676$2B36A334-9064-42E9-BA73-6AC6FEF3A9B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd5fd4e654e6fde3b521d46d11bc42d6c1a2d68","datavalue":{"value":"https://arxiv.org/abs/1209.2890","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915676$84B7CEA4-7C62-4304-A32A-5368BB978F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"379780ec2320ed28114496212cc1d2a3e9636611","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_b777.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915676$5F6F7006-6DDE-4A88-BA67-DE2DF414F25A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$F5D10AA4-7D9D-48D0-B1CA-09046FACA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$E23D5662-408A-4082-862D-C949F8D24812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$EA67B224-77B6-498E-AE00-5BED791E492B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0eb876a27eb7a59cb9cbeb1a231831542d08b6d","datavalue":{"value":"6083533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$256FB337-0BEA-450D-9E90-0947A39D03AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e02dcc8878af0b2a9706332c967e786b321934e","datavalue":{"value":"resource lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915676$38C7D630-C3B0-42AF-86BC-998742C61095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915676$BA6664A8-B2D0-4C63-86A3-EF142A473953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915676$046F9241-7688-4D02-BED2-C684F3249375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915676$AFECBFCE-CCE3-4026-B6C8-B55411373215","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":"Q2915676$3FE60B24-6DDA-4E7F-A67F-644662229496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da4ced37c22bf13737184f536a131c206b2ee65b","datavalue":{"value":"W1820150402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$F3369ED7-938D-41BA-9A92-86F5E3922960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5e91b0afb6ec1ac61d658d2a41972d85b5d9686","datavalue":{"value":"10.4230/LIPICS.CSL.2011.97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915676$CD18AD40-2728-4411-9AB9-E82D4281482A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f548afb0b0650190c82c11d93b2e223e022e57d4","datavalue":{"value":{"text":"Full abstraction for resource calculus with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915676$B67D4844-25A2-41F6-B903-0B7D3BBA0BDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d0a15e9e332dd2310f9c49933751f3ea39b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3166224,"id":"Q3166224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d34d54db0d1085780ec541ab31079964c6b357","datavalue":{"value":{"amount":"+0.9646800756454468","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":"Q2915676$4BD243B6-887C-47CF-B0E7-23705BF9931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45a22afc5a7a77f2420be3307cf556f18dfbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f92eb239976e65b09db051f8ef49b7e48231e3","datavalue":{"value":{"amount":"+0.8454418182373047","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":"Q2915676$FB0B6041-BD28-4B5F-9527-90908698A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ef887785c5871ea73ecf7d64bbe5f0a6456b66","datavalue":{"value":{"entity-type":"item","numeric-id":5300896,"id":"Q5300896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1914d2ee1235f664e5f84ef71434dcb90f200660","datavalue":{"value":{"amount":"+0.8427010178565979","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":"Q2915676$5B6B30B8-8744-4B21-B8DF-881F60277EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0be5f0fd0cedf544388497b7355681bc83e578e","datavalue":{"value":{"amount":"+0.8300126194953918","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":"Q2915676$95BF756C-7DAC-404A-A562-BAB1F817370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95456096b9e32df9152088948f825482efa06ac","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48411ee1f9f0a24c936da68ce5e7a2e7957c22d6","datavalue":{"value":{"amount":"+0.7937824726104736","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":"Q2915676$9A94A520-E26C-41C8-A945-6D0D2C243A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction for resource calculus with tests","badges":[]}}}}}