{"entities":{"Q5000231":{"pageid":7029808,"ns":120,"title":"Item:Q5000231","lastrevid":41653759,"modified":"2025-05-06T20:08:25Z","type":"item","id":"Q5000231","labels":{"en":{"language":"en","value":"Finite State Machine Modelling of Cryptographic Systems in Loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370790"}},"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":"Q5000231$6D96D516-2752-4910-9856-248713CBBB7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d219e34271a1a3fc7ff190900e189be7fc24d71","datavalue":{"value":{"text":"Finite State Machine Modelling of Cryptographic Systems in Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5000231$736B6306-969A-49A3-B88B-A7901BD5BC81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2855daab7a280cfe6cf7f32592dcb6fd1dbaba4","datavalue":{"value":"1464.94047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000231$795275D4-83D7-4DF6-9897-6082358A2108","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08e37b528dc0207364558dc7054904cefd2388f5","datavalue":{"value":"10.1007/3-540-39118-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000231$0994B4F8-1F44-47E9-8FF8-873055BCF3BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"326872da31ed75fdba8f75836e1a4effba8fd6c4","datavalue":{"value":{"entity-type":"item","numeric-id":892914,"id":"Q892914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000231$DF534FE3-C4DE-4720-A04A-7CAD29CEC9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3501ebdab297b749f8675e86966f283096a5ab57","datavalue":{"value":{"time":"+2021-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5000231$3F5FAC58-8E60-49A1-B698-A641AA926286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000231$FF50CD38-E816-41D1-AAF7-C7EAFA570A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfe4b2c588096e03621eaed23176684d4b81aac4","datavalue":{"value":"7370790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000231$E65A4E09-BE2D-47D6-845F-A1560AB710C3","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":"Q5000231$22CC62BC-9B8D-45F9-95FF-601207CC52B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98f9732992b2811671b44211d41d39abb6e714bf","datavalue":{"value":"https://doi.org/10.1007/3-540-39118-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5000231$C7FB8685-212E-4A86-98E0-3A252E84C2B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96ce1fdb8fb2db6206c14a28838019a888100209","datavalue":{"value":"W1576099321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000231$DBEE1146-3E2F-4B09-A916-0EE0F092F579","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f791ef68495ea2b0a262a1060ef6434d24096edc","datavalue":{"value":{"entity-type":"item","numeric-id":1210749,"id":"Q1210749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000231$076A78C2-585F-4DF4-98B9-3F4207D39F96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f62fdaba81aee4ec1ccd9ca11b3f9bd529a93ce","datavalue":{"value":{"entity-type":"item","numeric-id":5146196,"id":"Q5146196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa539258ecb816dbc2e5e1e9a713004860fbf87","datavalue":{"value":{"amount":"+0.8698772","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":"Q5000231$1ADD97D7-0AD7-41A0-B020-8E22920D6C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223ca52df9f98a572d32173a94d14cc4887de4b1","datavalue":{"value":{"entity-type":"item","numeric-id":5076807,"id":"Q5076807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3f634fd879a6f585d163b65f0a26dcd9b3e12","datavalue":{"value":{"amount":"+0.86320364","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":"Q5000231$80608205-3155-4C32-8D0E-2EE57B8A0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71f06fe3bb60028ddd9efd49e21bea24a22b8d","datavalue":{"value":{"entity-type":"item","numeric-id":3508382,"id":"Q3508382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a843bf7dee9bd0c0bcc9ae18e5d928f53746e6","datavalue":{"value":{"amount":"+0.86039424","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":"Q5000231$0D85B5F9-2470-4046-9501-31311A496E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97053eba0a5e1fc314ddf8e936a7265d58eccf3c","datavalue":{"value":{"entity-type":"item","numeric-id":3184717,"id":"Q3184717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4b0f2525017c4e54aaee79b0432ae58b6ebd80","datavalue":{"value":{"amount":"+0.85859203","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":"Q5000231$07919871-F319-426B-9BBC-DA16B999C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52478ff279512e40c9a9daa4aa32eece30259ed","datavalue":{"value":{"entity-type":"item","numeric-id":4900205,"id":"Q4900205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858489c8b7a1288b8b6305b5e08b759eda66f8bf","datavalue":{"value":{"amount":"+0.8539805","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":"Q5000231$C808E70F-302E-47B2-BCC3-79F598E81539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4acddf1b5d26ae7ec82ceb6b5dec656a158d5796","datavalue":{"value":{"entity-type":"item","numeric-id":5146134,"id":"Q5146134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5d4faef5e0ccc0462b73997b62ed772f2c640c","datavalue":{"value":{"amount":"+0.85272264","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":"Q5000231$4BF72D6E-1F6F-4488-8C2C-00823686A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60254e90050bfe60ece4a31d4a6d09f0041ad2d","datavalue":{"value":{"entity-type":"item","numeric-id":3557749,"id":"Q3557749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415d8eea437faaedc9a8cc90c7854b2c02cf906b","datavalue":{"value":{"amount":"+0.8508371","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":"Q5000231$59C77C26-384B-4911-9450-9D70324E0E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb0967d237c182c6088945a011ed2f76f1e1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5505360,"id":"Q5505360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821b52c5406e3f2e0dc3d943f44b26d69e7126fb","datavalue":{"value":{"amount":"+0.84578156","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":"Q5000231$6F4DFC82-24FC-473E-BB79-7E829CE5ADC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7a8457076a47cf1defd52b0f87c001cffd83f","datavalue":{"value":{"entity-type":"item","numeric-id":5897509,"id":"Q5897509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20160941ddf6dfc83e095e1d90bc223f7cee9b9e","datavalue":{"value":{"amount":"+0.84151137","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":"Q5000231$8C076B92-4F2D-49FC-8071-B9E72448EA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96958631ec0513300cff033837299d7d432ade8b","datavalue":{"value":{"entity-type":"item","numeric-id":1354575,"id":"Q1354575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4135a28fc72da131ce062821cf93f2e41e4d0d","datavalue":{"value":{"amount":"+0.83922815","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":"Q5000231$692D8C9D-F891-45E1-ABAA-942C6A965376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5000231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5000231"}}}}}