{"entities":{"Q2381508":{"pageid":2392251,"ns":120,"title":"Item:Q2381508","lastrevid":72665007,"modified":"2026-04-14T06:23:09Z","type":"item","id":"Q2381508","labels":{"en":{"language":"en","value":"A synchronous \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191630"}},"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":"Q2381508$52C4E8C8-1167-4396-929E-F21070FAB4AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fadc5ff192a05383b92fd0eb1477002f76638486","datavalue":{"value":{"text":"A synchronous \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381508$5E3FDC40-E232-4FFC-8220-831984BE391A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cffc54c91acb3574366e3a9188485a7440bd4c2","datavalue":{"value":"1124.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$8CDD340B-5EAB-4C62-99E7-F6B981B2F4EA","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":"Q2381508$8EF9F842-8222-44F7-93F4-A67B0D3C38ED","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":"Q2381508$44D833F1-773B-4B41-9FBE-4E013A491EAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3427f56d08c951df09e6b7c5aba2137c7bb94a11","datavalue":{"value":{"time":"+2007-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381508$5F035307-2165-4832-B5C5-67CB5BDB0D17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$4F5B3224-2CF2-4695-8D52-79EDEA6BF6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$D39757D8-CD2C-457A-B6D2-07A8C579A2B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a79c0a0da71841bd2d535898f9175549e299c6ab","datavalue":{"value":"5191630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$7E618E7E-7EB9-446C-B702-ACE1279C885A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da98ebbd003ad76d57ffff0b775852013c14637b","datavalue":{"value":"SL synchronous programming model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381508$2AAA884D-AC63-4A2C-B5ED-05AD58FB860E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae13d37107193792c39008a1fcb6c98ee6cf231","datavalue":{"value":"Esterel synchronous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381508$6E2F4C70-8556-4B72-9DCA-6ECE02FC820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381508$1A38D7EE-B96D-4FDE-8BD2-D55203012806","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"422bfa190ccd9f0a1e60fd85267772495a12f889","datavalue":{"value":{"entity-type":"item","numeric-id":20973,"id":"Q20973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$15B7B406-3C72-4A22-9341-CF0316A10CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$01AECE8A-C668-4542-B43E-813F00CC4300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$80B14282-07E3-4A9B-9EC0-2C08CF1D0FC4","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":"Q2381508$2799AAC1-2A21-494F-95D6-6D6411CC5358","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c1208049073f14b94e812b097c72ab4cf4cee3c","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381508$CDDAF8D0-8793-4523-9EE3-555616351833","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a1f1d6dabcd9101d568435925282e136ef950f5","datavalue":{"value":"W1638041104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$29C4CD50-5C04-4321-A163-EA6BC5AC1219","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc43d35e67b78ae3a06aa47df6bce6260b045e1","datavalue":{"value":{"entity-type":"item","numeric-id":864504,"id":"Q864504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$AFB98788-B2AB-46CF-A353-8AF40EA1D8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d09bddd73127b8cff1bd775bbef108ded0f8d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5262951,"id":"Q5262951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$C547CEC6-703B-4334-A9A5-E29CB2B66833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$B8ABEF9A-F0EB-4611-8313-3656CF63B1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae557dc2c7a50b88afb1df05849355facb73654","datavalue":{"value":{"entity-type":"item","numeric-id":2503040,"id":"Q2503040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$A7B1D5FF-6791-4415-8537-4F458457ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$4247AC58-6FC0-42FD-BF6F-4C45C9AEADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$8779D1CE-4EB8-431C-9B7D-1ECAFCBB0AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304e4397fcc998631788b676846378275ca0f7a0","datavalue":{"value":{"entity-type":"item","numeric-id":5311501,"id":"Q5311501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$B1758339-BF00-45AB-8956-2BA85C829554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$7A226145-1A7F-4B59-AF63-46FD2EE6908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae33dd596208f5c3943515a7436de5ae9f7fb18","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$D07BD230-4C8E-49F5-9A18-B4FF310C5973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b369a81af4c62721333eef666adb1eccb4713b7","datavalue":{"value":{"entity-type":"item","numeric-id":5308701,"id":"Q5308701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$D4A318B4-CD7B-4BBE-98C4-0F5DA31B898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf44dcbfda43323b28e8eb54abb86c90b4ecce8","datavalue":{"value":{"entity-type":"item","numeric-id":4219054,"id":"Q4219054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$E9DD62AD-5CA6-4768-9645-86F9E831C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616bbe47d00b228ad0bd86c9643ae8185c98739e","datavalue":{"value":{"entity-type":"item","numeric-id":1276256,"id":"Q1276256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$B80C208B-BCB8-48DB-8970-8B0E78B79116","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":"Q2381508$8593B558-E3C3-45A8-85FA-2C22A10D4372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4debc30afa0178a9435a500251cfbdad03b1c32","datavalue":{"value":{"entity-type":"item","numeric-id":4385544,"id":"Q4385544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$0E35B04A-BA9C-4BDD-A9DE-5D9831AF4FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$BAC96970-384D-4FE2-8634-9AEE0B39C95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$A883C132-8C71-4D1A-9541-81D18CD5C1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$7D64FF18-955E-4B02-8660-6C3119D2820D","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":"Q2381508$2363FE3B-6366-4103-858F-73F01FEFF56D","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":"Q2381508$B7DD42B2-2859-4106-8809-2C9AAFB8C2E5","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":"Q2381508$E3C1C315-5375-42C5-A6D1-93A7F38930A6","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":"Q2381508$EFA24FE4-5020-4173-A78E-9C57C0152E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$16A39A7B-F883-4B5E-A6C5-D4F5838BA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad55c99a91fa8f6b9f828213a7ae3827c897c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4325545,"id":"Q4325545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381508$05D485CE-6162-4250-A68D-21A1C014CEF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83014eaa64ee426cc02d49964bf9477eaa25259c","datavalue":{"value":"10.1016/J.IC.2007.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381508$FF749E2B-10EF-4E6A-B77D-D28DEC5A291F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4288651a5c57e4666eceefdfc5d5274b60ad75c5","datavalue":{"value":{"entity-type":"item","numeric-id":864504,"id":"Q864504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e424e8b812b0d670e0c3b2defa0441348ad3776d","datavalue":{"value":{"amount":"+0.866901695728302","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":"Q2381508$01153F75-F2C1-4B11-8773-EAEF34F467DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bb4060b2f74c1ca9a50546c56cbcf67a3bc6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3400622,"id":"Q3400622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef83bd6e36a6332eb085e2db215c56d13a894a0","datavalue":{"value":{"amount":"+0.8375559449195862","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":"Q2381508$C0036474-C4D1-4246-B3D0-8E29F7EE6B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc9acb28684cdc966632ae55a3da023253d022","datavalue":{"value":{"entity-type":"item","numeric-id":4284230,"id":"Q4284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69fa87d62a0a31ca9970132aa77ff68e2f0377f","datavalue":{"value":{"amount":"+0.7602939009666443","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":"Q2381508$9FEC4104-159F-4333-A598-40E0F00B1665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83eab07f99b3497e5a368027cf2c94b5b71ec25","datavalue":{"value":{"entity-type":"item","numeric-id":4370286,"id":"Q4370286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a20c6dda7ae6b4446bb967ffd00ab00855d1cea","datavalue":{"value":{"amount":"+0.7554391026496887","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":"Q2381508$71FB6C91-5DC2-4D5F-8308-7C33AD55C3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafdf84ef3d1d93abc1ee3d49abeebb8b5580f73","datavalue":{"value":{"entity-type":"item","numeric-id":1193599,"id":"Q1193599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c769a13233808b8e84ee7c76830cbfc40554a04","datavalue":{"value":{"amount":"+0.7513248920440674","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":"Q2381508$A5D420E6-62B8-4690-A509-F9830DCACD79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A synchronous \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_synchronous_%5C(%5Cpi%5C)-calculus"}}}}}