{"entities":{"Q2358701":{"pageid":2369444,"ns":120,"title":"Item:Q2358701","lastrevid":73997067,"modified":"2026-04-14T17:59:55Z","type":"item","id":"Q2358701","labels":{"en":{"language":"en","value":"On concurrent behaviors and focusing in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731775"}},"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":"Q2358701$739937D7-8678-4DA3-8202-5CADFF846870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"647a93a510964befc8165f2d16d5d3f23dec22b0","datavalue":{"value":{"text":"On concurrent behaviors and focusing in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358701$D57D7021-2E62-4BA4-898A-D39FCFFFDAEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b33bfce93e8b3183974135f29499988e61cfe4b1","datavalue":{"value":"1371.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$5A9088AE-0FEA-4F7D-B1F2-A394D6061AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$5310E15E-3A7A-47E0-9A00-87A399CA79FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$43C25C06-7ED6-49C6-A62E-1994D6A3ACBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$2D03A549-6E9F-42E9-A1E2-47C30E8CC113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358701$CE7D8174-9207-4363-8B72-CCE9109C296C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$33B26A19-FA2C-4DF8-99E7-4914A696B05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$478B20D8-9536-4385-B29F-DE92EC30121E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e7dcf45a1d958625f664884535b5739c4c3aa90","datavalue":{"value":"6731775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$A7FD79EF-2B57-4B20-BC69-84EDDBD63486","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$1E534E19-CBD7-48DB-99F3-4234FA79DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$62FFB9CA-6CF6-4BB5-8E8E-92B19820F3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$AF76322A-BFD0-4969-830C-8BEA0457B81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$5B11B56A-0980-4D20-9EF4-FFD2696BF5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3432b550e99274be74463efc43c794142cf238","datavalue":{"value":"multi-focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$64E8E161-5474-4C23-A293-4D9DE33004BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358701$E7CB68D0-2740-409F-9991-D74EBA496B16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$F3B1F5F5-EA79-4276-BAE1-D386CB7ABD16","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":"Q2358701$1A86F2CD-C8B8-4A46-88BD-43C2CDFACFA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c36eb2d289b175f50ee2561797afacd9b94f9904","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.08.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358701$705DC3CE-D5C3-4F32-BE37-CB246FFC9FFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb2b2964093a89273fac4bebe0d95c20700dc399","datavalue":{"value":"W2523540408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$2F83DB06-3A06-4372-898D-477119209D78","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1dedab0a5f73a929320d81a3bbc6a57b4d5d74fe","datavalue":{"value":"Q57850677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$CCD63D12-05AC-491F-94E8-0574FD06B257","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e8aeac9c61540d3ed061b1062da63d321b55a3","datavalue":{"value":{"entity-type":"item","numeric-id":1342245,"id":"Q1342245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$734DF83B-C96C-4A9F-8D17-E9E208D57458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$87448598-CEF2-463B-9E0E-448BDC1C985C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$0BB2EAB5-FECF-4D44-BD88-7DF39E59B0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd3afa535a20ac94ca820381b6bfed8be849347","datavalue":{"value":{"entity-type":"item","numeric-id":5015210,"id":"Q5015210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$E6683F2A-3A7E-4EC8-A21C-4936877D7C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$9765F917-CC08-45E5-BBFE-6E4567371EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$40F66994-72C6-4376-A56F-7BC2747D61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa049e0fc5fa200e717f584fe754fb818a519c","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$DD4D2E2F-F196-43EC-98EC-E312DC9823F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d0438f456f344bf82d82a74150ccbdcf6c667e","datavalue":{"value":{"entity-type":"item","numeric-id":4649546,"id":"Q4649546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$97523364-2AB0-4ED9-B6BE-1A33C31EF147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a625f3d79e416593ccfff9f56db25a6e49ea3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3460050,"id":"Q3460050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$E93F0841-82CD-4675-9DC0-3F74843461D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$230C2CFA-D577-4142-B922-EA1D12A088C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$F9BBCA0D-0846-4B72-AC6C-FDBB8F318410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$00BFD43A-3304-4928-87A0-B88496C327C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d589b1dde682294e94cfef04828cf053fe194622","datavalue":{"value":{"entity-type":"item","numeric-id":1391102,"id":"Q1391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$4AFE2324-C6FC-400C-AAF8-0A688F8C370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$ACC09E33-FA1B-4337-A920-4EBF93A35AF9","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":"Q2358701$89CC6A45-6CD1-4A41-9637-8F848A9B929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed4de712ec6c0bccc49e1ae1fd9c59eae92a896","datavalue":{"value":{"entity-type":"item","numeric-id":3087436,"id":"Q3087436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$33160C2E-5C6A-4B3E-8B83-12E440A008EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389c270a04975059278317e246116b16c0bfe95e","datavalue":{"value":{"entity-type":"item","numeric-id":5897796,"id":"Q5897796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$E53AF7C4-4FC9-412F-91DE-1E2732BBC203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6cde7067c089c08b93b59c8290ccb4c375bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$303BD10B-8F2C-4762-A82D-C8F2B188E88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fffc54a00edfddf9d3810268855f84f2807490c","datavalue":{"value":{"entity-type":"item","numeric-id":5500406,"id":"Q5500406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$98571BEE-F9DF-4F20-8671-CFCBAB2BDB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$401F2ED4-18E7-442F-860D-989EAB4107A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$C8B8455B-F497-45B6-9F26-E9430028CE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ddd9a5dbf6af19c03a22059e9094ab9861a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3618852,"id":"Q3618852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$D30A3727-8427-42A8-80EC-E4E8EE048FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$E19DD4BC-3421-48A4-9280-5DA6262E8B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfe83606eec07fec39e27fe716dfbbb447faaac","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$4AA25EEC-3440-41C9-AEFA-2B8A50329A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16cf29a6be511b5490d0e9bb1ee22c0133e4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$432DD22A-F1D1-4773-B6FD-6A60BEF9C8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af86435b42405e3baf6ad114d46e4c9403be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2842123,"id":"Q2842123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$FB603F79-B443-426C-8F94-3A55087CF38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb3208a287646e52d72766a16ea750cc6bfdc36","datavalue":{"value":{"entity-type":"item","numeric-id":2628774,"id":"Q2628774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$6F8B05EF-1168-480A-9F39-93FB5188C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00685644b358a525abaa9e23d52f014037a53205","datavalue":{"value":{"entity-type":"item","numeric-id":281160,"id":"Q281160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$571E3A54-FDDD-49FB-9E64-A9CF6C936E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2c0810962b5c9b64ae1a12bfc6a6de26fb3824","datavalue":{"value":{"entity-type":"item","numeric-id":530860,"id":"Q530860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$8099500B-E96F-434D-9A42-F070FA316A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5489b5a21e6a1d194eff456c59674a50c3ae17","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$3FFB3664-684C-4EA1-A7E5-794B9AD541A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7335a89b16e48568f0fcf80fee2746eadf20cce2","datavalue":{"value":{"entity-type":"item","numeric-id":2348541,"id":"Q2348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$84895317-F2C5-49B4-90D1-4E3F8FD79F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e152594bbd7d3668c9ba9c42e7b6b36f416f5bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$E64D58EB-5B9A-4C36-A7DE-447FE2F6C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54a3aa9a1970210e49011da0d9bde98c2fd981c","datavalue":{"value":{"entity-type":"item","numeric-id":1744415,"id":"Q1744415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$04499A01-D4B0-432F-9BC4-C1C970DD26C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40345f92d93cf769c1028ef27400ee1eecab1bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4218945,"id":"Q4218945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$9694FE75-5A34-4041-920B-3F589E9CDC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$DE890D6E-BB0E-403D-8AC1-03D2EE9ADB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$99C7E67C-F1D8-42E4-9BF4-493F29491014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69a71b84be94781c2eb19624eceda8d26c45fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5096300,"id":"Q5096300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$B6834A90-5A86-49AD-A20B-069A0B694CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358701$3186D388-FEDA-4A0A-8CE0-FB1F89B248F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94b408a0ca7df0174f0e4649367ca8666a57eff8","datavalue":{"value":"10.1016/J.TCS.2016.08.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$6570D9BA-CBE3-4827-AEC9-62D864901DC5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"71a23d4d5d5c972c5e715d1b5bb49fe42392d03f","datavalue":{"value":"journals/tcs/OlarteP17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358701$18653F4E-A217-4AFC-89F0-A534020555C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2e959713092f130372684540111f8d18f2981e","datavalue":{"value":{"entity-type":"item","numeric-id":530860,"id":"Q530860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b6cc94d48a685ffa128bf86f738cc5fb6fa9c0","datavalue":{"value":{"amount":"+0.8847315311431885","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":"Q2358701$750F512A-D188-4249-8B02-28BA12053A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383e9c1bdab8fd7a9fd29fd56c848fe230a84a11","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0101be05f6ad6da41aec406079dc57fddcac4b9e","datavalue":{"value":{"amount":"+0.8377275466918945","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":"Q2358701$D8B556B7-72C3-4B36-BC44-FD3B9D96029A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776444cdd297685ec6217423462f67924fa03277","datavalue":{"value":{"entity-type":"item","numeric-id":4847021,"id":"Q4847021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfe412e89eb48012f8f32c84310693dcb160a70","datavalue":{"value":{"amount":"+0.826106071472168","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":"Q2358701$D595301F-7377-4BDE-B3EC-066A27A9E136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cbe10eeb0d4daf2e769f7cff5ff9c15abbd708","datavalue":{"value":{"entity-type":"item","numeric-id":4375591,"id":"Q4375591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6560aac628ddbabd64492ca2fd3da4521dc71f","datavalue":{"value":{"amount":"+0.8215471506118774","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":"Q2358701$BDC07DD8-58F6-4522-A99C-0840996035C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8968ee0f616e78079e9035458de3b9be730bed","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf59a6874714cb5be71575f7ced935b21ff8ba7","datavalue":{"value":{"amount":"+0.8215470910072327","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":"Q2358701$A3A0E67A-8A70-4911-83B4-0D4B54A908C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On concurrent behaviors and focusing in linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_concurrent_behaviors_and_focusing_in_linear_logic"}}}}}