{"entities":{"Q1711923":{"pageid":1722664,"ns":120,"title":"Item:Q1711923","lastrevid":68997549,"modified":"2026-04-13T03:37:59Z","type":"item","id":"Q1711923","labels":{"en":{"language":"en","value":"Proof mining and effective bounds in differential polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003600"}},"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":"Q1711923$C10A2046-5C01-4D71-85ED-62909EE0466F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"679dc6c863ab8bfbbefcd01e364160c7dd5557b5","datavalue":{"value":{"text":"Proof mining and effective bounds in differential polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1711923$E8728BE9-B2AD-44E9-9918-FB4F420C9F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9baafce4a9996c29be6bc8beb376a76015984993","datavalue":{"value":"1454.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$7F4D475D-33AB-42AC-BAA1-6B01F9139692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"344d9372c3b520b7f8e90921952659f5b5dc07ed","datavalue":{"value":{"entity-type":"item","numeric-id":785749,"id":"Q785749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$3A6127FC-11D4-4127-9300-B7718779640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$FBC6BA9A-30BF-443F-A31F-FA5DA78A4590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$455A3D94-1492-4B8E-9F18-C002A11D39AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-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":"Q1711923$C1E58D90-48ED-48DB-AF14-C2234C8DA425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d31c1ed01f854e0fdec9009c3f3638002667776","datavalue":{"value":"https://arxiv.org/abs/1609.07509","type":"string"},"datatype":"url"},"type":"statement","id":"Q1711923$283A1C37-9293-4412-A2CE-8ECA0869AE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$ADEA7863-B726-4D3E-AB91-B8FBE9D0E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$722D99FF-6AC8-4F1E-AAA9-12560EA47488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27660081f0e124f1fb693f44fd43363db17c0f27","datavalue":{"value":"7003600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$D8696D81-C02F-4937-8AC6-D0CC703E81F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711923$F7FBA10C-9740-44A0-B423-A28B1EAF8ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711923$2A0723BA-67C7-4E08-B950-C6227014A1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b65f65cb767fcf2caeac3fd9e1a57f70a08d06","datavalue":{"value":"differential algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711923$73878A10-0E75-438C-BB5C-2AEB8EFDE244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38e1b5c02ff57f19f2f42dad952da7b6dc6d2c5","datavalue":{"value":"uniform bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711923$5142A624-90FC-4C27-BBAB-A13B16F0BD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711923$B1B8BF1C-4C50-49DF-974A-7464B364CC93","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":"Q1711923$F4CC2FED-54E7-416A-9A99-F477A2CB268F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b71e884dc1af588ba28096ef09c2bb044c3efc6f","datavalue":{"value":"W2962974487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$F38C329A-1529-40B0-A9EA-F9E3EC8BF20A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebd977bfa90ac2fedeed1040e81505630a4c12","datavalue":{"value":{"entity-type":"item","numeric-id":4461098,"id":"Q4461098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$0DD40B8C-1D2C-4A26-B375-C13848DEE644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$2B54483D-FFCA-403A-B52C-399A554B00F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447ad9c5a9cba3bed4a34305e3d8e5be09fa1474","datavalue":{"value":{"entity-type":"item","numeric-id":3066718,"id":"Q3066718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BD8CCBC5-55C5-4682-B38B-6F361E64851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BD9DCD79-B2EE-42BB-8D2F-F5E4D7692619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d305fe047119a88032fe2f7cc1361b50735a76","datavalue":{"value":{"entity-type":"item","numeric-id":4227290,"id":"Q4227290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$5F13737A-3A3D-45A4-A61E-36FC88D76983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$5D4A1702-269D-4700-9EDC-02F8362BB8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad822f8b1aaf88df9470b748e1803ea03a2141dc","datavalue":{"value":{"entity-type":"item","numeric-id":2509948,"id":"Q2509948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$80F78270-9FEA-46DB-8FC7-26AAF9F4EF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab3b6586b9c2dbb2f4adcbe33b3943545700e0","datavalue":{"value":{"entity-type":"item","numeric-id":2368067,"id":"Q2368067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$3C878F6B-A7E2-4F35-9FD9-4D64104FFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efcd400b3216ec62e853977f51a54bd5d5d9f37","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$A1C847D9-43DB-4493-A6C2-36E82ECCB9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adec86e8a97210817b14d2f2e084dbaf0c5fef3","datavalue":{"value":{"entity-type":"item","numeric-id":900852,"id":"Q900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$5F674BB0-D9D0-4416-A827-6B26C8D24211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5061e0a8d4b6a2b31baee349d100568950b6582f","datavalue":{"value":{"entity-type":"item","numeric-id":3079693,"id":"Q3079693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$F5CDE06D-8375-40F9-9658-EEA534B8E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$D8F40CC4-021E-4ED6-AF66-AE80D22714E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7329babe88948004835378da04219c43009195","datavalue":{"value":{"entity-type":"item","numeric-id":2017144,"id":"Q2017144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$E41B8A03-4189-4F91-B0CC-8370D4F9D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f858ad60b559a9688b9f9e28ed7660f1a7e1b6a","datavalue":{"value":{"entity-type":"item","numeric-id":2452562,"id":"Q2452562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$7FFD470A-7C3A-4C5D-9EC7-152F300A01FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7d13910d7c8de9b9d9ca7f100d5742d43ef63","datavalue":{"value":{"entity-type":"item","numeric-id":2267443,"id":"Q2267443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BAFDE69A-6448-4D56-9B8F-62F0B3C8D86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfdf01b89cd43ef37b1bc7d8fb88140731702d9","datavalue":{"value":{"entity-type":"item","numeric-id":5393295,"id":"Q5393295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$2B8E988D-386E-4AC4-A534-4D9F9C2449AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9dc82a9f3e4da3b0bda67a0d36c59970c48270","datavalue":{"value":{"entity-type":"item","numeric-id":908094,"id":"Q908094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$CDBBE91F-AA74-46FC-A76B-13AE6673D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb2e2b73b651a1ca45114f57d89e88c3cd9f2d6","datavalue":{"value":{"entity-type":"item","numeric-id":2985833,"id":"Q2985833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BAEB0FAC-0EBD-45C5-819F-537D77557F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6aa58bbd53d47902e7c95b255e2c364e1c6d848","datavalue":{"value":{"entity-type":"item","numeric-id":1758177,"id":"Q1758177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$E721BBF2-7028-46CC-A561-AAED942B658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f5611f8e00008be8d01d244545ae41f9083776","datavalue":{"value":{"entity-type":"item","numeric-id":4493425,"id":"Q4493425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$0A04614E-9398-480C-B02E-FD53803AF974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c28c97f79846472750195580b6ac03204e331b3","datavalue":{"value":{"entity-type":"item","numeric-id":3255437,"id":"Q3255437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BE35DE01-1062-45EA-94C2-785997019676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742510f1867ab82ae1e7205f4d9182cb728c48de","datavalue":{"value":{"entity-type":"item","numeric-id":2998348,"id":"Q2998348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$0BFFBF21-1F67-445F-9AB3-8B28C5B11142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$34E483E8-B566-4FA9-80C6-FBEF7CDCAB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$33BF6D10-2B1A-4EAA-B9C9-95EF5E3999E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caed1e840a738fb5949da74d796c58ae32d387","datavalue":{"value":{"entity-type":"item","numeric-id":5680222,"id":"Q5680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$B51D6872-1EA0-4B5E-8716-4E1A3746700E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$80753845-DB03-4D5F-8126-7D146FFB28C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d899942fe692134ab370d1be6592081b7a5ca2db","datavalue":{"value":{"entity-type":"item","numeric-id":4229400,"id":"Q4229400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$39A96BE6-2F59-47BB-A1B5-6179500C8031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$8B80FFA8-0EAD-4C22-9661-5839E0FA61B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$AAB859DF-3974-49E6-9DDF-D7F36D17164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aebbc3b7550aac7aafc6b7686c104943cc39f19","datavalue":{"value":{"entity-type":"item","numeric-id":907329,"id":"Q907329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$DD83BD1F-1F1B-4B05-8937-EA8F927B7797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc85a6cac9be74d9e948e1a692a1519a9461019f","datavalue":{"value":{"entity-type":"item","numeric-id":895970,"id":"Q895970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$6BE094D8-0B8C-4C54-AF58-44B671763178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8186f96483e93b5ad828c870331c39ef871a3de","datavalue":{"value":{"entity-type":"item","numeric-id":4872381,"id":"Q4872381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$8140893C-9F8B-4E9F-A66B-DEC214E6CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6bc30bfb089844fa52e8b783d21c42675e84b1","datavalue":{"value":{"entity-type":"item","numeric-id":4274103,"id":"Q4274103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$4A6BA4DF-F73A-464E-B436-F52E26127EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2bd7a95e48b5516737702decb40381174ad6e7","datavalue":{"value":{"entity-type":"item","numeric-id":1101109,"id":"Q1101109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$086AFEF8-98BB-46C7-9130-C19B353ACF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$B5E9ED1B-C26A-4D9B-B1D6-D5A5B7D1DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dc542c9d6156fb40798000fe216fba3c289720","datavalue":{"value":{"entity-type":"item","numeric-id":5898840,"id":"Q5898840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$BA520229-07F9-444D-93E9-AA95B5A23DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b1e98351e05502307c043aa3e452df938009a0","datavalue":{"value":{"entity-type":"item","numeric-id":3081324,"id":"Q3081324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$EE1B3059-310F-4245-9EE8-788F44EE5083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4dadf450ce42758471fa72fe4eb621b521903","datavalue":{"value":{"entity-type":"item","numeric-id":2921015,"id":"Q2921015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$D2C39219-1451-4921-B706-9D97EC034387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f4bdf01ded6dbdd02e7f4a3352c400b082e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":5760921,"id":"Q5760921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$6C0D36D3-E606-4AD0-8CC1-BAFC8F473B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2491293f6e24a8595cad07301736eda696f9ad44","datavalue":{"value":{"entity-type":"item","numeric-id":5586543,"id":"Q5586543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$1C93D770-0503-437B-BA09-E29FFF4B636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3351c0d8013f6a0d86511a82a3bbed1ba7f6b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":3743393,"id":"Q3743393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$E635C408-66BB-4181-AB37-8781480820F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$C9C15DB8-79DB-4F5E-9561-0D0DB5924BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836c0e3dce5c3c3f1796b886735793572a441d10","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$03C281BC-AC81-4C1E-93A5-065A4F906FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333eafd95697975c43c4489afbced11f921a6ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3153351,"id":"Q3153351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$069383A0-50C9-4BC3-B4E7-A931ADE4F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922598857b64c682415741da5fd4eb7cb848d71b","datavalue":{"value":{"entity-type":"item","numeric-id":4200109,"id":"Q4200109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$07DA4678-E377-4EBC-B081-A8C77465330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fab38bb7a7d788c1462225a12857e0696b5721","datavalue":{"value":{"entity-type":"item","numeric-id":3545513,"id":"Q3545513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$F482DB7F-ED2C-42AC-8B30-6901180704D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f835549fdf43c55364ed02f061dd539e885bee8","datavalue":{"value":{"entity-type":"item","numeric-id":5480762,"id":"Q5480762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$C7FB02CE-1290-4913-89F2-FCE89F2FA4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$65D0A523-FB74-423A-83CF-993A8545ABAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1b54f6d42b82e112a55b8f8b650ecf0ff989f6","datavalue":{"value":{"entity-type":"item","numeric-id":793791,"id":"Q793791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711923$CA9A09D3-C402-4619-9C2C-88B04EA65F5F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6314e128a78f61af5122653ec4b172b562a1dd5a","datavalue":{"value":"Q128825682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$A5474BDA-267C-438B-9BDF-017A7F35DD36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d94e9dd1c74dd7ef30fc7b94aff2cca177104fc","datavalue":{"value":"10.1016/J.AIM.2018.11.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711923$FCB2A044-C379-499D-AD21-01425E484E14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4626e86d60244f11f9af9268d9726812cad6693b","datavalue":{"value":{"amount":"+0.7638673186302185","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":"Q1711923$F8E1162F-B964-4BBE-97A7-7FC8479E690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c474430ac99f76310e3fc8510b179352429deb6b","datavalue":{"value":{"entity-type":"item","numeric-id":1758177,"id":"Q1758177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2234eaf1c78a265ce1f68bd67e782af8156db7d","datavalue":{"value":{"amount":"+0.7601453065872192","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":"Q1711923$8A7B2F9D-941B-48D4-A909-36C63C28CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf8027727487775dbd61b40813654707e42baa2","datavalue":{"value":{"entity-type":"item","numeric-id":4984866,"id":"Q4984866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518b54d92ecab769bc39dc5132aa19b001106164","datavalue":{"value":{"amount":"+0.7443853616714478","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":"Q1711923$8BD1E996-3DBF-4FF2-AC56-63FCE3A12305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206d420a7ee1cc0f12db25725a6f8f87fca8b6f1","datavalue":{"value":{"entity-type":"item","numeric-id":907329,"id":"Q907329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba122e624657f816120f701bfb3a06e1b9fd4d88","datavalue":{"value":{"amount":"+0.739287793636322","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":"Q1711923$79A7D358-7E2B-4886-BE9B-540C052B94B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9b811d3127e7e5f451afe8a612a8311d47de1f","datavalue":{"value":{"entity-type":"item","numeric-id":793791,"id":"Q793791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff216635ac37676c7232e387c8c569988448954","datavalue":{"value":{"amount":"+0.7371554970741272","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":"Q1711923$FB31C274-0630-4B05-9B93-16D6C74A59AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof mining and effective bounds in differential polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_mining_and_effective_bounds_in_differential_polynomial_rings"}}}}}