{"entities":{"Q3401115":{"pageid":3411818,"ns":120,"title":"Item:Q3401115","lastrevid":88112111,"modified":"2026-06-04T13:40:16Z","type":"item","id":"Q3401115","labels":{"en":{"language":"en","value":"A complete symbolic bisimulation for full applied pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664082"}},"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":"Q3401115$CEEB3CAB-F01D-463B-AF2E-C4FF5279DB9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"823450ff1f77ff1470055d636d070f26ad554a32","datavalue":{"value":{"text":"A Complete Symbolic Bisimulation for Full Applied Pi Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401115$C0EAC8C1-5203-40F1-8839-3DC3B7FD8DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b4fcf62cd6cd0fbcbc91b7f5719edaf209a2f2c","datavalue":{"value":"1274.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401115$46462C8B-F663-4F0F-B21E-EC22072C22DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad995e171e02b4be782cb3987495e9123874e69b","datavalue":{"value":"10.1007/978-3-642-11266-9_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401115$161646EA-482D-44AA-9526-E4CF684C6BA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e56ab8cd089a73503b5d81c591fa552ce18b3de8","datavalue":{"value":{"entity-type":"item","numeric-id":274964,"id":"Q274964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401115$B92F5C93-CDEF-4E51-BEA1-6E8F20A806DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401115$CF2690ED-5C93-4944-B39A-5D4A9EFCA65F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"20d9701f76fcc5f7b32bc216ad1215c37bf62cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3401085,"id":"Q3401085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401115$89418E90-CC1D-46BB-B088-03736966F8AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401115$4BB2ABA7-3D29-44D1-9BF3-94130246855F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401115$5EF17F88-229B-43B1-9E44-D09465ED4345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f0e16ba432e690a0689b24c590006381c32ea07","datavalue":{"value":"5664082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401115$EADEA266-21F1-4B84-9872-DDD48553A9AA","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":"Q3401115$1799A238-2BAD-4B15-AAE3-62FB87A80EC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"310c40b2b262f1094d7a011258d5ea2df4318c2f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11266-9_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401115$AF0F4775-9A68-4931-AE4E-32A297E68690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ff8d24d97c132a4415107c8b85f4d12dac2f503","datavalue":{"value":"W1599897657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401115$26099978-6821-40C8-B731-6486C0E4A203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255d8ef32e88fb8fd96f1dba8dcb1489964549a3","datavalue":{"value":{"entity-type":"item","numeric-id":1758155,"id":"Q1758155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2963c42d53aa336e64fa5527eb79f63d526e1ba","datavalue":{"value":{"amount":"+0.9903884530067444","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":"Q3401115$437E4720-BD5B-4A5A-A9A5-472F8BEDCD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d43165ddddc7e1a28861c39a2d7e8e5ec66c48","datavalue":{"value":{"amount":"+0.8793610334396362","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":"Q3401115$94E15399-11F5-4D13-BEAB-4C1D56637D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad024b6d5a586bcb824ddb91497e2d41af492ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a9737b9b09126fa2624759b53c2fe7d0a75edb","datavalue":{"value":{"amount":"+0.8760624527931213","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":"Q3401115$F5A46CE9-9D70-4DB2-A2CB-D726EBD545F0","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":"589484644bc26bd1d43dfe2aca108bd484dc8cde","datavalue":{"value":{"amount":"+0.8326274752616882","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":"Q3401115$484E9CE0-96FC-427C-AA5B-8F1526EB69D9","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":"caa9fcb268d8a6f329b0dd1ba6b77c6440e63fa9","datavalue":{"value":{"amount":"+0.8076587915420532","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":"Q3401115$1B00CF3E-E018-48CE-94CE-8B58933BD5B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete symbolic bisimulation for full applied pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_symbolic_bisimulation_for_full_applied_pi-calculus"}}}}}