{"entities":{"Q3179281":{"pageid":3189989,"ns":120,"title":"Item:Q3179281","lastrevid":52706327,"modified":"2026-01-23T07:58:10Z","type":"item","id":"Q3179281","labels":{"en":{"language":"en","value":"SPEC: an equivalence checker for security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667487"}},"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":"Q3179281$631CAD89-C1FC-4400-901F-FFFFB9C68769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c550adb260f0a3004d13471c9beea5cb7468eb76","datavalue":{"value":{"text":"SPEC: An Equivalence Checker for Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179281$A6EF60AD-A302-45A5-B8E7-DBCDFCC41AE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6accab990415b44ba0ec86af2d7f4dfe8b08df04","datavalue":{"value":"1483.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$E6CB14BE-5802-4486-932C-89559271D987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c417d01d2fd6dc3622d01500bb022b0c27a2b9c4","datavalue":{"value":"10.1007/978-3-319-47958-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$B6C656B6-2F34-4DCF-9E66-4A439FF1CF2A","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":"Q3179281$B463618C-A4BA-4D37-9DA2-C4B378240549","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-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":"Q3179281$4AD8D104-56B5-4ADE-A330-79F9B6D2F440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc4ba4c265015ff8448b2aa31d4fcbe416f00733","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/37433","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179281$84DCAFB6-01B8-46E7-8B6A-E0122ABE7AF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$037ED800-D201-41CB-8D31-688001BFBDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$8CD478DE-1D4A-4657-AF0F-89637C1A2B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$2D910296-1BE6-4384-990B-82A1626D4992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"238413eec41c24524c74b98f3fa28063cebedf8a","datavalue":{"value":"6667487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$93C1754F-3ACC-49F3-ADDC-E73F1FE03B00","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$DA9FC20B-29A3-4CBC-81DF-A83270231F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$1F3065D7-8CE9-4DCE-8A74-3D5695BF4878","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":"Q3179281$FC0C7DCE-23F6-4FB7-AE91-F38CDE9ED792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"921b31d944463f3f495150e3d9737db8f00d54c9","datavalue":{"value":"W2528654130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179281$1102368E-0C40-4093-BD28-2AEBAF29C780","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":"Q3179281$548ADF7B-AACB-4C34-9995-FE1DDC0335C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$0207907A-AB45-412E-AB51-68322A33A48D","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":"Q3179281$C1157E36-D9BE-4B8B-B79F-5906ECF5089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$E323B831-A36E-43A1-B7FA-2E3F9A9FC23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$F19DDA82-314E-44E2-AF8A-97228F3155D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$7B510C30-805E-486E-9EFB-3E16750E240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$620A6FB5-FF13-400B-84CD-0CA7C206D5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$D9E9D117-16E4-47F4-BB7C-2ECAA099907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$B8F3A45D-0EC5-4B4F-80E8-0D39DEBA8E39","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":"Q3179281$D2786D4D-6639-4EC4-8BC0-F19804422CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179281$A3A79ED8-6C5D-44C1-9AF7-9CA5ADCB9193","rank":"normal"}],"P1643":[{"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":"e8fa66eca0a9407422af8933ad3980a889c46f1e","datavalue":{"value":{"amount":"+0.7956568598747253","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":"Q3179281$E7E5FBA6-3CD0-4325-9BFA-2F7E6D9D089B","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":"85cef1d3ad7f71dc9470fc60c4c713260c5c5da3","datavalue":{"value":{"amount":"+0.7717097997665405","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":"Q3179281$C66A820C-62E6-477E-AB8E-1904BEF4E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5386af5c77ae129861b417cd884e0275d27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac40db881e3da5937173d2cf6f41ff02a819e9a2","datavalue":{"value":{"amount":"+0.7615458369255066","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":"Q3179281$0F7816D6-4E27-45F4-A77D-AC1CAF296FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683adacc26d92ccaf9aff05ee6af8e05d4fd99f","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55650df4fd809009272b4f39113282768f05b167","datavalue":{"value":{"amount":"+0.7574235200881958","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":"Q3179281$20620689-0C28-4E3D-8290-C16EA8FB22DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0606e370b53576d9740ca173544db8e1c615de2","datavalue":{"value":{"entity-type":"item","numeric-id":5277904,"id":"Q5277904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2463ed16bd19d8add861c749d38f9feaec01d8c8","datavalue":{"value":{"amount":"+0.7563921809196472","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":"Q3179281$BC9C7448-7E41-46B9-8E32-3466CEC966A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179281"}}}}}