{"entities":{"Q2233537":{"pageid":2244280,"ns":120,"title":"Item:Q2233537","lastrevid":73842699,"modified":"2026-04-14T17:27:36Z","type":"item","id":"Q2233537","labels":{"en":{"language":"en","value":"Interprocedural shape analysis using separation logic-based transformer summaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410593"}},"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":"Q2233537$660F4E4D-B703-46CA-A967-EBB0BA95C007","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28b1a6309f63cbdc2665abc07d3c111ef4f3e38f","datavalue":{"value":{"text":"Interprocedural shape analysis using separation logic-based transformer summaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233537$AA360240-5250-4E1D-98E4-B4C54147109D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aed819978b1ef25a5fe1f0c9bf5f81c9700ce22","datavalue":{"value":"1474.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$C11D86A3-D772-4F27-B530-DCB598477937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16e47c8a68091d9a9b8a81f093e96fc3759f6c0","datavalue":{"value":"10.1007/978-3-030-65474-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$7DF2D2B8-932D-461B-81B7-64C9A9225C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d9a8c852802277ee1c9ab61dd57fabd0ba38e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2058387,"id":"Q2058387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$6F202447-0C9F-457F-B8BD-3ADB339BA675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47eae7df2b28c216e16bf975c656327a7cf65101","datavalue":{"value":{"entity-type":"item","numeric-id":2058388,"id":"Q2058388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$43006CCF-C348-4E79-976C-ADB5881262AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac153c7f5276ccb8d4b5887e76c2d988e6dbdbb","datavalue":{"value":{"entity-type":"item","numeric-id":681351,"id":"Q681351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$E9DBE70F-B21F-4CD7-860E-595F4AEB313E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233537$4A423D82-890B-4BC3-8374-6B4E165E36C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59aaaf199738c0a7b6b456ff3d962c237a61866a","datavalue":{"value":"https://hal.inria.fr/hal-03081558/file/sas.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233537$9F836082-83D1-4142-9DF7-8EB363E24E8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$33EE461D-BBB7-4F0A-8663-A8882952CCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$A63B6257-D828-450A-9B61-D78BC8D1493E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907eff5699fa237ff61e744c5916ac7105781266","datavalue":{"value":"7410593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$9EF6670B-5898-4EE3-B8F0-73256E1AE94A","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":"Q2233537$985B44DB-BA05-4784-BB5F-B94E8EBB7F93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c052025f70231b0410baa328b3f48ba81ebd936c","datavalue":{"value":"W3120385058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233537$FE8ABF7C-BD62-4764-BEC8-A4A173A2D761","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$C92FB052-F86A-49E8-81FB-43B171D47C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1832a8f9f3048a5dffcc1f9a0d084d432f65a88c","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$DE61FEC9-AD1E-4DC0-8107-80955E2A6340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff45cd49b3fe8b6d13faea63f13f4341dc5c606","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$E2F517A0-8652-47DA-BC39-6D0526A98323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180a995c6bf4fddce09c209e0c80247b0b06901","datavalue":{"value":{"entity-type":"item","numeric-id":2561482,"id":"Q2561482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$5F029D28-5750-4CCD-83C5-3A398A916382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$D891DC17-AABC-4F57-B9AD-62627B658889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cde0e5bddced17473d8bcfdb6540e645282378","datavalue":{"value":{"entity-type":"item","numeric-id":5276154,"id":"Q5276154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$D0809C0E-4B8D-4BB1-981C-920EEFE9A773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2671b8bda8f70b76f85026bd5a523e2e1333e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5897438,"id":"Q5897438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$9C619483-AA8E-48DD-B41D-808E7EB386AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7400f4c3d95a40e739fbe88e0dac1a7499f0e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":2764069,"id":"Q2764069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$301E62F0-D1AE-47B7-8199-C6345EBC6333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9ace7c18df75b17230edfc0fb7a4af406412e0","datavalue":{"value":{"entity-type":"item","numeric-id":5408542,"id":"Q5408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233537$DDD90D54-E50F-4ED5-A32E-97054541F444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4598224ae51aa60636ba3a4d893329afda85778","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3088c6d8d4ee3e8532fe266d4b0035b74b836cf7","datavalue":{"value":{"amount":"+0.79634028673172","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":"Q2233537$D9B72C05-4BE0-4DD4-9F9E-227905CBF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7f88e2cb2cf3c839c83aed1479b84056b34eda","datavalue":{"value":{"entity-type":"item","numeric-id":5897438,"id":"Q5897438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894102717aaa1fa5741255ee6d85e4b2209f3702","datavalue":{"value":{"amount":"+0.7747455835342407","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":"Q2233537$FB7E3984-B952-46DB-AA14-0B27B563BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be84f5a2faf3479cab40e3431707a916686d883","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3a3a01fa38dc5bc91e5e443e397f2eec6c5076","datavalue":{"value":{"amount":"+0.760669469833374","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":"Q2233537$1276409F-3B6E-4103-AEBE-376B19EE1CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43d6393a6980b8749be738433ae81b7d3caee7b","datavalue":{"value":{"entity-type":"item","numeric-id":4916088,"id":"Q4916088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdaa3bcf81995dd3ffbf6a253dfdbac4709a2001","datavalue":{"value":{"amount":"+0.759972870349884","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":"Q2233537$307A98F8-42D6-47C2-AD44-C99C9D721767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df904acc61e8665d82e79093c9e4c399722389f9","datavalue":{"value":{"entity-type":"item","numeric-id":5408542,"id":"Q5408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081dc0add02c3437edfa8078a6f26961c0b1bb47","datavalue":{"value":{"amount":"+0.7498188018798828","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":"Q2233537$22890A80-ABC6-4F83-999D-ED3922347280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interprocedural shape analysis using separation logic-based transformer summaries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interprocedural_shape_analysis_using_separation_logic-based_transformer_summaries"}}}}}