{"entities":{"Q731895":{"pageid":733744,"ns":120,"title":"Item:Q731895","lastrevid":63912405,"modified":"2026-04-11T16:23:23Z","type":"item","id":"Q731895","labels":{"en":{"language":"en","value":"Relating state-based and process-based concurrency through linear logic (full-version)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611735"}},"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":"Q731895$A6EE328E-A88E-4050-8A34-36E399934C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bacd6baf321fd48321366b891d1014a73c59106b","datavalue":{"value":{"text":"Relating state-based and process-based concurrency through linear logic (full-version)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731895$9E404E2B-4CA0-4A43-A408-11385867A863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b8e363c217c408380dfd8ae3c2f45f330ecce22","datavalue":{"value":"1181.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$7D324F30-F21B-49DF-A8C4-8CD7EF438A76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$6E2AC128-2AD5-42ED-BE48-A121CDD986D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$155355DF-1B4C-4170-850E-8E62296536B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$F24A1E2E-22F5-4159-9E96-3B85B5E21BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q731895$E49FD3A0-7638-4F02-8174-FAADD1D886E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$C2E79CC5-4C38-4B2B-B619-86941E203D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$22AC0FC0-798A-4BE2-AF0E-D794BCA4DA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$1F738F6A-26FC-4EED-AFE9-A0D803CC6C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$C8BB345C-25E9-4DF4-8824-2832FB9DF1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f3f2af590edde70445c38c92f7208d73d02fe06","datavalue":{"value":"5611735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$54B8FFD4-1E64-480E-B973-9B65FD83B169","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q731895$9F3F9FAB-5535-4312-8156-59C65802C2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q731895$4953891D-53E6-412E-BB91-BE45C436C230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff847663cd95b6a04821d35d3944252870a61bd","datavalue":{"value":"multiset rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q731895$7E99A458-E820-48A3-9147-8FD40B281933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q731895$FFC445BB-BB9B-497F-AD8D-3DD034A9D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q731895$0B689CFF-D176-42BF-93AA-CDE2827034B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$B82771A2-D5B8-4C80-A954-33CAC013360B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$C6A04083-1441-47B2-BB86-CE259FB38F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$9E614CD0-6426-49FF-BCD8-6D381C5549B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$006014E3-A3D3-4382-88D2-04CF522E5E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$15DD6BA5-829D-470B-81E5-8DFB8AC586C1","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":"Q731895$F4198C19-A148-4338-8673-5071F5C9F69D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63b7a8194b7ea54642d512af41d776f284d0164","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.11.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q731895$BDDE5F8A-2847-47BE-BC56-087F215661A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95136557c3720b332cd58f395e9536f3a4dd0faa","datavalue":{"value":"W1999161312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$5FD8FA13-67F2-46FB-BF51-972FEEAFB151","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$2680B675-C472-4078-B6BE-B65C19F3652D","rank":"normal"},{"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":"Q731895$86B6B077-73FD-45FD-B11C-47CE2B79D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340c1c06dc2ad367e3e954fd2e38badb7c71dbb8","datavalue":{"value":{"entity-type":"item","numeric-id":2752053,"id":"Q2752053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$7E063CC8-8272-4062-A083-01FD1C9283DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c4c7f08c586ee3bafd568d28ab6d3b8e7c763c","datavalue":{"value":{"entity-type":"item","numeric-id":4809081,"id":"Q4809081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$1E5EEDC5-4A3A-4884-8DBC-7D81B244A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$AFFDA698-22BD-45BC-A7CD-39C573C0503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$50DD64B3-A562-4C12-96FA-A05C61FD8809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$8EB7232B-8905-467B-BF96-8343A502AFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$6D85B175-FAA8-4E8C-AF2A-33920294B175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34c423312dd5789e030c83aedf5bf7e2224156c","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$7124931F-1724-462F-AF9E-B6DB34B46396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3cf1f202d821319a8072c0956f691d8666e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2508330,"id":"Q2508330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$3ED7E826-AD14-4FC4-88DE-51BCF837C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$6D906C23-9E1C-4226-B61C-1F799F697523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a3ac4639dd4b337d27b26782bc37c2b08b219","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$D5615337-7267-49D2-B58C-5E730F692887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$F4062375-0043-4512-8A0D-CB9A4358C041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$541635C5-69EA-4D4E-9962-5E2D98F92A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf8a95896f37161401735e1f8057ad914abc271","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$3A04C915-E4CE-4991-90FC-758655B48F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31afc4c8b996cf08130904caef0646151bad8609","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$C0017A32-EB78-4815-A8B4-272E318318F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1d753a69842b37f7da833f6679616681d370f0","datavalue":{"value":{"entity-type":"item","numeric-id":4264233,"id":"Q4264233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$AC2C894E-1C6D-441C-B23D-EC375C81CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bad53e954e5720c1db2418aa995eb8e8f970c3","datavalue":{"value":{"entity-type":"item","numeric-id":5902416,"id":"Q5902416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$78B9CB27-262E-4D5F-BA1F-19DC725788CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$7E850F62-5A90-4EE5-9020-699EC9C6F558","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":"Q731895$E3F3C585-EC65-4289-AEA2-712A4C8F58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$DE0841AD-C15F-4CB0-990C-474729BDE190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$5AE09A5F-6EBE-4408-9F22-2E6E321C38DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c7a4ff4d2625058b1a33aff6d79b66586396dd","datavalue":{"value":{"entity-type":"item","numeric-id":3769974,"id":"Q3769974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$77B813D0-8624-4935-9CC8-75843A5EC118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea825b9dfaf2f8da8d5597506127e8f159f0c00c","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$12E16BC4-4573-418F-90F5-8BCBF5CA2114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1d00a2136bd0f3d0105551f99a80d6150e1d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$43AF0AA8-9E47-4734-9B37-46E41D5E3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d835a55ea1805816b0603bfbbcdbd7234a33bab","datavalue":{"value":{"entity-type":"item","numeric-id":1342252,"id":"Q1342252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$375ECC87-7045-44B3-8CE1-8FE0D1A470E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f986207002186e105bff24656b4fdf85fa52ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4713398,"id":"Q4713398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$AC413778-0F7D-470A-9374-8EC180464511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797bbf1c2d6bb399f80f079e9983fc833bfa2c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$984302A6-8847-479D-81BD-A42D08404C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$C0B936F6-B727-48E9-9E25-893C326F9018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$BF135D48-D373-4DC2-80F1-CE454AB01FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$0D3CBF54-0DA2-4079-B73C-D4FA0B241594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ba2d41d1ee3d98eeff69828aca7d800dde8008","datavalue":{"value":{"entity-type":"item","numeric-id":4924525,"id":"Q4924525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$5D2E4E75-233D-489C-935B-5EE588590086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$378BF0F0-99F9-42F4-A27F-D4B76D427709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$D9CACC39-D791-4B5A-991E-87182534680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$56CD8FA1-0C29-4CD5-8874-CCBEE9B00932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$3A465677-BD23-43CA-8906-3373432C993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed2dfc7d8b6deb6c6c2fdd95458000b0da91712","datavalue":{"value":{"entity-type":"item","numeric-id":5523291,"id":"Q5523291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$9EFF51BF-4AC3-4757-9592-CA73C5115595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$8882A7B0-48E1-426D-B036-08A4034C8D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$10550FEC-D8A5-4B7B-8AC6-2508196BF2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1215fc79bba15fc59986e13f8efcddfb330cb3","datavalue":{"value":{"entity-type":"item","numeric-id":4484476,"id":"Q4484476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$04F5D8A4-4D67-44BF-ABE8-96E483BFFDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee10afd4a045d154050c756c4e1d31ede78dcd3","datavalue":{"value":{"entity-type":"item","numeric-id":4461212,"id":"Q4461212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$92E5CA65-E240-4871-BBCF-194CDB6DA499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$41FA968B-13D3-444C-B4C1-D7A9F463D2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$C6C7ADEB-3887-476F-844E-A03E31CA50D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$6CBDDDF4-0420-4AE7-BE41-04AFC0CFBCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced99b794cd9aaff55225dff3508ba9f79132ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5055702,"id":"Q5055702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$07EFCF06-819B-4E9F-AD85-107006EF3A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351af9b0edcfa5d3d0e05df9fe9f49badbf149ce","datavalue":{"value":{"entity-type":"item","numeric-id":3877069,"id":"Q3877069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731895$88940478-40ED-4EE0-B37A-5F77ABBAB5D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d9f0940b70a15f02e2caa3a174194d4783d155","datavalue":{"value":"10.1016/J.IC.2008.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731895$7A83DE0F-AF87-4BFD-B4B4-924F299A3B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672f29822fb438166b1828c03926f62031488db5","datavalue":{"value":{"entity-type":"item","numeric-id":4917995,"id":"Q4917995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4683031a6f4912b66569420e940d11ec0cb350a","datavalue":{"value":{"amount":"+0.9628254175186156","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":"Q731895$50C1AE0D-4B59-43D0-BB36-572CA3A52B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f44b5f8d2f1233cab701786e406d4133121eabc","datavalue":{"value":{"entity-type":"item","numeric-id":2956719,"id":"Q2956719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd20678b23567a88f7ddafb2fd554ce08d93070e","datavalue":{"value":{"amount":"+0.7807098031044006","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":"Q731895$C888CF59-F6FA-4ABB-907A-B364664ECAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c114a88c9dd0cddc3a7e4d0818a8f79b64488","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed662f3a917b3ca55e8eccbe7424b3011db2571e","datavalue":{"value":{"amount":"+0.766960859298706","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":"Q731895$9D79A2F2-B494-42E9-BF84-8A99A5912C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cefd29092ad46021b50c0ba2922ec0091c1b06f","datavalue":{"value":{"amount":"+0.7657451629638672","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":"Q731895$19145E6C-7B19-4395-9995-03FA6C0A4653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8e691198e24242b5309c7e6a7afb2b53aec453","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d73460bcbc38e22fe40bae36c68c72ab01b300","datavalue":{"value":{"amount":"+0.7639439702033997","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":"Q731895$0C63521F-1592-4FC8-80A5-CDA93996FCAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating state-based and process-based concurrency through linear logic (full-version)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_state-based_and_process-based_concurrency_through_linear_logic_(full-version)"}}}}}