{"entities":{"Q40948":{"pageid":41004,"ns":120,"title":"Item:Q40948","lastrevid":105427403,"modified":"2026-10-09T10:07:32Z","type":"item","id":"Q40948","labels":{"en":{"language":"en","value":"Hotel Key Card"}},"descriptions":{"en":{"language":"en","value":"AFP entry HotelKeyCards"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f1dfe4d39e367cea0797fe2193fbe72883aafd0a","datavalue":{"value":"29234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40948$418DEA2C-64E5-46BC-9A3B-C1D6C0C3BDE4","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b7e732e9c1ada2949f380a0fe23a9ad1d3968792","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$41B16538-9FA2-4939-BF4A-A9B1670E0EE1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$8CE7EFBC-7CE3-4F1E-8E2B-C211AEC206EF","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ba2abbfcf8559d5e6f20c25e2d2a482481ddefa2","datavalue":{"value":"https://www.isa-afp.org/entries/HotelKeyCards.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40948$9979CDE2-AEC1-40AC-9FDC-061AAC76B874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40948$315FD904-920E-47D0-B8C9-70CACC9AB47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40948$A067D8F1-B541-4898-8EB8-4EC59BA18483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40948$FC803927-C9DD-404B-A114-E59B67938852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40948$F8AB9D4D-8BB2-4566-B150-280AC09A74CA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$56DA01AF-629B-409C-982E-B0BD04FB2DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$ABB580FF-6585-4DE7-95C5-73AEAE055B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$7BCDA61C-AC7B-4770-9259-72DE3D69F4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$5F0E38CD-3617-442E-A5FA-AF412BB7C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81319f5b8664d8398f69fd7004689cf3156bb740","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$D5058A35-80AA-4256-9293-F3404695CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87ec2ca742c9eb10fbaa98b1820ddb7f4298bb25","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$67520B47-E469-494E-92F5-C32039E05CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$F17257D0-6271-4847-B32A-59D14E3438E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$F4B4D4AF-96A4-44B0-A7A8-50F572B2CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$C65C0FA0-C139-4AC7-B833-CC957E6366AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$B116F37B-B784-4F94-BFB2-743AE563C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0e2d96c0ab7842d9a832174e11ceb561846f750","datavalue":{"value":{"entity-type":"item","numeric-id":22367,"id":"Q22367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$AEBE7D23-0D47-40A9-A069-71CE0FB144A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cebaec1d4c924093d2802f1f6f7d4f984bb7f11","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$62F72FC2-D29A-45A8-AE94-E6714BB83647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$FC124C92-161A-4EF7-ABE5-13C8B56D1F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$32422E26-5ABB-41E4-9F73-5EB7B3DE73E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$2A2A646E-6EB3-4746-81DE-303BA761BF97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30e35fde3297ea2833540918cb65ad4935af5ed5","datavalue":{"value":"https://isa-afp.org/entries/HotelKeyCards.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40948$91839498-E447-4300-9C73-A88B9D07FC21","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40948$C23F7396-F447-4F34-92EC-441FB3CE2EF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"771c7fbede5eec5790ef45175acc1c3ff0ed1269","datavalue":{"value":"Two models of an electronic hotel key card system are contrasted: a state based and a trace based one. Both are defined, verified, and proved equivalent in the theorem prover Isabelle/HOL. It is shown that if a guest follows a certain safety policy regarding her key cards, she can be sure that nobody but her can enter her room.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40948$3A5BBFD9-A119-4F00-B148-CD41DE1FBDD9","rank":"normal"}],"P223":[{"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":"Q40948$40B01A1D-BAED-48A7-9D5D-F9BA3142D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$0E638C9C-9F38-4C53-8589-BE06EE6F2273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$4A3D2B6E-CE07-4834-AFF7-35CC920CAED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$0ED0B88F-02B3-41E8-B584-214C287119EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ed0735b2e2c269867f0029417e18cc23fa071e","datavalue":{"value":{"entity-type":"item","numeric-id":2848061,"id":"Q2848061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$CDFE0002-1BAA-4FAB-B3C3-A5968D6052E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a71488467bbadda7f5940d71c2acc66ea392667","datavalue":{"value":{"time":"+2006-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40948$D8A4EF9B-F155-4197-B00D-5A3058D795F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b24a060f84d891242b09ad429bec9aa52cbf64","datavalue":{"value":{"text":"Hotel Key Card System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40948$8D929301-DF73-48C9-B4E6-BA07A2CC57E0","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$3C6D79E8-EBE1-4A26-AAD3-1AD7F8B63315","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ed082e42011d2ebbcbf36c06241a36f1d357174f","datavalue":{"value":{"entity-type":"item","numeric-id":7360801,"id":"Q7360801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40948$7D989187-EA04-44D3-9BB0-9615D597A21C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hotel Key Card","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hotel_Key_Card"}}}}}