{"entities":{"Q1603654":{"pageid":1614394,"ns":120,"title":"Item:Q1603654","lastrevid":74125209,"modified":"2026-04-14T18:30:35Z","type":"item","id":"Q1603654","labels":{"en":{"language":"en","value":"Correctness of Java card method lookup via logical relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767866"}},"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":"Q1603654$F9B6BB19-8D9B-4CA6-8415-E6980DC56780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fbbfd05b9e7daafa860e67fbf01f48fc912f778","datavalue":{"value":{"text":"Correctness of Java card method lookup via logical relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603654$C672C45F-77FC-417E-A79D-C113CFA4802D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42860fb5abb54b7ce5d6adced4ae385912975332","datavalue":{"value":"0997.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603654$5FA3EA09-CB8F-490C-9750-1F5D8750F302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62c276b5930a2b2efe818e091f6493f39aa2534b","datavalue":{"value":"10.1016/S0304-3975(01)00138-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603654$749B3FA1-2FC0-4B64-8AB8-4B0708B47B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603654$05E2FB8B-092B-4EC6-BC4F-57F273A21EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603654$C226DAE8-BDB9-4511-B63B-F8EACD042B60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603654$083BB7A7-F1A1-4700-B049-42E03DB85D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603654$54D698F3-318E-4BBC-A49C-0CC44113B10D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d50aa6f61182973bb1ff081ceecce2866d8acfe5","datavalue":{"value":"1767866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603654$3533B031-6679-40BC-B9F0-A5BF1A319830","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603654$910A8D2B-ED34-418F-8DD3-162A71306733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d9324f9aeeea351a8db73f8cf20002060b26de","datavalue":{"value":"optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603654$BF26CFA5-7D19-4F5F-AF62-D6365D59B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603654$A16055D7-35F5-4EC3-B2C0-CC779F211BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603654$90EFBC65-60B2-433C-B09C-61C33AEA3CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe35613eb1a7af5491ccada4adb455a90c43e526","datavalue":{"value":"smart cards","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603654$81798862-E3A4-4EBA-97A5-511909722604","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603654$53DE9D68-D735-429A-9D6F-DE343D756FE8","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":"Q1603654$4EC0D641-69A5-4B46-B759-4A46E52BF4F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3981e783cfb13e7a60be85475d9147719b3a92d","datavalue":{"value":{"entity-type":"item","numeric-id":2729052,"id":"Q2729052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q1603654$AA0C0A93-55FC-4693-9BFF-3593D2309032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd66bb1a1ae227ad3cdb792dd8c713b001b9d98a","datavalue":{"value":{"entity-type":"item","numeric-id":5179352,"id":"Q5179352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775e84db49ed6828751aa4ae2e44345a49e0d6bd","datavalue":{"value":{"amount":"+0.82203925","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":"Q1603654$5A64E592-71F7-4557-A781-78C004E1AACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb93d1a4177adf72c2ce8579f037d0b7f4bdcd6","datavalue":{"value":{"entity-type":"item","numeric-id":2871841,"id":"Q2871841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2df6a8c5b1e66ac87f20c29e7147f33706e1f37","datavalue":{"value":{"amount":"+0.8214813","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":"Q1603654$C949FC65-BE2E-40A5-8017-E8F688930600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937995320392f6849bac351e1b342cfae766a7af","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c0a0d19fe5fd469486492f707065754501855d","datavalue":{"value":{"amount":"+0.816129","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":"Q1603654$FFDAE1FD-0694-4555-8687-D74D25257588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3d639d48b8169c5c4c383e6de2d896bb21494d","datavalue":{"value":{"entity-type":"item","numeric-id":2771741,"id":"Q2771741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925ac64cce3ecac262e822bca2bc081e39863e7b","datavalue":{"value":{"amount":"+0.7941955","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":"Q1603654$DDDC2011-00A5-48A1-A1BF-2590D3E919CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c775a190b977ffe56594cc58d840721902d116fd","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c11529f92d0ccef4c72209872c2917254e8743a","datavalue":{"value":{"amount":"+0.794159","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":"Q1603654$AE516B2E-FE3A-4C73-A678-962C05B43107","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of Java card method lookup via logical relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_Java_card_method_lookup_via_logical_relations"}}}}}