{"entities":{"Q584247":{"pageid":586014,"ns":120,"title":"Item:Q584247","lastrevid":62949054,"modified":"2026-04-11T09:11:21Z","type":"item","id":"Q584247","labels":{"en":{"language":"en","value":"Weakly minimal formulas: A global approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134020"}},"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":"Q584247$F6B9E729-A2A4-41F8-AAE3-77D037EEDD9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aca4710f338e9d1b7632e96119ab2ed014b35db3","datavalue":{"value":{"text":"Weakly minimal formulas: A global approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584247$C3A3ED29-95C3-495E-AFC5-E9F0786C9F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89c6aa6100f77dc3ef8b0dfd0b917e7ea8587204","datavalue":{"value":"0693.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$DB0DEDF7-1FE0-4596-AFE7-1DBDB324C9BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"288688f99e79bd9a56175de314447e84df4aab84","datavalue":{"value":"10.1016/0168-0072(90)90078-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$79D66320-8481-4B01-B62F-C63C446620E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822895cc683f8d236198455b7475f500d36ca18","datavalue":{"value":{"entity-type":"item","numeric-id":582281,"id":"Q582281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$C58383F2-1F25-4F8F-A732-131C00491842","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":"Q584247$BDDFAC9D-FC06-4E76-8075-C30D578F8454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q584247$A5583395-3093-4299-82EB-BD12B71DBE9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cf7932bc3abc9dc48bfb235635bf167751a009d","datavalue":{"value":"In this paper (it is an extended version of a part of the author's Ph. D. thesis ``The structure of minimal sets and omitting types'' (Wroclaw, 1987)) the author carries out an analysis of unidimensional weakly minimal theories. After considering the basic notations and an instructive example, a dependence relation \\(acl^*\\) on S(\\(\\emptyset)\\) is introduced as a modification of the dependence relation acl on a very saturated model \\({\\mathfrak C}\\). Important properties of \\(acl^*\\) are described. In a theory \\(T^{eq}\\) there is a weakly minimal modular type \\(r\\in S^{eq}(\\emptyset)\\) for not modular types \\(p,q\\in S(\\emptyset)\\) with \\(p\\not\\in acl^*(q)\\). In the third paragraph topological properties of \\(acl^*\\) are investigated. The main result here is the equivalence of five conditions for a set \\(R=acl^*(R)\\subseteq S(\\emptyset)\\), which fulfills additional conditions. The fourth part deals with so-called inevitable types and omitting types. There the author gives some sufficient conditions for inevitability. Let p be inevitable for \\(R\\subseteq S(\\emptyset)\\), \\(R\\not\\subset acl^*(\\emptyset)\\). Then either \\(p\\in acl^*(R)\\) or the extension T(R) of R (R is an \\(F_{\\sigma}\\)- subset of S(\\(\\emptyset))\\) is \\({\\mathfrak c}^+\\)-categorical. Using the results of the paragraphs 1-3, the author proves a structure theorem (5.1.) for \\(R=acl^*(R)\\subseteq S(\\emptyset)\\) with \\(R\\not\\subset acl^*(\\emptyset)\\) and \\(\\dim_ R(x=x)<{\\mathfrak c}\\), and gives, finally (section 6), complete information on the number of models of T(R) in power \\(\\kappa >{\\mathfrak c}\\) depending on \\(\\dim_ R(x=x)\\). This result is extended to arbitrary inessential extensions T(A) of a properly weakly minimal, unidimensional, countable but not necessarily special theory T.    This paper is connected with results of \\textit{S. Buechler} [J. Symb. Logic 50, 1044-1053 (1985; Zbl 0621.03019)], \\textit{M. Makkai} [Isr. J. Math. 49, 181-238 (1984; Zbl 0583.03021)], and \\textit{S. Shelah} [Classification theory and the number of nonisomorphic models (1978; Zbl 0388.03009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$CE9B4B82-3F0D-479D-90CE-7E906BDBA490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$9C3CA91E-9498-451C-B386-24CEBADA992C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$F3A5AF00-5D67-4AA5-B168-CCE9A8F0DDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$C0529037-359E-4C00-A11F-A5A8F0F04F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$AD0D0381-9C15-467B-A748-F4500063DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3791bbe968f4947b6ae53aa3a12e25288c7938fb","datavalue":{"value":"54F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$534021BE-5F46-46ED-9862-D4FC835F5A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b6a7e6824ef7b2811dcc2efc0140918c81932b","datavalue":{"value":"4134020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584247$ECE3D566-35FD-4896-B4EA-94CF6A6762AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4965fa0e9dde6e147d9c285a5b648fd78ce8158","datavalue":{"value":"algebraic dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$92CA52E3-0065-48EA-8B54-4248AD4E9553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45015be84b816944be3793718386acff001aa1cd","datavalue":{"value":"orthogonal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$87A7AAEC-5315-416F-878A-6E7B4BBF3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b9782cf29507b665c25542db0b219756b20d","datavalue":{"value":"analysis of unidimensional weakly minimal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$6AA3CC19-E780-466A-879D-D209E38BFC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4da53975bbde865a74eadf9560b30f2b822e264","datavalue":{"value":"dependence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$C3F82FA3-5417-4DD4-9107-6A131B5034AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c974578dc668867c4de90380cfb894779435b763","datavalue":{"value":"modular type","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$BD5FA2E9-BD11-493E-B875-B1051DB9F5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8071e676b3a72914fb2ee685f1dfa14c9a30e13","datavalue":{"value":"inevitable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$7B7ADB4E-B045-4F18-B86B-36A2864DCBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$AF136420-A633-44AC-AF09-F75FDC1AACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ed7073901f2f7d8c4f91151817f094b3fdb912","datavalue":{"value":"number of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$07BB18C0-23AA-4473-B9C4-E16EF2AB436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e250871019cf7b16c41de266c0603906fcb109a5","datavalue":{"value":"inessential extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q584247$1986CD4D-4720-4750-BC84-81E5C3533177","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$F2960BC5-8C3A-4319-9748-438BC527D77C","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":"Q584247$6EE34A62-CC67-470F-9460-C74960A8B57C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8f4d01e8a1840d20d46f4aa5a80dd05b6e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":3757899,"id":"Q3757899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$9D8D8E75-057C-4CB8-9D7B-B31AFD81681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9cbc45a6958dea50f5cbc0ced772fb6a9b5733","datavalue":{"value":{"entity-type":"item","numeric-id":5544274,"id":"Q5544274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$FD9331B6-BB81-49EF-9B19-1B853DDD3135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c78dcf92f35bc3330b51fb81a6e42448b754b26","datavalue":{"value":{"entity-type":"item","numeric-id":5684661,"id":"Q5684661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$4D5B5DF8-E263-498B-91A5-D59322E3710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97bfd0f750267b16a2c2a0b40864cb44134473d","datavalue":{"value":{"entity-type":"item","numeric-id":4770394,"id":"Q4770394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$9C034151-C84A-498F-9D51-7922992C122D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e150212d654bccc028ca901294dffd6a607ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069927,"id":"Q1069927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$765C20DA-78C9-468C-8AE8-21790D19E6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584247$B7896EB0-D6EB-4F5F-9B2C-51AF005F49D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c022a886aa66a0df13be030630344e6a47c83c86","datavalue":{"value":{"entity-type":"item","numeric-id":4513934,"id":"Q4513934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7336640b60ea8c9189e80cdb2b1f038d0a0b5776","datavalue":{"value":{"amount":"+0.7861213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$87005BBC-E818-4D37-801E-D7699DAF0034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694b3f4c745455abab62db4fdb6679a74dbe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3798642,"id":"Q3798642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316c68c33ea2dd5635653bd68feb6acfb42eb199","datavalue":{"value":{"amount":"+0.7615367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$270F29EC-C926-4DFB-BF70-875DA007613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a289f23d633ceb096696fdf5481c43907ed48b6","datavalue":{"value":{"entity-type":"item","numeric-id":5359575,"id":"Q5359575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb67051a187a87765f198cffdd4778e6eeb3a1e0","datavalue":{"value":{"amount":"+0.75870323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$D289A553-58DE-4713-9B26-8791DAE43910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2a98ad5331d8473bee3f5edfc94152d61bc53","datavalue":{"value":{"entity-type":"item","numeric-id":4013616,"id":"Q4013616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f66c60541984a85b49b398ecc14ad80c9238e7","datavalue":{"value":{"amount":"+0.7497949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$AFD25D6E-3386-4C3C-BBBE-9157B682A322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6577161bd87053a10a2d4c2db82def5bc703393","datavalue":{"value":{"entity-type":"item","numeric-id":3784053,"id":"Q3784053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4580472856ae423bb40113817474762492dcb283","datavalue":{"value":{"amount":"+0.7494476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$55DD1F02-DBFA-4425-8966-5057BD6D06C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5692631f07650bf7f9c3f589869e8173bed6c6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3749044,"id":"Q3749044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285546feb14e45208ede098dc20223629e47af17","datavalue":{"value":{"amount":"+0.74520826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$5089DD80-6E8B-42D9-B8C0-2A0396B51DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958c56e7b63667d71464c11ce7400c84583a3c52","datavalue":{"value":{"entity-type":"item","numeric-id":4523415,"id":"Q4523415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc4f79eff12b6aeacc81b12cd0ffc7fc0a2fd69","datavalue":{"value":{"amount":"+0.74406517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$3C0E1249-552E-4DB1-B33F-E8C370263277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cf5f7f122a0b44ebd6a90ab47a1fad1351a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4212921,"id":"Q4212921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09acb1a1ca2c0c3f67f76d40ed033de7cf12cb0f","datavalue":{"value":{"amount":"+0.74090534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$7B406C09-EAC9-404D-A700-D4D2AEEAD274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503d5cdd68c1c473e4a3c75ef95411b39b464df5","datavalue":{"value":{"entity-type":"item","numeric-id":922524,"id":"Q922524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d92cbb56f6b31a772b0dd8aae0946465c2f2771","datavalue":{"value":{"amount":"+0.74053824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$131F5169-F798-402C-9839-04115A42DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca2fb0049512db7e885a588b5ff18ccbae89567","datavalue":{"value":{"entity-type":"item","numeric-id":1304548,"id":"Q1304548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75cd8110264827ba9289c3705ed13c619ad93987","datavalue":{"value":{"amount":"+0.7364054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584247$55826152-E2AD-4428-9B62-0575F675642D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly minimal formulas: A global approach","badges":[]}}}}}