{"entities":{"Q3498447":{"pageid":5528350,"ns":120,"title":"Item:Q3498447","lastrevid":50357765,"modified":"2026-01-13T21:32:41Z","type":"item","id":"Q3498447","labels":{"en":{"language":"en","value":"A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275807"}},"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":"Q3498447$DEB0965A-8EB3-4AB0-BB33-D7582F56F08B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68882b3051814a2832c8fec795bda87720b44a8b","datavalue":{"value":{"text":"A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498447$118B8681-F093-4C39-8C75-9BD8DF6CAFCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ee236ccd4afc155f4bb4abd02e667179440a41","datavalue":{"value":"1137.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$4ED9B523-FCAC-437A-85BD-77C1CB83E734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3efb194836651838fa7eec096bbdb7b1ae4e378","datavalue":{"value":"10.1007/978-3-540-76637-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$4C91960E-A569-4D9B-A548-B9D8E25B4C0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498447$67B69E44-46F5-4537-AC3E-A940FF1579B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498447$DD2DC66C-8487-4054-8B3C-3D6597F2D196","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498447$7A91E31F-D14B-4B92-A79C-B7F785889E00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$562F344D-C4C1-4392-9E5F-374F04F92FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$44B692DC-68C4-4A92-80ED-A5CF03096C39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c643fa04d807da36fb1ac0168877bbe221b067","datavalue":{"value":"5275807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$500C2A36-A401-42CC-B4F8-08B5990BAD0F","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":"Q3498447$FB0A7D0A-2758-42B0-A45F-6050E52DD802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c64a29000f755f3005cdcd59007d4cbe3156663","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76637-7_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498447$9E38AE4C-4B7D-4641-AB80-E1CE92743109","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0bd086c583f106ab7621dfbc5cb4bf6152b2e06","datavalue":{"value":"W1568775940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498447$72CE3AF0-D845-4D9A-BF02-5F3BD8ED75C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141f4c317f3b11bda07211ace3e7f96eba56978a","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"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":"Q3498447$7FC37105-73F9-47F4-BFEC-8572ABFF64CB","rank":"normal"},{"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":"755a245737d4737b20347c32f112b9f6bab77b5b","datavalue":{"value":{"amount":"+0.850718080997467","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":"Q3498447$25FFD591-1BD7-49B6-9991-1C25AB021191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e4c25bbcf4768937bdbf22d174613a8508a515","datavalue":{"value":{"amount":"+0.8504489064216614","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":"Q3498447$C3113A99-3CA6-4A27-9FD8-98B4C89948C9","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":"3560eb65d8e5e232a79010d3947d46df1454edb4","datavalue":{"value":{"amount":"+0.8458399176597595","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":"Q3498447$D4B60513-8671-40A1-B2D3-6656D38D894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64544da2481ad3e4d805a38a96b52c34f80141","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c004d451e61f87ff820192777d09b98719c6802","datavalue":{"value":{"amount":"+0.8355688452720642","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":"Q3498447$D5E396E1-D7C5-43AD-90DD-4B84D3FC1133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498447"}}}}}