{"entities":{"Q1685310":{"pageid":1696051,"ns":120,"title":"Item:Q1685310","lastrevid":74037396,"modified":"2026-04-14T18:08:29Z","type":"item","id":"Q1685310","labels":{"en":{"language":"en","value":"Classes of globally solvable involutive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6818229"}},"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":"Q1685310$F9BAE9B3-A0E6-40C2-936B-69E79AF3E5B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b80e7756617f5c94de02e8642a1c72bc52452f5","datavalue":{"value":{"text":"Classes of globally solvable involutive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685310$79A085EB-F0A1-4343-B9E0-54543BC51F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caf2b8aa848fe128048414903cb7651ec2168d67","datavalue":{"value":"1382.58018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$37843DEB-7536-4EE5-98F5-AA30F0FC0260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a380282b276433225be5bc8605c00daa3b3d814","datavalue":{"value":{"entity-type":"item","numeric-id":464286,"id":"Q464286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$6A30387E-5815-4BB1-9851-A20F66145DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e103edf59230a4f1cd76028da743c9151544889","datavalue":{"value":{"entity-type":"item","numeric-id":1674584,"id":"Q1674584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$840DE588-8240-4F14-9247-EB4C7FD0D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79954f3cfb7eb6caadcf83ca1f4c2a9e01c1f9f9","datavalue":{"value":{"entity-type":"item","numeric-id":583487,"id":"Q583487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$C9E11EC0-CE6E-4C0A-956B-038FEE384DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3451951c01e91edd2a974c4e738d3df0250889a9","datavalue":{"value":{"entity-type":"item","numeric-id":589651,"id":"Q589651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$CB6094BF-922F-4AB3-A5D2-E108C60AC822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dffbb5e204b74c737f7ad651034f4de7648fb617","datavalue":{"value":{"entity-type":"item","numeric-id":262285,"id":"Q262285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$20327C7E-A174-4738-8AEC-6F731E12430E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"981d93953f897793f133eafc59a9974a7d05e110","datavalue":{"value":{"time":"+2017-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685310$9F9426A7-F00B-4B09-9888-37C8951C4C7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"173454bfbd8f11c347744437ff4320447bac4ab7","datavalue":{"value":"Let \\(M\\) be a smooth closed orientable surface and \\(d\\) the de Rham operator on it. Let \\(\\mathbb{S}^1\\) be the unit circle with the standard unit vector field \\(\\partial\\). Let \\(b\\) be a closed non-exact 1-form on \\(M\\). Consider the following complex  \\[  0\\to \\mathcal{D}'(M\\times\\mathbb{S}^1)\\overset{\\mathbb{L}}{\\to} \\bigwedge{}^1\\,\\mathcal{D}'(M\\times\\mathbb{S}^1)\\overset{\\mathbb{L}^1}{\\to} \\bigwedge{}^2\\,\\mathcal{D}'(M\\times\\mathbb{S}{^1)} 0,  \\]  where both operators \\(\\mathbb{L}\\) and \\(\\mathbb{L}^1\\) are defined by the formula  \\[  \\mathbb{L}u=du+ib\\wedge\\partial u.  \\]  The operator \\(\\mathbb{L}\\) defines a first order overdetermined system of linear partial differential equations, whose (local) compatibility conditions are given by the operator \\(\\mathbb{L}^1\\).  The main theorem states that the global solvability of \\(\\mathbb{L}\\) is equivalent to the condition that no super- or sub-level of a potential \\(B\\) of the pull-back of \\(b\\) to the universal cover of \\(M\\) has a bounded component. Moreover, on a certain covering space \\(\\tilde{M}\\), called minimal covering space, the condition is equivalent to the connectedness of the superlevel and sublevel sets of the corresponding pseudo-periodic potential \\(\\tilde{B}\\).  Some versions of this problem have been investigated before in the works of F. Tr\u00e9ves, F. Cardoso, J. Hounie and others.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$AF1F3E56-C1E3-4CBD-A139-FF80FFC692AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"666976d18ca545b4ec6bf28ea0d5014ed43a9ee1","datavalue":{"value":"58J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$97152B7F-58BD-4EC2-924D-4C30E73F9BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be0af0b57d342da01c5b28704a6df0538f7be207","datavalue":{"value":"35A01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$583F7485-FF5B-4C32-8ABA-BF584209961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84e79da2d436f0c8b2df9d7ee0eebf29d95f82d2","datavalue":{"value":"35N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$E6170438-F449-412F-903F-BA3FE957CB68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd69deaaf67c593c4af483db977647fdd21172f8","datavalue":{"value":"6818229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$2B8A7A66-9AFA-4776-9A44-4D998C81AE56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932955ae10f592de010ef3f2c518ad58fc001fbc","datavalue":{"value":"involutive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$5C8B0F2E-D4D9-45CB-8B17-541C4A6C5417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd3862e6112f9da881fa96d1dda07d73f25119e","datavalue":{"value":"tube structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$B15E5C8E-FA10-423A-A582-F20DFE9B8C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5f0e92b4ef85a004a44d518f7c71c367be9568","datavalue":{"value":"global solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$304D2B5E-FABD-4600-9664-296B38CEED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7497dc4358f0f1e3e0d840092aa987e8c1e589","datavalue":{"value":"overdetermined systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$B125C73C-B4EA-43C9-BB6A-A2BFD5C08FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c1260995f2dafc17942d4384cc6823970d5d00","datavalue":{"value":"complex vector fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685310$53B96C33-B18C-4E21-A04E-7E4D80E28CD8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40bd6a8c84f2182011fed833f05088028c917139","datavalue":{"value":{"entity-type":"item","numeric-id":590036,"id":"Q590036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$1D9AFD50-72B4-4F2C-95C2-7513FA1F28CB","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":"Q1685310$5A83701C-57B7-487B-A7BA-B62B5683B413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a15d4d92547b3b5462dc5bf73504b919dee6a9c5","datavalue":{"value":"https://doi.org/10.1007/s11868-017-0217-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685310$FB04DE2D-97A0-4A4D-89B8-FB17BCB90775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ec0c56b0bf363c586869eed65e7ba43395aef32","datavalue":{"value":"W2738886510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$5A5E45DB-BE51-4E0E-937F-FCE8DD459E9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"856aaadf3047fb37240a4116c4431e9ceef97f3a","datavalue":{"value":{"entity-type":"item","numeric-id":808486,"id":"Q808486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$510509B4-E546-4C3E-931E-D9BD6D947C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abed3b7fa75e2b293041988e569037b2021d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":2461251,"id":"Q2461251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$016E7F0D-69A8-4DCE-B1D4-20330F25010D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7bbc46d0ed2f550a39f32fa254bd8d71d0341a9","datavalue":{"value":{"entity-type":"item","numeric-id":3518353,"id":"Q3518353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$7F16FDCC-6C21-4BCE-8C6B-2ABC3276A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a977eb43e5ef5e8aaf6a787c430f127a6f36436f","datavalue":{"value":{"entity-type":"item","numeric-id":2367255,"id":"Q2367255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$F4C536A9-CCE6-441E-8469-ABB551C75ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75284e47144a2482fc9f76ea22232fffb185afa","datavalue":{"value":{"entity-type":"item","numeric-id":5961426,"id":"Q5961426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$05F86D3C-81D5-4591-85A4-E4FC714A7EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46442c7c28e6c235866cf4b04db912615c49af31","datavalue":{"value":{"entity-type":"item","numeric-id":2841361,"id":"Q2841361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$35FB1635-8AC8-451B-B14A-2F5609572255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a9429ab65130a593828517adc8a6ea56cfd6aa","datavalue":{"value":{"entity-type":"item","numeric-id":763757,"id":"Q763757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$35EEB1DB-1D4C-4CAB-ACB2-2DB5B71B8C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce8df5173cb19f719665bccf7a38679e8ae873c","datavalue":{"value":{"entity-type":"item","numeric-id":1874450,"id":"Q1874450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$56142136-979B-4DAD-8982-2876CF5CEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdca4fd3e3b49527c9dcd3d3839d4726dfe853c8","datavalue":{"value":{"entity-type":"item","numeric-id":5386124,"id":"Q5386124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$FBEEA909-246A-4EEF-A922-6D888B2A6DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86d3db41c8c5747de4e079dfd6059e9e11189fd","datavalue":{"value":{"entity-type":"item","numeric-id":4102516,"id":"Q4102516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$EB90CA36-39E6-4CAA-9F7B-8CBEEFC1BB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8eeab1b953867eaffa20da0be9ae636d0ffd4a","datavalue":{"value":{"entity-type":"item","numeric-id":4458483,"id":"Q4458483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$0B13952C-10E3-45A5-A617-ACB65EA98655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf5eab226ed8a50f7bf988ff809d5f4eeeb7014","datavalue":{"value":{"entity-type":"item","numeric-id":3308707,"id":"Q3308707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$E01135BF-86EE-472C-BAE1-60124979115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8063aab2456cd79fb9f58b583c44a7949600de2","datavalue":{"value":{"entity-type":"item","numeric-id":4819371,"id":"Q4819371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$EB324396-65DA-48DB-BCA2-422FEA759926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25b96719d6d382acb9d8b2a2a9c040c2cd30821","datavalue":{"value":{"entity-type":"item","numeric-id":1674585,"id":"Q1674585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$35200F10-F883-42C7-92AB-B7A95EC35A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc014c1104c0de0517f0e1dddc9f966ee4c26af","datavalue":{"value":{"entity-type":"item","numeric-id":5920605,"id":"Q5920605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$F651486F-3E66-43CC-92A3-3374B058DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ea346826423e885c3a117a2b94d4dbf8077350","datavalue":{"value":{"entity-type":"item","numeric-id":3268458,"id":"Q3268458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$23E833DD-0AE0-426C-BEE5-F34BD1DCBC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8690fbba9dd56ac012a36ffc644031bb374bfefa","datavalue":{"value":{"entity-type":"item","numeric-id":5557339,"id":"Q5557339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$341C9CA4-603B-4730-B73A-B3A40835E0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a2ee9a37ee2f2233375d18dc53590f01ace286","datavalue":{"value":{"entity-type":"item","numeric-id":1236722,"id":"Q1236722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$BC9E0C9F-C2B1-40B9-9D39-70B49DB88FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e653dda2dc0d91e13e8f55c603e166323a3f2ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4003230,"id":"Q4003230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685310$A9AD8025-D8E2-4ED5-BF24-6B5E0747D40C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf5cd2b03e6aa2f82459c383ea5c375e4fc6b54a","datavalue":{"value":"10.1007/S11868-017-0217-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685310$7B166FA1-F6D7-4947-A91C-C823A0B96F6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a37790e11e09a769c1841816d4931ea599cbe85","datavalue":{"value":{"entity-type":"item","numeric-id":2419254,"id":"Q2419254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caff0b53f468445ef65189e568107958efc5a4bc","datavalue":{"value":{"amount":"+0.8598306775093079","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":"Q1685310$CB790268-E815-44C5-96C3-CECB18AADD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa8523c580a95f0d431ac639ecbc21b6b9c2cd9","datavalue":{"value":{"entity-type":"item","numeric-id":530341,"id":"Q530341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901381d08cf04b3304b793ba92a9583afc0ffe8f","datavalue":{"value":{"amount":"+0.850294828414917","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":"Q1685310$0F0A303F-46F4-4120-93AF-E4448F1ECCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c175b7761f13adaf5f4e847427ad46a8c33fead1","datavalue":{"value":{"entity-type":"item","numeric-id":2944859,"id":"Q2944859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78aa05869dcd02f67887b6e214ea109c99d96bdd","datavalue":{"value":{"amount":"+0.8478636145591736","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":"Q1685310$281ED7C2-A77C-4C13-B98F-04F3B79E8125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8550c219a1e0f16b2335d07898b160c941a0d2d7","datavalue":{"value":{"entity-type":"item","numeric-id":763757,"id":"Q763757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7124a4fbb74d6449be355457d2830e785405ac33","datavalue":{"value":{"amount":"+0.8428562879562378","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":"Q1685310$AF15C29A-FBF1-4F42-8787-51F86C6FCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c4e7a776ff7c9e994a80e441c0246ea60f8b40","datavalue":{"value":{"entity-type":"item","numeric-id":4646967,"id":"Q4646967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed60b2ebe6a4c3b247baa9f87884dc988eb0be6","datavalue":{"value":{"amount":"+0.8384073376655579","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":"Q1685310$5083E131-4216-449F-8590-9E2CD5D0F5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classes of globally solvable involutive systems","badges":[]}}}}}