{"entities":{"Q2568453":{"pageid":2579196,"ns":120,"title":"Item:Q2568453","lastrevid":48566392,"modified":"2026-01-05T05:57:06Z","type":"item","id":"Q2568453","labels":{"en":{"language":"en","value":"Weighted pushdown systems and their application to interprocedural dataflow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213178"}},"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":"Q2568453$749BF241-8686-4AD7-95C7-E14BD16FEEBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b051760eb4235025b686af5ff8fc1534e4e86fa0","datavalue":{"value":{"text":"Weighted pushdown systems and their application to interprocedural dataflow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568453$B994122F-3FAE-49D7-9BB4-563711FE8880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91be01b7c738befbd9127da16dbad78298cf57c","datavalue":{"value":"1088.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$8B67A159-804C-4EAC-8295-1380793CC65F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568453$CCE18BFB-438D-485F-A858-BB2EAC19F871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dc12cf1fb5f9d758fcaa5016f946da2f25eba2","datavalue":{"value":{"entity-type":"item","numeric-id":375473,"id":"Q375473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568453$B365E735-D245-4AE7-972B-0B0EF6FE9C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1eadb453aadaefbedd484f13f63f5d97cb39528","datavalue":{"value":{"entity-type":"item","numeric-id":2568452,"id":"Q2568452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568453$5A40B0A2-5DF6-4C4C-BE87-088B38FA9210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568453$EAAD2D0E-E048-4C9C-927A-6F00A77A7688","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568453$8E272DD1-3A27-4DE8-89ED-28A714A95CBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-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":"Q2568453$0C67E584-298F-4687-A9ED-5A87F4B47B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$6B43E20C-9F3B-4F11-9A43-B0D66A134D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$35CF8A9E-A90F-481E-92A6-00F473E650A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b946baf0641214b51683fbd4b42556d11e7011","datavalue":{"value":"2213178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$A79DCA14-52F2-43DD-AA7C-44B293C9EE00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba16acde7d546eea637c7c661efbf8c7660236a","datavalue":{"value":"interprocedural dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568453$1B46E5F6-A298-4FD6-AF29-CD856FE494B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610f261e2c1af6c81cb6feb07eff7f52219b4fd0","datavalue":{"value":"generalized pushdown reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568453$45AF99DB-3059-416F-9B00-CE7F632A8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425af21506f557f40ef4c569b9a3326c3780d002","datavalue":{"value":"meet-over-all-paths problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568453$166D9BE3-817C-4710-8325-75F89EAE17CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b9f801c584408803e31f82c615a497b4ec1f4d","datavalue":{"value":"weighted pushdown system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568453$A75B9FF6-0301-4011-B39E-FE39B76CDE59","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":"Q2568453$9390C3E0-6DCE-4F6B-BEDD-F9403FA208A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a828b217e17dc6033a1b0866d512893534e4d690","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568453$756782EF-7672-4332-8D35-AFD755F78B1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"458fd57ea2e19073c63b7b2fd6bdd53e30b27d44","datavalue":{"value":"W4244831445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$4340F6B3-4BD2-4E63-9A34-B247B0531C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2669a03c7b15911f2427f82b1f8539bd316cbf","datavalue":{"value":"10.1016/J.SCICO.2005.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568453$5C61E79E-F1D1-48D1-8C72-33940403C2F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b725c81d79ce6597973f2ed8db436ab09913027c","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f78b1cbae0ddfd99650084f58525dd8dc9aae","datavalue":{"value":{"amount":"+0.998372197151184","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":"Q2568453$2443170F-BAD8-426B-B0CE-301A97A78387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf452b51942da2eceb5cfd9792021b681a2196c","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef84962c76507df45ab905ed05673dabb81be310","datavalue":{"value":{"amount":"+0.882840633392334","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":"Q2568453$1984E99C-3C1D-4A05-BCC9-4CBADEAAEF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2123af8fa610e4aead3462ef8543d3a08b3c613","datavalue":{"value":{"entity-type":"item","numeric-id":5716587,"id":"Q5716587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5cdb0f17e1c2509f9fd483b833d25ea0d71d22","datavalue":{"value":{"amount":"+0.8792775869369507","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":"Q2568453$B3340420-1464-4EE9-A637-AD7FB85CBB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de35ca618a8e17a672cf3c48116496425cfc8491","datavalue":{"value":{"entity-type":"item","numeric-id":3558251,"id":"Q3558251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d305d69553e3760d70fec4e1640107248fc71c9e","datavalue":{"value":{"amount":"+0.8257089853286743","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":"Q2568453$10221F5E-488C-424B-AC74-0262D49D2813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d579af043898e321f9982a42ed10e0de414627d","datavalue":{"value":{"entity-type":"item","numeric-id":2917315,"id":"Q2917315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65b3148dbcc49252d5041e08d46b56ad4563a27","datavalue":{"value":{"amount":"+0.8077839016914368","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":"Q2568453$209859D0-E5D0-45B5-9E9E-C7BE8F599B89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568453"}}}}}