{"entities":{"Q5166616":{"pageid":7196188,"ns":120,"title":"Item:Q5166616","lastrevid":52026830,"modified":"2026-01-20T19:07:21Z","type":"item","id":"Q5166616","labels":{"en":{"language":"en","value":"Counting the cost in the picalculus (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309378"}},"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":"Q5166616$0D20C417-8729-467B-825B-8557C9CF2644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"296b15d58df9a6bc57d1e03d21dc2c7184d2d42e","datavalue":{"value":{"text":"Counting the Cost in the Picalculus (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166616$E71B67FD-9F18-449D-9451-1DEFE0093FD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ce0b282c307cf38e37935fac5bc84890dea4ab","datavalue":{"value":"1291.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166616$49D00459-16FB-4AA7-85CB-DFB37D771175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69114075eb68c0220ae52287ff4104cfc08f9813","datavalue":{"value":{"entity-type":"item","numeric-id":694293,"id":"Q694293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$AE53F178-4D74-4D02-BA93-05BE6E81E2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$0ABC20A1-CE45-4E55-99A1-5A9AA6F2263A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$8B7B1249-A9E2-4405-AFF3-4C6A0E305FE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166616$12D7C668-160B-4377-9FEF-BEA82508CB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166616$EAAB0DE5-4115-433B-ACCF-BAB3461AE26B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeb2815da1411861baba2c2cb10679ad440113b8","datavalue":{"value":"6309378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166616$D50BAA89-3C33-4049-90EA-35F83FB087E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166616$4CDA6B08-0792-49F6-8AA1-F2D414BC72EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166616$4E742C4B-54B5-4A07-9D36-943511F0B7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf337bd03683c23ba22382ddac5a5d0d9a35ff5","datavalue":{"value":"cost bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166616$1F91217C-31C2-4950-AD89-5B56A6B34534","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$9D9112F8-9085-4E71-849D-47201F7C2603","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":"Q5166616$683301EF-278A-47EC-83F7-D164F7CBA6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b94d0df964423ff6e358d632059a5003076292dc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.06.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166616$A7F70588-EFD3-472B-9F59-44154DBA21E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"203022355b6c18444a8dd03e48e4437cda5f0c84","datavalue":{"value":"W2122905754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166616$AFCE0896-8338-4FBF-AC46-BF0747AB7E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$8832623F-DA51-41CF-A4E5-2C2ABD42A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef659ba96ca88158b3f0d00068af7c71f42a2ef","datavalue":{"value":{"entity-type":"item","numeric-id":1870414,"id":"Q1870414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$318BB481-4F2A-4DB8-9B9D-6D008A0AC00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2f815e58eb39d6f4aabf94162a9344bee82217","datavalue":{"value":{"entity-type":"item","numeric-id":5896949,"id":"Q5896949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$DF29C0A2-936E-4208-8092-6FF0CA57EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$E5935BC2-1248-4573-A568-58B532734839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b7c6ac7da5de5a5880cecadd1be1f983b7b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3189845,"id":"Q3189845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$ED7AFB71-566D-4248-99A6-89D9DD24D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$1ACCDA89-D1A0-4577-BD67-354B813C1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266acc096712a22f9e74f7bfffc3a31fa49876fb","datavalue":{"value":{"entity-type":"item","numeric-id":939442,"id":"Q939442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$50C03000-58BD-4F30-86F9-CC42BDDB948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$C8D7B505-2941-49F8-BAD7-68999CCB6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$048E66BF-1E1A-47C6-A34E-3D7802E194C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$D99859CA-7CB9-483D-A2C1-6063D645778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5762df6be29ef70ca0537e67b7376f47ee026c2","datavalue":{"value":{"entity-type":"item","numeric-id":5479164,"id":"Q5479164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$BF686AFC-026D-4DA7-9A48-56E1902490E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$1CCE26D0-D196-489C-BB64-4DF0EFEE80B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8bb0c7c5ff60596838c890ac1899a56bce410f","datavalue":{"value":{"entity-type":"item","numeric-id":3525639,"id":"Q3525639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$A1C97158-874B-47F8-B029-26B2FEB54F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae751a3889fb9fae922a5ab5a452f5134e2f34af","datavalue":{"value":{"entity-type":"item","numeric-id":5705910,"id":"Q5705910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$C2DAA249-B8B2-4935-92A9-10A5BA1EE413","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":"Q5166616$F4BB230F-60A7-4374-8EEF-08C0D96082A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$F898C531-FAE9-45D5-9901-BECCB762C5AF","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":"Q5166616$F3D702A1-1F1F-4599-A1ED-B46340598DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b84daf1f89c20f05d651ca17c1f8e07664abfa","datavalue":{"value":{"entity-type":"item","numeric-id":2384924,"id":"Q2384924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$AE73A3EB-2C07-4DAF-856B-17584A65735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$DF813A0B-5D46-4200-88A8-8FA1810ADE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$A45E760E-449F-45C0-84A9-642327A2BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f0235fd2b2e5631fafd2960aad7df393d42b94","datavalue":{"value":{"entity-type":"item","numeric-id":4937118,"id":"Q4937118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$BCEC8A2D-3F37-40B7-9517-B6E83DD9A1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ce0f725b63255ac8127665f12a6e30d1bf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":2864163,"id":"Q2864163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166616$C33061FA-2E68-4A9E-805A-744FE735E007","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":"Q5166616$ABB70087-85EB-4433-8422-5A275D4E9A3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6b2d8e9ea2a25e0093bbf3b25e29f56296e5415","datavalue":{"value":"10.1016/J.ENTCS.2009.06.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166616$64911715-9E22-4036-B52C-2837B0D2D0C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dcc9d1266229138e7f3e42b960f203b784a79b","datavalue":{"value":{"entity-type":"item","numeric-id":3003308,"id":"Q3003308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8912fe21c3d221af590f1de3e655e53d62d9dc","datavalue":{"value":{"amount":"+0.9065555334091188","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":"Q5166616$61753B5D-733F-4C3C-B006-B87FEF2AFF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f5cc3f7fd19147ef69fe2a03df5bea76cc3fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5739364,"id":"Q5739364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef4e4b4ab3247447beb1977294f05fa7cf23a82","datavalue":{"value":{"amount":"+0.7622716426849365","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":"Q5166616$4DEEB6D5-C1C1-4D9D-804A-2E3A42CE5748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aff1559e7aa3ca7004a413641a7627b7081e81c","datavalue":{"value":{"entity-type":"item","numeric-id":5495108,"id":"Q5495108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5644f6e7a38be94b50823bb41c02564731fb27","datavalue":{"value":{"amount":"+0.7581561803817749","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":"Q5166616$3464298C-32A6-42E3-BE3A-863BE7411F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3241a575b8b57b58712e360bddbb79429cfc1d92","datavalue":{"value":{"entity-type":"item","numeric-id":4673436,"id":"Q4673436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3680529329474568dfa3393d65a9d371982b360e","datavalue":{"value":{"amount":"+0.747585117816925","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":"Q5166616$F7B74AE1-857F-4A3C-B4B7-15F475F2F499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e88992124151cbaff368593b47af7b60accad50","datavalue":{"value":{"entity-type":"item","numeric-id":3052609,"id":"Q3052609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b44fc9a019845a71bfb6490204f16b0f5effdc","datavalue":{"value":{"amount":"+0.7237019538879395","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":"Q5166616$2275D417-27A0-4C00-B16B-2E78A92E4820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166616"}}}}}