{"entities":{"Q931434":{"pageid":933282,"ns":120,"title":"Item:Q931434","lastrevid":65463423,"modified":"2026-04-12T02:46:07Z","type":"item","id":"Q931434","labels":{"en":{"language":"en","value":"Formalizing non-interference for a simple bytecode language in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292872"}},"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":"Q931434$C76ED10C-52A5-4E8A-AA3B-EA592EF2E70A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"033996d64c77e3aef5da0c9615dd7c08a08ac255","datavalue":{"value":{"text":"Formalizing non-interference for a simple bytecode language in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931434$BF78AB58-C846-4936-859C-C4A805902992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06a14baec3773cfd6ec23ccab183e4d2087b2598","datavalue":{"value":"1151.68633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$A19F7C92-6259-408C-95C4-8506AABF73FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be5440cea38e13b33c53cbe578c9b791d6ae808","datavalue":{"value":{"entity-type":"item","numeric-id":433338,"id":"Q433338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$DD3F396D-DBE2-4A90-899B-3EC938AAC481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$C288AAF0-9BD8-459E-81C7-8F59DCC6A75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931434$C0B9B193-D28A-4E26-9616-A9203E9CDDF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$5E731DBF-2B51-42DC-9C81-458F01FC9C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$67AF472E-1EB3-4D3D-A9CA-4EB53609D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$8EAAB964-91A6-44D2-A879-23B50E5C3EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6243f66bd39c9e10f18a30f91dad3804ce45cf22","datavalue":{"value":"5292872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$985E14DA-F441-4825-B00F-FD688009739F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f3a8a69bf7bd56cbf947da73c73c1392888cac","datavalue":{"value":"Formal methods for security","type":"string"},"datatype":"string"},"type":"statement","id":"Q931434$96201AC3-F829-44CF-8B04-868BAEB66648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4442e38ff6b64ad991b3e2d135671cfb711168","datavalue":{"value":"Programming language analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q931434$4585A3D9-9245-4380-B8BB-918A429336E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c582926d0da8aa0e1cedb252f69727c0ffc23387","datavalue":{"value":"Modular specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q931434$D0EE24F0-0D50-4D4C-9BD3-8FBA233E4066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb9050ab298a05528c4142e6cf969c11125e6f5","datavalue":{"value":"Interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q931434$CD85AB01-795A-4F70-A533-C6E7B4CC2ABB","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":"Q931434$456E18E4-4D74-4B69-B11B-F25697DF8127","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":"Q931434$953F89DE-AA4C-4D30-A7F6-3FB6489C94FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bce74162433f3919e65ff459776e036a2d59246","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0055-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q931434$074E3B75-76B8-4461-9400-6E287DC1BF8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe8ee9ce612a409d9117ae8ad76af040cea9d8c3","datavalue":{"value":"W2156734947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$A9432337-F64C-4B17-AE38-BA49A2C83E0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2098d1c6d59362bcc59c67d035bce3d9e31f86","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$1695D076-FC30-4703-BAEC-8970A5E90894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba322abd2bd200446a62f7d2d1672c7d2512db6","datavalue":{"value":{"entity-type":"item","numeric-id":5901899,"id":"Q5901899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$30D8389B-A180-46B5-8BF7-016042E6580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075592a9f0edf412848e922b8238d0038378060c","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$D6680906-DDD4-4AE1-90BA-684AE05D9850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$E89DF637-489A-48EB-89ED-60C65A19D6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$87E2EBBB-21CB-471A-85A5-C7C1F1A7A26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$00933320-FBC2-4D90-86AE-B83265986E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$FB54DAD2-CF3D-4007-8D5F-7F842089B225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$D83D751C-69B5-4DBA-9280-47BE22E76A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b464ba66ae63100d3f166e16bfce8c3580469e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1961914,"id":"Q1961914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$8F7D2D46-F8A9-43BA-8221-ABFC0B2DA00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$E952A119-7E49-430B-BA00-F3FD4EAC3686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d17992b371850be6b5e2985000a37a1fdccdda0","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$7F34193F-7E20-4C43-A248-984D9136A57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb899c7586ad0dfc222ed75e74347f254c4ca5c2","datavalue":{"value":{"entity-type":"item","numeric-id":4941890,"id":"Q4941890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$2568FB10-F612-4657-8531-44FC49FED5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$85ADD503-43C3-407C-8BCD-E4DAE3BE55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$5E682CBB-8AF2-480A-A8F7-6FDEE3B793C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$B2A65CF5-E32B-41F4-9654-8E3B2CCD6A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f4f078a406b3592b17e09bdb000d0003e4047a","datavalue":{"value":{"entity-type":"item","numeric-id":4154035,"id":"Q4154035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931434$B864E7A5-691C-46CB-ABF5-0E8E84181C67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31d0dfc083a399904fe87d95f5fd2b75cc811a02","datavalue":{"value":"10.1007/S00165-007-0055-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$962F00FE-9639-4855-A042-3E07F5F9D004","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e6906d67201e37ddaa11044c7bb1430b5d9bb66","datavalue":{"value":"Q131111687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931434$5D64F802-21E4-4241-A8C0-486833441323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cc35bd2d98212ad51f2b7b8540e7369f1740bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95513c8c1296d99dab8c8872d5651ee08547b23a","datavalue":{"value":{"amount":"+0.7688907980918884","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":"Q931434$FCDBD995-695C-43E6-9187-3FB1D1E04B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c81f8ebb2cb1f154c18d248aba470585b50f90a","datavalue":{"value":{"entity-type":"item","numeric-id":5195249,"id":"Q5195249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a82369b3102965f53b344c56631e4d8e220db19","datavalue":{"value":{"amount":"+0.7659645676612854","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":"Q931434$CD49606D-54E1-41BB-909D-C02F50B88A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637a19f9cd014b3471ee8eb95bc7b837995c16a","datavalue":{"value":{"entity-type":"item","numeric-id":5400855,"id":"Q5400855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40bdc312cbc9c581c92fa05d80d9933b68c191e9","datavalue":{"value":{"amount":"+0.7613158822059631","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":"Q931434$17D180E2-C66F-429B-BAD3-1FF05590F10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3065b47856136bbceca50e65fa7baf62673db059","datavalue":{"value":{"amount":"+0.7504388093948364","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":"Q931434$5E2E06EA-7651-4242-ADD9-70C41C007BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c805208db4895f6d261989dc1f24432bc162980","datavalue":{"value":{"amount":"+0.7437596321105957","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":"Q931434$AE1D8816-02EE-4455-9DFB-527E658198F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing non-interference for a simple bytecode language in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_non-interference_for_a_simple_bytecode_language_in_Coq"}}}}}