{"entities":{"Q2784489":{"pageid":2795227,"ns":120,"title":"Item:Q2784489","lastrevid":42010549,"modified":"2025-05-22T09:57:00Z","type":"item","id":"Q2784489","labels":{"en":{"language":"en","value":"Proof techniques for cryptographic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732377"}},"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":"Q2784489$444D82AD-F2F8-4823-A62F-511FCA98DDFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b813bc4b1e50c7d5fe89233d12b29dfbb311ce12","datavalue":{"value":"1017.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$A599D05F-C06F-4B14-9E83-12FD97B1ECCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"879808cfa0b72a987cfe07bacf6e81880aa8ffd6","datavalue":{"value":"10.1137/S0097539700377864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$504DB5C9-BCD7-4488-B18F-6CA8AAA69910","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784489$0321AE35-51E6-4689-AAF9-F7A3EC9BBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784489$EA3AC4C7-A66C-4181-959E-5B7FE0080D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c091a2e6ab80fe580104939a47a45052e3841b4","datavalue":{"value":{"entity-type":"item","numeric-id":859967,"id":"Q859967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784489$1BED8365-668C-4CCF-93FF-7B21811E3DA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784489$A49C60B9-9EBF-4CA9-AF9A-A231DF1117D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22e17fffa644ae9f618754e26357d6dbd53b7382","datavalue":{"value":{"time":"+2002-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784489$0AF30C64-E2F6-4A28-8F9C-D9D65A141514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$A7FBBEC8-5632-4D41-B9B0-503F02388662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$36755D1B-2822-467A-BD8F-339331ABBAD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db15898c98224e7acf2e7f173263d87723a61329","datavalue":{"value":"1732377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$FD4BDF3B-F85B-4488-9987-9E82C609796D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784489$995B6125-48C0-40FD-ADD5-4DDB94093085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c32affb7b6f336a36cf05118f76cd9010d16c9","datavalue":{"value":"reasoning about security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784489$7D5F5631-2153-44EA-BAFE-A8CD319224B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784489$DA67CC7D-6735-4412-911B-79FFBDE9762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784489$A466DA73-70EA-46DC-9C27-935D2F64C815","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":"Q2784489$ABE14099-0256-4377-8091-C8183CA2870E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"06e76d74fac1d5e3b16a18dafcb1230e108ae0ed","datavalue":{"value":"Q57650900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$0698D5E6-B65E-4B8B-8506-FB71F96E7E33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9bd655c1c40cffa7ceda147ea2e8f24d2a0b19","datavalue":{"value":"https://doi.org/10.1137/s0097539700377864","type":"string"},"datatype":"url"},"type":"statement","id":"Q2784489$FA70BE32-378B-46FE-BF62-EB2A47EA9643","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0db3c5a58740c236ff08329f929d25b70be8655","datavalue":{"value":"W2063608931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784489$378F92DA-98BF-4A0A-9F88-943C75E45511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a01f1120dcfffbe8c32941c7892b6d7c1cc6e3","datavalue":{"value":{"amount":"+0.9465754","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":"Q2784489$75BB356D-BA3F-4ADA-8FDD-8FF60BCBE7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683041fdd3d4a5863ae2493e1ba520168f6ab7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426678,"id":"Q4426678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287843aca28beb88d3db945047edf21d7e21d643","datavalue":{"value":{"amount":"+0.89463747","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":"Q2784489$30122CE3-2EC7-4EDC-9A57-A9236772E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b3f221a2043adc15b27f65689fb8aa68d5e803","datavalue":{"value":{"amount":"+0.88847244","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":"Q2784489$D149B4F0-330C-4DA4-A60F-0AFB3E5BD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2655cc2739ffa32d9dcd90f790b72bce9e36ed1f","datavalue":{"value":{"amount":"+0.87372917","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":"Q2784489$08ED79FB-46DC-4F82-B80B-5A47F331368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0e58252d4e00102060939458a9b89a5c4633f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431294,"id":"Q5431294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df16c4aad1d4d9b44613d1f3468392b6a4877dbb","datavalue":{"value":{"amount":"+0.87223136","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":"Q2784489$140130C6-7F5B-4D16-AB5E-FB48046768AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4df83a770e3e91624e4ae2d6d92f0d107a88fc","datavalue":{"value":{"entity-type":"item","numeric-id":2841213,"id":"Q2841213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d5b4a075d9bfe7dbaffc917cd544a1ba27b6b3","datavalue":{"value":{"amount":"+0.8703796","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":"Q2784489$1ADA403E-0C45-467D-B3CB-591295993ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d9e71426cf434c375ccc2ccd842157c240e198","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40099e294a6f153107d5bd16e2df1b759eaf65e1","datavalue":{"value":{"amount":"+0.86953837","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":"Q2784489$AD1D3B21-453F-474D-9270-5276E2BB3B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48a0423aa9473530f402e7d41a55ef465decbb1","datavalue":{"value":{"entity-type":"item","numeric-id":3569728,"id":"Q3569728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64885f4ca92bbfb890c7aac988c8d612377810ca","datavalue":{"value":{"amount":"+0.8673875","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":"Q2784489$B44C052E-8BDD-467E-B852-EDE01E2D4132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a318d7a94866be7f78ad353dbada6541de5b5a61","datavalue":{"value":{"text":"Proof techniques for cryptographic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784489$87EEC77E-AD79-4C37-AA89-B61A24C5D980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2784489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2784489"}}}}}