{"entities":{"Q5484904":{"pageid":7514464,"ns":120,"title":"Item:Q5484904","lastrevid":41849914,"modified":"2025-05-09T01:10:35Z","type":"item","id":"Q5484904","labels":{"en":{"language":"en","value":"EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5048164"}},"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":"Q5484904$DFBB8A6B-14CC-4C02-9B20-B6EEAFE50EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b9322d890c2692baf457e33292a505e9cdcf4d1","datavalue":{"value":{"text":"EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484904$183C44A3-1680-4CE1-A8CD-90DF1D55E03C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63de3bcd55d42fa8e4874d6ac5bc191611b2e636","datavalue":{"value":"1096.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484904$3F4D91A0-6A8B-4DBD-ABB6-9DB1DBD8C49E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8584f50ed651b46bda572166a13fb00f76dcce3b","datavalue":{"value":"10.1142/S0129054106004121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484904$54BF26A7-5ED5-4F17-A139-6965AEE4BEF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d7bbd7f400c771d6386b85436c1df4f753d30c","datavalue":{"value":{"entity-type":"item","numeric-id":931438,"id":"Q931438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$A6483DEC-1B27-4EA6-8F03-48C3EE4D5C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cf24ac37e0a5ab04ea7532da1b4f4e943c840c","datavalue":{"value":{"entity-type":"item","numeric-id":931439,"id":"Q931439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$43856581-7239-43BA-A447-A41A69703128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83c8694ba1f707ddd070fb09ddacf727238e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":931440,"id":"Q931440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$834E3EFD-D145-4011-9DFF-6A7F067B5E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c5bd96d3eed10bbe473050aa2633fd85cabf95","datavalue":{"value":{"entity-type":"item","numeric-id":931441,"id":"Q931441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$B7695A44-7933-4817-91F4-22398228E6E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$9FA71521-32A9-4A68-A2F2-BF851A2FDF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5484904$FA66D61B-7160-40B8-B2A7-F6609724B7AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484904$6FA37649-0671-45A8-92C7-BB5844B941C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484904$EBD4351A-E17F-42CE-ADA5-6A8965B4E5CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0dddb66db49bdeeaf1d405eacd834c12da6fae1","datavalue":{"value":"5048164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484904$AA10D855-6BD5-47C5-A0BB-784A682E46E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e434375efa698d528259c716067c94fb9c16116","datavalue":{"value":"spi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484904$514BBEDC-61A4-4CF3-9CCD-4545D3D66164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484904$D952B623-BF18-4663-8DE0-A24A1A56BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484904$552FC7D9-3B0A-4E2F-85A2-4D380B94CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2df63089c44ddfde3f68de7ad38c837b83632","datavalue":{"value":"testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484904$4BB01732-C5F0-4C6F-BA5C-F0050A60947D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$27DAD5C7-B572-419D-B981-B680DA3E7665","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":"Q5484904$B08495D7-C306-41ED-8F2D-65075414E356","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$6C4FDFA4-A454-4774-9DD3-86696DB7A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$D64B06A3-A9EB-47EC-808E-3788A164DA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1ee98d91aca12b30ad29c66369762b1ae76365","datavalue":{"value":{"entity-type":"item","numeric-id":4764197,"id":"Q4764197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$0A2E01D9-6CB8-43AC-80FA-516800C5B827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$AFCB4BD8-EFE2-45F5-BEF9-2BA969393F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484904$808CD88F-99D1-4F57-923A-970126408DC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2e7ba069bde795686a6a49b31b3bef151edb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5394183,"id":"Q5394183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698abc86c7bbff8f6f800641f36b3a1001091942","datavalue":{"value":{"amount":"+0.9938971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$DC874F31-7666-4A8B-A6B0-5FBC45D9359E","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":"929468ae2c8ed21048e5d2c8edcb613df89fdcac","datavalue":{"value":{"amount":"+0.9035424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$FAC144A1-6A59-4CCA-8242-2B2995EDEC0D","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":"6e6ea9c05643c8bc1841ac1124fd47a4052aefb3","datavalue":{"value":{"amount":"+0.8779822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$56AF59AA-123C-4503-8548-74DF9A695149","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":"2b91aa570f3870a0d269a95cbd8f722fbf015c90","datavalue":{"value":{"amount":"+0.8758804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$C79484B9-845E-47C2-9489-FCC0F96F2DA3","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":"e7d035bab12f0d309af67a5d17ece22dcb7c5953","datavalue":{"value":{"amount":"+0.8621125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$DE1FB8F2-5F7A-4C5B-880B-45EAAC437593","rank":"normal"},{"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":"dfcfe43f80d103d4f11e4db2d345a70b1628f82a","datavalue":{"value":{"amount":"+0.8621124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$EFD7AAF3-904D-4FB9-A4F8-2D95E718C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36633c4186fe1d71569c427b2dd8e5ae26faa3e","datavalue":{"value":{"entity-type":"item","numeric-id":1886448,"id":"Q1886448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf7ce012087145af8feaafd908175161f85f675","datavalue":{"value":{"amount":"+0.85509837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$D6460029-FA4F-4472-8CCB-1EE525CEFD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de82184e1dc6cc0fa934eec8bf915b701bb8544","datavalue":{"value":{"amount":"+0.85447305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484904$76DC853F-EA75-40AF-A45D-3B4027F3F6F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484904"}}}}}