{"entities":{"Q1276246":{"pageid":1286996,"ns":120,"title":"Item:Q1276246","lastrevid":70050528,"modified":"2026-04-13T12:06:30Z","type":"item","id":"Q1276246","labels":{"en":{"language":"en","value":"On bisimulations for the asynchronous \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243211"}},"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":"Q1276246$D658B92F-B72C-4B7F-967E-DD2306381CFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c2bed800c783957b34caa86789c596bd241d42a","datavalue":{"value":{"text":"On bisimulations for the asynchronous \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276246$3CBF43AD-FEE0-4086-A23E-C979A43D63CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12e1d393ada5150a2b07387f6234984b80c94287","datavalue":{"value":"0915.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276246$00A47E2D-B83F-4CAD-A3B7-03525ECDD53F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc416e2ff8870a4e50e3b8907d558751ce43b5fb","datavalue":{"value":"10.1016/S0304-3975(97)00223-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276246$045633D8-9BB7-4DA8-9274-F5067E1ED11C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd247c0acecb03dbb649b71faee6e9ab6d53c45c","datavalue":{"value":{"entity-type":"item","numeric-id":864503,"id":"Q864503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$554E654F-26A5-473A-83C6-9FE01324CC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$CB4CCCE4-59AC-49BC-A827-41C89C0D84FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$8D021CCD-AD89-4879-A587-13F0BC537F5C","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":"Q1276246$89AFAE87-9076-45F3-AB9D-AE498B695800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276246$55062AE8-5FA6-43C0-93DD-922CE50662CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276246$2F880C9A-270F-40ED-A798-B66F9E3D7E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8a83b5b7fe489095554709a6dc26e71330e7bb","datavalue":{"value":"1243211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276246$ADC73995-9291-4363-8454-3905D908DFDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc602ed7d0dab0895059283e39227983ecbd806","datavalue":{"value":"asynchronous \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276246$35C647D7-CD5E-459F-A0B8-E94D410E1B63","rank":"normal"}],"P1463":[{"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":"Q1276246$48A5F534-947E-4B03-8217-38DC97A0544B","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":"Q1276246$5499653A-4320-428A-B338-CE975B7A5EFC","rank":"normal"}],"P223":[{"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":"Q1276246$BBF67875-DBEB-4D8A-B2AD-103570DD5BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b74851938f00bb5c8ae552b2eab3f17bbfc147","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$D60F33C7-60C9-45C3-9585-CCFD52F8EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d07bb891854ddcf774fe529ce495d85611f036","datavalue":{"value":{"entity-type":"item","numeric-id":1575687,"id":"Q1575687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$BFBB583B-3FF6-4D70-8057-5DDDD4E266A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$14BFA568-BB31-4B51-BE3F-B82E2CB304ED","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":"Q1276246$E99A61AA-94F7-4B46-97B4-5E8961AA47EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$91F133AD-F49C-4E75-A9D0-802D8B7C86BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$997C6C9B-BADC-4A13-B0FC-82414243AC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$4B6B35F1-B0FE-4496-8C23-F07C5B568330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$35DCA356-B770-4DB8-B1FA-4DF1EC07A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$8BB63D9C-FAD3-40AC-8D3A-CF302B542753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276246$E3A64C26-6BFE-4E87-9AC4-E67ECAAA6F14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4a47b69d68ed5292c795794c68506f7fd96f8dd","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00223-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1276246$8EC1C52F-431F-46A2-A5D6-31A7C5B939D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"000c4db9a24a7ce8cfec53d66c491e3afea4d754","datavalue":{"value":"W1487583155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276246$8458299C-2984-4EE6-BF30-B6CFEAC75CD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fd841575668762681adb51ca68f7e8275aed5d","datavalue":{"value":{"amount":"+0.9897797107696532","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":"Q1276246$57C68797-E89B-4EB5-9F9B-F05AE1C6D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af0dc667b378394a75033cfd7d45cbaa9d4ad30","datavalue":{"value":{"amount":"+0.8384608626365662","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":"Q1276246$E81980F1-22FD-49CF-AB94-EB8DF606F909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c03416cff4a8bc59eb45cd94d9ff0e680311c0","datavalue":{"value":{"entity-type":"item","numeric-id":4219054,"id":"Q4219054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3b0ef1b16246d608fd991fc947f9b79c7d4c44","datavalue":{"value":{"amount":"+0.8164287209510803","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":"Q1276246$CF9DABC1-7CD7-4FC3-9D51-869C992DDC98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bisimulations for the asynchronous \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_bisimulations_for_the_asynchronous_%5C(%5Cpi%5C)-calculus"}}}}}