{"entities":{"Q3087992":{"pageid":3098707,"ns":120,"title":"Item:Q3087992","lastrevid":51317588,"modified":"2026-01-17T17:56:11Z","type":"item","id":"Q3087992","labels":{"en":{"language":"en","value":"Logical formalisation and analysis of the Mifare Classic card in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940056"}},"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":"Q3087992$89A40644-F6E5-43FE-8866-86F3E8E6D678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60f31060e0bbd5049b799b9f1098ea8ac66858ec","datavalue":{"value":{"text":"Logical Formalisation and Analysis of the Mifare Classic Card in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087992$43317F7D-96FA-44A6-96AE-E71235CDBA8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3980bdc3131d0a951684421e30ab68b75cd1e1d","datavalue":{"value":"1342.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$0E51EEDD-894D-418B-B308-4FC58354DF41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cffebd5196079bbce9f8b9328c188ecdf369efb","datavalue":{"value":"10.1007/978-3-642-22863-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$9921C9C2-C48E-4A83-B8CB-15600A728D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$16D3CFB8-2755-4FCE-9D20-027018A4D556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"369a10dc968e973cf9fcc96bf9cc9fadad1cc0a4","datavalue":{"value":{"entity-type":"item","numeric-id":2643123,"id":"Q2643123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$73D65B3D-7584-465C-AC84-D492BDE06A7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$E0C0B754-C491-47AE-BAE3-18515D9EAFD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087992$C5BEA1B9-5277-4CAE-B1C4-A4AAE856D732","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef7316f33a33b4a22ef6603bd5f5d60708d5aac9","datavalue":{"value":"http://hdl.handle.net/2066/83531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087992$168C469D-31D3-4786-BB74-C20AFDD5E86F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$5FABC651-ACB9-4728-B563-DA281F8E54B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$86AD59A1-848C-40AC-BEEB-35C88E3FF0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$3D690F95-C4D6-422B-8B85-55754E28AE69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8386ce0d19358fe1e18b41d28220b300b479bd66","datavalue":{"value":"5940056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$C58239C1-24DB-414D-9D96-82AC91A7E497","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$1179B40B-3535-456F-A823-9174DD06123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$4328D59A-04A7-4ED1-9C14-17FC231C0B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$982EAB35-3572-431E-B17D-CC55BBA5F6B5","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":"Q3087992$323B40B8-B786-4D0C-B423-A8555DBAD758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"144f02b5ce8ba7311f9e57207ca3c751a9531198","datavalue":{"value":"W1507859865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087992$6EB2D2E6-3695-4053-9F18-262198B10C02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ff7e3391f56bd9714082bdb39578ba50ce9428","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$A2483940-A03D-4979-98BF-970544B552B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$635093BA-049D-44F0-AE24-6AE76FB1983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd044970ba35a847b0ff4eb79e1a04e54c912a0","datavalue":{"value":{"entity-type":"item","numeric-id":3773394,"id":"Q3773394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$ADAC482C-9522-4542-9D4B-489D96246C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$163C7B94-77AD-4B6B-B370-7DFDFCBB2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$9C16F6B8-0B86-4C2C-8086-42B519B7A6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016b4c192eec85e15b26fa9f269a543f1980e11a","datavalue":{"value":{"entity-type":"item","numeric-id":2781764,"id":"Q2781764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087992$EBCC6A37-F1D1-47F2-9F62-15FD7381D896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ccfd2a4ece4fb129f7fbe13ad3c03aff299b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4910243,"id":"Q4910243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aaa6c1d5178e3df9fc73f27dd99ecc58d12655a","datavalue":{"value":{"amount":"+0.7701981663703918","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":"Q3087992$95FC6A28-E6FA-4085-B3B3-DCA5112FA0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c735092865b4e93ec84b8c47f3bb76224496b8","datavalue":{"value":{"entity-type":"item","numeric-id":2803618,"id":"Q2803618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435a5c435b4988b070bfa9ea02fea87d7526c24b","datavalue":{"value":{"amount":"+0.7516711950302124","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":"Q3087992$6EA214A4-2359-44F9-9555-12C1E792E1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f537b59ca742a8da5d7907d1fe2c4c64dece48","datavalue":{"value":{"entity-type":"item","numeric-id":3454151,"id":"Q3454151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05be0f0b564c73181f50a3647e6da624d7a25c49","datavalue":{"value":{"amount":"+0.7468920350074768","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":"Q3087992$26D2508F-28A6-4568-8A7D-66D34FC38CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3c68adb102d60a429c25e33985b21162c12a5d","datavalue":{"value":{"entity-type":"item","numeric-id":860910,"id":"Q860910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146fe1f7470117c2907026ab2fde313ffdf74b68","datavalue":{"value":{"amount":"+0.7048996090888977","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":"Q3087992$4C2BD8B9-3C04-4F9C-B01D-A08F4A25F495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77f895afd98100006e46c73205a967e6cd7fcf1","datavalue":{"value":{"entity-type":"item","numeric-id":2766801,"id":"Q2766801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adcf5193a58f9aa1d8c7968d5f5d58c84654787","datavalue":{"value":{"amount":"+0.7035828232765198","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":"Q3087992$4E5707A0-FCF9-4A52-8639-49DC18D4A7E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087992"}}}}}