{"entities":{"Q2464935":{"pageid":2475678,"ns":120,"title":"Item:Q2464935","lastrevid":73453143,"modified":"2026-04-14T16:03:07Z","type":"item","id":"Q2464935","labels":{"en":{"language":"en","value":"Optimality and condensing of information flow through linear refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221237"}},"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":"Q2464935$34EA0400-94C0-41F7-A34E-93AEFC3689CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01dcfd9a3f3e877501d9c59e82ecbdb79adc7084","datavalue":{"value":{"text":"Optimality and condensing of information flow through linear refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464935$7C9C988A-3D0A-41F3-8488-0D8E589792A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20d11f1deb276549f6d466f1ada9c55f8cbd7665","datavalue":{"value":"1143.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$1A0AA934-99AB-4594-89BB-BD60018F3957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$685DF231-756E-4E0E-BAF7-85225936479F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$3DF3D484-801A-455E-8725-473A4A201F82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-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":"Q2464935$45F60124-46F7-4730-A2C4-026FFEFE862F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$868C20BB-A3A5-4893-9623-6D6DF1984145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$1A2B1EDE-C45E-43D6-9D2A-F07AB58466CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80afb9bea2d5bcc5ace79afa3f0acd8937653f57","datavalue":{"value":"5221237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$782DEFEF-E034-4FB7-91A0-4DA4891FF501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464935$7EF495A5-156E-43AA-83F5-08648D361CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eddbd5718094e24bad6f4eba3171a28fe165e75","datavalue":{"value":"linear refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464935$DB643B43-2975-41B8-81ED-4580F182726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464935$FF271676-9B96-4DDD-98F4-B27ACC633A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464935$8568989E-8E01-4ACE-866D-98CBB0AA316E","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":"Q2464935$F01D0FB1-72D0-4B79-8A85-DB412C7AF70D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c58360944527228046108e59fd1649f8e66bc30c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464935$7DE48FDC-FF85-4BC0-8652-9D31F4A56D38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2957eaf232ba4afa26a83f785640e8b7a08bfaf3","datavalue":{"value":"W2036231928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$0FE7D77B-D420-489C-8234-9FE91CB37D11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$145BA562-8633-4BD6-BA5B-F5FF4E9D8307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebdbe8cda4e5e31d2b32028bfb4b43bafcc648b","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$6A170C54-385A-4073-A8D8-D4A76C9523F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e040be53b9dc937b6cf4f3520d5157b0bb094da","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$384A22BF-A186-4E99-BF0A-2B393F3A72F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$2DC55C5C-9D96-45BE-AF19-0E188BE257D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507cf5c48b7692adee7fa55a49d9e02493a02b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1869976,"id":"Q1869976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$7303CA8E-B7D6-4540-B2ED-E7AC5249A6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$31AB453A-D19C-4AA6-8E7E-9F453FF2CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$A661064D-E5FB-4903-83FC-2805153D2975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d9b44c4bf92991a82e37499500ba9b0167dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5711500,"id":"Q5711500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$44FA9A8C-2C93-4058-9BF7-9EBB4B8A7FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f8a8e4de435b8ee5d9a32f1300f43143475771","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$01C2EA8C-7EF2-4F3D-9735-2DAFBEF6360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c27df4e5b6f34390aea0f7b9a694cbda45edccb","datavalue":{"value":{"entity-type":"item","numeric-id":5277715,"id":"Q5277715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$BA3FD973-931C-41A1-ADAD-56D05FDD6882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ca75cd59633b8517d6b4af78e4f4c9d0d07742","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$F9A90259-698C-4AE5-B11B-963D215E23C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0e4fe4df7eee42e283837d93d8d7b7e14a7b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4234769,"id":"Q4234769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$5E3D71D6-C689-4AD5-9A11-70F812483F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccf005e0492f34cf4c0302cfe56dc8ebd41fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$E9ABEAEB-F280-4F9D-9209-297122FB06BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357bdfb4c5e9980ec5522cdcacc1a9153d4ab8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1605228,"id":"Q1605228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$6DAD007A-EC95-426B-8AB7-14DE6E1B76CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51e1840ba044c342cc1d3aeab98d5885dd647db","datavalue":{"value":{"entity-type":"item","numeric-id":5395111,"id":"Q5395111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$6B60C28C-D043-42F1-AC0E-22723C1B2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464935$C769C1CB-9449-478D-8437-64270DC51079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49bf5e0a1c548a3dd28a2176140659e32d19a329","datavalue":{"value":"10.1016/J.TCS.2007.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464935$606783EE-AFD5-4FEB-B01C-0A61BF841CE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390a9f2dab5c9e3af766be1996e1abc6495cd423","datavalue":{"value":{"entity-type":"item","numeric-id":5395111,"id":"Q5395111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab904bc326a0f52833c2bbee860be736d74b43b","datavalue":{"value":{"amount":"+0.9271135926246644","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":"Q2464935$43966706-0C9A-4ABD-8074-957269BB4A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4bf8ba2fda894883395d697d19ca23c26fdf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7bee6e308acc54d8126c81cb7774b93615e365","datavalue":{"value":{"amount":"+0.7525347471237183","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":"Q2464935$E4B67FC0-DC39-441F-AFD5-839DF1B30502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2ca37d7090ec9b4d622b47008b03e0724b43ae","datavalue":{"value":{"entity-type":"item","numeric-id":1873754,"id":"Q1873754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9870fc017b492977c4d27b36338c19c13cd03f2","datavalue":{"value":{"amount":"+0.749232828617096","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":"Q2464935$23EEE750-4C17-4426-9C0A-CD9DE443188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b9ccac7f9d1588803d924df5660689c557574a","datavalue":{"value":{"amount":"+0.7330658435821533","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":"Q2464935$743D7FF5-617A-4465-B02C-DC73BDA020C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7524001ad7cfe5fa3f914c4399d26a49e5288ec4","datavalue":{"value":{"entity-type":"item","numeric-id":826055,"id":"Q826055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d6766c8cd9af00b15824793a845167956a505e","datavalue":{"value":{"amount":"+0.731340229511261","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":"Q2464935$DCF8A440-A859-4D19-BD16-8206006568D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimality and condensing of information flow through linear refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimality_and_condensing_of_information_flow_through_linear_refinement"}}}}}