{"entities":{"Q5145359":{"pageid":7174930,"ns":120,"title":"Item:Q5145359","lastrevid":100629083,"modified":"2026-06-05T22:37:24Z","type":"item","id":"Q5145359","labels":{"en":{"language":"en","value":"Differential equation axiomatization. The impressive power of differential ghosts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298807"}},"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":"Q5145359$3A423A51-EC35-445C-9284-4D569D65C67F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af39bba0f1855794a74414bac7e6bcb11f060de6","datavalue":{"value":{"text":"Differential Equation Axiomatization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145359$695B137B-92AF-43AA-870F-8AE559EC84D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbb31409d40398200300d05e164c4945f7afacc7","datavalue":{"value":"1453.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$1FE7B1C8-5BFB-458F-A5A1-67954408C7EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aa9ad764eb3437adcf6423649059e1fb7c14abb","datavalue":{"value":"10.1145/3209108.3209147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$EEB5752F-3D18-4620-999C-7ACCD476CA49","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":"Q5145359$CAB4C5B8-ED92-4576-85BC-08348C1122F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8505fc68a1c1f3753cae6e600a747c5cc24257","datavalue":{"value":{"entity-type":"item","numeric-id":1799128,"id":"Q1799128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145359$BDF01981-F33C-40FF-96B1-78876207CFD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145359$872DDBC4-3C07-454D-9381-CF1549D38B7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145359$FBB636B8-10C9-444E-B96E-017551DBA32F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0b73b990c78abbf5a07ddcc54ae82195f474e19","datavalue":{"value":"https://arxiv.org/abs/1802.01226","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145359$8BBDDAAA-8AC8-4F3A-8B78-76DA5E49C930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$A32A86AD-7D85-4716-85CB-A05D19324592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$55541B73-5165-4BCA-96F3-F29DB7BC7759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$0C5B96A3-07E8-4C2F-A65B-885268B2753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$AF3D40EC-89B0-49C4-AE41-48348AA41F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$770182B7-8176-4C76-80FB-162528FB2822","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3365497d0fe8ae2987941ebe72d8155ecd9ddcdb","datavalue":{"value":"7298807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$84B8DE4D-B8E1-4D06-99F9-0C2D4FB82E35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145359$5D15FE6B-C9C9-4FEE-A6B8-CD2A120B1C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cbc9de419e1fc6351495e8738b7ed8ee7173ece","datavalue":{"value":"differential equation axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145359$28333CAD-C272-4446-A830-642A73CD6D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112b4b580e54c96113c6757e8dc260d49823563c","datavalue":{"value":"differential ghosts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145359$EC8A89C6-7C06-4D17-96D3-141625546347","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":"Q5145359$3EA3D91B-5B59-479E-BC14-C10B830D0A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3b8b54a87f5f16ddf9429975a7949d79b615627","datavalue":{"value":"W4289761034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145359$FD471186-46C8-4AD5-878E-04016B18A0FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710373260edebfb852a613ea2133257c27a506c0","datavalue":{"value":{"entity-type":"item","numeric-id":5133962,"id":"Q5133962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12eac9eb41a49457cd04fa06362f94dde6c17486","datavalue":{"value":{"amount":"+0.8892524838447571","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":"Q5145359$D56D145F-8E0E-4B11-83A9-40A35BEED007","rank":"normal"},{"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":"661ac828ea3b97466a6107f083c3c155396dfe14","datavalue":{"value":{"amount":"+0.7491639852523804","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":"Q5145359$D68BB01C-558F-4CF5-AE58-8F7A33AE9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612e23e24dadabf7e94fddb09ed4debee4ab0011","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a672c85c1d24969e7c94ce919b196df60ca7126c","datavalue":{"value":{"amount":"+0.6953736543655396","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":"Q5145359$37926E0B-293F-40BE-BA1A-8325A0E0E307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e28b8dbd7157607660f03badd2af9aed7edf20","datavalue":{"value":{"entity-type":"item","numeric-id":1982634,"id":"Q1982634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a64778d605016d4cabfca2f4aec63595b11c2b","datavalue":{"value":{"amount":"+0.6895660758018494","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":"Q5145359$18118FA5-3766-4DC1-9DF7-0596F9FB3188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcb236b057301a35086f314acdef9274fe984e7","datavalue":{"value":{"entity-type":"item","numeric-id":4899116,"id":"Q4899116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f00f6322ebdf327f1a58e48b35ef30a6187469","datavalue":{"value":{"amount":"+0.6837038993835449","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":"Q5145359$324E6F6C-E3AD-4CF3-9C29-AE940C915C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differential equation axiomatization. The impressive power of differential ghosts","badges":[]}}}}}