{"entities":{"Q436381":{"pageid":438148,"ns":120,"title":"Item:Q436381","lastrevid":61814883,"modified":"2026-04-11T01:51:28Z","type":"item","id":"Q436381","labels":{"en":{"language":"en","value":"JCML: A specification language for the runtime verification of Java card programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059140"}},"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":"Q436381$ED4A16E4-4BBE-4B1C-9A78-D557ED50B38B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd8cd003bc52c07c7a87e7ad0baa15e1c48aae64","datavalue":{"value":{"text":"JCML: A specification language for the runtime verification of Java card programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436381$FFE32055-20D8-4E55-8F9D-2D91E30456E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"546689fb51e6505f402de393b1d396b4ff642265","datavalue":{"value":"1243.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$D1F7A172-EFAC-429C-A559-BDC3881287E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f4696b5a27889a1f548609efa2604b53391c2e2","datavalue":{"value":{"entity-type":"item","numeric-id":436377,"id":"Q436377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$CE411B21-56BB-4615-BB70-2065F5621D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ff793006ed21724f5b5b06ca942859b3f3dca2","datavalue":{"value":{"entity-type":"item","numeric-id":436378,"id":"Q436378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$38CFFFFC-C230-4AD2-912B-67933AA40620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7c0ecb51d68bb4705d9ff8cca945ce9ea1b1df7","datavalue":{"value":{"entity-type":"item","numeric-id":436379,"id":"Q436379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$BF143F0F-B29F-462A-BBF2-8B2B1E84FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e807e6618c0862b24b06bc716f51030000b1c27","datavalue":{"value":{"entity-type":"item","numeric-id":436380,"id":"Q436380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$6DED7DFC-4BB9-4D99-B27D-0A3945425EB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$E7A8D0AE-D8AB-4A53-9663-AC1BB86FEEC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436381$901BE8C1-064E-4DDA-AA41-BA46FBC1971B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$308EC921-3FD0-476B-8002-6AF84688CE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$9C219A0D-87D6-4CFA-9198-394F3B2784EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a250bc2c48588d3b0802e42f675cd47d4fbba7f","datavalue":{"value":"6059140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$120D42B7-1C4A-437D-A830-546C18B5CA9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdc50f9ca57759a689d99741fec6e06b3926c2f","datavalue":{"value":"JML","type":"string"},"datatype":"string"},"type":"statement","id":"Q436381$35C224C8-822A-46D9-B212-8E6A3C35DFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99c9cb22c11fc5102e4fd7ac02c6495af6cb5bf","datavalue":{"value":"Java Card","type":"string"},"datatype":"string"},"type":"statement","id":"Q436381$22D43723-88C8-41E0-AEE7-74BD2CD43D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03c8c7c7cd262cb0e4b187c18533cf84f5c2170","datavalue":{"value":"JCML","type":"string"},"datatype":"string"},"type":"statement","id":"Q436381$BF8B4869-6079-441D-8748-DC935A2D0307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436381$9F1141C0-DFC7-4F70-AFA1-2747A44D8935","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$9B0F43DD-0760-4AEB-A93D-A49C87B651A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$0799AFF2-BD04-4386-BF08-4EBA8B94C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$8A011A2E-EC26-42DA-A5F2-10D7179303B6","rank":"normal"},{"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":"Q436381$03E480B7-88E2-4D7C-9CE7-1D66D07DD14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$1A831B8E-795F-4486-8B1E-8C0277293D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$FCF9DA5D-A5DD-4F78-9AE0-401E165A0DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$FB20B26B-28C4-46AF-A342-CC3516D67E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$954950E7-A548-48DA-95FF-EF069792EC6F","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":"Q436381$C3253618-FCFD-4C54-BC68-023E34C35104","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b3202363bf14155f30c5bd9c045ba13c669a96c","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q436381$E6733105-A1AA-4482-98BB-4868F0697565","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c38547d9d5e173150d6a8f0ce8342dfef5d1c26","datavalue":{"value":"W2040318030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$317969AB-911B-457B-8B0D-F78E6914E767","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$4BABB901-50D5-48FF-A18A-F4E16230ED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045a7ee5f79fb847b20f7c3557c6b2030bd2405","datavalue":{"value":{"entity-type":"item","numeric-id":5179352,"id":"Q5179352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$78F2DAA8-2C75-49F4-9A56-8E0F24588E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd97facb3bf2a9c2c615550ed3786e6ac0e057","datavalue":{"value":{"entity-type":"item","numeric-id":3525137,"id":"Q3525137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$5B2209A9-EE31-453D-A290-D0A8660D2B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10987b4086019deb8eb668b9c9d4084a5a9a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4335814,"id":"Q4335814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$DA97992C-7E72-420F-980C-8EA069B65CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562b44e5b1efd6b73efa833f666ae0b706baadad","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$5F88835B-7729-4F50-841F-E87E66ACFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$86E8C9CD-EFE6-4451-AA1D-605976AD7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f2519b5078bb9eb21d8c9f7fcd15b55f367e22","datavalue":{"value":{"entity-type":"item","numeric-id":3998221,"id":"Q3998221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$33865C9C-B66B-4B86-9F9E-02539915E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd5c1baffd52562a65fe696dce1be9ae1e4d30","datavalue":{"value":{"entity-type":"item","numeric-id":2769594,"id":"Q2769594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$2C7B04A5-4A27-4526-857B-9AA74261B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436381$355902E0-6FEB-4F73-8EB9-E7E29F6A231D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"269680149ebdbd4346f106267ceb2a444f9d4929","datavalue":{"value":"10.1016/J.SCICO.2010.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436381$47E3BF50-94FE-47DD-B1EF-A356557256B1","rank":"normal"}],"P1643":[{"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":"c593b84d1101e0a92033ea9628a5116e6aedcb72","datavalue":{"value":{"amount":"+0.976371705532074","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":"Q436381$A43F4089-7D37-4EA0-92F6-83E5314586A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8c39bcd35fdf336b3453da70bd08966da320b2","datavalue":{"value":{"entity-type":"item","numeric-id":4788555,"id":"Q4788555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c761744478377c13ca7d45c71e249efd6348a28","datavalue":{"value":{"amount":"+0.7837039232254028","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":"Q436381$8F1C9005-EA65-49CA-AC18-40E813F02BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a01587f80cb06025bb85b9b45b6b99cd3641d3","datavalue":{"value":{"entity-type":"item","numeric-id":4785558,"id":"Q4785558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5af50da3c474826b43c3699310bd3d93a0ce19b","datavalue":{"value":{"amount":"+0.776279091835022","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":"Q436381$567A2B00-0F08-46A0-ACFD-20FA47AD510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc2b1143b41820ec316c87ae158e220cd9bd863","datavalue":{"value":{"entity-type":"item","numeric-id":2771757,"id":"Q2771757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21a135e0aaa968257da7748cf87c534c987bbe7","datavalue":{"value":{"amount":"+0.7750746607780457","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":"Q436381$4FACD3FD-3652-4BE9-8ECE-8FA58F13E72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecf82039a7ecfb5289057af1d34c7695bc00653","datavalue":{"value":{"entity-type":"item","numeric-id":4785541,"id":"Q4785541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bdcc8955c768bf3340043c03338c8ec6f6fdb9","datavalue":{"value":{"amount":"+0.7726327180862427","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":"Q436381$BB274256-F598-43A1-B247-65BC3CCB2D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JCML: A specification language for the runtime verification of Java card programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JCML:_A_specification_language_for_the_runtime_verification_of_Java_card_programs"}}}}}