{"entities":{"Q2226974":{"pageid":2237717,"ns":120,"title":"Item:Q2226974","lastrevid":53929499,"modified":"2026-01-25T23:00:55Z","type":"item","id":"Q2226974","labels":{"en":{"language":"en","value":"Predicate extension of symbolic memory graphs for the analysis of memory safety correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308261"}},"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":"Q2226974$FF8D2FBE-057F-4ACB-B506-7FAB8C753798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e51cff484f5b05a4be458a089702ab027ea83aa","datavalue":{"value":{"text":"Predicate extension of symbolic memory graphs for the analysis of memory safety correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226974$74BEDF00-06DB-4571-88F2-41D9A9CCF111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e34deb35a030e040e64f7d4cdd6ecce818fd5cca","datavalue":{"value":"1467.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$8E4393D4-F3FC-4065-BB0D-83B209F228C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"635f1238174fe51700ae783c31bb7d06729461f6","datavalue":{"value":"10.1134/S0361768820080071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$0C9D7982-2875-4243-B594-812A2CF2B540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6768aea8b86dd46d2b09b1d4ecb672f321ad1124","datavalue":{"value":{"entity-type":"item","numeric-id":1758708,"id":"Q1758708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$1D60BDF5-BA25-4C25-8301-65A59A3313E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70f9f84e078853acad18b4525b2f21489f1053cc","datavalue":{"value":{"entity-type":"item","numeric-id":366444,"id":"Q366444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$B7E98409-2EC4-4261-BEED-FBAD843A1FEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$9FD5BEC1-C8F4-4E30-8A66-D81697023B61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226974$C264D2BB-6DFC-449B-A2FC-87FCE0A15E00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$3420506D-1F13-4B3B-9DFE-0288AEA38AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$5398D0C4-953D-4B1E-8B95-AD5EC23D7295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2fc7682fbd9407b31057ad8e5ff97022b5dc6c0","datavalue":{"value":"7308261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$B32CBD8F-B615-4FB7-B2F0-42DD829E748D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$9C8FD9DC-72A2-4B6B-A14B-2496A12C9220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$4B1C068E-CC02-4D85-B245-36A006B5E396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$D56ED891-4AC0-4890-B8DB-D4566094648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$731BEB87-BF81-410B-82E5-7AB734AAF8C4","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":"Q2226974$D2D940EA-10C4-4AD4-A2F5-F6938EDC2AA0","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":"Q2226974$F2CB4AF2-F3D4-4BD4-AB5F-7EA521A913E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$A2D1BF13-BC33-4861-952E-A3DF22BFD705","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":"Q2226974$C9B6DCF1-FF3C-4915-BB96-D3DEAD511FE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$B926A709-209E-4FAB-B84F-AA282E9652DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226974$F11A94B9-C874-42FF-B9D8-900095560AAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a200cb2fa7cb784730d1249678ed1fc0559169f6","datavalue":{"value":"https://doi.org/10.1134/s0361768820080071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226974$80E73F2E-3CF8-4AC2-B2EF-78DBCDA585C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5ba3377af95f4b520020876dddfd4e9986d6683","datavalue":{"value":"W3006243345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226974$627CBB22-0F62-4FAA-9DD7-FF3241771133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb0dae07e102e37d3da55fd78c5ecd5183670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3457810,"id":"Q3457810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0727da2446b9de99921152f04c56700447baf4","datavalue":{"value":{"amount":"+0.6960217356681824","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":"Q2226974$51D07497-BE9E-4E03-BD76-D588FBA6F3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224cf93626f71291e35b70449cc1cc578fa4c291","datavalue":{"value":{"amount":"+0.6758838891983032","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":"Q2226974$7226123D-04E3-471D-8A3F-C0F1641DAC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da7fded39d5bc2680ca2e5fbb3d52e061fd1e60","datavalue":{"value":{"entity-type":"item","numeric-id":3522062,"id":"Q3522062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4933c76a1dfd77883a0179b8f5d67a2db593d9","datavalue":{"value":{"amount":"+0.6757871508598328","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":"Q2226974$3AD73CC5-8C3B-41D1-8296-A7F649A6F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660a5dcab57a36c769b33e5603ff18369bfd8bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515ba1c5d70e0240e9e887b26c08678cd0fc6202","datavalue":{"value":{"amount":"+0.6752253770828247","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":"Q2226974$BC613982-4AF9-48A4-8D7D-30AE54139FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc7fba309d711ef91bf5cf2187d3810a9943415","datavalue":{"value":{"entity-type":"item","numeric-id":2324196,"id":"Q2324196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef105cbfd7c408cf38f22fab782ded3cd70e8d4","datavalue":{"value":{"amount":"+0.6720390915870667","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":"Q2226974$A3D562E5-F0B0-4F04-9EF5-E37011F42E2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226974"}}}}}