{"entities":{"Q2819844":{"pageid":2830582,"ns":120,"title":"Item:Q2819844","lastrevid":79429445,"modified":"2026-05-06T13:53:18Z","type":"item","id":"Q2819844","labels":{"en":{"language":"en","value":"Sound modular verification of C code executing in an unverified context"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631331"}},"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":"Q2819844$DACCAC6C-D67C-4F35-8ED8-DFA7B75DFBEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c598e04cf18d058f06e15a1d404ef07f83a5bd31","datavalue":{"value":"1345.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$D510A4EC-CD46-42C4-97D4-C4324A479AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995f60b1ca4b43957a021011dc1f81885f0d5904","datavalue":{"value":"10.1145/2676726.2676972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$0B9B71CE-46F7-4A58-883B-3FAEB19922DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c06c1c49b12054838742d4f84d009b6937be86c2","datavalue":{"value":{"entity-type":"item","numeric-id":2819843,"id":"Q2819843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819844$1588ABE5-1D43-4CE6-BEE5-93D4E2B6743F","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":"Q2819844$8239873F-C55C-408E-A307-B89D7D7EAFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5752556f406c77522d034bef951c1f6e960af3fa","datavalue":{"value":{"entity-type":"item","numeric-id":6770822,"id":"Q6770822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819844$DE0E801B-8E54-4109-8E16-211839858B8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819844$65555FD0-4FC6-4D95-BE82-247C2D667A84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819844$131421DA-62B3-4AFD-B569-5588B83C027F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2809cd2ff97c8dfbb0672fd3ebc1e780cb75fac0","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/471365","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819844$7DA1A652-40D4-45D0-A76F-4924C6CF5A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$8D12737B-8DD8-4DEE-BC11-29B5530DFC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$C17A0867-4E97-458B-B601-832D2D4D4718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$66D2C47B-B4DD-44A3-818F-954351C9D6FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92d981bf71115e395a7c6dc04d32b2b7e7f87bdf","datavalue":{"value":"6631331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$0D5B8DEF-8744-4606-9740-F809F275C456","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4466256eb72758e5b533e52c735f6aeeef993a9","datavalue":{"value":"runtime checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819844$4052D7FA-52D7-44E8-B8CA-200CC69FC24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819844$A18345FA-9496-4584-AEC1-B09609EFCE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819844$D20488CC-4ECC-4B6F-97E1-8196024CABFE","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":"Q2819844$750DD9A6-9639-4A90-995B-4E59DFAC0D2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8c8e2240a2b1d53fe5636bb28c2516622baa3bb","datavalue":{"value":"W2152178634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819844$F8B084D5-F8A4-4932-AD55-19343142B21C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af5ea386147060167a79adb397ae333359d7cab7","datavalue":{"value":{"text":"Sound modular verification of C code executing in an unverified context","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819844$C6C7E2C9-FB7B-4E10-A988-BAD842856475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3803df52b52ec59e2cf94518ee63166db2f3fc71","datavalue":{"value":{"entity-type":"item","numeric-id":5016209,"id":"Q5016209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ce4e08bb732ebba955918b92a0c48d799893c8","datavalue":{"value":{"amount":"+0.7520051598548889","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":"Q2819844$B552B4D3-5755-4420-A7BB-B91AE8564001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351a90fd7374d7f2cebc9163de51f8831593258f","datavalue":{"value":{"entity-type":"item","numeric-id":2233451,"id":"Q2233451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d09f522d3e28f1b5f2fb0470fb10354c1a7da5","datavalue":{"value":{"amount":"+0.727679967880249","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":"Q2819844$8E7BC695-D205-4721-A644-4CB75EF31D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb530de2a2eafa27a1d531520d9a64016c1d12b5","datavalue":{"value":{"entity-type":"item","numeric-id":5452717,"id":"Q5452717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a0c5db5565470c2dfdf77857b692fa23c50415","datavalue":{"value":{"amount":"+0.7168703675270081","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":"Q2819844$88BD3E89-64CF-43BA-9AF2-B74E397D7C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d686d37504c1931dfad13556a5fb75cac17462d","datavalue":{"value":{"entity-type":"item","numeric-id":6041170,"id":"Q6041170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2bdfca5ad8e0a5a736d0bd00aaa94b349677fe","datavalue":{"value":{"amount":"+0.6977218389511108","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":"Q2819844$915365B1-122B-4202-9F2A-B2C42BAF252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b851f5f365c7d1e8ffe6d3441b94f5ea4bc39e6","datavalue":{"value":{"amount":"+0.6926783919334412","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":"Q2819844$A569C869-8035-41AC-83DD-433DCA639F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound modular verification of C code executing in an unverified context","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_modular_verification_of_C_code_executing_in_an_unverified_context"}}}}}