{"entities":{"Q2703702":{"pageid":2714447,"ns":120,"title":"Item:Q2703702","lastrevid":47585257,"modified":"2026-01-02T03:49:06Z","type":"item","id":"Q2703702","labels":{"en":{"language":"en","value":"Maude versus Haskell: An experimental comparison in security protocol analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576643"}},"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":"Q2703702$F85EE783-74C1-4AF4-A071-A7515B73A58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fea11407b1093a98e530e75f1f3dc465a78d5cf","datavalue":{"value":"0962.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$E8A3FF5D-A8C9-48BA-9827-11252917FCC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e919ac9d7660c6d64895052fefbddfdc2cdeb49","datavalue":{"value":{"entity-type":"item","numeric-id":2703701,"id":"Q2703701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$27AB420F-E293-46DD-96E3-0E96D17AED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$C899EC5B-5C02-4DC9-AFE8-6DEDC6D2DB43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703702$471E6DC3-8E7E-4A2F-A2B7-5DA3987CC4C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$D0506726-BB2D-4CB0-8987-AD8EC46114D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$CA6A1CB2-478C-4363-B45C-54805274FD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$1861C4DD-7C23-4A30-A929-B66CB40BE7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$9C158782-F29B-4F78-9E13-7B630B5C1E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32aa5e44d7e77b0014c2466e37c602719a434f14","datavalue":{"value":"1576643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703702$675D700D-C47B-431E-A705-A540196FA4BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94908c55adb46fda3f315456013e1d843ca2647","datavalue":{"value":"rewriting logic based specific language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703702$AD7B9612-A6C2-4BC5-851E-111B7F9B9D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703702$CFFF6A68-DF85-41C5-84C7-1E4DFEE0B8BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$5EDAC184-3AC0-42E7-AB2B-91851EB71C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$30865B3D-5830-460C-954E-3FF473A99D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$EF6B4700-AF8E-4E6F-A7E6-7E9FFCBC1E86","rank":"normal"},{"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":"Q2703702$84761CBB-887F-4E51-BECB-00FBDEAC4AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703702$B578B546-AA78-4C61-9816-3C8CD83DC62D","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":"Q2703702$32FB241D-8833-4C42-BCDA-B7894CF7AB73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8906f4215b98da2e918b0d1ea498c149b626aa3d","datavalue":{"value":{"text":"Maude versus Haskell: An experimental comparison in security protocol analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703702$7E4586C9-1EC2-4535-9D93-62EAA201FF35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0e2ca94935c9f80621896f199b48e9a570b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2703704,"id":"Q2703704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700ee2b78fdd3438410660b07860aa88948c79c4","datavalue":{"value":{"amount":"+0.7223025560379028","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":"Q2703702$1C30297D-759C-41E0-AECD-080E0A3CC205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41cc2b952c596261e9a1a162b9508e1af48e89b3","datavalue":{"value":{"entity-type":"item","numeric-id":4823860,"id":"Q4823860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f82ead029f5432b8f186352d23d3d359a1b3032","datavalue":{"value":{"amount":"+0.7161527276039124","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":"Q2703702$A35384D0-EDCD-4A92-8CF6-8D21E6498651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738354fc253573bba4270122979e4c6d2a2c1f93","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd46bccf7fe2cd76a25fc37a9d7db5d0c7bc4d3","datavalue":{"value":{"amount":"+0.7009438872337341","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":"Q2703702$7421BDE2-7B23-4415-AA56-AB2DA1611693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a64265cb6ec5314a2f664b5ed21fa8fd8262c7","datavalue":{"value":{"entity-type":"item","numeric-id":4508933,"id":"Q4508933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a219afd1c3bd9ca6ed4d7c54787a12600aa62","datavalue":{"value":{"amount":"+0.6970556378364563","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":"Q2703702$86ECBDED-27E9-4196-B4BB-AC07F6762356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201c4f9f21fd6722d3e0d2cb88dc8ddb7c4da06d","datavalue":{"value":{"entity-type":"item","numeric-id":4412521,"id":"Q4412521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29da05f3400195aa27a518c2a25fc8b5219fd0d6","datavalue":{"value":{"amount":"+0.6951623558998108","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":"Q2703702$40C8C0AB-1768-4E8D-A12E-01AA21BD1D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2703702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2703702"}}}}}