{"entities":{"Q3599104":{"pageid":5629010,"ns":120,"title":"Item:Q3599104","lastrevid":49652047,"modified":"2026-01-08T17:19:42Z","type":"item","id":"Q3599104","labels":{"en":{"language":"en","value":"A Machine Checked Soundness Proof for an Intermediate Verification Language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502019"}},"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":"Q3599104$33494169-876C-4CDE-B4DC-193B08F17901","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e800c9fa323cfa22fa0d46d143ff7e3ddcbcd55b","datavalue":{"value":{"text":"A Machine Checked Soundness Proof for an Intermediate Verification Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599104$45EE8510-6B1A-4D2A-8139-E45243CFF5DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c58a988451b5d4ac8db70a7460bc79a0faaf1867","datavalue":{"value":"1206.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$2F91F8B9-7097-495D-AA5B-BB1BCFB3200C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b260fa4f4006efb3a3273290615c239ce8964e8","datavalue":{"value":"10.1007/978-3-540-95891-8_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$81707599-8623-47DE-B872-AE9D29A4249F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73e4dbfd6e02001699c17785cc1a112e163d31d0","datavalue":{"value":{"entity-type":"item","numeric-id":3196350,"id":"Q3196350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$E61509C9-C274-4310-9B09-8663EE3E10C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$61273D6C-00F3-4387-9F5E-0F4DDA55D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$F4BF0F16-8E5B-4F70-BB02-DDE9519CD557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$1E5B8022-57AB-4412-9809-5D10310E7FB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3599104$88F85896-BC79-4D67-9D58-FC75D5366E25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a1934a5d1ddebf00df591d4fef1e95d82731433","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/222120","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599104$9DC07DE9-54E0-4397-A4F5-52904D2DF760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$2E3A5426-DDDE-45C4-AC99-3CD6A50D616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$AE0C7B25-B813-4FB4-9A98-3411DF95B67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11788bccda6eb650ac9f8ec99964cdb9f7db4b1","datavalue":{"value":"5502019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$DC64A303-F151-449F-9512-02A03E831DED","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":"Q3599104$8E1ABB4A-1D43-441E-B53F-96FC546FC959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$DEDD2F76-3205-4519-B2BB-E1E9FE48FC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$37C26866-266F-47BE-B34D-ECC73B52FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$6FFB770C-3A1F-4711-A0AA-5B8579A6FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$B8C61DDE-231F-4EE2-9E41-C64CD7263751","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":"Q3599104$4BFF422A-7DC2-462B-9A19-1E6286800F49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c84d0ef04fb00ed9cb9178fffaffbb5e1c9814","datavalue":{"value":"W1510623049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599104$64F471C7-AC02-4025-B5C3-B3F920C11F5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$7FC288B0-F4BD-4486-9659-D06DE7A5C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3247bdadc3128a7a255fc67995c7a6695b95a59f","datavalue":{"value":{"entity-type":"item","numeric-id":5447372,"id":"Q5447372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$B4EDA458-9173-4B25-B308-56753C36DA68","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":"Q3599104$EFAD719D-D714-42CB-A55F-8B3EE6634FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4de3c06617f53f21c2c1a60c6ae5a6ae7dae6b","datavalue":{"value":{"entity-type":"item","numeric-id":3599104,"id":"Q3599104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599104$8E622E50-E489-4CD8-8F0C-7CB443005430","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":"Q3599104$E138B922-4097-411C-9A4D-8D8C303F8340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fe4e153caf20e1869275684c9756d07cd70d2a","datavalue":{"value":{"amount":"+0.88052136","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":"Q3599104$55B41146-7423-49BA-967D-2D899969F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acde04cc0fb40627e76a4e1259a2c2f940468a08","datavalue":{"value":{"amount":"+0.8758321","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":"Q3599104$A24C9EE9-6848-4664-9A62-EED95DA0C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c084d7aaeb05c8c0b51aacdb26edde7a746b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec177e53f82c6c3c704592ace588b6b815d3af1","datavalue":{"value":{"amount":"+0.8693251","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":"Q3599104$DA71A73D-9990-4644-80EB-023F00AD7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d04a7f8764e61a8096147cce06cbc1b6ce138e3","datavalue":{"value":{"entity-type":"item","numeric-id":3305555,"id":"Q3305555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b180324889f3f3e7c3abc7f5704875aed0fdb36","datavalue":{"value":{"amount":"+0.8692018","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":"Q3599104$27C570CF-74B8-4647-83A9-D66A2671EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1849f6100f2ea1c6bb60e40024e182442788a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601798,"id":"Q3601798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfa8424592f661f3363508c3ef23776a9ac1363","datavalue":{"value":{"amount":"+0.867812","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":"Q3599104$3B874826-F7FC-4338-B52B-14065A3BECFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab116f62a0b733ec0afd5e508aec01a388df675d","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb55e99d8f39a6ad879bda63b32496bc39f244e","datavalue":{"value":{"amount":"+0.8672954","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":"Q3599104$72A8ACD6-8AEF-4D29-8056-E861D7598D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deacb24347a61f6e207c9f566df13e0a7bb853d3","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc32b0ebbe8f81f477ab0597e22c41443c92756","datavalue":{"value":{"amount":"+0.8669707","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":"Q3599104$A4804F1D-E3DC-40FA-8E5F-FFB43D228533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3599104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3599104"}}}}}