{"entities":{"Q1962485":{"pageid":1973227,"ns":120,"title":"Item:Q1962485","lastrevid":71191683,"modified":"2026-04-13T20:14:46Z","type":"item","id":"Q1962485","labels":{"en":{"language":"en","value":"Symbolic transition graph and its early bisimulation checking algorithms for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1395736"}},"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":"Q1962485$F45F4F92-DE92-482C-A803-D9CD7DBA2563","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da24eda62c2c82d51da8f51de31cbee25e06efe","datavalue":{"value":{"text":"Symbolic transition graph and its early bisimulation checking algorithms for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1962485$29F64680-56D7-4DFE-B520-093CEEFDAB76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"138a23fdaf1b72d9ff7afb054048ef31d2be90d7","datavalue":{"value":"0937.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962485$96DD3FAF-3F87-4F75-8097-D134A485389E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28900e55bbf975e6ec7754a22d20ca76ef8b19e6","datavalue":{"value":"10.1007/BF02916743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962485$58E1BA72-3068-4D79-8A4F-92C55C190853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$42E842C3-913C-47C3-9277-6686B19083EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9323ca38913ee0bd8500248a9af9e7baf0f87dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1273077,"id":"Q1273077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$0292A14A-E078-4CB9-A49F-5CDA83B99784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$FE39BDF1-0315-40D5-A457-95636D8DE74D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$CD1B6B25-190B-4866-98A7-16743A27FF5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0567ac9f2a03fdd4e0e3913b80e4563364e3bac","datavalue":{"value":{"time":"+2000-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1962485$FF0E883F-1345-4447-9D4C-713F9811EA7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962485$C808B219-5A35-4D83-B4A5-B9A5A487B213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfc36815d90cdf69f315f7ae8d5f7dd7d43964cd","datavalue":{"value":"1395736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962485$C70C3598-9D59-4F21-BF34-93428C5CD51C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefcda338c93e127b659d5a2520dc4d684424509","datavalue":{"value":"symbolic transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962485$BB21E769-85ED-4813-BA9B-883053BE4617","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$DFB5AF31-D9A1-4A99-A23D-80EE7AFBF7FC","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":"Q1962485$0C67C8B0-E958-4A3B-A793-9385F940884E","rank":"normal"}],"P223":[{"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":"Q1962485$CC36F005-C1FE-47C1-9278-77240F92CC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbb95aaed3ff6b54cf282a6f5f369868bca72fa","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$A7B9D697-84DB-47FB-AE8C-EC54B7C8E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962485$20586C20-3AA8-4735-A237-C095D618A0EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8103ed261cb1a3ad9183543483e726323cf5b52a","datavalue":{"value":"https://doi.org/10.1007/bf02916743","type":"string"},"datatype":"url"},"type":"statement","id":"Q1962485$D9670049-0781-42A8-A11E-F3629E3EE751","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a9853d369ef43e4709edecf1bb9fc3dd926333","datavalue":{"value":"W2031016532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962485$33168EB3-1C5B-42FE-A2C6-2B804174F45A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6583d4e6b74a2fc7cfb32187b41af29dd7be08","datavalue":{"value":{"amount":"+0.8313780426979065","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":"Q1962485$4BA30ACA-BCA6-4400-A846-C3FB96423BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c587ed09c6e59c2aa56aba95f55dfdbf4322c312","datavalue":{"value":{"amount":"+0.8265243768692017","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":"Q1962485$DCE92016-1739-4A02-955F-A4D4D8470C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ecaf9bfbafe9b2d9eded75bd439c4b8a417718","datavalue":{"value":{"amount":"+0.8027225136756897","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":"Q1962485$3F8D2C3A-5B4F-4897-8B23-C1BA76684631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19caaf7033b99cbcc05b1cabf952d9e3a2e5c1b","datavalue":{"value":{"entity-type":"item","numeric-id":4543303,"id":"Q4543303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b812ad1cd6baf597ba0325a64e3fb49f3e4cbf46","datavalue":{"value":{"amount":"+0.7680180668830872","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":"Q1962485$3B7DE897-ED36-46C9-B926-679ABDF9A64A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic transition graph and its early bisimulation checking algorithms for the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_transition_graph_and_its_early_bisimulation_checking_algorithms_for_the_%5C(%5Cpi%5C)-calculus"}}}}}