{"entities":{"Q2978543":{"pageid":2989268,"ns":120,"title":"Item:Q2978543","lastrevid":52790786,"modified":"2026-01-23T12:36:32Z","type":"item","id":"Q2978543","labels":{"en":{"language":"en","value":"Summary-based inter-procedural analysis via modular trace refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707794"}},"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":"Q2978543$E319C099-3C2C-49B6-AE40-863A235E2758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"540c513edc68cc6e46251d51add3eb26b37a714d","datavalue":{"value":"1360.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$F4B88FAE-C116-4F30-8C8B-1E2361DCEC7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978543$75A3BE2D-CCCA-4081-9B84-D5DDC57666DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$8A8661F3-7454-43EB-931C-FEE0E2C8EC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$333494A7-3BB4-4B39-83D2-82C7DFF49E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b82331b9e7a64655293058118fad3f006583bf0a","datavalue":{"value":"6707794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$63C10BFB-7C40-4A60-A9C6-85B7C7CD14BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978543$58E86249-8032-4BFA-A2A3-E08E3045B2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978543$C999DF87-4C04-40C2-8F7E-D151A696E578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978543$A8AD8066-48AD-4A66-8BB8-5707268074BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978543$C7197BC1-5FE8-4EF0-B784-8D759E27E60E","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":"Q2978543$003E4748-D756-4095-AC37-D55DE04EFEDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b98cc7ca47bb7d1f6f349d816ca1ffc6031c1b","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4870/pdf/46.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978543$3D2808F7-9AF5-4D02-A44C-1FDE0D89BBDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39cfa672461d7414f90d1d3532eb69a458b15463","datavalue":{"value":"W1579191988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$D54C4646-BD5B-4DC8-8035-6B24A9F33222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2474b6325946255a9efcc50edbf87b2b051721f6","datavalue":{"value":{"text":"Summary-Based Inter-Procedural Analysis via Modular Trace Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978543$CC1F87C1-A4CF-451A-8903-7BE32FDBACEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9d5bab3d5970f31d30e500ffc4142ff4a6449d2","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978543$44240582-E660-4423-97F6-5DB8BEDE223B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2969588c39b116c4a8004f715f3bb17d5f91e59d","datavalue":{"value":{"amount":"+0.7710253000259399","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":"Q2978543$2D18F852-36FE-4C21-A4C7-9ABD0830FA21","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":"d5e4ff101acf118289b7a221fac2a71d269b1328","datavalue":{"value":{"amount":"+0.7692204117774963","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":"Q2978543$6D6CB9B3-A502-4ABA-8519-194A977892F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f1aeced5614af143a642f3f63045a54698f4a2","datavalue":{"value":{"entity-type":"item","numeric-id":2234080,"id":"Q2234080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ebc0187ec651168f4c1515a026b746b8ca8ace","datavalue":{"value":{"amount":"+0.7632828950881958","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":"Q2978543$3367E93F-611D-4283-8A8F-61D2AF1EC8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87129619cf7b049b213dd7a6da883492d4e80e2f","datavalue":{"value":{"amount":"+0.7493540048599243","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":"Q2978543$D7466D9C-EBAB-48CC-9611-AC458C34578A","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":"e6a36c4d06c1e359bac3b509922dd1589a679ea4","datavalue":{"value":{"amount":"+0.7476660013198853","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":"Q2978543$BCDF5AAF-A774-4BD1-A2CA-D840933D8D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978543"}}}}}