{"entities":{"Q2871841":{"pageid":2882561,"ns":120,"title":"Item:Q2871841","lastrevid":79529897,"modified":"2026-05-06T14:07:45Z","type":"item","id":"Q2871841","labels":{"en":{"language":"en","value":"Ensuring the correctness of lightweight tactics for JavaCard dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244371"}},"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":"Q2871841$4C29E786-27F2-4CE7-941D-4D4EF16C810A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b6b36abfab4298f169f31528beb4ef3e8a2e028","datavalue":{"value":"1278.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$D8997C81-D221-4D8A-9B14-3CF31C265C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$23BE71CC-0319-4625-9EFF-793449736050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfade05e6e771a85343669f4902c8e7da4c9095","datavalue":{"value":{"entity-type":"item","numeric-id":305083,"id":"Q305083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$492BFB66-FB9B-4EF7-9477-D6E0A1BC0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$83C886CA-6CA1-4F5B-8510-54FFF15FB151","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$947593AF-973C-478F-B4D4-1E798879765A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871841$E4CAAE51-CC2E-4DAD-8EED-4621A2285E19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$11ADC49F-4806-44EC-8AB8-02347EC45657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$C6D1B27A-AEA1-4357-9F82-35E9C8DBA7AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2098f17526714261f5473bc2d19bac316003606c","datavalue":{"value":"6244371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$BBC0F049-DE7F-42A5-86E1-08F48649AAD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605a87ffd48fc237697ebe992f65d470f3ee5df1","datavalue":{"value":"taclets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871841$F57F5E96-5219-47B6-B664-D23AAABA3C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bdff6f73edbd3073548b0bd520db57ffea7ec8","datavalue":{"value":"lightweight tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871841$692B1881-1484-426B-B964-80B183D3778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871841$F3014709-45FD-4AB0-AFDE-84BF60039FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871841$D64F6AEB-DC3C-4E4C-8CF2-93F9CC448CD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$237388C6-BB55-4CB9-9BB7-E3CA06A0FEF3","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":"Q2871841$F21FB009-A5E9-4513-88BC-38F81C2B58B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8d47269417ac06797c2acce79edeb9e4f86ba61","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871841$963FFAA0-0717-49CD-A731-73BA30CEDB61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca00a57b18f274df68833c50e9b27d7434a9fa1e","datavalue":{"value":"W2035676673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$F783ED00-73A0-4072-962C-0FEDE10C1304","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee9d5f4efce57aad8d86642a198daf9ff288bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5387854,"id":"Q5387854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$F57194B4-5D54-4B4F-A9BA-4A4ED991E2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fee3a99fd03e027aac2c8350986d4fec7300642","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$995B4B6B-348D-4785-A51A-FFC97BC87BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f010c2362d9d1779b4ad4e50906ef20d704dec","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$C0386D4C-D1D6-43A9-976D-C87609BAFBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c0aee96fc75c48554d283e014b50b7c23f4f22","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$0474F316-5735-46B6-A0A3-9191EDE97187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$D49AFB11-F2B8-4EA0-B545-D1A932EFC956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871841$67EA1500-CCE4-4F78-93A4-5AB14517C739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5471883567505360cb00794f5f554b2d512ff8","datavalue":{"value":"10.1016/J.ENTCS.2007.11.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871841$A877BB65-8C31-468B-8260-45807E19016C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a979c7deb34841c3da91e1adbd5ed33d2798f84","datavalue":{"value":{"text":"Ensuring the correctness of lightweight tactics for JavaCard dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871841$FDC7097D-B039-4FBD-82B9-46BABDC63291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c3f963b803f27935229284523718b4977c24c2","datavalue":{"value":{"amount":"+0.8216105699539185","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":"Q2871841$5B5D6AD2-50AD-4127-AA6D-A77AD1FF4655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27cc0c3bff55b6e4a684adfcb41b5c42dc38897b","datavalue":{"value":{"entity-type":"item","numeric-id":5316441,"id":"Q5316441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ccbad4fe85a8c76a8ec39278fbd33befb1c1e6","datavalue":{"value":{"amount":"+0.7674320340156555","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":"Q2871841$8E5675F2-8F04-4FAB-9682-16B714A616C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14482c3294a99d3df4fab315dd66cc4ebcc095d","datavalue":{"value":{"entity-type":"item","numeric-id":6488526,"id":"Q6488526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fb8c03f736da3bc30e110d8705d93675069b15","datavalue":{"value":{"amount":"+0.7254437804222107","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":"Q2871841$C29EB0DD-2007-4312-A79E-2AF58214AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8c5a073b0d56fd44a79f48ec4fa897b67d4803","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11eaa27c001035fd3db9a39ce6ec788e16a6d55","datavalue":{"value":{"amount":"+0.720480740070343","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":"Q2871841$B708F18F-B38B-4D77-9440-8F266970AB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff65630b99019d89f30e1a1675eb234adb5b6ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1af31fda626e7fc7e9ec26eeac086209d52b8c","datavalue":{"value":{"amount":"+0.7153087258338928","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":"Q2871841$B248846B-60DA-4303-BD5C-4028144C9965","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ensuring the correctness of lightweight tactics for JavaCard dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ensuring_the_correctness_of_lightweight_tactics_for_JavaCard_dynamic_logic"}}}}}