{"entities":{"Q844147":{"pageid":845995,"ns":120,"title":"Item:Q844147","lastrevid":64765215,"modified":"2026-04-11T22:04:36Z","type":"item","id":"Q844147","labels":{"en":{"language":"en","value":"Using postdomination to reduce space requirements of data flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659895"}},"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":"Q844147$9D7A2A28-B2D1-452F-8E26-EAF3610A23BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e05f6c9f8c7ae41b85f2f1b918eae2cabd67ade","datavalue":{"value":{"text":"Using postdomination to reduce space requirements of data flow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844147$5A8C734E-810D-4E92-9A2B-257E2DB5CF91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b775197e22f3d33a81c1ad232ff0c19ccf6138f","datavalue":{"value":"1187.68677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844147$5179DA90-864D-46DE-B302-06B32F556769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844147$DF044FBF-FC94-4185-9D20-6B439878E244","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844147$1118D755-47A3-497B-A1E7-C033C406F575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-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":"Q844147$86502C4F-2277-4BF5-89F0-0F73CF7A7452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844147$066009A8-E232-4985-8E38-B41407BC6574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"810c95b4d632fb05a3e720fb82b1bc6a20ff66ac","datavalue":{"value":"5659895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844147$8E7D3A6D-2175-4755-B37B-F33BB66EB1A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q844147$839830D7-7220-42A4-A9F6-F2CDAFAABA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q844147$2A8AFD5E-AFBC-4817-B50C-CCEFA4B3C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q844147$AF2D3FF1-50B3-4CB3-ABF1-DFC2A3D9060C","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":"Q844147$43F021E4-9B94-48BB-BCED-9AB42563E1BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d1e91a96efad83f2a60eb7d59d7be4894906664","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.11.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q844147$00B33F36-4D6B-4BCE-AED6-83A5F2E32826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a73cebae17b4110d7f3a6ee6d88042d6b80e3b3","datavalue":{"value":"W2047793991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844147$60199E22-D8CE-4804-8893-9D4F002C499E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2ad43ce70e5b64b506be1dc6cba35ffbcc535","datavalue":{"value":{"entity-type":"item","numeric-id":844147,"id":"Q844147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844147$68A37F0E-B306-4E0C-BCB6-86F8F132AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844147$E27F8C14-552C-46BD-8DF7-085D57EE0821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d2ab9f0aa08410bdd345b97017d0badb3c2976","datavalue":{"value":{"entity-type":"item","numeric-id":4791013,"id":"Q4791013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844147$54412EC1-82BB-4639-B53F-7AC6A38CEF9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4f6bfb684f1393c4e9daa941d268de0341db465","datavalue":{"value":"10.1016/J.IPL.2005.11.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844147$6B095186-5ED4-4B7D-981A-73E010891120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using postdomination to reduce space requirements of data flow analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_postdomination_to_reduce_space_requirements_of_data_flow_analysis"}}}}}