{"entities":{"Q4899116":{"pageid":6928695,"ns":120,"title":"Item:Q4899116","lastrevid":58350825,"modified":"2026-04-04T20:23:49Z","type":"item","id":"Q4899116","labels":{"en":{"language":"en","value":"The structure of differential invariants and differential cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122244"}},"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":"Q4899116$39616085-25A4-4E34-BB31-8691E2C09BE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c098c39e8716acf872bcb63d0af81bcbfac505c4","datavalue":{"value":{"text":"The Structure of Differential Invariants and Differential Cut Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899116$25CBAEF7-0238-4B76-BB26-AACF205D2CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcebef99d8d65fedbbfdf4e2b3475dc0284e9596","datavalue":{"value":"1261.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$CC6EC2B1-5142-4987-A619-6F3669BEF900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94e298014dcd27415e720bafd83fab2e5274c3d5","datavalue":{"value":"10.2168/LMCS-8(4:16)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$95AC3B61-A86A-475D-A0D0-A3DBD0708622","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899116$D23EC286-70FE-470C-952A-4154159F7A4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899116$4253A433-13B3-48E3-8F15-C5BCB66242D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-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":"Q4899116$CA3E39B5-6FC2-4CBF-985F-5FB006E25FF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c78e7a40761fcff7ec8d3194db8277413f6065b","datavalue":{"value":"https://arxiv.org/abs/1104.1987","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899116$DC590F1A-6295-4B79-BD2A-104A6E5F634E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$DC09F8E7-21A3-4CAB-A255-BA7FEFCD70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$C6F08885-EF40-4444-89E2-65CD7BD6B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$5645E5B5-DEE7-461C-B170-836C93594F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a85a8a2350cc004fd11df39d564b6343a12d0546","datavalue":{"value":"34C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$2049ED2C-0905-4892-8145-95126F59AE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$B6358C8A-EF4D-4EAE-9173-0A766C2F1E8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0effa94009fd4713b8e63e42cbeff73265d18576","datavalue":{"value":"6122244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899116$17AA5581-B240-482A-B3D8-F8238A83BB76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$45231176-3E6D-43A4-A2E1-54FE59CA65BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$D298A497-BD92-4AC3-AD9D-1889AFED3DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae97285035f45a42637c81f69d8feb237ea1c6a9","datavalue":{"value":"differential invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$0AA311DE-6118-473C-8CD1-92931BBAA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e847ac95f2cc245ae0bc2b616589e55b8ab54832","datavalue":{"value":"differential cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$2FF1D319-FF60-4243-802A-A1085A8D9358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$A977323B-5B7D-422B-80C8-073D20D40B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$932077C6-9442-418A-836A-0B31F9236CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$1C63E86B-499F-4551-A98B-C4F88382AE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7beaad3f6da67f6971e8394d5eb97de23471b71","datavalue":{"value":"real differential semialgebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$BDEF6844-212B-4159-9CF3-BD65E78E042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$0E9843B9-AAE3-41FB-BC11-B297CA1E5432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ece773cbe87403782078628582a0704c5d043e","datavalue":{"value":"proof search complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899116$5452A36F-2E4E-4FF0-BF60-B76D8AD3F5FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899116$9BD7A30A-E73E-42A2-A221-299AAF502C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899116$75EF155B-1AC5-4A30-821E-8DA1C3BAF713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899116$C4228BD0-F548-453A-9FFF-5DA3D2901F28","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":"Q4899116$AA21F366-68BC-4F2E-94C1-C37C7F69EC9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e8064f393da230df1dc2be903d7a717c976356","datavalue":{"value":{"entity-type":"item","numeric-id":2914730,"id":"Q2914730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176127fb45dc4e20fcc0a6b61797f14f794535c7","datavalue":{"value":{"amount":"+0.7721707820892334","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":"Q4899116$CF314742-B9FC-45D0-BB9D-76BE8C4F43F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de89edea48d44d05a6188dc7146a4613a00ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f143ebf7766a0810834fd68c7da2262b7bcc88ca","datavalue":{"value":{"amount":"+0.7715692520141602","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":"Q4899116$18634ED4-F1F8-4FF6-BB66-1A5FE75E50F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9aca51c7b8c2227f152d7ef28de7f8bd744c13","datavalue":{"value":{"entity-type":"item","numeric-id":1039853,"id":"Q1039853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd67a7981c56e796793e8eef95b8ce54bf59639","datavalue":{"value":{"amount":"+0.7685404419898987","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":"Q4899116$0866B6E9-D891-44EE-9E33-EAFFABF8C078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad6036a0d30e0a5e0065d8b4d7fd2456e2c17bc","datavalue":{"value":{"entity-type":"item","numeric-id":5172656,"id":"Q5172656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ec66960e5ebbe47d8431fd7278da40e5d6d2b5","datavalue":{"value":{"amount":"+0.7643489241600037","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":"Q4899116$BE2556A4-B125-4510-AC00-31DBD294DCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fce6b69f9f6a7b3b56f07084fba829e671d6236","datavalue":{"value":{"amount":"+0.7608852386474609","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":"Q4899116$6C735D45-9B0B-416C-94DC-6D94804388E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899116"}}}}}