{"entities":{"Q5458829":{"pageid":7488388,"ns":120,"title":"Item:Q5458829","lastrevid":50342549,"modified":"2026-01-13T20:52:01Z","type":"item","id":"Q5458829","labels":{"en":{"language":"en","value":"Symbolic Bisimulation for the Applied Pi Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267219"}},"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":"Q5458829$FDAFEE55-A210-4FAD-861C-3270A3657B2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b414bab09b4437a73abc71207dc5067aae81f917","datavalue":{"value":{"text":"Symbolic Bisimulation for the Applied Pi Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458829$1B9D0BB8-E1D6-41CD-A634-B52E2194465E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26d339ed61bc913907686f8583ee035ec4fac521","datavalue":{"value":"1135.94327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$37557095-48F8-4351-BFF7-C1E3C84392E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae880fa780cca0a7311d457c04f27d1ddb311674","datavalue":{"value":"10.1007/978-3-540-77050-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$40C0156F-C711-4E54-A826-6836FD2B13CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$379D7D0A-6906-4205-BE71-8F708CFE1829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$8705C44E-0F73-421A-A362-00035F7B9100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$6B4A7D4E-E9FC-4D2B-A570-2F6C15DF96BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$7DC3C298-53C5-4F2A-892E-C11E59C2DE9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458829$C3E2E005-866E-4B19-9B5F-E5E424D7EEE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$38761E25-49DA-4EB9-8800-42A1C7FB4E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$9E1D13DF-2935-481A-886A-5F9CD8086D1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7740ef2f19d236c884f8bc616218b482d2dafbd","datavalue":{"value":"5267219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$3D54B44C-C016-4F71-9D97-65DC9D8A3C26","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":"Q5458829$140B8CD9-2D5C-4350-A701-00BD1DAF6F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2dcd3ca4ce9ec23b307e7b96575875e4bd5773d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458829$59C4E29B-5118-4C40-9940-75697C4B8D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b04ffab5ffa1201317c0e2f2fe7049cb529ed74f","datavalue":{"value":"W1539904031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458829$6B4BAFF4-C72E-4972-B349-CFF659F6FF68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$1100A776-CBC1-460A-8978-75E9F2F6F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$83AFBE76-01C4-431C-A9C7-33D2199D0B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$7AB1AA7E-D09D-4DCF-A76C-A3FE26F80756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c30143ac0412207498d22d9d4521cbb7abf1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$03836B66-5FFB-4353-BBA6-ED38A12323AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$04B68EFC-2F83-4A66-BA35-E0412B15681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d1bf22da72285a101a10cb9fafaded92bf6ada","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$AB242101-791D-484A-81F1-1AEE2A3D1ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$750C9799-5B7B-4F60-849D-13F17DA0F591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458829$E085B4FB-EAE8-4166-BF66-EEF16E532725","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":"20d13f288ef51c1b9d535bf93ff94add45540290","datavalue":{"value":{"amount":"+0.8797974586486816","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":"Q5458829$BCFAB0BF-35BD-48B9-8A5B-33084A660ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53780b2aabe51dfa7f619fafb9a362a52b7e25","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"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":"Q5458829$30880599-731E-43FF-A9C7-88F66231FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10584bfb16cbdb8d3b1d9fba0af695d5bdd06395","datavalue":{"value":{"amount":"+0.8673160672187805","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":"Q5458829$CFAFAC68-0D55-4EAA-8652-1D82C37DCEDF","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":"3fd1773d454ffb79c08dbb794072bc53192d8af2","datavalue":{"value":{"amount":"+0.8326659798622131","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":"Q5458829$21963096-C968-49E7-B847-3CF8B6F5CB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6901f415b773a96e611d02eb0fc7a059b52996","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d04f9ce4b281793a024fc97b6f355541c14f12d","datavalue":{"value":{"amount":"+0.8315005898475647","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":"Q5458829$435DF0E3-9139-4FE1-9AA5-31C23BD5D616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458829"}}}}}