{"entities":{"Q555750":{"pageid":557517,"ns":120,"title":"Item:Q555750","lastrevid":62716374,"modified":"2026-04-11T07:58:34Z","type":"item","id":"Q555750","labels":{"en":{"language":"en","value":"A randomized encoding of the \\(\\pi\\)-calculus with mixed choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174880"}},"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":"Q555750$69AEDE5A-9EE9-4041-BB35-575D5273F9BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8166b664820621fd03084d657d17962123892516","datavalue":{"value":{"text":"A randomized encoding of the \\(\\pi\\)-calculus with mixed choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555750$4038EE75-E6BD-4F81-93AA-1A25646CCBE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2bb3bdcf3161dfccd4ea9320025c5c91192a337","datavalue":{"value":"1080.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$2E6B5224-4AEF-4D78-929E-3385AF3E0A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$EA62D3C0-209F-4AF8-941D-2ABAEEAC5290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b71fcb6a3e2180830408fcc3a8f1299459b5e6fa","datavalue":{"value":{"entity-type":"item","numeric-id":555749,"id":"Q555749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$5036A680-8E2D-43E6-BE2E-6C17FE0CE87F","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":"Q555750$FCD580F6-1199-4BC0-8CE6-BC545886E187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555750$44032E01-798A-46E4-892B-B36F3F1D751F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$2DE1440E-60DC-481E-B682-56CD32E25664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$22FFFF80-20FA-4B47-9777-F5C5315380B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af157f10ddbbb010a748f9723d861f88a10975f6","datavalue":{"value":"2174880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$2462EFDF-EF79-4621-AA6D-40610EA3CEA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985094290b045b09acc2dccd8f325feea9d1a423","datavalue":{"value":"The \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q555750$D905978C-918F-4B43-82C1-BC39491D68B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8accfce4e9cad241061133298c00c3acc6d3ac7e","datavalue":{"value":"Mixed choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q555750$CDCDA517-F77F-4538-8DFE-77F4D46B3241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9ad7d04a11e2566303a8eeb6c505bc625d3300","datavalue":{"value":"Randomized processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q555750$FD4C75C4-4B2A-4CCC-88D0-E60278351023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba3582d0937c25a6158cc14d71423e635970f23b","datavalue":{"value":"Testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q555750$B409A930-C304-491F-9319-5AB76CE25F50","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":"Q555750$180B8438-50D8-41DE-805C-EB347D72BF56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9356972c3bf4e77d504bd250e017c30eb3459b23","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.11.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q555750$64529DFA-71DD-45FB-8303-9BC70C55ABA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0a176454b0a3994bef4015375326cc7d411ee60","datavalue":{"value":"W2091938608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$BE2D9B49-CD34-499D-A1AF-A5E490E54572","rank":"normal"}],"P223":[{"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":"Q555750$BA6E90EB-9FC1-4C20-8AC0-3677039AB78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$B519FEF9-DAC1-41D2-8D0D-D1DA8091A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$9EAF26C8-4B96-4B6E-8A58-0E86F9CDE625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$94298747-75DE-40EB-AF12-A5EAA798D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74885bf08837718d6b76c447e32547d19bb8437f","datavalue":{"value":{"entity-type":"item","numeric-id":5138505,"id":"Q5138505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$9153D28D-0848-4534-8844-04D6A1EDC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1229ad2aa3510ac5312937653e250f744214a4","datavalue":{"value":{"entity-type":"item","numeric-id":4508299,"id":"Q4508299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$01DDF3EF-0DA0-42FE-A411-4BB8EC5F351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53e65edef5051289274dde59aa606baff3a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":2787669,"id":"Q2787669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$DA79D327-BE37-4FA4-9170-6E7E0841DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$8D83ACFB-DAEE-4B79-9C89-67FD6F3EA5CC","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":"Q555750$ED5BD4AA-FADD-4141-9247-558F84B8C257","rank":"normal"},{"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":"Q555750$D3E584BF-4DF7-4E5B-AE0A-BF0F445B44E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$312B52DA-7DB0-4784-A582-00E53E5B0E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38488e69c4726b0db499dab99288915763404609","datavalue":{"value":{"entity-type":"item","numeric-id":1330458,"id":"Q1330458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$5C6EEF09-5C62-42E7-A573-96033C78F262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$99948627-B658-4025-8DC0-6DCD700B65FA","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":"Q555750$5ED394C9-8851-4958-AC78-888D782F9732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$84230E32-C980-47E3-B8B8-E6246F7156BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37aeff4d7f97de72ac15dd4407bf47e67ba69094","datavalue":{"value":{"entity-type":"item","numeric-id":555750,"id":"Q555750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$0EDEAE02-4361-4D7D-8EEB-239827533D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc12f7e639228ee8e915c756a08eb8dda3ecdf92","datavalue":{"value":{"entity-type":"item","numeric-id":4791842,"id":"Q4791842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$EE612958-1222-4AB1-BB9C-018C0C5F01A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2715bc0f6a7894eb84c827075a0876eed439302f","datavalue":{"value":{"entity-type":"item","numeric-id":3321439,"id":"Q3321439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$ECE4049A-67CF-45CD-A6C6-A1A9E0C982E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$2FC1A258-BEA1-440F-9EFD-088FDBCB1B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b06dc09635ec46f478c48bbbb678633ef1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$AB88AE50-6C6A-406D-9950-607C74C01D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$0D7B5B86-557E-4D96-853D-CB66DA18B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555750$D1931A0A-4564-4BE7-9F59-47D6036962FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"644f0a162ef98ae7491196d1416a0f2dc7986ec6","datavalue":{"value":"10.1016/J.TCS.2004.11.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555750$A3A07245-15E9-416F-8A71-051320B33ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f97f9acb211e00dd379bcce9f6610a424cc9a","datavalue":{"value":{"entity-type":"item","numeric-id":4508299,"id":"Q4508299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bedaf158617cb1d4cfa46671d0c59d3a830454f","datavalue":{"value":{"amount":"+0.8202000260353088","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":"Q555750$679E4521-23E5-44DD-BFBB-29AC2747AE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f45e669a7670be9273dea48815acb150c34474b","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782395dcf650b46293531fe0526aad8a035fd260","datavalue":{"value":{"amount":"+0.8149933815002441","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":"Q555750$F5641DDC-6074-4A12-96AD-8A8E27A10897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8fb0a30b8a1bf715b416843f928b7a9527e8af","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905cc97986547bbf9e900bd1c2ccaec81a5ccb26","datavalue":{"value":{"amount":"+0.8143703937530518","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":"Q555750$6031675E-180F-4C73-90A0-D0F3E2E055C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2b71e98bfdc060a7c2434a1ec4007c5bd7277c","datavalue":{"value":{"entity-type":"item","numeric-id":4222921,"id":"Q4222921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db3a556ecce00b2f4472d9da3c7aac7673635aa","datavalue":{"value":{"amount":"+0.8061720728874207","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":"Q555750$D88936B2-A43E-4F4F-841C-26BA5EA51DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397b6905f6c7ca1cb9a672d9d38ee4e0b9ce53b","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08371214dae35f82057eecb86325d56be9c6e245","datavalue":{"value":{"amount":"+0.7916110754013062","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":"Q555750$1DF32E20-3194-4C3A-94B9-8B1998E5088C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A randomized encoding of the \\(\\pi\\)-calculus with mixed choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_randomized_encoding_of_the_%5C(%5Cpi%5C)-calculus_with_mixed_choice"}}}}}