{"entities":{"Q549189":{"pageid":550956,"ns":120,"title":"Item:Q549189","lastrevid":62671812,"modified":"2026-04-11T07:40:24Z","type":"item","id":"Q549189","labels":{"en":{"language":"en","value":"Derivation tree analysis for accelerated fixed-point computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918236"}},"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":"Q549189$35A1DC45-2D60-4E24-B068-3F2C01B17A32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"096f91a21cb4d283fae0d296506b63268990cda2","datavalue":{"value":{"text":"Derivation tree analysis for accelerated fixed-point computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549189$5CAA78D7-6227-45C1-B901-545C1F82562F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803f0ef6ed095efd68916c286bc8dd10e3c5b51c","datavalue":{"value":"1218.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$5F87C396-3A01-481E-B272-6144DB95F7A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$904E16D1-7E8C-4EEB-AE58-2764FEFE47D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$EA9B6E5C-AF94-4460-9380-753B5784EA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588d4cd6027e05d734af16e4bd4c6f301c53cc51","datavalue":{"value":{"entity-type":"item","numeric-id":418124,"id":"Q418124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$10B1511C-B136-4207-BC2B-0B7F8990A384","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":"Q549189$687C5D6C-A17F-4E8D-9CC4-35CD4623BBBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549189$2286A70D-3A6C-47D5-B3DA-F24DAEF4E874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$A889BEA7-B506-4AFB-AF49-72C2435DBD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$BBFE6097-4883-41F0-AEC6-183253822B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$79949DDA-2BB1-4926-B071-233879EEED7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$AF1E5E65-4F60-4271-B125-FF16B3B4BDAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9bc951c4a7401522c1fecb71b65b6eab7ebcd48","datavalue":{"value":"5918236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$EB01355C-B02C-4460-802C-3EC868B32151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a570a958a0e7bb1426c96b63bf60dcb13ff5b28e","datavalue":{"value":"fixed-point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q549189$4C5AE4C7-B7D6-4820-B27F-3677DD27E885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q549189$16C37CD7-C69F-4892-A9E5-0C8357AFCA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d79dc792a5b1d4268e954add5455ec6c669971","datavalue":{"value":"derivation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q549189$74B1AC8C-5D51-405D-96A8-474C8C0884A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$EB9BD941-7D6E-46D9-AE37-27F9192BD2D4","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":"Q549189$91B55241-70B5-440E-906C-94173FCF8749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8650bc81183f00719b235fe00579d222ac3aa28b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q549189$F2A4CC85-C6B5-48F3-B4FC-BA706973348A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df08d449d5fd96c436393ea5fd6daacfd989376a","datavalue":{"value":"W1977974782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$733088B1-D930-49D1-BD60-F0E1AFC5DA24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$DA9A6F32-2C79-49A6-9ECB-0874685CF3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3688b10da96f6d7c9c3dc78940ada65744661","datavalue":{"value":{"entity-type":"item","numeric-id":3951525,"id":"Q3951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$690A7A5D-35F6-413E-81BF-EC10765B8C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$2B023B03-F09C-4B85-A7F3-7D145DE1FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$1F2E6A5F-C35D-40A6-AC55-66C73E1E4686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$972E0793-6758-4A17-9A56-BC49B6048D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482f832a66c60f7c9d057ec14c320f5463d1e96e","datavalue":{"value":{"entity-type":"item","numeric-id":3503907,"id":"Q3503907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$1B8139D6-A5BE-4A46-866C-F27D5326B15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4c43dfd637937fcf398a09251e525ae3d52515","datavalue":{"value":{"entity-type":"item","numeric-id":4713368,"id":"Q4713368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$EC1E30BE-1CD9-40C4-A604-277EE1430555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c52d7dc59310bf0600cfeb041725aae4c9e842","datavalue":{"value":{"entity-type":"item","numeric-id":5428228,"id":"Q5428228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$C8904D2B-8286-4B72-ADB0-BA5BFBA9A222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd64829d7a6aea806e84c4d0e05bf37f087864b3","datavalue":{"value":{"entity-type":"item","numeric-id":3590943,"id":"Q3590943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$485FF59B-DFB2-4934-85BE-C8AB52631206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$76CE8635-CF1A-4CA9-BC36-5A7DC2E27F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c897d88cb980bd41b84487a8408830ee766210","datavalue":{"value":{"entity-type":"item","numeric-id":3113763,"id":"Q3113763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$68326F56-115C-48BE-8484-1FB7B2AEC1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7618dba3c858d60e577e7b915b9ef7225ee18f34","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$BDBDD226-1075-466D-8472-A8F9E0058088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$7090CE97-EA1D-430A-BA62-A7561F541495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$74FA863F-017F-49FB-ABAF-67938B698F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1eb74dc35961dcb1e6adfe219fc2b66bf91b11","datavalue":{"value":{"entity-type":"item","numeric-id":5727090,"id":"Q5727090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$58B52477-277B-420D-8242-F4D781AA4008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$923E1D25-8048-4FD8-BB11-E21B03BA8B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$EEE2C7C8-025C-4C18-9C5C-868AAF36872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$4F80C5E7-581A-4962-8D25-87A584238FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$16F4E852-B520-41D5-A592-CDFC3D78571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$CB04E05F-1946-4757-A36E-900C313A25EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deff9a461f29dddb538e1de4a3c1c3407b32ea68","datavalue":{"value":{"entity-type":"item","numeric-id":4371012,"id":"Q4371012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549189$48A590C9-3D0E-48C4-A51C-87D830BB4002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed58d32539f37cb0b918a8fbd0f069d18dfacb9","datavalue":{"value":"10.1016/J.TCS.2011.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549189$06982592-CDC9-47FE-AF83-5289BF3FBFFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f7eb74fe3b1a96675d80d7d7bb2c5cd5eecd16","datavalue":{"value":{"entity-type":"item","numeric-id":3533020,"id":"Q3533020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf3ca30706338cb270439812cfba3c717089383","datavalue":{"value":{"amount":"+0.9958771467208862","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":"Q549189$E3D4048C-2793-4697-B65A-102D4AEFA93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7919f883435133146fff3ed35f34af0bdf1de4","datavalue":{"value":{"entity-type":"item","numeric-id":3090856,"id":"Q3090856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62239f767e34cc732420445bb5ef9caf6fca578","datavalue":{"value":{"amount":"+0.8554779291152954","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":"Q549189$BDECA4AD-E02A-4590-9081-1C4DD509E359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103ab64ef02d0ac7c5e4589186359bd60def4eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5428228,"id":"Q5428228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b466d9f7a6078ca3ef249245afefb102006ee9","datavalue":{"value":{"amount":"+0.7628300189971924","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":"Q549189$5FE0D9C3-C248-41C6-BC9F-39DD0FAF8953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c5af13e3d93cdc30f7b9b60ad5d57f3f43d065","datavalue":{"value":{"entity-type":"item","numeric-id":3590943,"id":"Q3590943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbd1a82a9db3bd3636a5edcd8c9208deb08d361","datavalue":{"value":{"amount":"+0.758694589138031","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":"Q549189$A0A9C919-88A1-49B1-AEB3-7A0DD09EBA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6a03f8340f0b21011a74dfcc686b4456a38015","datavalue":{"value":{"entity-type":"item","numeric-id":3326821,"id":"Q3326821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5f7a52c1e9c28b51e4ca3701a1ec733287e4da","datavalue":{"value":{"amount":"+0.7395051717758179","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":"Q549189$4A45A14D-E78B-40DA-B2FB-E1F789C6FEEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation tree analysis for accelerated fixed-point computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_tree_analysis_for_accelerated_fixed-point_computation"}}}}}