{"entities":{"Q7250265":{"pageid":24588512,"ns":120,"title":"Item:Q7250265","lastrevid":84650861,"modified":"2026-05-28T10:31:19Z","type":"item","id":"Q7250265","labels":{"en":{"language":"en","value":"Tool for analyzing ODEs with conserved quantities through verified computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8201942"}},"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":"Q7250265$9FBD9D39-07D9-4C89-AF15-34210A4411D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66fb1401ecd5e372f03330cf3a9af076b7f3dd4","datavalue":{"value":{"text":"Tool for analyzing ODEs with conserved quantities through verified computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7250265$84896FED-F654-4F9C-8088-5E258E26B4F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9c466ba6338f3fa2e2e711488400c37688eb6d3","datavalue":{"value":"10.1007/S13160-026-00789-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7250265$9D0D4EB2-F31D-42DA-92B0-8250B78B8721","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d92cc15d0637fd8d20d04857d45e76086c5e377","datavalue":{"value":{"entity-type":"item","numeric-id":188687,"id":"Q188687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$DB726AE1-8DB1-431E-AEAC-2B4EC79A87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f02c8cb6790c59ffbf2c5c09cddf164675bdb40f","datavalue":{"value":{"entity-type":"item","numeric-id":5000091,"id":"Q5000091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$0496D6F6-E17D-43B6-A2B8-82AA31D6F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e3dbe8ce5b99c9f8e304d823cf7eab1593ca26a","datavalue":{"value":{"entity-type":"item","numeric-id":2135543,"id":"Q2135543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$BD974F38-28B8-4613-8E5C-E6F4834D6CC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50de7b9ed51593cffb5647baaa00c046f50e702c","datavalue":{"value":{"entity-type":"item","numeric-id":189352,"id":"Q189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$8007E9D7-9245-44BE-9922-489265857C1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5322d2764be7df19a64a21554b48c87e4c34e00a","datavalue":{"value":{"time":"+2026-05-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":"Q7250265$DD77B493-C9F5-4C9D-9AA3-EBE3C8E70C16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7250265$A843DEFE-C602-418B-8139-34D9264BD314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1176ef9b8b04e78ba0d319b9004ab77984480ff","datavalue":{"value":"65L70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7250265$E2659F20-0C10-4191-A766-6CB054A16753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"081a4b535274c822e812aa844182821199bda85b","datavalue":{"value":"34D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7250265$92D2457D-BE0D-4D1B-89C3-0EC0B85F50BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21ea5e34fee7506ecc291eb755695e57b626e42e","datavalue":{"value":"8201942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7250265$D5ABF7F9-9440-46E6-B5CC-4F9D553529FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209055baf9a861626a4de8b6a4c63a6d004160b9","datavalue":{"value":"numerical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7250265$9D387375-FDB3-46E1-918F-A1DE29BB0419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ad30ce9ffc1c87dcef878dd8f69672ab94a571","datavalue":{"value":"ODEs","type":"string"},"datatype":"string"},"type":"statement","id":"Q7250265$2C5D62BD-86DC-4A22-B037-93F4315F5C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be7af8262842d85615cb6854a9cf3deb18209e0","datavalue":{"value":"conserved quantity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7250265$76CD0934-2124-4CB6-9177-0F33B1592DE2","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":"Q7250265$05AE661F-7E91-43AE-9E62-FA0A56AF71B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecd7059132a4150a204763d19e428fe33557160","datavalue":{"value":{"entity-type":"item","numeric-id":5380617,"id":"Q5380617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$0ED607BF-8195-4641-8557-88E3B72B6B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0e8590cbf97f05a44f10d51f9bb9c4b086b91d","datavalue":{"value":{"entity-type":"item","numeric-id":1865828,"id":"Q1865828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$A6D712D0-AD94-4137-9708-171213EEDD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b28da2c9ccfe3cfe4a4a33c4f3117b1ad3577a2","datavalue":{"value":{"entity-type":"item","numeric-id":3097498,"id":"Q3097498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$872DFA42-CBAC-40E0-82EF-4FD471D23803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25648d7d5216aebc64ea60c852484306b0cd1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4904552,"id":"Q4904552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$C93DB60C-3C0E-4865-9128-9D72BA481611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5d3ef5738658565b16d0349c0daa9c47b08d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5415977,"id":"Q5415977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$7CAB2F3D-2DBD-4F04-8942-D20232DA5484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2312de2c700b162120032ebfbe58f23a79675","datavalue":{"value":{"entity-type":"item","numeric-id":478282,"id":"Q478282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$30417DC5-059A-4718-A34C-D86EB513580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b9786ab0ed8e48791d851232764b582ffa3494","datavalue":{"value":{"entity-type":"item","numeric-id":4571153,"id":"Q4571153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$26AA2880-F69A-4F4A-AEB6-A6549DA68A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac077e1a117d4f3fa9f9efd1a00d1b38816ba35","datavalue":{"value":{"entity-type":"item","numeric-id":1688658,"id":"Q1688658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$49B7A60D-D1AF-42B9-B42A-483BAEDC6458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae83c55269258877f48a16b41e671dec8a121d35","datavalue":{"value":{"entity-type":"item","numeric-id":877447,"id":"Q877447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$FE06B11F-AFE0-4022-920F-3DE74F524E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9462d646dd99d4790e7e6985eced9d2f6c9d06bb","datavalue":{"value":{"entity-type":"item","numeric-id":3449033,"id":"Q3449033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$64571FC4-4A85-40FC-A793-387E429FE75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8aa16b31a00a7848d1328488bd0abe62d30add","datavalue":{"value":{"entity-type":"item","numeric-id":515790,"id":"Q515790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$12359E06-546A-4272-AA59-3576668E0BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9e0c9d11520a31eeb28ccdba96275cf91ebcca","datavalue":{"value":{"entity-type":"item","numeric-id":2222080,"id":"Q2222080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$C1D0126D-0C85-4BCA-A050-53828DB695DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49df12791daa9414b1200de8c82e4c6199253389","datavalue":{"value":{"entity-type":"item","numeric-id":2135544,"id":"Q2135544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$AE7F3036-3DB2-4D9B-94B7-7821CAEC74D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70234a283a00479b798ac038e8c9440e525eb9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5121400,"id":"Q5121400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$A8AE3323-AF65-4B73-8C11-E4FE8D2C187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bdb2d0b83c259d69db43395983f0c1172c453a4","datavalue":{"value":{"entity-type":"item","numeric-id":5047121,"id":"Q5047121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$83D52A91-5D99-4EB5-95A0-A3ACC2378D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f1445b63977c83054cde84aefbd7fad5b88476","datavalue":{"value":{"entity-type":"item","numeric-id":6139486,"id":"Q6139486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$9335C9FC-1F13-4EF1-824F-D5F5E5A6E6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7a36934871fa953fe3da18d287a0939a240024","datavalue":{"value":{"entity-type":"item","numeric-id":4721493,"id":"Q4721493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$2013E522-9DEF-425A-A57D-5320432AB6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb168e33249a384004b9be8aff57837e89880e63","datavalue":{"value":{"entity-type":"item","numeric-id":5691087,"id":"Q5691087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$E98CAEA2-9483-4A21-98C4-B06C09CAA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758d3724017c484fb2035201d7ba18e8ef7868f8","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$F4479618-ED48-44C8-BEF6-81F3FC5D379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4f91fc9023b7e180b591763ace9fb640d71564","datavalue":{"value":{"entity-type":"item","numeric-id":5896863,"id":"Q5896863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$B92068B8-476D-4575-B696-886B82C38C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c1a163ce20f6b02d6332625f563b1ca2ccd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2774798,"id":"Q2774798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7250265$136A9326-AE4C-493C-BB0E-6ACB92E5F2DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool for analyzing ODEs with conserved quantities through verified computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tool_for_analyzing_ODEs_with_conserved_quantities_through_verified_computation"}}}}}