{"entities":{"Q3192222":{"pageid":3202930,"ns":120,"title":"Item:Q3192222","lastrevid":52096691,"modified":"2026-01-20T22:35:09Z","type":"item","id":"Q3192222","labels":{"en":{"language":"en","value":"Generating abstract graph-based procedure summaries for pointer programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348268"}},"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":"Q3192222$08FE382A-C4AF-4589-958E-A42B44EEB3E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0b0e11eb4ca1980a69e796a53df5c210b4b4e72","datavalue":{"value":{"text":"Generating Abstract Graph-Based Procedure Summaries for Pointer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192222$79053637-C598-4192-9210-716E7D8FE75B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f26c6271e820296c7a50f35f334062903293c57","datavalue":{"value":"1423.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$D47D5AA8-65B8-44D0-9610-295BE080568C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40304dda14a00faea9d446f3a6158652ed31fddd","datavalue":{"value":"10.1007/978-3-319-09108-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$87E1B990-8E55-4BC4-88ED-D560907423A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6782ec812faf70566e2b47c13aed620198dda4c3","datavalue":{"value":{"entity-type":"item","numeric-id":746780,"id":"Q746780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192222$B939E181-466C-44B9-84CA-0AF53C4A35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192222$E84896D2-0DF8-4FDA-A64F-380318374EC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192222$F214C689-14EC-49CE-9A8B-399B984FEE1D","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":"Q3192222$065B671A-1423-4F0F-A864-72782476D77E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$2FCC875E-6D08-4391-BD69-84ADA2836B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$33A35A02-D0A6-4F1F-A8D7-C16E1DE5AD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$B770D0E3-9340-4A35-9A35-175F921BA867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$90403C65-2A7E-46F4-948E-41C4BF57975A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"556ce1849b7d598be60f3ea2621e17f1d5c87fd9","datavalue":{"value":"6348268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$0A9E81C1-6AB2-434F-A70C-679DEE7FCD66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192222$6C750CF4-223C-445A-83DE-8AAA016A9ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7e7074118acf2e92de511c11789109ec48802f","datavalue":{"value":"hyperedge replacement grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192222$21CBA72E-2F7A-439D-A873-D165F4049C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516f5456055eb317569e8a3a271da90b9479b771","datavalue":{"value":"heap abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192222$B4D20822-A34E-46B5-8812-C126B5EE5444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce6aa4f77deb3a45769dfa66dd0416b1fcd1607","datavalue":{"value":"procedure contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192222$3F09D6F5-8304-42A3-A94B-D3DAC7E2C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba16acde7d546eea637c7c661efbf8c7660236a","datavalue":{"value":"interprocedural dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192222$0926AFFD-C308-4E8F-84CB-6642099182EC","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":"Q3192222$357DEC72-2C9F-4E7E-A35E-9ECC09DE71D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"696450bf43ae18057291929889af86a6fef628b3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09108-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192222$FA5B1B25-6903-45D9-BC0F-8C2CB3B792E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8caeb391bcc074753430997a597fe4efa10581d1","datavalue":{"value":"W61963352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192222$561F7A85-8D5F-40EA-AB8E-76C1D7F88ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7260b72702aa91a3e764305d9754d2bf5239fca9","datavalue":{"value":{"entity-type":"item","numeric-id":746781,"id":"Q746781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d8f563d38d2436d27516b8453c19b5d972e458","datavalue":{"value":{"amount":"+0.7556796669960022","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":"Q3192222$0862CDD6-D3A7-4493-A727-69F8FE8373B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f50a0a4a2031d5fd4ad7fef7d95539c42378ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3540389,"id":"Q3540389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f09fc568015d81b241ff256315061d939629663","datavalue":{"value":{"amount":"+0.7391887307167053","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":"Q3192222$D054F47F-8167-40AE-BA65-5F0A5600EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843d3565ea596667dc4d1395340bba413226d9e5","datavalue":{"value":{"amount":"+0.7353870272636414","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":"Q3192222$12C2A40C-0FF2-40FA-A281-FE7AF9BF4AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0dbb3f9da6f8e967e3c8716ee26d8e2be4ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b21bdcce05e8f7088a6b9927ff681b489bb824d","datavalue":{"value":{"amount":"+0.730490505695343","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":"Q3192222$DDF1E250-8440-456E-A117-5056CC7C78E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad29baa5b77b00954f5e7ff14865ebca158969d","datavalue":{"value":{"entity-type":"item","numeric-id":3192224,"id":"Q3192224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790340d47c5045599819ad21b81ee79b7b358be2","datavalue":{"value":{"amount":"+0.7288393974304199","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":"Q3192222$C9CD0232-A482-4672-AED2-7E3ECEE4E5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192222"}}}}}