{"entities":{"Q2996142":{"pageid":3006866,"ns":120,"title":"Item:Q2996142","lastrevid":51238160,"modified":"2026-01-17T09:44:16Z","type":"item","id":"Q2996142","labels":{"en":{"language":"en","value":"On bisimulations for the spi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884877"}},"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":"Q2996142$3A14C147-A428-42CE-8164-7141B5796624","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30277cdbea26a40ecfa0202e162083f949c1e959","datavalue":{"value":{"text":"On Bisimulations for the Spi Calculus*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996142$1B589E72-A5B3-4258-B380-5D244F83CBB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e103652cc5111782932d98eea1591d3faaa6bec4","datavalue":{"value":"1275.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$EE9FC101-C3C3-4CFA-B627-35D21B88D319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea9343bf4dde6e386fa8c22dd902a71503702f0f","datavalue":{"value":"10.1007/3-540-45719-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$4A9019D8-B07A-48D5-906D-62F53CE64C0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996142$20659E86-3FBC-4A24-9849-DBEC07B53F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996142$7DF2A39A-774A-4EA4-8895-CF884F94A02B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996142$66C84340-87FD-41DD-94C7-0F931660EC0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996142$2F92225E-BC94-410D-955E-5E19F64441BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7de8cc6ff1c2d9404ccceb53be1a254d72f0db2","datavalue":{"value":"https://infoscience.epfl.ch/record/52540/files/IC_TECH_REPORT_200334.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996142$54BA1DBD-7F09-4307-A10B-E6B1A5B7408D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$A6519AAA-360B-42AF-BA6A-88BD03ED7355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$D76812D6-BB0B-4774-A9F5-3B334FDDA6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$46CD5DBF-A88D-4CCE-8A83-A4BE5EF7A0B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e3499ccdd75f4c103dffc29fbc10df2b3d1c553","datavalue":{"value":"5884877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$C695BDF5-CEE8-4079-BC31-9A5C6851C944","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":"Q2996142$CEA3C572-F7E0-4E42-A5A2-AA2D90937AE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37c05c0d414303ec0c764913269b54de59666a5d","datavalue":{"value":"W3022519507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996142$8214E11A-BA5F-4A5B-BDA2-DE6A723400E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc40447aa0163b5fb9e136798f4a7b6be94e8446","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3dc0c6ab9ae69206837de3f1d7826b98b51c57d","datavalue":{"value":{"amount":"+0.9959676265716552","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":"Q2996142$1A9A7406-2F1D-401D-9A17-5D9A45B27969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad024b6d5a586bcb824ddb91497e2d41af492ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29d9eea309a5588c181a7754a98ac297090a280","datavalue":{"value":{"amount":"+0.9281665682792664","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":"Q2996142$4057A6D7-FF8C-482E-9A78-9CBB9059E4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464d2bc244bea75cdbc62fd3aa24a8396841d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4503956,"id":"Q4503956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98d37589aef37583b559e880016686350cb3bd0","datavalue":{"value":{"amount":"+0.8811294436454773","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":"Q2996142$2B41AC50-0172-4423-AE5E-3DA92AF20ADE","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":"40eee042e338658a80d7666d8057f7da50c953da","datavalue":{"value":{"amount":"+0.8678039908409119","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":"Q2996142$3124EB67-4087-4265-95C1-DB1556B2EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76497a2768d2e98548f3f77acba9ee89e130634","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd0b88cd3a3def66f9c7851d4584e02dbe7677e","datavalue":{"value":{"amount":"+0.8524489402770996","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":"Q2996142$72904A6A-B143-434A-93CE-529E1A624964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996142"}}}}}