{"entities":{"Q2233448":{"pageid":2244191,"ns":120,"title":"Item:Q2233448","lastrevid":57616149,"modified":"2026-03-31T15:28:02Z","type":"item","id":"Q2233448","labels":{"en":{"language":"en","value":"Types for complexity of parallel computation in pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410455"}},"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":"Q2233448$1644C068-50C4-4B93-BB19-427B825A6429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd928a84d119aa437457ef4b638ad33d3454e5d4","datavalue":{"value":{"text":"Types for complexity of parallel computation in pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233448$BCB2E673-2C4E-4822-AE75-3D5FD79744A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f456c62e9c57695b19766fb2386d21d74bdb77c","datavalue":{"value":"1473.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$58B8B433-054E-48B7-A276-31DAC5B8069A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116ed7fda9e06605c025720d90699427c4b39dab","datavalue":{"value":"10.1007/978-3-030-72019-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$B7C82A46-0CC2-41C2-8F0D-709846C6574F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$9FEC9703-C38F-42AF-8C7E-4FFDCBAEB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2e083e83c74857ae79a511ce9968b81d15b1f2","datavalue":{"value":{"entity-type":"item","numeric-id":1989322,"id":"Q1989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$E45EE280-E3AB-407B-8DE5-1D627EA051F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-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":"Q2233448$D232C006-112D-4312-9544-CC7BD88582B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$54149F9E-5414-4CA4-AB30-6B5679A1E4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$EA90FF8E-D6DA-4C1D-9BA9-6568A99CFFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$20B420E4-43F8-4BD0-8AE8-7E99A9D3CEBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53058613074d3781530416b9bb0ca229370c140c","datavalue":{"value":"7410455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$03154FFA-2910-4E05-ADFD-0514B1A67DD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$D4977E7F-47F4-4D29-92DE-DCEFC86515EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$E3BBFAE2-9E7C-4787-9F63-4472B431AC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$05DA43B4-C65E-4D45-8F7C-2990EF68057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$A9FD242C-5D38-4149-9371-87D30EACF91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$2D1E2B8C-5CC2-4481-B056-C42B8AE06AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e734408a37fd2d3f35736d9aa34ffae8a605038","datavalue":{"value":"size types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233448$7D27E56C-8585-4DB2-BABA-65F22BC60D39","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":"Q2233448$814CD1AB-EEFA-4FE0-940E-A02954F979D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36dde04e4e491ed1048f6580c0549148fb4f9db1","datavalue":{"value":"https://doi.org/10.26226/morressier.604907f41a80aac83ca25d13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233448$6DDFB314-7032-4B8B-9059-E10E8A6AA0E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ea58773cacfaa438f2149d613af71827a6035e4","datavalue":{"value":"W3136372787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233448$C9B65DDE-3868-409C-B79D-3E523BC2EED8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e31af53f592711e5f8dfc48bf74a5b3103efc34","datavalue":{"value":{"entity-type":"item","numeric-id":2398172,"id":"Q2398172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$4CC557C7-8E84-4D91-93AD-56ED95222674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4aada9bb4386e6cc6a2385aa9cefbf58bcfc708","datavalue":{"value":{"entity-type":"item","numeric-id":2233448,"id":"Q2233448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$11DB6C38-2B97-4F72-9496-1E70E29DE964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$73B12B4D-D082-460C-959D-5B3A570A1CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca289554d7b82277ae5bff3a62252cbd254fdf74","datavalue":{"value":{"entity-type":"item","numeric-id":2971072,"id":"Q2971072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$0EFF3397-1265-4CC9-A5CF-44893FA00BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$FB380BB0-BC9D-41D2-8903-4959551278F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348bec4658083bdfef92d458459d305fea8d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$01801A45-F504-4EC8-A437-7658A139F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0c0220e3b73b4ed915a38093b1cfd7809c6406","datavalue":{"value":{"entity-type":"item","numeric-id":5902418,"id":"Q5902418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$1BA9D174-AE1D-46BD-B925-2058D81550DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6107f260e49f24face2c3a848922d3daa9d92c63","datavalue":{"value":{"entity-type":"item","numeric-id":4645219,"id":"Q4645219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$76E0C8F5-17BF-432F-A42D-C18500CA598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bbe5a75e3b0b3b933fec4c906d9e4ed01cf824","datavalue":{"value":{"entity-type":"item","numeric-id":5145308,"id":"Q5145308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$6CFC9704-36DF-4DBB-81BB-751E40F65EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b7cd43b8f84ad5a262c0c657c66ff83dcbdf7b","datavalue":{"value":{"entity-type":"item","numeric-id":2971079,"id":"Q2971079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$7B221784-CDAB-4F64-A4C9-7167027A3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0123b9b312c03f832a160299ff6f74cdd3271b1","datavalue":{"value":{"entity-type":"item","numeric-id":3189832,"id":"Q3189832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$50FF1303-3DC8-4F04-B356-0CAD4C410A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b08f87cd0f63dd67d9df279204c170a8a2bac4","datavalue":{"value":{"entity-type":"item","numeric-id":2828261,"id":"Q2828261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$9047D920-CC3E-4F71-99E7-A1F0095814A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57ab2f7557d73a72d5a8a13ee396dd8e49344ec","datavalue":{"value":{"entity-type":"item","numeric-id":4910427,"id":"Q4910427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$CADC3FFF-AACF-44FF-99B1-68855198CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$A53949D4-A9B2-4505-829A-690E8D6334FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$646A7E05-4271-4B4E-B122-AB1806C28087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$7ED021B0-8318-4FCC-8E7E-97B8B9119725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b939ee2939c4ccffc90391a2e5d00c8574b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$95F66632-DCCD-4EC3-9810-860EF59215A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$E612608F-B7A0-4491-A0FC-4A37BED06F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$2BB0AD05-D70A-4554-9EEB-60AC2A6EAA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$4ABA76D1-BBDC-4C72-8142-9A70D3C6C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$AFEB7E69-2707-4A0C-BF8E-C3A5C7DE225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$7996CFFB-6034-46BA-BB2D-3BAA57CC6C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d5f4b8e96efeaad5a01fa88602ad9035a10db3","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$54333CB2-55AD-4107-A850-A80D348137C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2921c4768e8e40aa8482e72d0f7d8fd9eb4850c2","datavalue":{"value":{"entity-type":"item","numeric-id":3007663,"id":"Q3007663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$3F2D8C46-219A-4C2D-9995-C75ACFAC2F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$D1047F3D-DC95-445E-8C82-3FDD3C7E22CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd6681407128a813f4543a95793aff6f70d9269","datavalue":{"value":{"entity-type":"item","numeric-id":4827896,"id":"Q4827896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b3872a771cf2a884f3732204c1b7ca92017a31","datavalue":{"value":{"amount":"+0.7952607274055481","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":"Q2233448$30417691-B906-42D1-AC63-5574A7508B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1232aa7a4c87024872337acb8d3f86575c75446e","datavalue":{"value":{"entity-type":"item","numeric-id":4910427,"id":"Q4910427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e081a756c76c45d87c870aed98e5d4e1ee6aca7a","datavalue":{"value":{"amount":"+0.7912091016769409","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":"Q2233448$940C26E1-429D-4E38-8FEA-7D0130681407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24ea5e061efb5ee4a3b79358fa56ef285c53ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2828261,"id":"Q2828261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dd8827ce6eabda37e8d1042cb9fddef633f51c","datavalue":{"value":{"amount":"+0.7654010653495789","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":"Q2233448$13D586D3-7121-433A-AA06-2058D7C4670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9550eebbbf5d25c4c51acf866767774e43cb95ea","datavalue":{"value":{"entity-type":"item","numeric-id":5145308,"id":"Q5145308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36f38ec9ed0a8c8fcdbc51c113bdf5770293012","datavalue":{"value":{"amount":"+0.7651440501213074","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":"Q2233448$AC5CA687-9087-4C39-8328-7B785D076A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ac044a810012c278bbbbce3f2052cae505b10c","datavalue":{"value":{"amount":"+0.7536176443099976","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":"Q2233448$1ADEFE37-87CB-4319-9176-8165E7EA0F3A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233448$76CEC243-9CD3-4B56-9583-7607A47D22E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233448"}}}}}