{"entities":{"Q7028282":{"pageid":21672585,"ns":120,"title":"Item:Q7028282","lastrevid":77536472,"modified":"2026-05-04T23:37:54Z","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"}],"P223":[{"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":"Q7028282$46196253-BC53-4C11-A2AF-B1EA6D3FA587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$48DCEBA4-4B2A-4325-B65F-FB82B78782C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$4C99004F-0BD5-431B-8A9E-087FBF0AB80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905c49147c1ae2ac56de317a681c218807e7f2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4216346,"id":"Q4216346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$FD968DD8-8951-4236-AF30-A8ADEC697470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$373AD3A9-3116-40C5-87E8-23B9057A0B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$1A33D6DA-CE3D-45EC-9680-2FC600B5FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11e5c3eca71352309a04c1cd624edb8f5231907","datavalue":{"value":{"entity-type":"item","numeric-id":6487262,"id":"Q6487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$4C116F32-03CD-489F-B585-5980CAC134FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$6F61AE2B-5C7D-4E8C-A040-FA7875503F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07005886cc55f14e021c1d625dbf34ec7f9d0660","datavalue":{"value":{"entity-type":"item","numeric-id":5130751,"id":"Q5130751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$085073CD-1F3F-439D-833D-2CC3ED712780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25306047135725f913a4f7e74905e97b4e740016","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028282$83D691F2-78F5-425D-B8CC-D515CD5BA37A","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"}}}}}