{"entities":{"Q2985803":{"pageid":2996528,"ns":120,"title":"Item:Q2985803","lastrevid":85301735,"modified":"2026-06-03T06:48:30Z","type":"item","id":"Q2985803","labels":{"en":{"language":"en","value":"Formal algorithmic elimination for PDEs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713932"}},"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":"Q2985803$AAA33EBE-9B70-4C03-9AAA-39A0A3A5BACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1f8adb51f20f736644ce4afbfdd0b0fbc04ae5","datavalue":{"value":{"text":"Formal Algorithmic Elimination for PDEs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985803$B57FA84C-4E8E-4E2F-81B9-F00F8787BD70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40543ffcd5e65b5d162e3e80ada2f2866a5e6cb4","datavalue":{"value":"1364.35008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$D8C3EE45-B262-4FE2-8672-DA28179DBCE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f4829ed60f0cfb8767e612773a453415c442008","datavalue":{"value":"10.1145/2930889.2930941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$98D4F69D-82DD-43E2-9730-7F4FB306AD27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47139db7afe5e01efa241db8ed3791c2adb352ad","datavalue":{"value":{"entity-type":"item","numeric-id":335928,"id":"Q335928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$062BBE4F-BA38-4C86-8EA5-BD178B554B3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"942611a446afa129291a246b86203651877af37a","datavalue":{"value":{"entity-type":"item","numeric-id":2985798,"id":"Q2985798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$037ECCAF-6B8B-4A4C-81DD-A716DF9A3CE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-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":"Q2985803$C58B48BF-23D4-4A0E-9C11-726945BB97E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"90d47e4e26b20cb7b3b638fd6c61ca9366eab532","datavalue":{"value":"35-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$47DBC58F-83BE-453B-8B07-312A34A5D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa8e2ad65551703895066e825dca25ad79e628f0","datavalue":{"value":"35C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$DB50619E-81FE-430A-A925-CEE8AF45B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0598712c82a05f1f149348cd0aa78ce53814f32a","datavalue":{"value":"35Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$74494442-7ED0-4293-ACD0-75572A5FDBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$CF037C39-F715-4EC7-B131-508683369FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$3D406159-E5A0-4CB5-A0D9-E55562E42E74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d08f8877cf11295f3eec372dcfdbd0095cb910f1","datavalue":{"value":"6713932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$6BB432F0-03F8-4976-8F89-626AC11BE51D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5be259327c50df5ef931183ac2ad3eed74873d3","datavalue":{"value":"Thomas decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985803$4358F738-85C5-4E31-86BE-98813D726AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5349d9307d3fe5e20a01d3d597b21a9df011bb55","datavalue":{"value":"analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985803$976A2CBF-C0FA-4422-BAD4-D78757EEF270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf722d59925e958227bbcf5097a74e21264c35c","datavalue":{"value":"differential eliminiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985803$2B03B042-2415-4890-A60E-EFEF5E476B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de654b8ff0a8617169bfdeee20e5855d8830ef3","datavalue":{"value":"nonlinear pdes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985803$263D6DB2-20B1-4F45-9C46-C228F2E03C52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$33B79734-4A89-439A-A967-F869189A5BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ede4d98097f0bfa48f395d1901f12411cd6f864","datavalue":{"value":{"entity-type":"item","numeric-id":20616,"id":"Q20616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$37EFB5A2-A48C-45D2-8609-794135F98CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98a459bd51bbc718723cb1bb37c1f03fb5637214","datavalue":{"value":{"entity-type":"item","numeric-id":23400,"id":"Q23400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$79756B5B-C3EC-4D35-B3F5-C6F1A072A355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985803$031B1F10-3F11-4A26-9755-248FDE4318A7","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":"Q2985803$CA2715D2-4D0D-4CA7-81FF-823497A8D141","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8aec36409d4f88541a66c99749ff8394b784b4b","datavalue":{"value":"https://doi.org/10.1145/2930889.2930941","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985803$768570BE-5774-4A3E-8D25-A4084F98F05E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cc0de42eca636ba1f76d0a4852553e093b2b24","datavalue":{"value":"W4301508226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985803$B4093BBF-9E47-4D92-9CB9-52A6C6C161F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0943e01f395856eeed130a4d5149614a6e166d1b","datavalue":{"value":{"entity-type":"item","numeric-id":3589061,"id":"Q3589061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2146136c5ead4ab4fe9d0e947972304fa67f1a2a","datavalue":{"value":{"amount":"+0.8511237502098083","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":"Q2985803$6A84E4D9-DFBF-4CA3-B562-3DFD9D1B6E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521f38c4167d8555f2439dc38227fcde5fd80b93","datavalue":{"value":{"entity-type":"item","numeric-id":468363,"id":"Q468363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2476c835b6661989f75d7961ed7f3440a9d91e","datavalue":{"value":{"amount":"+0.848133385181427","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":"Q2985803$A57E52B7-8906-4640-B630-DF8D2247E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe73f543f8366f6422092e0f2a6c9ede250c763","datavalue":{"value":{"entity-type":"item","numeric-id":432753,"id":"Q432753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c85fc64947819a94de460620aa582d0fc7e4e1","datavalue":{"value":{"amount":"+0.8396796584129333","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":"Q2985803$7AEB1708-DE04-4D4B-95EF-9BB20320EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e405ddf197948b673cb4fbab619d880a39f71a5","datavalue":{"value":{"entity-type":"item","numeric-id":941643,"id":"Q941643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92da1d45edbfd691b5bfb4714342cb69d3a203f9","datavalue":{"value":{"amount":"+0.8178713917732239","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":"Q2985803$1F476DD3-535F-471C-B167-3AB829541671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5a56020c310e8c00403163626cd1dc6fff5fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5118404,"id":"Q5118404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6a265421a3de3ac95f8c781ef80d13b75c3ad","datavalue":{"value":{"amount":"+0.8168396353721619","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":"Q2985803$10801F31-B614-46D2-9058-D985CCA38A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal algorithmic elimination for PDEs (scientific article; zbMATH DE number 6713932)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_algorithmic_elimination_for_PDEs_(scientific_article;_zbMATH_DE_number_6713932)"}}}}}