{"entities":{"Q1678638":{"pageid":1689379,"ns":120,"title":"Item:Q1678638","lastrevid":68234613,"modified":"2026-04-12T22:19:54Z","type":"item","id":"Q1678638","labels":{"en":{"language":"en","value":"Describing finite groups by short first-order sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808567"}},"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":"Q1678638$577409BB-30A1-4736-A892-2298927604AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3b2f89ff4b5e999452f17986fdd93eb351a1962","datavalue":{"value":{"text":"Describing finite groups by short first-order sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678638$E055FDA8-342B-47DD-8A2B-B07E329621DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e741ca580759a6d73ed14ad558a76ad81ffefc7","datavalue":{"value":"1403.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$97B7E0F7-DB57-48E0-A9F6-41A57B8D0E16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$482CD543-65A8-487F-B9A1-F38E679B2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94f8c3492f0685b6f574ed169765f6045ab97ce3","datavalue":{"value":{"entity-type":"item","numeric-id":170879,"id":"Q170879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$7921FACE-6085-4BEC-BB37-B4BCD537F3B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$B704B6AB-DB19-4B57-ACFB-3BBE91747827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678638$43A379E1-F41C-459F-B8F1-FF948021F33B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d299883638cb49c1ff489fc34c2c94fae18029","datavalue":{"value":"https://arxiv.org/abs/1409.8390","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678638$2CAF0DFE-111B-4B13-999A-6E0376E605FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ce0e05a33bce220e09825c4f70d7ad9393ed413","datavalue":{"value":"The main result of the paper is the following: the class of finite simple groups is log-compressible, but the class of all finite groups is strongly \\(\\log^3\\)-compressible, where \\(\\log^k\\) denotes the function \\(g(n) = (\\log(n))^k\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678638$3A7DD89E-D4ED-4276-9221-9FA2578D98C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$B5962759-F855-4389-A68F-20883DB9A4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$EBD45B5B-FA3F-45ED-BF6B-3EE53C8160AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d42408b3b2a5719112a50156031a4dfd0836cf9b","datavalue":{"value":"20D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$8BAD4011-E018-4F4F-9E1F-C1365134A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d5faab8506844afe18117d24b66ca7e35db18","datavalue":{"value":"20B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$33BC8E5E-60B2-4C1D-A98D-C67D360C6A01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f869ab33d2b3339c3b9b885def0ee6238ef33458","datavalue":{"value":"6808567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$AF0C2B1C-026B-4598-B168-7D7C73D30344","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678638$C72642F8-774F-455A-AB02-E5BAC8A23509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08ca2d9f309a46671b12c065285841b40242e0d","datavalue":{"value":"finite simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678638$6D566953-B9EB-43DF-BFA2-06C76AF56F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275aa71c25b401aef23074b8e23a8cac9fb46a71","datavalue":{"value":"transitive permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678638$1038418A-547D-4491-AEA2-55CAA3887D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b4b7de6ddca1f63656304a90040ed48a773165","datavalue":{"value":"first-order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678638$1BA938AA-9B74-427A-A1ED-F0E5B75E0A36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5359757b430db85bda396eacc69535f1c73d9926","datavalue":{"value":{"entity-type":"item","numeric-id":403198,"id":"Q403198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$C95A9ADB-5CB3-4142-B0BC-F0C0C6F6C7AF","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":"Q1678638$8F30D6DE-B6EE-405D-8805-05C2A7C3DCDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7924f711afabc85fa36ecf2d55a8b473e9f6e55a","datavalue":{"value":"W2962747388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$024B91D4-3D3D-432C-952A-41E497938DE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9eb7ef2b6ea11fcaefb1cd8d0da79da01596ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1365014,"id":"Q1365014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$84F2D07A-2230-4DF8-A642-4F4FCBD9FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f61e18e250f97f957eab4399325c35ffeedc7","datavalue":{"value":{"entity-type":"item","numeric-id":5385841,"id":"Q5385841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$977D2ED5-2BD1-4D2D-AA48-C76A36BDA7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8cc25536f1e47b2140abd24a3843fef49fd8a9","datavalue":{"value":{"entity-type":"item","numeric-id":3004372,"id":"Q3004372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$E2E0E770-A9E0-4CFD-9F8D-6A778AF7BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68abb13cecdf16b839a6d91df342fc6d680b8a11","datavalue":{"value":{"entity-type":"item","numeric-id":4943756,"id":"Q4943756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$22AE3EAE-DAB3-43BF-9E8F-93B7CA24BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0535e74dd5da4cd46976b8f7fa38cd1fdab9e520","datavalue":{"value":{"entity-type":"item","numeric-id":3996420,"id":"Q3996420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$CC35DAD5-948C-4547-9ED7-A8BDEF1FEF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d91d26e8f813c6447c2909b98d2b9df45f3ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3577291,"id":"Q3577291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$1C88FAD4-4C38-41B8-874D-7D0AA7C26E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$A2CF7B26-8B66-439E-A074-65FEC9EC4AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1817bdef7c23db110fcaaeb671f787ad19c0ba68","datavalue":{"value":{"entity-type":"item","numeric-id":1873280,"id":"Q1873280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$A3C5F677-45BD-4C00-91BA-F8EDE9FCC20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1b7df0451208fc0c417e310d07eaf2df36634","datavalue":{"value":{"entity-type":"item","numeric-id":4375859,"id":"Q4375859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$4F44CAB6-B7AC-4A91-8426-60CAD68DDD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddc40e6d3d1e92821bc37ac625945574acfbeed","datavalue":{"value":{"entity-type":"item","numeric-id":3639086,"id":"Q3639086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678638$ED7251F9-072C-4D76-8A6C-5A061F07A3ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64fc99bf10c774c2b2025ae3904be63dcc020ced","datavalue":{"value":"10.1007/S11856-017-1563-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678638$156FB85D-B71C-41F2-AA68-6C6717A8335A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18051fa1a32874c096e2e2b7609fc7cf6e40a8dc","datavalue":{"value":{"entity-type":"item","numeric-id":405903,"id":"Q405903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0ac4cab9ae52fa4aa648a005a89bb9c27dcced","datavalue":{"value":{"amount":"+0.88111174","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":"Q1678638$F4B5A816-0FA0-4590-BE02-5FBA77458A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4bfedf0b235adb19f6ad54ddbdb68af9de62389","datavalue":{"value":{"entity-type":"item","numeric-id":5043179,"id":"Q5043179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b313dd6d4c632c808316e5ebf5e4f7f1863fe74","datavalue":{"value":{"amount":"+0.8729035","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":"Q1678638$A1543BC4-BFFB-46E4-87FF-7B53FCE4E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959444becef6ff0b85cea70c21fb3a4d3c6560dd","datavalue":{"value":{"entity-type":"item","numeric-id":2291422,"id":"Q2291422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012eb1264d02b0d903918f08345db9128468c4b2","datavalue":{"value":{"amount":"+0.867623","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":"Q1678638$3B5528DC-F0FD-44FA-BAA2-D7150A2B387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5011267bf1a149a586d363824b5442b5420e9209","datavalue":{"value":{"entity-type":"item","numeric-id":5148113,"id":"Q5148113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba6b75240c0f717dd9043f19e0431408665cf54","datavalue":{"value":{"amount":"+0.8530842","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":"Q1678638$26AF8AD2-E0AB-4864-943F-33362143A7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2599f8331a8a6495d1114cbf05b4bdfb1c993a9f","datavalue":{"value":{"entity-type":"item","numeric-id":1593794,"id":"Q1593794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b704ac3d042f4a8cb0b153e8a70a9d244bcd461b","datavalue":{"value":{"amount":"+0.85083807","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":"Q1678638$2DFC7430-D171-4BCA-AD70-69BB343118AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edb1198967a97cc35e5d5b36a4d404e08586e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2958975,"id":"Q2958975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4277636c3412f8eacde7d6eb6bde44d42e58216","datavalue":{"value":{"amount":"+0.8503787","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":"Q1678638$DA87615E-56E6-4F83-A472-975109C5ED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a2885b5073986ec50310a90657a494906d6381","datavalue":{"value":{"entity-type":"item","numeric-id":5958879,"id":"Q5958879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1fb8709e291a3373b0f8f3f49d75e9bc27398a","datavalue":{"value":{"amount":"+0.8474994","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":"Q1678638$C69E3865-EBF5-4EA7-A332-904FACE4D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb339b51f41bf8544baac440565c4ea0a7cc6b74","datavalue":{"value":{"entity-type":"item","numeric-id":5465981,"id":"Q5465981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302cd80aaf99125241827032570cce984da17c92","datavalue":{"value":{"amount":"+0.8440672","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":"Q1678638$2A7F686A-5F70-43BB-BE56-8456FDA1D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dade83c4c9df308bd5bca400e7c093f61af55fc0","datavalue":{"value":{"entity-type":"item","numeric-id":4305815,"id":"Q4305815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dca4c83bf0223f9c6e00ab2b0a791ad62998d8","datavalue":{"value":{"amount":"+0.8436366","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":"Q1678638$119C35F9-0AB2-427F-85F9-18B0640AF405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3954ca1f023ccc6aaa940e842d903047f9f785","datavalue":{"value":{"entity-type":"item","numeric-id":1906605,"id":"Q1906605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c423a762b05e7229baf4ff4f87dda6abfebc9d9a","datavalue":{"value":{"amount":"+0.8436227","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":"Q1678638$B8A94340-EABF-4F3E-A06E-AD518828C013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Describing finite groups by short first-order sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Describing_finite_groups_by_short_first-order_sentences"}}}}}