{"entities":{"Q757354":{"pageid":759203,"ns":120,"title":"Item:Q757354","lastrevid":64243047,"modified":"2026-04-11T18:34:27Z","type":"item","id":"Q757354","labels":{"en":{"language":"en","value":"On simplicity of formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191609"}},"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":"Q757354$00F38AC4-FA90-4291-9AC5-9DE43B837D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b367901f9c6877681380968143342ceedb87385","datavalue":{"value":{"text":"On simplicity of formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757354$6774CBC8-D13C-42D5-8FEC-7B924FAB105D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"988e07d990810f3b25e3ebe946e0c68e379a54bd","datavalue":{"value":"0723.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757354$788744B9-7119-4418-A964-2CD1EB1FB786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f38244c2d146b0327c93bc2a35309d7c64accfb","datavalue":{"value":"10.1007/BF00370372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757354$1E9251DC-C8AF-4874-9E50-25D6C7C4F4E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$50A7C393-742E-4B07-B5F7-C70445631AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56521159cd11e2749902ca30080a5bb9c160b5d5","datavalue":{"value":{"entity-type":"item","numeric-id":1247845,"id":"Q1247845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$33A1CCA2-7767-40FD-BC31-748F7FB7DA38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$10AAD56A-3EB8-4C7B-BFB7-508BD0231D35","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":"Q757354$875C1118-9059-42C2-A9E4-C0624EBBF4B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d7166d3414bb20dcb893b4b61e70df10b17da49","datavalue":{"value":"Given an axiom system S, it is natural to ask if S has an equivalent simpler reformulation. The authors give a precise notion of simplicity using a generalized Kleene-Mostowski classification that takes into account not only the number of quantifier alternations, but also the number of quantifiers. To prove that formulas are written in their simplest form, they develop the appropriate preservation theorems, using Fra\u00efss\u00e9's partial isomorphisms. Extensions are given to languages with function symbols, many-sorted languages, and nonelementary logics. It is proved that some well-established axiom systems cannot be simplified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$616E180D-F596-43ED-BFAA-69DBE08C4661","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$49697521-8DB1-4B10-801A-1C2AD24ED0CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757354$6743EC2C-AF96-413B-BEDA-1098E7F865CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55d0cd487776741d10037da078da4bf335a340a","datavalue":{"value":"4191609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757354$73705745-909F-4667-B79A-07B330B282D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958dd64877045f518ca478f3e7b2490ddd347c60","datavalue":{"value":"quantifier rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$1877C57C-18EF-4D00-A639-5EAB5ADBA50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c87ad845aef2d0cd1924d6040f18b2d424b0bd2b","datavalue":{"value":"Kleene-Mostowski hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$479A03FD-FEF9-41AD-A73E-25C619C44A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"703d142b61de47f6048f5964492ab81f2a16001d","datavalue":{"value":"generalized Kleene-Mostowski classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$80B75CE0-138D-4837-8CC7-7ABC58B79DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62aad4e23b2f7dd73fff7fdf2b98241526182721","datavalue":{"value":"number of quantifier alternations","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$229217F0-AD50-4234-8EDF-3FBD1637BD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8abc52769f1d87cf6d9ed2b4fc9fe3e2d5728b7a","datavalue":{"value":"number of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$423B929D-E141-4159-9F64-81294FE1B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b166ee49475bdbfd483a45596026089be65b2343","datavalue":{"value":"Fra\u00efss\u00e9's partial isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q757354$9799093A-DE5A-414A-8629-F0B3FE114EF0","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":"Q757354$08BF7B56-EC80-4091-8BB7-A2879DADC50D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$2380DA6A-9AAC-4672-BDF2-E2B1CBA10A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a63e67ce546019bfb86ea571599e856d6a05509e","datavalue":{"value":{"entity-type":"item","numeric-id":3872438,"id":"Q3872438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$29713B30-8FB5-4575-9E7C-37E052291C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$154D5A34-7794-4168-9DA7-A73F1385DF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5218a24130b4aa5afd6bc029ad837bf70fcffa44","datavalue":{"value":{"entity-type":"item","numeric-id":4109641,"id":"Q4109641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$A5C51C92-487B-4908-9F17-46FFA39C03CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$25D0FB25-2CB1-4D95-99CB-45EE692D780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$17C51633-8D72-48D0-A5AC-80B43A64C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$C7BD7A65-9067-45DD-A353-08FF1044EF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a000eab8f6f270b5acd793a306e21200e567a07","datavalue":{"value":{"entity-type":"item","numeric-id":3293397,"id":"Q3293397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$1676382F-54B2-40D4-AB1F-4E3888C9117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$AC5C0C5B-AEB9-4442-9BDE-36F19E0FA7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351615d8a41de69e6bcb3ac199e23c42d063f22","datavalue":{"value":{"entity-type":"item","numeric-id":5843994,"id":"Q5843994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$F7BB3583-B069-4ECB-B69E-31A6EA11453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7814bc40a03cb54aa8a7ec30bf12798887a28f","datavalue":{"value":{"entity-type":"item","numeric-id":4105652,"id":"Q4105652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$207B3FCF-B049-473D-A1D5-81D7C0A71B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f52614ecba9143826e1fa9a4631634a31eca74c","datavalue":{"value":{"entity-type":"item","numeric-id":3781742,"id":"Q3781742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$B4D19F5F-8224-4F34-B10E-753110F51F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03344fb3809ac2d00cb9b60c5a358c8728ef000","datavalue":{"value":{"entity-type":"item","numeric-id":3113046,"id":"Q3113046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$44B4A6B1-F03A-4E0A-B6EC-38ADF4AD5772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54fad673f4c35626384a9f87e4fd22580dd23ea","datavalue":{"value":{"entity-type":"item","numeric-id":5848895,"id":"Q5848895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$1913D9EF-3253-493A-8EAF-97B182989FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a81414ad6aa9f29ceff3d47f2adb65218b94e26","datavalue":{"value":{"entity-type":"item","numeric-id":3243264,"id":"Q3243264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$8952ACE2-6EE1-4D34-ADF0-C3C78F29627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0203d9e00aed28ca70cd9e1e6681eb3a66ca80","datavalue":{"value":{"entity-type":"item","numeric-id":4141237,"id":"Q4141237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$92E53811-134A-43ED-AD5D-939C702E4A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$C1FAE15E-2611-4AD3-8CD6-21FCCE8ED9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc73e23839d9fe8f09566ce9fc5a96bdd2a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":5523665,"id":"Q5523665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$797ECAE0-2AFB-4557-B649-84BB31F88C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be2e42643c051b6d8da4b64cd531e43ea8baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5817394,"id":"Q5817394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$87498C34-26E2-4CCA-89B7-9B6F5D2A5C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81e7edd3e92298f780d134ff8d122201f477414","datavalue":{"value":{"entity-type":"item","numeric-id":5663979,"id":"Q5663979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$FA23B701-FCA6-425E-864C-ABDBE2D644B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139dd479efe8a153be4c267a3fd810be7d15b4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4174676,"id":"Q4174676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$F9C9CBDE-BB62-4021-A872-6AB8489B6138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcc6985c7b876c3eb7222e94152d1521e6dc193","datavalue":{"value":{"entity-type":"item","numeric-id":3691641,"id":"Q3691641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$B724DB11-3927-4925-959D-0F40C43E2156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9dbd5cf0f4b5ebdea469dcf3a2a04a5fae87fee","datavalue":{"value":{"entity-type":"item","numeric-id":3772186,"id":"Q3772186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$2BA6560E-25D5-413E-A950-B8BBF77EDB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$57C2F25E-1331-4E5D-BEB2-98B3413300D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e82e606bfd8aff6f64cd01a1d551d7bb02a5b5","datavalue":{"value":{"entity-type":"item","numeric-id":4145685,"id":"Q4145685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757354$C6593129-3FC7-4C6F-A8AF-3D3862104D21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c10d66983837a0186b01d38a08b3794a61debb76","datavalue":{"value":"https://doi.org/10.1007/bf00370372","type":"string"},"datatype":"url"},"type":"statement","id":"Q757354$05328D87-24CC-47E5-ADC7-B83A7D89974E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660f7dfb1f3bb9f0fd221197d5dd9b68d9c3f627","datavalue":{"value":"W1494501809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757354$C05B111E-215D-4695-85C1-647CC93FC30F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d591cfdb3f9380725083dd9f35041a12e6cd2e","datavalue":{"value":{"entity-type":"item","numeric-id":1118574,"id":"Q1118574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b28d9859aebcf410a612ed952798b208706bda2","datavalue":{"value":{"amount":"+0.7944756150245667","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":"Q757354$15865E19-3B71-473E-8D39-1034344B8753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f6d13e6e5d6d58206e3037bb982c6c30bc48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4880499,"id":"Q4880499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be92a301c017a6d8008c17d5a0c1bb942267a33e","datavalue":{"value":{"amount":"+0.7728815078735352","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":"Q757354$6620D634-B621-48B6-AC53-07959999B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d471b616dd482e47e595284e09aacecc7ead486","datavalue":{"value":{"entity-type":"item","numeric-id":3237136,"id":"Q3237136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee8eca3052bdfda32c95438cf1f1dbc3c069761","datavalue":{"value":{"amount":"+0.7234848737716675","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":"Q757354$B9A12121-7785-489D-8FEB-DA5B29161D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b6686d851840da706b381c2a619651fb7921c5","datavalue":{"value":{"entity-type":"item","numeric-id":4517384,"id":"Q4517384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4366818300c5e91a47a073965cf7bacdf674fde4","datavalue":{"value":{"amount":"+0.7216678857803345","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":"Q757354$85F0B345-4400-44EB-9A56-2FD010E7603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f431186fccf82fa696a1a9038fa55a84616b63f0","datavalue":{"value":{"entity-type":"item","numeric-id":5204801,"id":"Q5204801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5514d6f3fede6b3f1d985fa77f817cc46f47aea8","datavalue":{"value":{"amount":"+0.715803861618042","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":"Q757354$897C6FE0-7265-4189-B212-A3DD77F3D90A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On simplicity of formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_simplicity_of_formulas"}}}}}