{"entities":{"Q2849864":{"pageid":2860584,"ns":120,"title":"Item:Q2849864","lastrevid":51828494,"modified":"2026-01-20T06:08:57Z","type":"item","id":"Q2849864","labels":{"en":{"language":"en","value":"Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209897"}},"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":"Q2849864$52A3DF13-AB86-4819-91AD-EF5003A4EB7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"177e45b6a8a6099032660d4c5a031b6019e80ba4","datavalue":{"value":"1272.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849864$BB70D21E-FF71-4DF3-BC7C-F250387DA145","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849864$6E159AEB-2E6D-4875-A274-C85B7E89F8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6774ae2dfd2eef224a85f98eefe50cc4899b8867","datavalue":{"value":{"entity-type":"item","numeric-id":880986,"id":"Q880986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849864$37E446A9-F64B-4CB0-8127-DAE1F00586A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849864$00D61D67-FA6F-4B6F-AB23-6808EF5CD4D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d989fbc8c7f5e7bd4bb1c619143e43b902fb95c1","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849864$9E3E02B1-391C-45D2-8236-817FF77D600B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849864$D6A9291B-DCAD-4851-BF73-5E474ACA2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849864$2D168317-D1B6-4BF2-A8AC-96CF47C31622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849864$BD12656B-3174-42FB-9575-551F1CB6F010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff5f06f7676c2e8ee792f31778372ea6c7716559","datavalue":{"value":"6209897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849864$0FC78417-2D79-4B4F-BD32-0840620C4C88","rank":"normal"}],"P1463":[{"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":"Q2849864$4258AD10-0C20-4AAF-A438-146869641B1F","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":"Q2849864$4CD01552-F0F5-42B3-B4FB-15511E4132DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9966440e8850f91ae10d0bc75e0d2e586431d942","datavalue":{"value":{"text":"Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849864$268AC066-B5CB-4A2E-A4E0-864BC78A42C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f21c9858a285985dafe430e07a9a699da096939","datavalue":{"value":{"entity-type":"item","numeric-id":880987,"id":"Q880987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836e3b8322586e1533b19d26bfc1f0466fe3e075","datavalue":{"value":{"amount":"+0.9965892434120178","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":"Q2849864$907A29A4-FCC7-4D3D-B99D-6CF1A98BF178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d5965192a5442bcb36976825ca54ec4c60467e","datavalue":{"value":{"entity-type":"item","numeric-id":4923367,"id":"Q4923367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f372e34b05aa0e531172011467ecb906f1a073","datavalue":{"value":{"amount":"+0.8183284997940063","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":"Q2849864$E425ED18-1C83-4E2C-B12F-A9E2EB5931B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b51fa5df8dd78e854c8805aa334363764e65d7","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0023a6882b8483cd1c7710c0b36350b91ad41694","datavalue":{"value":{"amount":"+0.8179922103881836","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":"Q2849864$7FA3C19F-F7B6-44C8-97F4-D31400912393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0ec567c443e85a8f52d5db4311b0af44a74f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4808734,"id":"Q4808734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71b27d10e54cbe46774b5f8b852111d2986bc29","datavalue":{"value":{"amount":"+0.7190385460853577","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":"Q2849864$8E6E7413-C173-4E24-B350-454B790CBA4F","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":"ab5d85e317fb43221740131c447b2fad9a840f31","datavalue":{"value":{"amount":"+0.7167969346046448","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":"Q2849864$5B02EEF0-B6D7-42A4-83FE-5C296F8132DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849864"}}}}}