{"entities":{"Q945006":{"pageid":946854,"ns":120,"title":"Item:Q945006","lastrevid":65534109,"modified":"2026-04-12T03:16:09Z","type":"item","id":"Q945006","labels":{"en":{"language":"en","value":"Quantifier elimination supported proofs in the numerical treatment of fluid flows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5324357"}},"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":"Q945006$73F7E99E-43E8-474A-8071-9C5D4EB57D62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"664fd1ab39dcc0bc6669ed2d0d8cdb7df3e21b31","datavalue":{"value":{"text":"Quantifier elimination supported proofs in the numerical treatment of fluid flows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q945006$83E468F7-883A-4C66-A2E5-CF34E2F8E384","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77aa2f74ed09e14b27fd08577fbfacd333f10bb2","datavalue":{"value":"1149.76646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$ECA0ACC6-26C7-49A3-93ED-5622BEAD9962","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef5d27d40756a25e38f413817d4a915d16b91de2","datavalue":{"value":{"entity-type":"item","numeric-id":453382,"id":"Q453382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$7D205765-8C6F-4DEC-845C-6864035290FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69c01d4935b0e6d1afb3274411f3eca93a3ae005","datavalue":{"value":{"entity-type":"item","numeric-id":348558,"id":"Q348558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$1285C7FC-9949-4D84-9FA1-FBBD08B2D1F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$38426E7B-51D5-480D-A3DE-85F993A0ECD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131b596fa601c3661806f2437747b7af2f563219","datavalue":{"value":{"time":"+2008-09-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":"Q945006$2578524E-C6D3-4B11-B5FB-7CEBC697211B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ee480e21d33eb2cf0b6a11aea971b88d2f7a4c3","datavalue":{"value":"76M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$B930983D-7299-47CF-A4D0-782AA4612DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"768ebd5a337c4ef000f167e7bca176a13e57258f","datavalue":{"value":"35K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$5F1EBCB2-EF9C-4CD9-A3F0-62192F11592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d03906af9401d3cb0de9aae29b67fdc33cb30d53","datavalue":{"value":"65M06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$7112B4EA-6FF5-4403-B22D-0C96FC618809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0e16199bf4855c5694cbe68c2e34fd640664740","datavalue":{"value":"65M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$641E21AB-32B7-47E8-97DC-59ABF80C60AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$9D09E6DE-F885-471F-9B87-D48A039E5E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0392019468170aa2f887c6aae0fb13a85adf7136","datavalue":{"value":"5324357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$907B2117-E93E-4DFD-818E-8DF49D6597FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q945006$AE6D173C-8BF4-45AF-88D5-0DCB360D8410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q945006$40F263FD-39DF-4E75-90B8-5E70800D4F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aa61d5933eeb16ac5ea82cbc26412f6e2bb4d3","datavalue":{"value":"finite difference method","type":"string"},"datatype":"string"},"type":"statement","id":"Q945006$F8FD3421-5395-4EF4-8D9F-A40753B2ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe5039a5cd2f854524b5e83ad39032c84306229","datavalue":{"value":"numerical methods for fluid flows","type":"string"},"datatype":"string"},"type":"statement","id":"Q945006$09229330-E105-4E25-BEA3-3DA113D0241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f41b4f5b11ef850501debab6896ab26dc11407","datavalue":{"value":"advection-diffusion equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q945006$ED099192-FD55-4BBB-AA23-1D44676D7E57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$F6773A42-0AC8-4DCC-AAC4-19F2480EDFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$EFD2A9ED-6CBF-4B21-8DD6-965170C363EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"778524afc6003e474ce9dbc1e8b3237c72fd55e7","datavalue":{"value":{"entity-type":"item","numeric-id":20123,"id":"Q20123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$4FA1DDE3-91B1-441E-BC8C-68C5173C9CFA","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":"Q945006$A4A264E8-B68B-4E05-9647-8DCC1F8411BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"785e80aa4e715c4ec9d19ffd99897008d0fc38bb","datavalue":{"value":"https://doi.org/10.1007/s00200-007-0057-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q945006$996C6508-A444-4EC2-A7F1-38C9C45E9F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"132b9671ef195ff5f20a8c43cd15a0d6fc94cfe4","datavalue":{"value":"W2077691941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$7A564A3E-A3E3-4212-907A-4DCB58E5AE67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$FAD08966-2832-4179-AD5A-E1593DDD4FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$EC507D84-BE91-4A8D-B8C4-ACA004C19D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf31643603adde842abc14bb0b9693cebd2393b9","datavalue":{"value":{"entity-type":"item","numeric-id":1368692,"id":"Q1368692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$C4FB6B50-81B0-477D-8772-B7DD2AA169C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bf25d5df56aa17585b8a6d82683a6b653165fd","datavalue":{"value":{"entity-type":"item","numeric-id":4520808,"id":"Q4520808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$0BF3741E-8B1B-4B08-B8FD-0E636EF4C8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34673e54b35318d123c68e7bd146f0ffd36bf01d","datavalue":{"value":{"entity-type":"item","numeric-id":4808717,"id":"Q4808717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$AF5935E3-2A87-4E67-8F96-B73FD2A39BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07300dc11c8f24135783b38df2cf0c63cb45b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":3993078,"id":"Q3993078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$5E21B77C-D89C-47D4-83F2-752250F5E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f257b4ce293ff91c25fc667c615f2ccc19b8a47","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$6CC0CF41-E579-4B22-B623-C7E3A3F3BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39b9404dea20de79457ba6bb0b164545966307","datavalue":{"value":{"entity-type":"item","numeric-id":1088552,"id":"Q1088552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$C55275D3-2044-487A-BFDF-24E7B36A774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$5C62792E-CC01-4842-A87B-E202845E3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bec505ee4759586924c3b0358872684f74f492","datavalue":{"value":{"entity-type":"item","numeric-id":5709735,"id":"Q5709735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945006$03E767C7-66D4-45C7-9399-11A197E1C4CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"990665083d09dfed525faec5df67164ecab14833","datavalue":{"value":"10.1007/S00200-007-0057-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945006$FEF742D3-1713-4713-818E-6550BF427B18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4491e2880193a9189d42307caba941ed9dd8027e","datavalue":{"value":{"entity-type":"item","numeric-id":1763691,"id":"Q1763691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cfabce0372bc9e75714920f803642d3ac6aac","datavalue":{"value":{"amount":"+0.8701583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$1B3DE321-71B8-45CE-B395-D6B9C4487F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99afcb5ac1084970f5acd8f0eb9e85a3b8b63f11","datavalue":{"value":{"entity-type":"item","numeric-id":1612429,"id":"Q1612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a949be5b25b9802329e81856492dc025374afac","datavalue":{"value":{"amount":"+0.8513482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$B47C709C-FF17-4EDB-A67A-3ECE3E617B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25325c47bbe13b576775042ed3fdfb97f07a2be","datavalue":{"value":{"entity-type":"item","numeric-id":2372497,"id":"Q2372497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e046e406e1b2746080c208b92f770f05f5c319d","datavalue":{"value":{"amount":"+0.8476687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$FEC49186-62E6-4700-B4F7-9FAE3CD82CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996475cab82a351ec4c92252eefe0d1598c0be40","datavalue":{"value":{"entity-type":"item","numeric-id":5289752,"id":"Q5289752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e9e3ac8edff7be870f14acba0e53fcc5ad0d51","datavalue":{"value":{"amount":"+0.84583914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$369F2AB0-41E0-496A-A462-2D14C09292DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e436c376744ae0bd7e076af6515e52119ba73fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4860607,"id":"Q4860607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad9271ee092321038ff0d5f7e368c0d09ad4e5d","datavalue":{"value":{"amount":"+0.8457127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$5A0A3EAF-F8DE-47A5-9E3F-DFF8BA6ED468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd75fb2edece9eae7acf243d987bca8dba040f6c","datavalue":{"value":{"entity-type":"item","numeric-id":1571116,"id":"Q1571116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731cce8810117593c887de9103d7abcaf2d6c068","datavalue":{"value":{"amount":"+0.84474474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$F66D3888-3B83-4ED2-987D-2DDB7E9A65FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4182502c64f7d8e30ce0bf0fa07c3ab808e270b","datavalue":{"value":{"entity-type":"item","numeric-id":4949371,"id":"Q4949371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4429026f29e7a950ff11855382a9d4c6e8604b","datavalue":{"value":{"amount":"+0.8438705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$B873684E-748E-4F5A-BFF5-74096228E583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a26f5101c15fea599ff8d6e1053717e1715e5f1","datavalue":{"value":{"entity-type":"item","numeric-id":1971089,"id":"Q1971089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35c5b968fccdeddc663704b5cc5d0b05139f034","datavalue":{"value":{"amount":"+0.84387034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$A39AB0A4-01CD-4780-A515-1909EFEFD848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf87f612b1391af61a79b7f3a33b2eae54770983","datavalue":{"value":{"entity-type":"item","numeric-id":2748867,"id":"Q2748867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c132b014ddad91b28092bbcfb4fe8970d646ade","datavalue":{"value":{"amount":"+0.8423349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$766D2169-9556-446A-852A-995C85E8FC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c3434638f9e0ec72649a14179cc626e94c286a","datavalue":{"value":{"entity-type":"item","numeric-id":1294085,"id":"Q1294085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af40a248ff19948caf989c1292d1d6d05b7af1c","datavalue":{"value":{"amount":"+0.8419278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q945006$9B5ECC5D-10B7-454E-AC68-B506D5F7CD78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination supported proofs in the numerical treatment of fluid flows","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_supported_proofs_in_the_numerical_treatment_of_fluid_flows"}}}}}