{"entities":{"Q7328631":{"pageid":31381807,"ns":120,"title":"Item:Q7328631","lastrevid":107832746,"modified":"2026-10-27T12:43:58Z","type":"item","id":"Q7328631","labels":{"en":{"language":"en","value":"Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a067f3cc35200b51bab0398d603e2eb9779a610","datavalue":{"value":"math.OC","type":"string"},"datatype":"string"},"type":"statement","id":"Q7328631$727E31F6-5231-4933-8358-A30DDCA7750B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7328631$E96CFCFD-C204-437C-8E9D-8BEFBCF56419","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"bc532471babffebe366d04f41c1b77b048b60078","datavalue":{"value":"2606.26077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7328631$FCB563DB-3C81-49F8-9602-842A3CEF3BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d06c4b622461dedc2bc87dd986facab4b369b68","datavalue":{"value":{"entity-type":"item","numeric-id":6139448,"id":"Q6139448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7328631$EE782613-024D-44A5-B70A-FB22C0EFEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ef235cddbb9629d941e716779e2cd6eaab9841","datavalue":{"value":{"entity-type":"item","numeric-id":6390807,"id":"Q6390807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7328631$5A63453B-8780-44DA-9408-1097BF04ADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"564f299f7c8ae0e9f7fa06c1493862a9acc4faf8","datavalue":{"value":{"entity-type":"item","numeric-id":6457815,"id":"Q6457815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7328631$7B1F0837-70AB-4B57-BE35-558C9157E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a075bb9fbd60f5aea5ba5ed9c08d130bff661568","datavalue":{"value":{"entity-type":"item","numeric-id":2834536,"id":"Q2834536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7328631$46ED344F-B0EC-45FE-850B-D303D232C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"643654af10a1055800fee77b84c46e3efdb6f47b","datavalue":{"value":{"entity-type":"item","numeric-id":888301,"id":"Q888301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7328631$3944E31F-A6CC-4BE1-8FD6-797AB730D8EB","rank":"normal"}],"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":"Q7328631$8C8C7900-2CA6-49C5-A673-0C43DA6B556A","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":"Q7328631$4D817DEE-9513-4F64-BB5B-785E30B35BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_a_Systematic_Understanding_and_Interactive_Search_of_Lyapunov-Style_Proofs_in_Optimization"}}}}}