{"entities":{"Q409316":{"pageid":411083,"ns":120,"title":"Item:Q409316","lastrevid":61640847,"modified":"2026-04-11T00:39:34Z","type":"item","id":"Q409316","labels":{"en":{"language":"en","value":"Expressive power of digraph solvability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023574"}},"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":"Q409316$3008382C-F072-4814-A353-8433B4C73817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"725b92d4e6e15cdcff115dfab4adc9c15c08810f","datavalue":{"value":{"text":"Expressive power of digraph solvability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409316$1B003A40-9EA7-472C-BE7B-BBCBCC92765C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ad93426635342088879c3e8e7e57084d9470750","datavalue":{"value":"1241.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$2510F27C-6570-4941-B653-AB0AABA27400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$BC45CE0E-0014-47C2-AAC3-EC5A2B0B6AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$FDBB63AD-4E5B-43FC-819C-C4845190CF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d31d3a65e1ea7b3974ebed5a725f6c3a86eb35","datavalue":{"value":{"entity-type":"item","numeric-id":409315,"id":"Q409315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$54BC7AE4-4361-4D4A-BDE0-3E637E2C553E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$B473B802-2649-4D83-8496-A6427D9D6562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-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":"Q409316$D910E004-8900-448D-B0BE-37A697270F40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c12920e6389919375a07aebc7c0befb36bace7c","datavalue":{"value":"A directed graph (digraph) is said to be solvable if it has a kernel. A kernel is an independent set of vertices \\(K\\) such that for every vertex \\(v\\) not in \\(K\\) there is an edge from \\(v\\) to some vertex of \\(K\\). An overview of kernel theory can be found in the work of \\textit{E. Boros} and \\textit{V. Gurvich} [Discrete Math. 306, No. 19--20, 2336--2354 (2006; Zbl 1103.05034)]. Solvability of digraphs is related to solvability of systems of Boolean equations. Consequently, the solvability problem for digraphs is closely related to satisfiability in both finite and infinitary propositional logic theories. Capitalizing on this connection, the authors prove that the solvability problem for digraphs is \\(\\Sigma^1_1\\)-complete, and then conclude that the consistency of PL\\(^\\omega\\)-theories is also \\(\\Sigma^1_1\\)-complete. Applying the methods of reverse mathematics, they prove that the solvability of countable, finitely bounded, acyclic digraphs is equivalent to WKL\\(_0\\) over RCA\\(_0\\). The authors note that in [``Kernel tower theory. I'', FOM 407 (email list) (2010), \\url{http://cs.nyu.edu/pipermail/fom/2010-March/014507.html}] \\textit{H. Friedman} states that solvability of well-founded dags is equivalent to ATR\\(_0\\) over RCA\\(_0\\). Turning to set theory, they show that ZF proves that every tree is solvable, and that weak forms of AC prove that forests are solvable. The paper concludes with a proof that over ZF, full AC is equivalent to the solvability of disjoint unions of indexed families of solvable digraphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$335F5595-8DFE-4143-B663-18E0B543F9F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$ABB3D948-A602-4458-AB18-05C19ECE9E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$ED8A26B5-340F-42B6-A7E0-CA145F3072AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$B3F81398-5564-4116-A041-854B64A958F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$7F6A51F0-1B37-4FB2-A610-C54BAE586BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$236DB932-0686-4B64-A1E8-C7FD7B2CD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$6F8BABF1-BDB5-4328-A2BF-98DFEFE3BB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9729428b7f3faff6f70db9a7fa765e75946ff6b6","datavalue":{"value":"05C63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$E311D7F1-574D-446A-9436-8C46B4A831BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e72ac4c16f6ffb1181a311ee5734b41409e927","datavalue":{"value":"6023574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$0398F5B0-00F7-4239-9EDC-E37628FBE6AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85eef5242ed0d57acc9caf7d48d82888e646d12f","datavalue":{"value":"digraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$20091FAC-68C8-41A0-AF9C-6156B8C14B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$5B856267-4707-46A1-ABB5-96F6BAD24032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716fd07e2e9debc371ec6e46f9deaf03d1a5fd90","datavalue":{"value":"infinitary propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$075F74C6-7D82-4FEC-B039-7BF73958D808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$03551F61-0BAC-4AEE-A86C-235B763C3771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$09BFEAD6-E84C-4106-88CC-2DA9B05C7643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$E03DE5C6-F6F8-46C3-B5AA-609AE0E1ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$E7D59191-A22D-46BD-96F2-D87C96C08555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7b5a822823eaa165da66c06e700f1f1301310d","datavalue":{"value":"dag","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$EA1D8C22-FFC9-4A4E-88E4-AD2F9BFB384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03b9482d9fb5a4dccce7e9ae84fc4c0475ab15e","datavalue":{"value":"many-one reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q409316$233822EA-3E7A-4988-89D3-24541B5952F4","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":"Q409316$0AAD706C-6D01-4E1C-9E2A-40C89FDF2FA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc5999a9e1b3d62c4ec24d1408bb17b0e69ab21","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q409316$01316A7C-0A1F-4871-9D08-6580CEA174A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0aaf0ef2891cc83bbe595f151b24b8e8a956ac","datavalue":{"value":"W3020929623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$A47A1A16-06D3-4ECB-8E69-C46CFB694BBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d8f4db3dce57c97c7378970a818ed45aac5bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4138755,"id":"Q4138755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$975E8E55-4FA1-473A-977F-BD5FF0B50138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbafa8495a3ceb2755477287feeb1a92a9b14d7f","datavalue":{"value":{"entity-type":"item","numeric-id":2433701,"id":"Q2433701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$2BE900F1-F788-4EB6-A43D-08ABA74DDA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aedd57065fae25f4557563352b9381f53e38084","datavalue":{"value":{"entity-type":"item","numeric-id":5311751,"id":"Q5311751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$15342DEC-5058-4500-B227-70F64E565DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e43be3893e504fbe1ffd223ca67b107da0e506","datavalue":{"value":{"entity-type":"item","numeric-id":673091,"id":"Q673091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$A7348054-E345-43DB-A207-F13BC79A9BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ad76d3ddfa7a55b034bc9601241a201bd9cb02","datavalue":{"value":{"entity-type":"item","numeric-id":3912817,"id":"Q3912817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$2B351C0F-89BC-4442-A5EE-BB47CEC2187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375ea5a0417924a6827baafef029f9a7e5d9b649","datavalue":{"value":{"entity-type":"item","numeric-id":1172646,"id":"Q1172646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$C90ADBB9-93B4-4821-98BC-39B9BD5229B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afc90fcd8df3d95188cd6ce543963c50a3be380","datavalue":{"value":{"entity-type":"item","numeric-id":787155,"id":"Q787155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$9A5D6976-18EE-4308-96EF-2B533744455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$EC3AE94C-6147-4419-863E-6E2A06F50155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0130b8897a14b336596bbc3fe906f681358c2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3249007,"id":"Q3249007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$921A7A23-1791-415D-88F9-99F80FA15B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"421648dce3806efec4014c4d91e42a25e0b8c7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1264153,"id":"Q1264153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$2F21628C-D67E-43FD-9A45-A6A135ECB378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9a2a8f0af76a8e59e5dcd24326111a1d57d402","datavalue":{"value":{"entity-type":"item","numeric-id":2651359,"id":"Q2651359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$4CC8FF76-377F-44CE-A050-57EE17F4FEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$A896FA03-EC1F-4B8D-8133-AD7036FF06AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$98C8EBCB-E9AC-45AF-B1A2-7259DEBC8817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$A5E72102-61DC-4E0A-9896-9EBF6AB0D7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05746a0dac113e5198b70d5d9fc98ed6dd6405d1","datavalue":{"value":{"entity-type":"item","numeric-id":4497450,"id":"Q4497450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409316$50C7DBAE-7A5A-4EF0-8241-1AD452883D7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9547a967abaafcebb400f51b07412762ad90267d","datavalue":{"value":"10.1016/J.APAL.2011.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409316$2092CD83-60A7-4BA8-B08E-368209F95355","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af3f8fb99be6be435976bc868c55d0260fcf4e","datavalue":{"value":{"entity-type":"item","numeric-id":414435,"id":"Q414435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff6b0a98998710fa915f1f2069b5d1c32be9e09","datavalue":{"value":{"amount":"+0.7805885672569275","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":"Q409316$19F0ABA0-C1FA-44E1-9190-BB3D0A2C756A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ead8f955a4df4cfbd897a1e2f2d67beccefcbc","datavalue":{"value":{"entity-type":"item","numeric-id":3822191,"id":"Q3822191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f5c83a580b6746977fe8ea8a1417486781400b","datavalue":{"value":{"amount":"+0.7693324089050293","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":"Q409316$1AB6EAFC-52C9-4AC0-942A-364079C18564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa32a9fd7fd4edefe9d1ef3781c646fad35598d4","datavalue":{"value":{"entity-type":"item","numeric-id":1378531,"id":"Q1378531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a246acc2e4f0e37e9fd2ca01a173f186e8b4204d","datavalue":{"value":{"amount":"+0.7688974142074585","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":"Q409316$553F0642-9EC5-480E-A87B-72608C783EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946ef274efa9f2b9601a9221f2b9148cd8e49192","datavalue":{"value":{"entity-type":"item","numeric-id":2442275,"id":"Q2442275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740ad1cfb8473e6857e95e0f957a06769b6bed9a","datavalue":{"value":{"amount":"+0.7683683037757874","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":"Q409316$70F3A874-D2AE-4DBC-87CA-AB1CA7D17491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd77e0c486a4a1525b444588b7b01207cf943971","datavalue":{"value":{"entity-type":"item","numeric-id":4238238,"id":"Q4238238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5343c4c60f4dc6a9c1d52c9eb20a18b284a4a0","datavalue":{"value":{"amount":"+0.7655500769615173","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":"Q409316$DEC00552-6A12-4602-ACDA-FCF2CD4A465B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive power of digraph solvability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_power_of_digraph_solvability"}}}}}