{"entities":{"Q2178386":{"pageid":2189129,"ns":120,"title":"Item:Q2178386","lastrevid":53726945,"modified":"2026-01-25T15:11:00Z","type":"item","id":"Q2178386","labels":{"en":{"language":"en","value":"Varieties of regular semigroups with uniquely defined inversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7198396"}},"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":"Q2178386$12B6444A-8488-4ED9-A76E-BECF98F11F13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda501c23c2a93c8373a147cc015b6142995eeba","datavalue":{"value":{"text":"Varieties of regular semigroups with uniquely defined inversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2178386$F84B1609-0C75-475F-9E07-D601CE424A07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ac42acb68dfdf9827cf983928b335d5200a153","datavalue":{"value":"1468.20098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$22BA6B44-EDEB-403A-B25E-74657048B0F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e4df208b12af76afd94c13f1f7566968b22845","datavalue":{"value":"10.4171/PM/2033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$796A64E3-C092-4086-81CF-6D60D243D90E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fcb46173bcfdf056b3980b6bcaff648a1f1a605","datavalue":{"value":{"entity-type":"item","numeric-id":250229,"id":"Q250229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$DAE79CF1-4DCF-4556-B97E-9E69DC42F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266db153a53e546844fc36f71b0b8a034829e061","datavalue":{"value":{"entity-type":"item","numeric-id":855330,"id":"Q855330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$3F7B7372-8E04-4A03-8A0F-F111670A3A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94730d4f319bff810ecb15719995f961a7d0892b","datavalue":{"value":{"entity-type":"item","numeric-id":235410,"id":"Q235410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$B995D552-D80D-4770-A18E-5450CB8698DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$16F22F9D-8873-4CF8-BCF9-29E017023E61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c9f499d49cd858839ed69f06faaba3904265fc","datavalue":{"value":{"time":"+2020-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2178386$576930A3-9E36-4976-9D68-4BA6362CA812","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc9bbdf648481fe852604826b2c1daa0f9cea4ad","datavalue":{"value":"Summary: Inverse semigroups and completely regular semigroups share some nice properties and in a certain sense, they are the top success stories in semigroup theory. Therefore a reasonable goal is to find other classes of regular semigroups with the same nice shared properties and try to replicate the successful structure theories achieved for those two classes. Perhaps surprisingly, the semigroup literature is mute on examples of other classes of regular semigroups with the same nice properties, while semigroupists, for decades, voiced the metamathematical conviction of the hopelessness of such a goal. Our guess is that many have tried that approach, but always failed, thus unable to publish (\\textit{the muteness of the literature}) and convinced that the path leads to nowhere (\\textit{the metamathematical conviction}).  The aim of this paper is to provide some mathematical content for that metamathematical conviction. In his celebrated theorem, K. Arrow wrote down the nice properties a voting system should have and then went on to prove that no system has those properties. We follow a similar path by writing down the nice common properties of inverse semigroups and of completely regular semigroups, and then show that, under some constraints, any variety having those nice properties is contained in one of the other two (if not in both). The proof of this theorem is by \\textit{exhaustion}: all possible varieties (under certain constraints) are written down, and each one is tested regarding the possession of the nice properties. Many pass the test, but then all of them turn out to be varieties of inverse or completely regular semigroups. This proof requires thousands of lemmas and was only possible because we used \\textsc{ProverX}, a system aimed at playing in automated reasoning the same role GAP or MAGMA plays in symbolic computation.  The paper ends with some problems for experts in semigroups, equational logic and computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178386$C7770131-FFC7-4EB7-A1F7-44854BCD8E7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$4AF8FDF4-C5A3-4790-BD23-EA097E376D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$0FE2802A-521A-459B-B838-DBD55297D124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$4CFF8EF7-1FBB-4793-A6A4-3B520BFF9017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e364404226fb7de0e39d0435f38dfc2f117c1f","datavalue":{"value":"7198396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$93D78123-703E-461B-8FC9-0FAF900036F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178386$1BCE7322-0C77-40CC-96DA-7153054F1C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2370682d625ad5b535fac8b043ac8c328de1","datavalue":{"value":"completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178386$90EDC981-4B09-46FB-A137-AA5EDBE3B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4ab60c16fca7d682f612ebf48e93b938ab385c","datavalue":{"value":"computational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178386$04AB4551-BFAA-4F5F-9CC6-90F513300BEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"420df51ba49ccd9e2317ddf051f67f953a52381a","datavalue":{"value":{"entity-type":"item","numeric-id":55553,"id":"Q55553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$043031CD-A310-4FB0-B360-56659185E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$FC7C3A8D-D8D5-464F-B5C6-5341BE150F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A3CC6518-0588-4218-AF66-0F2D8B6A0035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723dac4523dc28a14b6436853ef8a9b90348eb85","datavalue":{"value":{"entity-type":"item","numeric-id":53795,"id":"Q53795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A08B7CE7-020F-4780-8AAF-52F2E8B19298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$421BBE4B-ED00-475A-A11E-355796984511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$ACE74392-626A-4546-92F5-3F36FAF8D24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$FBE68662-8A89-4053-A8A8-967000F87A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$55F46280-8FA4-47B6-AB7D-5A9A6A4D1964","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":"Q2178386$F33F0656-3339-4E1B-8289-80EC71189677","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f32665b3f5e593b8b0ad5db34dd7948f0d03a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2377448,"id":"Q2377448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$D05B16F6-0314-4922-9B70-2A50E91241E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816a7dc7d0b1f0f4b377192c0de9fc26b23e0b35","datavalue":{"value":{"entity-type":"item","numeric-id":4908953,"id":"Q4908953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$2D6C0929-0928-4F83-B4C0-9B77BBB7FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f05955ac32468180fb0fad2250c5dd9fe1b9b8","datavalue":{"value":{"entity-type":"item","numeric-id":535223,"id":"Q535223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A9B7B03D-C228-418E-9822-E97AB5780FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c600e5d6bf595f6a14ff40c43f1eec4141c21f","datavalue":{"value":{"entity-type":"item","numeric-id":2880432,"id":"Q2880432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$8E8157E1-1E0C-41C6-9558-F0A8316377B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144489353d3bfd3753020c204d16faae22c92d14","datavalue":{"value":{"entity-type":"item","numeric-id":5403785,"id":"Q5403785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$953717FA-A060-4745-9FA3-A9640985BDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42a0426d7f031c7a25f5dc566169173dc0756e0","datavalue":{"value":{"entity-type":"item","numeric-id":3562322,"id":"Q3562322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$68EDFA93-7965-4B34-88B3-E92C3986E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ba9b4793f76c77eaf1df35a3de45339babc36e","datavalue":{"value":{"entity-type":"item","numeric-id":1770600,"id":"Q1770600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$358FE13D-0D36-4F1A-B4D5-0848A6900065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ac492eb62a92df38cc7a4433271fbc85f73f03","datavalue":{"value":{"entity-type":"item","numeric-id":5962330,"id":"Q5962330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$99A2021C-FE8D-4E3A-8C1B-0DACF04FDF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bdcd6bec0074afc39f1d79fef0f741bb0d0635","datavalue":{"value":{"entity-type":"item","numeric-id":3112589,"id":"Q3112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$737F65DB-A0D9-43B0-9F6B-64757DE1C095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d7b24ebf2e6090aaa5d1b34424b2202aad96c1","datavalue":{"value":{"entity-type":"item","numeric-id":5606623,"id":"Q5606623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$AD05F4C5-268B-4FAC-A8C9-E67C15FA7852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$6CF3197B-DE4E-49FD-A0BC-703239D43331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4420c22715fb0ecd5564477b4c619ca1a82e92","datavalue":{"value":{"entity-type":"item","numeric-id":425303,"id":"Q425303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$DA226DB7-35EC-4AA1-98B3-046CEC9D7A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3afaa7ac33eec227e8d63ace3846bc169ec10ee","datavalue":{"value":{"entity-type":"item","numeric-id":3804926,"id":"Q3804926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$9421F7EE-2915-4C4B-B115-2B9D4A96EF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6ff1ffa5086b147d715c5f58284ce436c3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3937578,"id":"Q3937578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$B6747A47-9A02-4D94-B314-05CD7A20F52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65dbc3da207286a3a7d7356197c0b87ef2966f5","datavalue":{"value":{"entity-type":"item","numeric-id":3637973,"id":"Q3637973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$9041244C-EAFF-4D92-92AB-413E40BA09F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4d69d0adcc118eab6a16aeaebe29b05ab0aea","datavalue":{"value":{"entity-type":"item","numeric-id":411757,"id":"Q411757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$26A4306E-DD9E-4192-9456-AAD8BC2972A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd47581a2b5fe8d121c55c56c12d1d803ff62c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4909870,"id":"Q4909870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$E97610B9-AD9B-445D-927D-84D6B68AA84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dee0cc4f85242a055ab3e13b3e641c94e473581","datavalue":{"value":{"entity-type":"item","numeric-id":3395321,"id":"Q3395321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A7B81488-C8C8-4EEC-A530-5BD1949ACF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984279f3b890221289c5fccd4fb8bfec1e67fb69","datavalue":{"value":{"entity-type":"item","numeric-id":3406596,"id":"Q3406596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$76D8743F-2E53-4697-9430-DB7D63E377E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63978b86f7ecc4980aab50b6229f50880114cad","datavalue":{"value":{"entity-type":"item","numeric-id":633194,"id":"Q633194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$293B0945-E708-44F8-9F4F-410C6B8B1F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946a32955c27ccb6fd8c0807ae3628e7e02f0754","datavalue":{"value":{"entity-type":"item","numeric-id":5703670,"id":"Q5703670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$26F8C74C-42E5-40B9-9977-AF2669E883F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a6d1bd70dbd3fb40c07cfdb5554126db67a3f7","datavalue":{"value":{"entity-type":"item","numeric-id":4872079,"id":"Q4872079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$3790550F-279E-46A4-A267-FB7262CCBA5E","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":"Q2178386$34F2A3A7-6266-412D-B39C-40EA8A7DB105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673e9c33f03969a0d0d28c937c26cc80d5397947","datavalue":{"value":{"entity-type":"item","numeric-id":2174535,"id":"Q2174535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$16EF86D6-2B1D-4459-994C-0B214EA1573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$0CD9A152-8F04-4868-8C98-4A77672E1AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be7606ea839a02152b908bc948ea8c5c34c5811","datavalue":{"value":{"entity-type":"item","numeric-id":3971666,"id":"Q3971666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$459AB9A3-560E-4CA7-A5F7-17AF86211704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bddcffd51203241ea97b9e900ec028a9183a32","datavalue":{"value":{"entity-type":"item","numeric-id":3112579,"id":"Q3112579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$E6D86BA3-BB6B-43DA-82D8-3FD31B54A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de0b638ba926d01560f66b384086072b503229","datavalue":{"value":{"entity-type":"item","numeric-id":1085283,"id":"Q1085283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$6EFF48EB-918D-4933-B373-51CA46AF01D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$7C806FE2-8BDA-45D9-8433-B01B4E40961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838a25c3211c287c656c894be3691c152754323a","datavalue":{"value":{"entity-type":"item","numeric-id":4716824,"id":"Q4716824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$1B321005-147E-4542-A917-9581188B0CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ac496388b0c6d340dd05e0c517f893a440161a","datavalue":{"value":{"entity-type":"item","numeric-id":2723435,"id":"Q2723435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$4DBA76D5-D16F-46EB-BB73-12653E0C86C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f60a32046a52272cba7a2a12da1464e6b6a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1201350,"id":"Q1201350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$0C33EB64-C88B-467B-80F8-5EDF322528EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b6f1f87839d87ce3dc68199d1c6a338d4c2787","datavalue":{"value":{"entity-type":"item","numeric-id":1258380,"id":"Q1258380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$301FBF1C-5FE4-4148-BE85-C6A72166DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84024903c6e0b015f1c7c967d8b3179af17f660","datavalue":{"value":{"entity-type":"item","numeric-id":1273625,"id":"Q1273625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$3DFBE62A-36CE-4191-BF6F-E70C62108AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$476DEAAD-B29E-4CB1-9287-B9AB4EC5FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1c7955bda408734e563f48c7ca55e9194de936","datavalue":{"value":{"entity-type":"item","numeric-id":5479917,"id":"Q5479917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$ACA439D0-CF9B-4FCD-8306-28581A6E29BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$D10849D4-D9EE-4E8C-B0C6-41D58F2F0DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1e6c8eb5e29c61545f27a85fabe581a6b28170","datavalue":{"value":{"entity-type":"item","numeric-id":3875904,"id":"Q3875904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$4D613778-D65D-40F8-89BB-C6CBD1A124EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3864703d4fa0305aca7630550123eeede4b14954","datavalue":{"value":{"entity-type":"item","numeric-id":1911754,"id":"Q1911754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A2030DC0-946D-4F45-A0BE-FF53A98BEB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcae7d1b016f8d8c790e0e0c32c77e205366c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4189451,"id":"Q4189451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$34D7D61D-1FC9-4DFF-B9A3-E843F6E4357D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4f2d5a4c1aef4541dcdd0b617756a4ead94df1","datavalue":{"value":{"entity-type":"item","numeric-id":711608,"id":"Q711608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$EFEC67A0-2163-4B5B-9BF3-E77B2F7C6D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$D3A069CE-5499-4066-990F-82C45D066FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51460fa1bfe8de26019bcb3f4b220e8d44afa789","datavalue":{"value":{"entity-type":"item","numeric-id":4872063,"id":"Q4872063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178386$A0F0431A-F12A-4CFB-A190-3CB131092AD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a644c9dc01c66bf276d62f8803b3bd42d694521d","datavalue":{"value":"https://doi.org/10.4171/pm/2033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2178386$02EE5770-194D-4A90-B5D3-91E82AF7FC54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a83ec3a22308c6436f764bc744fa72d0b61ccf","datavalue":{"value":"W3005596672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178386$0864A9EF-37FD-403B-B226-63D6BD9EF933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31b0ec76bffba5beae641425d11d0365f26a3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4978346,"id":"Q4978346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9a8b73a19bbd184d3f2946a0f463b75f811f5d","datavalue":{"value":{"amount":"+0.7402363419532776","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":"Q2178386$E5FE61BC-D4A5-4B04-A580-C0BAEDD8CBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0daa576f2f6154476ddef094cafb760ca9c50560","datavalue":{"value":{"entity-type":"item","numeric-id":3737667,"id":"Q3737667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a8edfed229337dfdd1b5c62544907d45dd27f4","datavalue":{"value":{"amount":"+0.7389767169952393","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":"Q2178386$014CD559-5A9A-45FB-9B99-7A43ABEB6FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292779b2f9ae259c7c9d42c946cd022faa7d472","datavalue":{"value":{"entity-type":"item","numeric-id":1057987,"id":"Q1057987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12daf3dc4e578ea768ecb724e19090a6d48d4103","datavalue":{"value":{"amount":"+0.7354503273963928","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":"Q2178386$4051D5AD-B2D1-4071-A09B-24883A7B8F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77229d58f1eee70c5c906914315ced0dbc7e1cc","datavalue":{"value":{"entity-type":"item","numeric-id":3297057,"id":"Q3297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e63cd6c6d907bc4f16f1e519530ed51128ca7f7","datavalue":{"value":{"amount":"+0.7310677170753479","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":"Q2178386$7F9EE18F-5CDF-4262-927B-05DDE762386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c957a31e4015231756c84aa14f48e8ce2f97dff","datavalue":{"value":{"entity-type":"item","numeric-id":1402895,"id":"Q1402895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af5db53f14492225bad0ac964d48de6874fcd59","datavalue":{"value":{"amount":"+0.7277199625968933","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":"Q2178386$3386761E-687B-4831-A9D0-F511C9706374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2178386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2178386"}}}}}