{"entities":{"Q5900591":{"pageid":8006343,"ns":120,"title":"Item:Q5900591","lastrevid":41571579,"modified":"2025-05-06T00:08:42Z","type":"item","id":"Q5900591","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688939"}},"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":"Q5900591$EA0D2CD7-2225-4BE4-AF41-E103117747CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900591$D7FDECF6-1483-490E-8643-1F1B736B5EF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23518580e63333621351b0f2df12c8fec8358374","datavalue":{"value":"1274.94043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900591$DB846525-2E6A-4CF7-9845-4693E2822A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb623dafc466fed9748333d52d6230d540789c7","datavalue":{"value":{"entity-type":"item","numeric-id":472477,"id":"Q472477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900591$874B2B76-6FAA-479E-A3FA-A4FB3312BFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cbdb18846c5851fb4726eea3c171e8d4a619896","datavalue":{"value":{"entity-type":"item","numeric-id":1274929,"id":"Q1274929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900591$85C2A842-35DC-4DEE-9C76-2AB476FB72B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900591$95B86600-65EA-4ABC-826E-8DE87DDB0FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900591$C51AFD44-8073-4C25-84D7-814B8C9079C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900591$F7C80FDE-E01F-4E18-A699-76D7BE27EDC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"803f221e7ba2826429d40b2d02c4f6c8e46a6466","datavalue":{"value":"5688939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900591$92B02E4F-9483-4BCD-8981-36FEE2557673","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42befa92cc95fa50699db409def6920275d595fc","datavalue":{"value":"AES","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900591$C1AE429A-3579-48DA-B970-0AFBE2B956C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9656bc962941529846222b84f62b6aa95c1b9f6e","datavalue":{"value":"fault attacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900591$D2ACF237-37BC-4C18-8192-CB2904AADB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a37b6ae9f3d60e81b09a2afc4587835e85df5d","datavalue":{"value":"implementation issues","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900591$9DD93978-2861-4819-90CA-04777757BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873160378dfc2fa68b8e55e514ee9cc5e5c15a93","datavalue":{"value":"secure banking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900591$B8709195-86B2-43A2-8393-954E67EDEED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe35613eb1a7af5491ccada4adb455a90c43e526","datavalue":{"value":"smart cards","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900591$FF9FB710-D83C-4A33-B08A-EF140FA89B88","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":"Q5900591$280107CB-637C-4CEC-9874-F624A743DB20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900591$A21AAE33-A3F0-468B-BF02-E2754D596155","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900591$BE4EC117-A339-4231-A251-8C7CCC549ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900591$3A781477-55ED-464D-BA63-A652798C2712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230b2ad9a918273e2d5e74609df324818e27ce0f","datavalue":{"value":{"entity-type":"item","numeric-id":3637153,"id":"Q3637153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed13afb4a2df1d200e88437e1c1ba937cf65a43","datavalue":{"value":{"amount":"+0.9390186","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":"Q5900591$EBBF8C1C-1A7F-41DF-B9A1-B79B42B49140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97dcea4614cf84e625a7b0d95a381a11ef39f57","datavalue":{"value":{"entity-type":"item","numeric-id":2838300,"id":"Q2838300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4812e12c04c9f8e332e6803296d50407c1faad","datavalue":{"value":{"amount":"+0.9335855","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":"Q5900591$9F3AF051-708A-403E-8655-2B31EB04C12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c5b7266c57d06b4bfecbc4081f75b676b14d24","datavalue":{"value":{"entity-type":"item","numeric-id":3011924,"id":"Q3011924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db3026357e579d8821945da67323504a741e481","datavalue":{"value":{"amount":"+0.91621774","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":"Q5900591$0C7E842C-5BD9-4E20-BC47-383CCFE939ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e551f5383e05353d3af5c6c0451e56f74c3337fe","datavalue":{"value":{"entity-type":"item","numeric-id":3421475,"id":"Q3421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f4ac9794033d716fae4c17c99fdf4899bdfad6","datavalue":{"value":{"amount":"+0.9125754","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":"Q5900591$8F5B5BD9-CE27-44C7-A583-11C5C86B3773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8576bd7a6c28197cb705a8de8f4b880c92a26e5","datavalue":{"value":{"entity-type":"item","numeric-id":3460178,"id":"Q3460178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05081729a7c5462a1e8cf5ae85898769a5eabd31","datavalue":{"value":{"amount":"+0.90886956","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":"Q5900591$97EDB830-FF70-4FBA-8CE9-5B30816D62F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2e0be381d68a0213920479a1ce496c74af7f7b","datavalue":{"value":{"entity-type":"item","numeric-id":698963,"id":"Q698963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3698ac93e20375b2649b3e45f46414e218755a41","datavalue":{"value":{"amount":"+0.9084556","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":"Q5900591$C69815ED-18DA-49F8-9938-42439F6CEC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bb6eacc8234827cb941b615c1165b7c4b03e40","datavalue":{"value":{"entity-type":"item","numeric-id":4945382,"id":"Q4945382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e745dd92e43800a6d80ced5af15d66448de72ead","datavalue":{"value":{"amount":"+0.90796924","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":"Q5900591$BE9F5ED5-57D7-4317-AA91-BA89A2B98EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900591"}}}}}