{"entities":{"Q5119952":{"pageid":7149526,"ns":120,"title":"Item:Q5119952","lastrevid":58440630,"modified":"2026-04-05T05:53:16Z","type":"item","id":"Q5119952","labels":{"en":{"language":"en","value":"Algorithmic verification of linearizability for ordinary differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245241"}},"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":"Q5119952$D3864D0D-E51D-4A5A-93CC-1E6C98553040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a79ade2f09a35b32ee572cb41a4d6a04bd1c7fb2","datavalue":{"value":{"text":"Algorithmic Verification of Linearizability for Ordinary Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5119952$80C7FD0A-12B0-439B-A7A8-0D5FA509C66F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e30c343c1a5fb254120f5c4c2dd4bc0e9a6b1a","datavalue":{"value":"1454.34064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$FA039BF4-0079-43D1-A05B-0B940618F965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45a24db853ad401d692d52ffd86b70a76d8b3f71","datavalue":{"value":"10.1145/3087604.3087626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$EFCA89D5-C8BF-4F5D-AA86-EBA303C7FDF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23dad687365347c54fe9c15e1469845e1a1f2a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1701493,"id":"Q1701493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119952$13E0F617-6958-4987-88E1-7BBC7FF9D037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7f1785093e807ebfe66fa09f6f4395cd43fd4e","datavalue":{"value":{"entity-type":"item","numeric-id":1701494,"id":"Q1701494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119952$2ADAAB43-D875-4FAF-95DE-8C41AEC0AA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a049b4a233be4b0b18966f83745065170b8b55b0","datavalue":{"value":{"entity-type":"item","numeric-id":941642,"id":"Q941642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119952$215908A1-B656-462D-8328-442BB8633EC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"32f492baaf7f659ab4c4364df0944bd63168f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5119914,"id":"Q5119914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119952$C0171EC1-5025-416E-BF7C-DFD029AF770E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af50a8f38b9014baebb3050a8a71f7f232c1207","datavalue":{"value":{"time":"+2020-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5119952$83F922E6-9BC5-4537-B36D-1E8F5CFFCE5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b52d5eba0dfaa7a5ab1809e1efde17713bc7f92f","datavalue":{"value":"https://arxiv.org/abs/1702.03829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119952$1D088377-BAC7-4BC0-9088-A28D9129C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d1cb8832a99db5ba9748cccea5681a289f9a45","datavalue":{"value":"http://hdl.handle.net/10754/626089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119952$82945524-782E-4661-9CF3-663F12550FCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7368c4f87ad16dbd3815f408766874e97b32fd44","datavalue":{"value":"34C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$DE0245AF-4A6B-4121-8839-2FF80BF46735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a85a8a2350cc004fd11df39d564b6343a12d0546","datavalue":{"value":"34C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$F26A3420-6C03-44CB-8632-B7EC876F79CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$E162CA46-0973-416E-A59C-57F3FE17E4D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9acec382bd0fcfdb55873e0a682a5eb5f8ca0897","datavalue":{"value":"7245241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$8D735F41-FECB-40AC-BFF2-8288C776F5D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f44e8c5532d0dbad14f7d7a2e3f01e6510bb8d","datavalue":{"value":"Lie symmetry algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$4B5F4F2F-7037-405F-8B0D-9C1E6FF404A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08d161629e2b55137739399aeaa1beaf774e12f","datavalue":{"value":"algorithmic linearization test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$E1C42AB7-E31C-4EB4-B060-3BE8E824A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd58550ba7bbbd8a2b5f73d915b5e483abb5d8c0","datavalue":{"value":"determining equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$6AFE2266-C8E1-440A-A302-8D862D4C4198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3646881b42b7add47ee04af1c106b9dedc05f6aa","datavalue":{"value":"differential Thomas decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$B2439EED-1A39-4A0A-817F-4509E1E16E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$F8DBF69F-745C-46EB-AC4D-E678343E0C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca9b1ec15a655c57cf25fb10a2abd4807ea04fd","datavalue":{"value":"point transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$8B9687CE-06FC-4736-82FF-C4CFCD8E2DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99629102e06162673b4345a641c4799d1123b20","datavalue":{"value":"power series solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119952$90CFE00A-C385-4778-8B39-F8AB22B0D72A","rank":"normal"}],"P1463":[{"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":"Q5119952$21564B24-F82B-446D-88F7-93190D23D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a9f3c7b94a7d95c0f4799f7adcd40064d1b6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":19134,"id":"Q19134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119952$E618A8B9-35AF-4DE0-BF30-7FEDCA538341","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":"Q5119952$67AF7C17-AC61-42C8-9CF4-3B3CC4D46131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad87516a49aa6011341bda43c6cd8d39ac00ebe6","datavalue":{"value":"W2592179611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119952$8A2256DA-2328-4C70-86A3-F73AF5F6CFF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5330ef9dfad4f44e6fa8a210006e0cbe47c0add","datavalue":{"value":{"entity-type":"item","numeric-id":2284947,"id":"Q2284947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f53f16473d6fa22637384533661ccca52dd708f","datavalue":{"value":{"amount":"+0.9336228370666504","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":"Q5119952$468FEF19-4012-4BAB-A03B-E2C1CEAB8693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f92bc2f615e8dd4973788f71a2440a0e4509a58","datavalue":{"value":{"entity-type":"item","numeric-id":3418446,"id":"Q3418446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d5a407d584c34466043025e7b36016d7000076","datavalue":{"value":{"amount":"+0.7872145771980286","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":"Q5119952$4D989854-ECAD-4103-9B64-6F55B3E3117D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f7e92d4ff7e74d6aef24ced2452daab7be2b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5001463,"id":"Q5001463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9f7b6e56a71b0c1c427622ddcc18e5f0865c39","datavalue":{"value":{"amount":"+0.750434160232544","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":"Q5119952$22179BAD-8FD1-4EAB-A9D0-D2A4D1BD5E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42390a878b19c217b96e3f1447d7940ef9f563fd","datavalue":{"value":{"entity-type":"item","numeric-id":437339,"id":"Q437339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72005d16e75148f3fa84d0b7a6ad7767fb6f0d7f","datavalue":{"value":{"amount":"+0.7498873472213745","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":"Q5119952$83667913-293A-49DA-81DA-C58C7B8E4D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bec32a0a0c99282effd6d8ea7b0a4b2e5bab4a3","datavalue":{"value":{"entity-type":"item","numeric-id":2905316,"id":"Q2905316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8842c2d8b17b3110cf158d42c38a42fc397cfce","datavalue":{"value":{"amount":"+0.7431915402412415","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":"Q5119952$E8FD8140-D3D6-45B1-A45B-C5F7F0DDE6BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5119952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5119952"}}}}}