{"entities":{"Q7028282":{"pageid":21672585,"ns":120,"title":"Item:Q7028282","lastrevid":76769058,"modified":"2026-04-25T01:35:32Z","type":"item","id":"Q7028282","labels":{"en":{"language":"en","value":"Sound runtime assertion checking for memory properties via program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7983658"}},"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":"Q7028282$A2316366-9C43-4FF4-85B1-CE42C6B623EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1c4a14c197bcfb37a396f685931092750026407","datavalue":{"value":{"text":"Sound runtime assertion checking for memory properties via program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7028282$717DC559-6871-4C3B-8358-4508371E5E67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3144907627d2f14efa5d689305198d64d9484329","datavalue":{"value":"1558.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028282$E9797C1F-2E71-40D9-A4D5-484552A670CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ee2667641397ee12503f74d7f2f214769450787","datavalue":{"value":"10.1145/3605951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028282$BF568ABC-BFAF-4C15-B738-36771F778B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27195b53a4d1724d447f3440bca516bd06839e99","datavalue":{"value":{"entity-type":"item","numeric-id":6484969,"id":"Q6484969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$461BE2ED-4A41-4C30-9AA8-DB71E3C672A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$76C44D39-C97C-46C3-986E-18427806F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41523071f7928e35d0476c616da8429088b7716c","datavalue":{"value":{"entity-type":"item","numeric-id":1566917,"id":"Q1566917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$2169AF92-3552-4BDB-B01B-26990567E600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$0E2B0CCB-F302-42D4-88A3-3B5136E34ECE","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":"Q7028282$C2690C29-D4B5-43C7-8B21-75F431FCBFEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79295fba39b045668a28642778d9e57debe5f9af","datavalue":{"value":{"time":"+2025-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7028282$103FF1AB-6F5E-4D05-95E0-E8FC5BC83598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028282$ADA78287-1A6A-4C2B-B82B-95FD7DDC8FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028282$5555455E-7F0D-4A55-822D-D57C8E4ADBF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c04564ca29bd332f4a3324ec16d3fb08e75a5bb","datavalue":{"value":"7983658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028282$EB22D5C9-B896-4D58-98AE-64ADD7868BE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10af7c3a3453237464d597d6e2866a7d3e631acb","datavalue":{"value":"runtime assertion checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028282$CE56B1D8-AB82-466A-9B15-CD2956C86C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b3b54ae9386b3f33d0b6004e22d90187cacf83","datavalue":{"value":"memory-related properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028282$0A27830F-28F2-423B-8BB3-12CE293FC865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa69173775bb221301a9371f987089aafe188951","datavalue":{"value":"memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028282$10AFF264-DA1C-4AB3-BAEF-BE327CE8BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e7bfe1bee2c35bf9e2cac2540d48edf5a710538","datavalue":{"value":"soundness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028282$64F6B234-2C84-422C-953B-3980DEC0EC0E","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":"Q7028282$2A1BE5AA-0FA7-45FB-9B05-BCCA09839129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound runtime assertion checking for memory properties via program transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_runtime_assertion_checking_for_memory_properties_via_program_transformation"}}}}}