{"entities":{"Q3192191":{"pageid":3202899,"ns":120,"title":"Item:Q3192191","lastrevid":52096625,"modified":"2026-01-20T22:35:06Z","type":"item","id":"Q3192191","labels":{"en":{"language":"en","value":"Proving termination and memory safety for programs with pointer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348237"}},"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":"Q3192191$4F63F662-BE31-4134-970D-D82FBAABBF05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead1b58c9bc5c105515c6ac3b3275ec59f6e608e","datavalue":{"value":{"text":"Proving Termination and Memory Safety for Programs with Pointer Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192191$073F398E-8072-4837-9918-9D9DF4D5AF1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1b79dbcf6584f3e25889154589d24ce34c6275","datavalue":{"value":"1423.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$720FECC9-5355-43B9-B26A-A3AA667BECEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fddc93d47b94755b141b3945fbb0e1340a14805e","datavalue":{"value":"10.1007/978-3-319-08587-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$20A20E10-3163-4EC5-B8FE-577C4B26484B","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":"Q3192191$8847BC4A-0FDC-482A-AE65-403E722EE79C","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":"Q3192191$8468B5B3-5BC1-4498-9AB6-88E9D24EE89F","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":"Q3192191$21B3B976-4775-406D-A069-F4E1ACFFD689","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":"Q3192191$C7779137-963C-49B3-9FAB-2BC21A1E5F2C","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":"Q3192191$B770FE68-C411-4427-A753-07D04D7F2BC3","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":"Q3192191$BB0FDF57-BCAC-4934-9B72-4F6AD9AB2D9E","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":"Q3192191$D97D86D2-68FD-485E-890C-FF8F7FBE66D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192191$6885FB19-38D1-4426-A4B0-86E826E41BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192191$0A6F23BD-DF8B-4AC2-BD65-273349D68A97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$7F3B018B-B66E-43A7-B1E8-E7137A6F1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$9BA1CEF1-2230-41C1-901A-366BDCA8BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$19156487-22A7-4CF3-9FD4-E26517887E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$ABEB4C4F-2769-47C4-A20F-F3801C1FAFEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d383365081e241d4ac716c00632965678a1098c","datavalue":{"value":"6348237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$56551A2B-08A1-4387-9B3E-46654CF4398A","rank":"normal"}],"P1463":[{"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":"Q3192191$8755B638-CF22-4659-BA8D-5BA3122F34AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192191$30615A83-8973-4AAB-9FC1-3526D19C9075","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":"Q3192191$8CEEE677-039C-419E-8936-2DB695130E37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"138f069d62397a5afa0f5658d735f884f433fe19","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192191$67CBF7D5-22D4-407D-AC5C-690CE064E7DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f20831e6c758118d588800f15ae294396a03de6","datavalue":{"value":"W1788078288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192191$200BF245-1F01-424B-AB90-799D14906A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b26815d9404422f04156c961da39f88aaf96d3","datavalue":{"value":{"entity-type":"item","numeric-id":2362494,"id":"Q2362494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db1b41f984c294ec59cdcbe87d7f6d5db4dbc4d","datavalue":{"value":{"amount":"+0.9640682339668274","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":"Q3192191$6916548F-BA66-4F1F-A4B1-B16B3B018643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec5d5be1a750efa0d0f8f3485608c50f78d380","datavalue":{"value":{"entity-type":"item","numeric-id":4571133,"id":"Q4571133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45efe20ae053a00297dc54ad5637d7198bac4fa","datavalue":{"value":{"amount":"+0.7991260290145874","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":"Q3192191$C87640D4-F6BF-4A64-B911-0381679CFB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185afdf6c1fe6598dd3ce633d10dcd79cc003823","datavalue":{"value":{"amount":"+0.7636017203330994","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":"Q3192191$DF12F526-53EF-4D66-AF60-857F2445BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054842a2de5dff32b75f34c5574ca6dd881f24a2","datavalue":{"value":{"entity-type":"item","numeric-id":1647969,"id":"Q1647969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d6529b32645f21739ad3a27217773c7fd8bb9e","datavalue":{"value":{"amount":"+0.7542125582695007","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":"Q3192191$FE5E170E-E40C-49D7-911B-CF0E567C02DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e184b54aee7dbeee5e4b3c7420897e3a8e0c78","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f004d7905c0a8fe445b28a1b197b6129a111e71e","datavalue":{"value":{"amount":"+0.7525559663772583","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":"Q3192191$ABC521DA-62A7-46D8-B9D3-BB53DAEE865E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192191"}}}}}