{"entities":{"Q2362494":{"pageid":2373237,"ns":120,"title":"Item:Q2362494","lastrevid":72600927,"modified":"2026-04-14T06:00:41Z","type":"item","id":"Q2362494","labels":{"en":{"language":"en","value":"Automatically proving termination and memory safety for programs with pointer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741139"}},"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":"Q2362494$AEF6D71B-A612-464C-87AB-ABAD46AA2A53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"021ef4fe2b617fdeb28b54ba39e7da58270e3b97","datavalue":{"value":{"text":"Automatically proving termination and memory safety for programs with pointer arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362494$7F4433F3-8209-437B-9391-349C70D8E142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b91445db040d38514b986bf9096a52adad03be","datavalue":{"value":"1409.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$90D4DB6E-7F21-4B3F-9C60-7CFC9376C511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502f8409806637c1bdf4f049fbbcf18c395dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1647968,"id":"Q1647968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$21148D46-F0BA-4C17-9C55-87FB9CD6E681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$CE259585-C4D2-4228-93D7-AE7DABCF82D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c620a21f59c0f5ba6bee7b541d3dbc342d398449","datavalue":{"value":{"entity-type":"item","numeric-id":1687547,"id":"Q1687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$A9AAD4AB-E9DE-4F9F-A263-0D44817A7046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$8CB809E1-CAE0-4F4D-B1EA-ACF32FEC9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$85556B84-B68B-41CB-B4E4-DC53FEF9434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4fcef4d8c12fdeac872403057e96d9be4642ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1647966,"id":"Q1647966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$26DDB24B-D00D-4BEF-8D11-6412CC292BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$B177FFFE-F95D-40EB-8232-38B8C084358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65428eb8b1924e03ee58be180aa27a4ed48e79b9","datavalue":{"value":{"entity-type":"item","numeric-id":2362489,"id":"Q2362489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$A19B3CB7-11D6-40B0-8B18-44BC6663838B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$F78BB5D6-1EB2-4372-89F4-4F8ADCA308D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e955e3eec351ab42dab17f50ba694aafa8d23fd1","datavalue":{"value":{"time":"+2017-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362494$98A5AD93-7BBB-420B-8C37-9F41C398F673","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd3d4ae4cb7bd055a94082eefea2cfd092540b49","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/16552/1/JAR-llvm-pointer.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362494$8CF32594-E00A-4BA7-8874-BAF49589F05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$99A9F331-7D5D-407D-9350-8DB50DA540E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$DAE5A21A-3B71-47D9-9BB7-8B72B2FE5B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$E5CCB193-076A-498A-BD46-3A113B60F118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$8868CCBC-ED5E-483B-8401-DAE4FAB7A74C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e7e886cd0cd11af404462196266f09e3b77f14","datavalue":{"value":"6741139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$0149E0CB-3D7F-4530-A787-9D50CFA5F408","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2e0b1df3cdcc3827d03e73e9e6f30d480b73fe","datavalue":{"value":"LLVM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362494$AF3E70C0-CF72-4D2D-A46E-F40C124731AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb70f0f81ad39110e954f6619f42f341f9b14e1","datavalue":{"value":"C programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362494$AAE75CBF-B799-49FB-B680-0D1472677DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362494$3BF4881F-F3DE-4ADC-BB70-856DFB25867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa365f462f7bd1b9fdf8abaedd14810c00851a5f","datavalue":{"value":"memory safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362494$C4B9A84A-D67C-469E-8984-7CC0B1FCD66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362494$AE4C3E1E-F43B-418A-AA53-6B2A367A5078","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$3AE448A1-97EB-42A8-9FC7-B2968A2FB5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$D19D5E56-D7A7-4047-AC9D-6E5DF7A18BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$48FD5247-6E2F-4E09-9E33-1A67604749C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e52735493c96056a5f9fc9d0bd08503ea2205783","datavalue":{"value":{"entity-type":"item","numeric-id":28906,"id":"Q28906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$6C0EA836-5488-4891-B0B3-8ED02AC7CBE6","rank":"normal"},{"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":"Q2362494$BB680264-0FD3-4C9E-B97D-5A5B630676C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$3346AE4D-B134-4E58-87C9-A17CDFDD0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$15A678C0-1433-413B-8DE0-69EF5165046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$78031CC6-68CB-4016-9B37-130A3028A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$20A1A715-3130-460B-BD05-023F1062FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$50E20FA4-0F62-42B3-93AF-81FFCE69ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$7F01E5C3-3450-4A55-828C-4661ED34F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$EA735B29-CCA3-421E-A03A-470FAA4EFB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$AB72366B-5645-4F2E-9812-DEDA84AF9ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$FA809F76-9649-4C64-B8EA-EFE124301272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$3D41E95D-8AC8-44F3-925D-865C705CBEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$32005480-9EB5-4AF6-8EF4-DDBD93C744BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a348546449022e02dc30871364e9d316b31227e7","datavalue":{"value":{"entity-type":"item","numeric-id":25785,"id":"Q25785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$D5457FDD-418A-435B-AAAE-1CFF107854CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$23F26735-337C-4B29-AA71-42EFC3CFC850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$CB9213B7-CD38-4609-80D2-06D0F658C793","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":"Q2362494$2E29F4E3-0036-4D20-8504-A76908FAF54E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bac0b4bebf80059e248d8760a6827f08914d3354","datavalue":{"value":"W2536541088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$D45A4944-38B9-4ECE-902A-9BF5BA4572B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$D38877D2-04CC-488F-A0A0-A4A9D36CC7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$66F8820C-5E01-4CB8-B076-252FED3018E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$0E18DA68-309F-4AE2-BD28-66FFBA3364FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$0EA71472-4A23-41CF-9F45-79F2FAAC67F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$308397FD-F53B-435E-8C70-8FD5B389D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692966f3a7681233a44330e9d651efa65542d20b","datavalue":{"value":{"entity-type":"item","numeric-id":4994703,"id":"Q4994703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$4E670911-36DA-41C5-AB38-E96725906765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b163d9e2d8a76696fb6321394c7b89aa7c4b47","datavalue":{"value":{"entity-type":"item","numeric-id":537953,"id":"Q537953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$862BC086-5C9F-459E-A802-FD518ED67CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515e3bf5a739641c5c38183acc8cb86f20c40893","datavalue":{"value":{"entity-type":"item","numeric-id":3058449,"id":"Q3058449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$9F7F7A62-1565-438E-BF44-9725DCBD70E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd6e293aa318770c9b5f0ac7fef4b1fb4a96aac","datavalue":{"value":{"entity-type":"item","numeric-id":5389079,"id":"Q5389079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$E13A146C-C46D-4148-B85C-A312F32CCAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7be68e1be31d2ce9700b09f1fd401d03db7ae02","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$5DE53ACD-FACE-4DDB-A8AF-5396AF206C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8784f04ba7ff77200b6106c99ff63b784f2c1d","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$BF41B550-B089-4F44-95B7-F88CCDD57EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$47344A72-3B7A-45E0-A87E-A35A348BC238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$DFA6A987-4D8F-4EDC-AEDA-F095A9EDD74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0dc66a0e3718fac9d0bef9ab04b7162c402dd0","datavalue":{"value":{"entity-type":"item","numeric-id":845247,"id":"Q845247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$C566936F-A198-49B5-A13F-7B847A8A2DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c225eb4a7c3e5ee4bccbcb1bfcf8f1f626e157c2","datavalue":{"value":{"entity-type":"item","numeric-id":2802436,"id":"Q2802436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$8ED25063-5344-47AD-A474-072EF7E5E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$A2D4DD77-FC6D-4340-80A3-743B2CEE98A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894a1962cc2051cc4db3a88098a16840f993fc33","datavalue":{"value":{"entity-type":"item","numeric-id":1702895,"id":"Q1702895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$59446B08-EF65-47B9-83EB-1A2291834158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$FBB630C4-EC2C-4F7B-9A46-0CF5EA0EF1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced3b913b09e86cfeb91f326a2ba44ffdb3909db","datavalue":{"value":{"entity-type":"item","numeric-id":3636817,"id":"Q3636817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$26B5AD12-427B-4656-B1C6-DC63C80BA55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$61D7AB89-48B5-43FD-BB1F-5CC6B16B31B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da55e362c0b7a7f678d0a3c4dbd5137695c17e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$F2E1055F-6016-46FF-92D8-620AC83BFF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660b5e0223d8e7f90650cde2251fed5bbb578fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3510793,"id":"Q3510793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$4B9D5CFA-4787-453B-859E-3F7480B36D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4466fe5f3b99413e5a03412cfd73daa57c1ea2be","datavalue":{"value":{"entity-type":"item","numeric-id":4930735,"id":"Q4930735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$4A86E52A-0116-491B-9872-8032F3C7B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9746a3a7577f68c17412e51cb034688f80cc2301","datavalue":{"value":{"entity-type":"item","numeric-id":5166700,"id":"Q5166700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$0B61FB38-0E82-4B03-8C92-F8940F528979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babe611997095873a0ab1430e726c4c08d306790","datavalue":{"value":{"entity-type":"item","numeric-id":4571133,"id":"Q4571133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$ACB7E044-3C63-48A5-8C76-6EB69EEB0864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24368c81b7da054e6e1210fb0b59ec4a3a6ae374","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$B6FB6199-0C8F-4115-9D99-A01867FC0F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c95d05edf977cf87ef10bdb5ef90eedb5acc67","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$C9E2B9F4-3CBB-44BF-B030-14BACD4FFF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401927881e41fc37b8317fd7b28f5bd64001daf","datavalue":{"value":{"entity-type":"item","numeric-id":3460083,"id":"Q3460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$1A280FB9-CA43-4675-93C0-67B0539E090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4572b885cf82d742062a98801e990d89d30c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$291F8DD2-533F-4973-8FD4-6E7BA6C06B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$945B661F-86FC-4864-B28A-30103B4A4CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa9813c5d44205ab458818c2c071032f8d571d6","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$CF4E6F04-0E18-47B1-B5DA-10CBEA319B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$26A5AFB3-2836-419B-8466-4D9E656B4DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2023b97550e2a7e9dc61b29f602d69fb831f0b7","datavalue":{"value":{"entity-type":"item","numeric-id":604392,"id":"Q604392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$FD0F4617-87F6-4BC1-AFDE-04C09D45219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$34313AAC-A74F-4AE4-8CC6-4BFE65CCF935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$9883CC2D-CED0-453B-9B97-3AE3F586E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$3E4BF3F9-744F-479C-BB44-2ED0D8D7638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$FEEE02F1-95E1-4524-A56A-E4F5CF49CF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65cb3591a6d59a7254d57416c9f430197e36e06","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$0702AB9D-C8A9-4B60-949D-C4463FE0A0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a31cc673404ef717221b7898dbf40b246dc4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3192191,"id":"Q3192191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$79BF47EF-F50B-4480-8236-0C46073F542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b126afe2db19f3650ae2d67d280948572d9be24f","datavalue":{"value":{"entity-type":"item","numeric-id":2398176,"id":"Q2398176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$093F4300-6E50-4EA7-9D79-98C25101C00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$9E0AE62D-F420-4710-82E0-92FF4282E1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362494$569629DA-F003-4E9E-BA70-3EF0AA4AF0B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8485b1acf1dc5c2dee400bd9611b0d1caebf7ac4","datavalue":{"value":"10.1007/S10817-016-9389-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362494$5866769C-51D2-4139-B947-FBB01B62DCD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c97ae252c2ca3aaf8276235ec3ce09f37c42e1a","datavalue":{"value":{"entity-type":"item","numeric-id":3192191,"id":"Q3192191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0915339ae0881083c5124544a9a4c365c3f09c","datavalue":{"value":{"amount":"+0.98135006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$EE0294C9-F686-489B-94F1-6FD36F5C088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4d57abc1555eb564e819e97aaa0b08f91b8760","datavalue":{"value":{"amount":"+0.89607406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$580CC548-4DC8-413A-AB8D-EAC0510DED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a242c0f97c03ff1dc5fadb65b0eb09405a9e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3521993,"id":"Q3521993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a54d6a0f953e032b364dca081e5b6766cb3396","datavalue":{"value":{"amount":"+0.87884206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$37DCCDC6-B483-4A43-8F44-31C509EC2E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16297cd1b6ebcfc4f860a53c6b4617f97670a4be","datavalue":{"value":{"entity-type":"item","numeric-id":2058392,"id":"Q2058392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00df4eee6a34babd26d9acab491ae3b53e9238a6","datavalue":{"value":{"amount":"+0.8740916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$068C40B1-932A-4223-BC78-5143C9A05331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1731f6fcafb131ac68cb8d8d3d2d37f9f2e71e","datavalue":{"value":{"amount":"+0.8734654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$45D72077-9186-469E-A381-5E3C2692AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d14fab8f7d99e95a84bf8279e2ae86f291c09c","datavalue":{"value":{"entity-type":"item","numeric-id":2287078,"id":"Q2287078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492d542bafdc7051a83e4438ef24f0075b6626d6","datavalue":{"value":{"amount":"+0.8727708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$F921DCF9-3878-4B51-97B2-D8E3D74E9288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d498b6084d64629d204d2a9b9d33bc44ede1ba1","datavalue":{"value":{"amount":"+0.8718677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$D239424B-E8CC-4D08-A2A5-BB4139B32271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe1752da887b48556698f62ec89a818d8c58f8b","datavalue":{"value":{"amount":"+0.871857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$60F0BFBD-6D40-4CED-9547-0386583CE347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c73e27be43b684a3a9d118000e4bc37409973b","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51241fca3816246ae67276725e7f4a90e8f7084b","datavalue":{"value":{"amount":"+0.87058246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2362494$04CFE826-69CB-41C8-90D8-114F3FBB7ACF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatically proving termination and memory safety for programs with pointer arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatically_proving_termination_and_memory_safety_for_programs_with_pointer_arithmetic"}}}}}