{"entities":{"Q5408542":{"pageid":7438116,"ns":120,"title":"Item:Q5408542","lastrevid":51972512,"modified":"2026-01-20T16:11:38Z","type":"item","id":"Q5408542","labels":{"en":{"language":"en","value":"Calling context abstraction with shapes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282602"}},"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":"Q5408542$4CF584AB-8B0D-47C0-95E8-59F6F160D800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc426de09d8350ed9541a717f89c83b1f5781290","datavalue":{"value":{"text":"Calling context abstraction with shapes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408542$E36EE4E3-4618-4E4C-8C89-4A71608EC113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0568a915e815fe307633774b74150c060e928691","datavalue":{"value":"1284.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408542$D9885B5C-F5A3-47EF-8ECB-5B2316E28015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c013fafbd00e2c20c5279dc4ca6fcea6304399f","datavalue":{"value":"10.1145/1926385.1926406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408542$3CD00965-A695-4F12-A92C-6098A26F8960","rank":"normal"}],"P16":[{"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":"Q5408542$B6569526-1AA3-468D-ADE5-9A7547805B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4bc11f85fec3cd8651169b233d6ebf4d4c0600","datavalue":{"value":{"entity-type":"item","numeric-id":2145337,"id":"Q2145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408542$D34EC991-441E-46D3-B704-C1B574471A5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408542$9637FA01-2D82-4B8E-84CB-E899CF288F97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-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":"Q5408542$C57FCEBA-1461-4D8B-9F11-2466CCC14ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408542$780A34FA-690E-46CF-B26D-56214B57365E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025699de333f59c9fd1b55c9258ed7e61a6db0a4","datavalue":{"value":"6282602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408542$E0B7A649-5AEC-4EA4-A1E1-D99FB2CB0498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e21358f8337d222d508f11f1c81b4a7cbb40e31","datavalue":{"value":"calling context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$E7F40C09-1BDA-48E9-9BDA-209972798F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68f81f8d4a1ec5d1e6a2b0af4d593b2cd36c3ba","datavalue":{"value":"context-sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$F4075E73-6121-4C1D-8C20-A9F4529B2E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$5EF43EF1-C31B-440D-8437-FF9493DF167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec3e7b916b83fe7497baa58db1aa00e4126d057","datavalue":{"value":"interprocedural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$68EF6A08-17A9-4FD4-8DF1-3124AFFE74ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$93B29C95-2FFB-447C-956C-64E059673B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$BE04C912-8AA0-4219-A438-56BCA0FAFDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb2c5d913f2ce9412f17754af3f392ebfbdb0c39","datavalue":{"value":"symbolic abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408542$B3F14044-4162-4034-B910-1F8CF28C55E7","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":"Q5408542$FE148398-7E7A-41F3-9372-1EA495F12BB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a509b1355935d97099a7c9d52fb0a7152535b0ef","datavalue":{"value":"https://doi.org/10.1145/1926385.1926406","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408542$5282E2B9-AA16-4749-8871-DF471361E3B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33559f3e24144df83bdc147ca4080eca8b1ce27","datavalue":{"value":"W4241183813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408542$6AC3B06F-DD74-4EA5-B11F-30FE2F49CBA1","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":"d388ae49f52af5cefe56b114dce0ad83977fd58d","datavalue":{"value":{"amount":"+0.7972010970115662","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":"Q5408542$C64F1DBB-3B47-4251-B56E-AB61BD13E3E2","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":"828fa9dbcd8be512ff78ca332f98d0b5b3deb9c9","datavalue":{"value":{"amount":"+0.7890527248382568","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":"Q5408542$400C17CF-C0C8-44FC-B0B1-65D09E2E6245","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":"af368f0d4eaacebbe42ea789fa5affd729427d63","datavalue":{"value":{"amount":"+0.771838903427124","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":"Q5408542$690F7E35-DBBC-4B8F-908E-7B0F474245FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec95ea7e5d32d36598df24a980314749c80112","datavalue":{"value":{"entity-type":"item","numeric-id":2764069,"id":"Q2764069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05833700de3dc5b2a3e65adbd34b784faa993162","datavalue":{"value":{"amount":"+0.7684063911437988","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":"Q5408542$F4C761B5-744A-4ADA-B40F-240EFFA0CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b9c0ca5efc9d004125eaff4435cc444832d206","datavalue":{"value":{"entity-type":"item","numeric-id":5312985,"id":"Q5312985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab58531019f756b595b0fc17c9b9de41d03f652","datavalue":{"value":{"amount":"+0.7674427032470703","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":"Q5408542$C36540F8-5B01-4DE3-BA37-A3899F9ED33C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408542"}}}}}