{"entities":{"Q3455843":{"pageid":5235243,"ns":120,"title":"Item:Q3455843","lastrevid":58180653,"modified":"2026-04-04T03:22:06Z","type":"item","id":"Q3455843","labels":{"en":{"language":"en","value":"Call-by-value non-determinism in a linear logic type discipline"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520038"}},"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":"Q3455843$4969B6CA-472B-40B3-B110-B8E93C1583EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"689774586733898fbeb18810f761edabf8da3023","datavalue":{"value":{"text":"Call-by-Value Non-determinism in a Linear Logic Type Discipline","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455843$4C18CED1-FEC8-42DB-90DA-5DADFE69C9A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b4d39d09e0ae70a3674fe8eef4550017f8a52d","datavalue":{"value":"1434.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$440C90FE-A018-40E5-93C6-CBC74DA7EF65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c016749d9ed615ad196dbd13d828d2e3f23c339","datavalue":{"value":"10.1007/978-3-642-35722-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$FEC155D6-4FA2-4A0F-9199-8B0450A34342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$A41E3747-9566-4E45-A16E-271FF0A9A866","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":"Q3455843$68C03BF0-505C-49BD-8AB8-CBF3B2B9D8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$9CCEAB1C-8C3D-4D57-AAAB-27B3401266E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$14E45BF4-7B9F-44DA-98C1-ABD29915C828","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455843$BC0550AE-B6CB-4B34-81D4-B6F7C17AC311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7d3ee36f08ccf8fbc98c1326f9e6dbf99b995b2","datavalue":{"value":"https://arxiv.org/abs/1312.4507","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455843$10BB12E5-AF3A-4297-A4FB-852B67719688","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$5021D869-924C-4587-938D-FEB93DABEDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$3723F9B6-2862-498A-AE15-606C650948FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$CA94210A-A560-4624-9A5C-99E3AACD3E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb636c52b88ef0a8690fe110076e953ad14d1d0","datavalue":{"value":"6520038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$10756CCA-15F0-4AA3-96A8-E367A42C93FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455843$59DD0397-0079-4F3A-BC71-37233E37B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455843$CF9AE7B8-99F9-45A3-8E0C-6895D978730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455843$4256960F-085B-4B58-8077-BE4447B2F231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455843$87D58B46-CAA9-4166-B66C-3BF2B6D85115","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":"Q3455843$E080D7D6-CFD5-4355-8C1F-A042E3D181E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d80cf8a163034a5b3256756b9a39c1df4f79bfed","datavalue":{"value":"W3099560079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455843$220AC5E5-7627-40C3-B8E3-0F172FD8979D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4f020a51168a828551c25efe2435d5943ef4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$29B3E571-071F-4CD5-A2AD-C52C4F8EEDF5","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":"Q3455843$5AE40140-C0F3-4831-BFEB-C0DBE5907325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f524a2f71b178502e011bbad6797a16072654b53","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$3F04AE25-7790-4544-A830-9D1691929FD8","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":"Q3455843$B342B730-27BD-4AF2-9276-75C00506A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152529a731a5e87e191e763c50e57d59c2145e8a","datavalue":{"value":{"entity-type":"item","numeric-id":408545,"id":"Q408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$3D4CB3D8-D852-4D4A-84FC-6328118AC822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$3256ADEB-903E-4382-BAA5-4411FB84399C","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":"Q3455843$B3C646F4-2C72-4D29-BFCD-E768315D2D95","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":"Q3455843$E14363A4-4307-46A4-BE87-4FBE51836AB1","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":"Q3455843$F2727987-E6F6-4DA6-A24A-A171E0966F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0023361e04cebcda8092e5d43d5aa3d205a30f","datavalue":{"value":{"entity-type":"item","numeric-id":3182956,"id":"Q3182956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$C87F1F4A-9F3B-4529-BF94-8EBC377CA83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$5E8D4CFF-4679-4D62-B78C-686D753C9122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28494d20396af22c610619948e85664efe1fa4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000282,"id":"Q3000282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$9DF5D80D-3572-40D6-B67A-4D7FA198226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$39EE5C43-EC43-4B31-8370-11EBAF9EC547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d110ee8515ab3a839e8bf4b1df2fecda5c5bae4","datavalue":{"value":{"entity-type":"item","numeric-id":3890661,"id":"Q3890661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$40984512-42FE-4CBD-AF68-7445FB157C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455843$41457E51-EE28-4102-82D3-9B56A83A6281","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffcee15f178083f93d9f78f39b8c5edf116a9f8","datavalue":{"value":{"entity-type":"item","numeric-id":2915029,"id":"Q2915029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72b5865d2e34e24116af6edf39597b8c61642dc","datavalue":{"value":{"amount":"+0.8389539122581482","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":"Q3455843$8B954885-94E4-4180-8C1A-693951F923D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380c46ed4d52695839de7c81db48dadacf57759","datavalue":{"value":{"entity-type":"item","numeric-id":2802478,"id":"Q2802478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3561dfbe0cc0487cd5fb0a54bb881b9a0216dc","datavalue":{"value":{"amount":"+0.7732767462730408","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":"Q3455843$C9E5EF24-3196-41E3-A346-F33E00DBA0E8","rank":"normal"},{"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":"180432d88dbcf8a60ecbb19bedcbcdbff86e3657","datavalue":{"value":{"amount":"+0.7544111013412476","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":"Q3455843$B6588341-8FCE-4855-8CD0-6777BE3F8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a972be7e783a2c1cb90b6616f263874aded4720","datavalue":{"value":{"amount":"+0.751194417476654","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":"Q3455843$4E253662-7DCF-4CB4-817D-4A09B3DD022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07dca762462577ffab778065321a9b91614ea3a","datavalue":{"value":{"amount":"+0.7488510012626648","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":"Q3455843$B52183CF-3BE7-4E2A-AD79-88D9133FB118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455843"}}}}}