{"entities":{"Q843219":{"pageid":845067,"ns":120,"title":"Item:Q843219","lastrevid":79729886,"modified":"2026-05-06T14:34:51Z","type":"item","id":"Q843219","labels":{"en":{"language":"en","value":"Proof optimization for partial redundancy elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5609496"}},"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":"Q843219$F6ECB87D-3585-4589-A4CA-D4A058BB4D47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9502bdc85ae9d63adc884b89ad41d6866878deac","datavalue":{"value":{"text":"Proof optimization for partial redundancy elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843219$40D8608B-C532-447B-8D94-B5B3F5FEA15D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e97b538da466b10a038a41c65332f0b62a70608","datavalue":{"value":"1187.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843219$88D669F8-6F56-4ED9-BCB5-498B5222D181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de519018acf0d952865d085d6e9c2ccdf1b2d19","datavalue":{"value":{"entity-type":"item","numeric-id":843218,"id":"Q843218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$AB467212-CAFC-4D4C-A9B1-A9F795375032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$1B96E2E9-29AC-4EDB-B77C-4A01CCDC74EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$2B0E4ADF-F047-4107-98BA-D59399F0799E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843219$B21400AF-09D4-477B-80EB-CABFEB2D133E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843219$C61CCB75-CBF8-4A35-AE09-ADDB3588EE67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"405a0d3ccbc25762a058d261a69571fdcea1c1a3","datavalue":{"value":"5609496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843219$6E1C2BDC-E06D-4FF6-B8AD-BA7F51E595D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bfb8bd609a4fda2717dad436161232f042306e","datavalue":{"value":"partial redundancy elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q843219$74BB7A47-B087-4F7A-A9D4-0C70149B8234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f23be0381180532befa83cf3a38d24fa4aa91cc","datavalue":{"value":"soundness and improvement of dataflow analyses and optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q843219$398C615A-EC3D-4192-90A5-28A7BDF7B567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q843219$A751AD3E-91D6-437F-8D5F-A4562BE397E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q843219$C507E00B-B100-4B66-A6FC-37668EEBB49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c6de7b319592bc5e535439700ebb5243950f9f7","datavalue":{"value":"program proof transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q843219$67B24BA0-9E66-4399-B25E-6BE3EBE6587F","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":"Q843219$1D96FC73-7985-4CDD-9B32-A6FA27B95004","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b15ff4f73d00df9ba3e07674515d1cf73a49aaa","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q843219$F345CBC7-74DB-45DA-84C0-7FF17680F4BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64e3b96ed11fff95c745d54c2ae6b0ef9c8df50c","datavalue":{"value":"W1989185026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843219$A452641E-A750-449F-A21C-26F69730C86E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef8ed3bb5f59fe38cee2046799e8a1db0d99625","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$DB30BC7D-67AA-4177-A019-1B35A909B5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$C1698DB0-2926-45F3-AA0D-1EF816A6A53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$C3C38BC5-B415-4D03-9EBF-7804FCF9BBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ab86e4aafb53c0dc15b8f52622b52aeec672d8","datavalue":{"value":{"entity-type":"item","numeric-id":3525156,"id":"Q3525156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$C075C935-275D-4859-A1E3-03D6CB90B601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001f589f7d3b81c9ff0f1a2b848beca13ed7a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3814783,"id":"Q3814783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$4D87B1BF-DCF4-4247-A6FC-A6E0176E2C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$A59168C4-C03D-49B4-A1BE-1D11836CB9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$61061725-31CE-4693-9399-E2B344EE39F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43d3a758c32c9727b6e7c98ee661a7017fcc647","datavalue":{"value":{"entity-type":"item","numeric-id":5276160,"id":"Q5276160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$44E4959B-151B-4737-BEBE-C81813F5EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d6222e5d4e66624701f3410e5d27f880efbd86","datavalue":{"value":{"entity-type":"item","numeric-id":4174701,"id":"Q4174701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$8C9C28DD-1A72-4CD4-BD3F-CD2E5C6C7451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242e2d54c9dc03af9f0f07516c048992832626f7","datavalue":{"value":{"entity-type":"item","numeric-id":1400469,"id":"Q1400469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$DB383094-C1C1-4509-BEDC-CE8E827EFCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a532def81281161c623ddb165b53de574787ba07","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$AE96D294-286B-4B86-97C3-5A170656AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd3cb3ad644dad014ecb5bfe915da6e6d4ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$8064A463-F582-43B6-A5DF-47D7EE530A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37390f2d88033b6fa056e221236b35b17117208","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$79910C45-CC7C-42EB-8450-CF938F51EBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8793f7e4afc3d0b8696106263a42044312d74c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5902363,"id":"Q5902363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843219$45219B00-FA80-45FC-ADDB-9EA67475EDA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97d5d7f9277865085aebdaa93786795f14f105ad","datavalue":{"value":"10.1016/J.JLAP.2009.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843219$E358C5DA-B3F2-4166-9CFF-755569E7B507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d205aa890fd4b97bdd81ee6a8ff8d7fef37acca1","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461ce3716a71e0779d70798e640291c628aee979","datavalue":{"value":{"amount":"+0.8931235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$42A08735-4E56-4524-847D-7336101DC7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555daa5ef78a0054bc72b219c7a0d40c58dee8a8","datavalue":{"value":{"entity-type":"item","numeric-id":1400469,"id":"Q1400469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592d8e542c1a6c61eb1ecc878c9450d4a96078cc","datavalue":{"value":{"amount":"+0.88741666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$E314F808-709F-4535-8731-71EAA86488A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e78ec1e57d28eb396bb763c08542878c4afd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3838818,"id":"Q3838818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab72a13f08a07f14afef69a18852af2364466de9","datavalue":{"value":{"amount":"+0.886693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$A613AB7B-C69D-4043-BA26-B341584AB234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9694ecc95cd17e581b722a875304301e52d8edeb","datavalue":{"value":{"entity-type":"item","numeric-id":5391528,"id":"Q5391528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabbe04af7ecfbd8833660142c6604ae64dafbcc","datavalue":{"value":{"amount":"+0.8793332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$51AE3441-DBA0-4D1A-A019-15285E0D1149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb325e98744ba5420784b8acfc69a277d10c646e","datavalue":{"value":{"entity-type":"item","numeric-id":4518870,"id":"Q4518870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f9538465beca78dfcf642bf0ae62393054e532","datavalue":{"value":{"amount":"+0.8586413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$8FDC65B4-3183-421F-BCDB-4F23DD14892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898d84af369e92571f61367fa010d7f7d3d61c40","datavalue":{"value":{"entity-type":"item","numeric-id":4649291,"id":"Q4649291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593a06a9ff560cf5a4aebc680835b0ec9a34910f","datavalue":{"value":{"amount":"+0.8548878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$C8C49F8E-1528-4C82-A267-EF999827B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b942d16c0e398dc4001ca19962cdc7ebb4b1041f","datavalue":{"value":{"entity-type":"item","numeric-id":4898739,"id":"Q4898739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcdbab5613e64c21f9709d59357cef606be1d1d","datavalue":{"value":{"amount":"+0.85019976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$6F1FFEDE-A5E6-4E6A-947A-E02277856341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7385f94f782fd26d282b4958eaa2016401d73ee","datavalue":{"value":{"entity-type":"item","numeric-id":5958754,"id":"Q5958754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf1d5bf1231ca668f80899ac70dab95f4c4eaa2","datavalue":{"value":{"amount":"+0.8491466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$9D23F486-A600-4B5B-B1C4-E1BE516C7204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36dab317dc6184607b28b60227d46e835ea9eef","datavalue":{"value":{"entity-type":"item","numeric-id":2987066,"id":"Q2987066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef93c60e953b141fa0841c2566f35d2a43f142db","datavalue":{"value":{"amount":"+0.8473712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$75CF3C2C-C14B-433B-A3E4-0B64D1C1D866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1104384eab5bc3cd4f031328aa216f6bcfe1e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748907,"id":"Q5748907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744f58d05f23a1c876949c03a1c1350e246a7978","datavalue":{"value":{"amount":"+0.84498614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843219$5C022F15-722B-4BE6-8DC9-4DFBA49882B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof optimization for partial redundancy elimination","badges":[]}}}}}