{"entities":{"Q935472":{"pageid":937320,"ns":120,"title":"Item:Q935472","lastrevid":65494389,"modified":"2026-04-12T02:59:19Z","type":"item","id":"Q935472","labels":{"en":{"language":"en","value":"Using bisimulation proof techniques for the analysis of distributed abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5307115"}},"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":"Q935472$1D1BC682-9D64-4560-A3E6-742AB9391763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7e687ea1a870469b6ca6b39210a68ffdec5b7f7","datavalue":{"value":{"text":"Using bisimulation proof techniques for the analysis of distributed abstract machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935472$85F7027E-5DB6-4219-BDFE-1A0C72347CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b50642a38f920697b00231d50ab5f01741e1b1","datavalue":{"value":"1146.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$1B79D41C-82D3-4EC6-9409-7763AF3BB55E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$C24C2386-414E-4789-82F9-51480A10AEDC","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":"Q935472$C39CF320-3D2A-4824-84BD-449B3926EBFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450d2294b845f0f9561a47040d8b62e63dee0412","datavalue":{"value":{"time":"+2008-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935472$42BCBC5A-E625-46A2-B69F-D361F85C4395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3999d35c566238fd3dd5b6c650732406ac424335","datavalue":{"value":"https://hal-ens-lyon.archives-ouvertes.fr/ensl-00149964/file/LIP-RR2007-31.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q935472$8747DEDD-06E6-49C1-AEF0-A2D58073880C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$115B77D7-7B83-4232-A152-BC7CCA1F3CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$EAF48658-3ED4-43A7-BB04-7A36DC2E3616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d44a9aa02b69ec95090d83881b9d52ea8f0d6f4","datavalue":{"value":"5307115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$6ACE11AD-3B98-413B-AE0B-D3A05D34275A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q935472$C13C769F-6E85-4050-B81B-E6AE5FA23D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q935472$FCA906C8-E94E-4D06-AA8D-9C2374E8E7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q935472$13F747DB-DA39-4D6B-9B26-91C5E714B803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcfca32d69be650c0cefefc750a2dca7333e6e61","datavalue":{"value":"distributed abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q935472$714322C1-7C61-40F1-9D0C-FA89067A36F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d9aaf3531f4891551bc576492d085bdbac7a98","datavalue":{"value":"forwarders","type":"string"},"datatype":"string"},"type":"statement","id":"Q935472$553FEE50-37A7-49A4-89D4-924F52D66D0F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$497767D2-39C6-4F80-9D93-874C726D9B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$A749F06A-11C2-43A5-A6BF-A023B605D5CB","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":"Q935472$B8E5E981-7FD3-49C8-AB6E-D9DEDD46B69F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f14e7d25446a1f9c5a4e162f82f191ef1345033","datavalue":{"value":"W2085026104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$55C82E62-FE30-44D5-B7AA-520B195BD155","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$C7B4F462-CE65-491F-BCA1-38B8089FE2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc054749522860d7c2f7554f0d2a72e08e47179","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$2B75D12E-2DFB-4B96-A00C-9A93AE5C393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6782c2c09e8bbfad643386b1f8d52e802c5e35","datavalue":{"value":{"entity-type":"item","numeric-id":5714432,"id":"Q5714432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$8811C1B5-D3EF-4E56-BEEA-B0135B1A20CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$85DCE291-9426-446C-88DF-B38386A0746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58059443e2f37e2ad65e4886ad3cd9229d03ec","datavalue":{"value":{"entity-type":"item","numeric-id":4415246,"id":"Q4415246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$2C4935CB-C911-4084-8279-30E5347B0EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e69929cb6e12367aaacb1d39a93d45fa1146ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479165,"id":"Q5479165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$5D941D78-004B-4F76-9513-50AB8705C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$B9263F98-CB5A-4F09-986D-47BF47B5D24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$D42C3576-194D-4E44-9C0E-1B18118CDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d7f98b0a446ca83e69a5a6b06c45edb60c8a42","datavalue":{"value":{"entity-type":"item","numeric-id":4484502,"id":"Q4484502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$E060CA87-3C53-468F-A0F7-7A0471804E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0b3cef733c91e93ead98c3cef9d85f6494323c","datavalue":{"value":{"entity-type":"item","numeric-id":2384926,"id":"Q2384926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$B8384583-7AFA-421F-A90D-A63952269F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$1E4C3FE3-B3D0-4A59-8D23-C112551871F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$93D6D6D4-24E4-493D-9767-DEEE94DA1087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafab4c1068a9e925d1f45cdf542fdebde03706a","datavalue":{"value":{"entity-type":"item","numeric-id":877023,"id":"Q877023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$DDC7D6E4-8CA0-462F-B0A1-782D24288354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$BC4D41F9-86FF-4242-BB29-A5DEF7DA6E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9fad324e49104895b084cb5cc6db209b6e6bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4449205,"id":"Q4449205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$25EF66A1-42FA-47A9-8725-CD48931D2129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$3A3B683D-3791-4C66-8ABF-E60B3C8287BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90299c14a68e76265cb2f1fd715311ad1cdacf85","datavalue":{"value":{"entity-type":"item","numeric-id":5308696,"id":"Q5308696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$E084E782-B6A5-4F5D-B369-482ED174058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f7d697c553cca5167f24089905babc27f46c11","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$63D3A5B4-1B74-4C13-8878-DB7A11DC09E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012cbf58e45c270c223e6c7dea4751d5567dcaaf","datavalue":{"value":{"entity-type":"item","numeric-id":3608458,"id":"Q3608458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$B3703EE3-8CA9-4234-8EF6-9203541CA0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$B0834649-9120-413D-A385-31C3C1E9EB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e602ecb1c82a68e529850be129828ac79f1d37","datavalue":{"value":{"entity-type":"item","numeric-id":4535034,"id":"Q4535034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$509EF430-FAA7-43BD-BB58-37B2F0419CD4","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":"Q935472$A60FD1F5-2F8D-4B1F-8DEF-84B38DEEFF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a75d1864fd93f15e6bb35c34dbadae877a9002","datavalue":{"value":{"entity-type":"item","numeric-id":5348845,"id":"Q5348845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$963750F6-730A-4628-A12D-4933D1D63C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$FD085963-F915-44D3-BA83-060AEF8E044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83aff07159084ff4cc72479cdef41368d646789","datavalue":{"value":{"entity-type":"item","numeric-id":5178879,"id":"Q5178879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$B486382F-E5C6-4545-BC68-7F01DC4AD60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935472$7A1D38B1-3D0A-494C-B541-DFA9C0B04837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1eb7e90b804e43ff089671ca01b8ccab0046f2","datavalue":{"value":"10.1016/J.TCS.2008.04.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935472$1C184325-2631-4299-B6B8-E407E990438E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3847bacb2597f194949874ebe00e86b62fbdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608458,"id":"Q3608458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb4982fce6b4cf11a09dfcd8899a87752e89bfa","datavalue":{"value":{"amount":"+0.9709280133247375","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":"Q935472$91A0B482-85F4-4D0F-958F-5CF55C8F5487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a8dbc41810c7355c74245967169433f490fd3d","datavalue":{"value":{"amount":"+0.7521517872810364","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":"Q935472$EC746700-047A-4201-BB6D-BF2A0B07A071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e4a698b8106135a63598d9b6bc6844a7a234db","datavalue":{"value":{"entity-type":"item","numeric-id":4449205,"id":"Q4449205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be59ec1cd1074b98ff1269648b1b9ecdb2cf746","datavalue":{"value":{"amount":"+0.750145673751831","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":"Q935472$0FA95101-0C40-44B5-9B41-472BE175FA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04cd019d258a1baaf4e8ef9a9147a3a95a307396","datavalue":{"value":{"amount":"+0.7459490299224854","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":"Q935472$F0A2F94B-D041-4B4D-8C95-3439E6FF033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84662101b92cb039c08d6745617d5cc64ad87cfc","datavalue":{"value":{"amount":"+0.7429711222648621","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":"Q935472$2F60B1EA-2046-4DA6-AF3D-BCAA8566DFFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using bisimulation proof techniques for the analysis of distributed abstract machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_bisimulation_proof_techniques_for_the_analysis_of_distributed_abstract_machines"}}}}}