{"entities":{"Q5482204":{"pageid":7511764,"ns":120,"title":"Item:Q5482204","lastrevid":49903624,"modified":"2026-01-11T21:51:37Z","type":"item","id":"Q5482204","labels":{"en":{"language":"en","value":"Formal analysis of non-repudiation protocols with SVO logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5049711"}},"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":"Q5482204$5886683B-5097-4C7C-8CF4-F3F67A3EC504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef0cc4d0081d6b079b1c285d4af81653a3d03827","datavalue":{"value":"1115.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482204$F003A1D5-F3BB-477D-BB28-6A1D7CB59530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6ac3b3471e3f19c145d44e4eb0449e8de6f93e","datavalue":{"value":{"entity-type":"item","numeric-id":2131131,"id":"Q2131131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482204$D2CE8C46-9136-495D-862F-E3E0A5F8C8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8c470a2765818b34ee589e82c61b55b24c0d26","datavalue":{"value":{"entity-type":"item","numeric-id":1288426,"id":"Q1288426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482204$A80AB0CF-958F-482B-A859-9668CD814D85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63da72b0317302272e80c03c7cc4dfd35a3b574f","datavalue":{"value":{"time":"+2006-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5482204$7974ECE1-0903-428F-AAA3-5BD4F9EC3D7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482204$51AE774A-7EDF-440A-8D70-CF74DF9996B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8f19c51df53b6a5c75fda42424ed100eefb3afd","datavalue":{"value":"5049711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482204$1F2449D5-C9DF-40E3-87CA-063D51016F0F","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":"Q5482204$B34DC128-AF87-4CFF-92E6-A8E75A6802B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f83db4339b2ff7935b81ca5fcaadb23dfc1035c","datavalue":{"value":{"entity-type":"item","numeric-id":5490395,"id":"Q5490395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3afdc3be3083c6f061e4d2e52760e1a1d2e6d73","datavalue":{"value":{"amount":"+0.9304210543632508","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":"Q5482204$3977E93E-69CD-41D0-A841-0CD8736960A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a30c782675f2f867901f85fb0ce4f8142fc42b","datavalue":{"value":{"entity-type":"item","numeric-id":5318388,"id":"Q5318388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa131c606f9ac39ec705c8ee563a0dd804aff6a","datavalue":{"value":{"amount":"+0.8119851350784302","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":"Q5482204$28BAE38C-8E68-484D-8B5C-2EA79ADD3AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f532de794b6112a5c7f36bcf8a9667724b6582","datavalue":{"value":{"entity-type":"item","numeric-id":2576587,"id":"Q2576587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e62ce1e7ef1dd7cbeacc5d8665d0845823e92d","datavalue":{"value":{"amount":"+0.8065742254257202","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":"Q5482204$F9B48271-D4FF-4E8A-A878-5E36DF68C4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae9fce2955988ddc273804e9ea2185b420c865","datavalue":{"value":{"entity-type":"item","numeric-id":4250674,"id":"Q4250674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2277201195b1c8ea7118bf44db03dd4d473b1d","datavalue":{"value":{"amount":"+0.8042866587638855","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":"Q5482204$C2E61C3B-6676-479C-861A-B399D6B61382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562dd15cd80d6d05a5bec343d5c78cc043aed89b","datavalue":{"value":{"entity-type":"item","numeric-id":3404404,"id":"Q3404404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eedcd4ea04b91ba0041dca32abd89dcc3c7ae1","datavalue":{"value":{"amount":"+0.7814514636993408","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":"Q5482204$289C1284-4003-4711-8156-DAA635E41582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5482204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5482204"}}}}}