{"entities":{"Q1640008":{"pageid":1650749,"ns":120,"title":"Item:Q1640008","lastrevid":68043033,"modified":"2026-04-12T21:03:16Z","type":"item","id":"Q1640008","labels":{"en":{"language":"en","value":"Fiat categorification of the symmetric inverse semigroup \\(IS_n\\) and the semigroup \\(F^*_n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6888060"}},"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":"Q1640008$8E030DCC-7418-4390-961C-5693FB216FD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a86b469d52829a4d4a15372161439940f2f1157","datavalue":{"value":{"text":"Fiat categorification of the symmetric inverse semigroup \\(IS_n\\) and the semigroup \\(F^*_n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640008$DF8E11E5-83DF-4875-A8EE-41B4BB572142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce4426ef57eac561ff5c01cb53802c6397f6ff1b","datavalue":{"value":"1398.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$B3183C61-E778-4E6E-BD8D-FAB2E4CB9DF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5564a6cbcf2de406b30d0d95b7c4698ee6dcd24","datavalue":{"value":{"entity-type":"item","numeric-id":206795,"id":"Q206795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$1A6C2153-94AF-4CD8-8F93-B89E71B08F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdb2645642cf08c498f6f8b3c35d66ba6bd1635","datavalue":{"value":{"entity-type":"item","numeric-id":1795157,"id":"Q1795157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$403FA5FF-B175-4458-945D-7656918830FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$D1C3782F-BCDF-40CC-89CA-28834D774EEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c48da118f42ae63a4e13b0d14c7f6767c5b84da","datavalue":{"value":{"time":"+2018-06-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":"Q1640008$351653F3-98D3-45FC-BF02-A33268A31D06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ba7831cff115b223bdb5c2e06397f31b3cf97b","datavalue":{"value":"https://arxiv.org/abs/1605.03880","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640008$2525819E-5FAB-448D-8DAF-219798E9C81B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b97d6ef664dd3ddba640a63c5b09ef8890bcd77c","datavalue":{"value":"Let \\(S_n\\) be a symmetric group of all bijective transformations of the set \\({\\mathbf n}\\) of \\(n\\) elements, \\({\\mathbf B}_n\\) the set of all binary relations on \\({\\mathbf n}\\), and \\({\\mathbf P}_n\\) the set of all equivalence relations on the set \\(\\{1,2,\\ldots, n, 1',2',\\ldots, n'\\}\\). Let \\({\\mathbf PP}_n\\) be the subset of \\({\\mathbf P}_n\\) consisting of the elements for which each equivalence class intersects both sets \\(\\{1,2,\\ldots, n\\}\\) and \\( \\{1',2',\\ldots, n'\\}\\). The authors construct two 2-categories \\(\\mathcal A_n\\) and \\(\\mathcal B_n\\), both having one object and elements of \\(S_n\\) as 1-morphisms, which compositions are induced from \\(S_n\\). The set of 2-morphisms \\(\\text{Hom}(\\sigma, \\pi)\\) is: 1) for \\(\\mathcal A_n\\) the set of all \\(\\alpha \\in {\\mathbf B}_n\\) such that \\(\\alpha\\subseteq\\pi\\cap\\sigma\\) and 2) for \\(\\mathcal B_n\\) the set of all \\(\\alpha \\in {\\mathbf PP}_n\\) such that \\(\\pi\\leq\\alpha\\) and \\(\\sigma\\leq\\alpha\\). Let \\(\\mathbf k\\) be a field and \\(\\mathcal C\\) a finite 2-category (a category with a finite number of morphisms). The authors define \\(\\mathbf k\\)-\\textit{linearization} \\(\\mathcal C_{\\mathbf k}\\) of \\(\\mathcal C\\) over \\(\\mathbf k\\), having the same objects as \\(\\mathcal C\\), with suitably defined morphisms and their compositions. The \\textit{finitarization} \\({\\mathbf k}\\mathcal C\\) of \\(\\mathcal C_{\\mathbf k}\\) is defined as follows: 1) \\({\\mathbf k}\\mathcal C\\) and \\(\\mathcal C_{\\mathbf k}\\) have the same objects, 2) \\({\\mathbf k}\\mathcal C(\\text{i,j })\\) is the idempotent completion of \\(\\mathcal C_{\\mathbf k}(\\text{i,j })\\) and 3) composition in \\({\\mathbf k}\\mathcal C\\) is induced from composition in \\(\\mathcal C\\). A construction is presented for turning a certain - prefinitary - 2-category \\(\\mathcal C\\) into a finitary 2-category \\(\\overline{\\mathcal C}\\). A finitary 2-category \\(\\mathcal C\\) is \\textit{fiat} provided that there exists a weak anti-involution \\(*: {\\mathcal C}\\to {\\mathcal C}^{\\text{co.op}}\\), such that, for any objects i, j \\(\\in \\mathcal C\\) and any 1-morphism F\\(\\in \\mathcal C\\)(i,j), there are 2-morphisms \\(\\eta : {\\mathbf 1}_i\\to \\text{F}^*\\text F\\) and \\(\\epsilon : \\text{FF}^*\\to {\\mathbf 1}_j\\) such that \\((\\epsilon\\circ_0 \\text{id}_{\\text F})\\circ_1 (\\text{id}_{\\text F}\\circ_0 \\eta)= \\text{id}_{\\text F}\\) and \\((\\text{id}_{\\text F}^*\\circ_0 \\epsilon )\\circ_1 (\\eta \\circ_0 \\text{id}_{\\text F}^*)= \\text{id}_{\\text F}^*\\). It is proved that \\(\\overline{{\\mathbf k}\\mathcal A}_n\\) and \\(\\overline{{\\mathbf k}\\mathcal B}_n\\) are both fiat 2-categories. Examples of finitary 2-categories are given that are not fiat.  The \\textit{decategorification} of finitary 2-categories is defined and showed that the decategorification of \\(\\overline{{\\mathbf k}\\mathcal A}_n\\) is isomorphic to \\({\\mathbb Z}[ IS_n]\\), with respect to the so-called M\u00f6bius basis in \\({\\mathbb Z}[ IS_n]\\). Similarly, the decategorification of \\(\\overline{{\\mathbf k}\\mathcal B}_n\\) is isomorphic to \\({\\mathbb Z}[ F_n^*]\\) (\\(F_n^*\\) - the maximal factorizable submonoid of the dual symmetric inverse monoid \\(I_n^*\\)). Explicit examples of the constructions for \\(n=2\\) are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$8F5FE362-E0EC-4CD9-95F3-DC78650865A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$EE117C71-3EE2-4A79-8969-6365FFC07F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$C216B2C1-014E-4724-8AB0-938B61CCCEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$09B82BA4-C70A-4F32-8D2B-E4D7BA820A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$5D538959-B60B-4272-874F-5A173289D1BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58eabfee6c659b921ab83a4c4df17191fc82c76e","datavalue":{"value":"6888060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$72651444-D84E-4C0D-8577-CE358168C984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488818a4ddde0199995a38c44f18f5352a7a994f","datavalue":{"value":"categorification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$A5D5232D-5CA3-4454-B81E-97F39779AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e334235528667b9051025ee72a20fa7cda59694","datavalue":{"value":"decategorification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$1E0A425E-1C1D-4EEA-BDD2-6BC8EF266D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d07eab040173ad4e45cda420b53c67590a8c417","datavalue":{"value":"finitarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$210FD295-46A0-4F2C-9057-91354D045B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab78ce128dce1ad8518a47986eb0b327f6da92d","datavalue":{"value":"k-linearization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$39AD6B87-5CE1-4425-92D8-3A49BDBA814C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$E7BFF087-FE06-45A1-963C-A0D9F51CBA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891b082d86c265d281f4b4194bacd48713e27b5e","datavalue":{"value":"fiat category, symmetric inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$EE276CC7-A400-4210-B9EE-6FB97D41B113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cda0c970d7cf9122d5cb37f4d5f2577a3c4b69cd","datavalue":{"value":"dual symmetric inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640008$F506EDB4-88AE-456D-8659-CE0494AB0FF8","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":"Q1640008$58D1E960-EBBB-48F0-8370-B84D0664C9F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a87904b845a5e070880d28af4a015daf168a8f75","datavalue":{"value":"W2962998042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$078FBCC1-1ADB-4BD6-9A13-285C4E57EA30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b3b52694c3fdf500243cb3915b3cf79d5e1307a","datavalue":{"value":"Q59885428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$872776F0-D888-4460-8EC4-B616B508EFA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"144e347ea81357ac035a33928514fd3e2ce019fe","datavalue":{"value":{"entity-type":"item","numeric-id":5403711,"id":"Q5403711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$EC58ADB3-86A7-4970-8582-D4D8C31ECE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe706e2fabd6c166bd20cf926d3fe39f9200325","datavalue":{"value":{"entity-type":"item","numeric-id":1807634,"id":"Q1807634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$B286AE49-80EB-4CD1-AE2B-EDF799F70AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355627414d0d733b60aea3437c66e71e7ac3bffb","datavalue":{"value":{"entity-type":"item","numeric-id":3458299,"id":"Q3458299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$1508D770-0810-4361-882D-23B39048E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a1ef074c0eaf128d0835c8ec637ef2c722db3f","datavalue":{"value":{"entity-type":"item","numeric-id":2427310,"id":"Q2427310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$F5CF1E46-AFDA-4CAC-8FE4-58A5873F7169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88396b42ef215a0d760413177404b48a411db9d5","datavalue":{"value":{"entity-type":"item","numeric-id":773751,"id":"Q773751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$178380A0-03F8-46E6-B885-85BEFA995873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5947d132b9f1860b968e9ca29337a4d9703fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":2370157,"id":"Q2370157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$95C03B19-A29A-40A7-A07D-C09CEAE1AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fa8ccff9571ca3ea659f45ea9afdfd5b88a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":4211805,"id":"Q4211805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$BE3FB149-A226-404F-95C4-108516D607C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$B3AEA277-F116-47FE-BF3E-7B2D93DAA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb82520ce1959f95c1d227cb6ffc7fc88fde6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2400128,"id":"Q2400128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$8901B697-A7F9-4C34-A4F3-51302FC3DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd36278a178099e9b82a1ad4e67f41cbbb2a6132","datavalue":{"value":{"entity-type":"item","numeric-id":929383,"id":"Q929383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$43B89DDB-7FF9-4EB5-8D15-74A6B1ABE0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629edad4f1fcd8d829154d502e0ac3b2d7c8d03f","datavalue":{"value":{"entity-type":"item","numeric-id":467523,"id":"Q467523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$1D42345D-6C1E-46AC-A1EE-648F357EFB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f9c0f02c9ea6f294dbe1028ae1b0a3383953d57","datavalue":{"value":{"entity-type":"item","numeric-id":5964805,"id":"Q5964805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$8DFEC681-E35A-43A1-A9A8-8C445AC7DE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c31bcd2ee8a2d1a0bfdaa54ec99bfc8d9a9043","datavalue":{"value":{"entity-type":"item","numeric-id":4245140,"id":"Q4245140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$2AF25E04-D80B-410C-A864-3FB6E08C480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b44176c760abc7fcc180dd79922f42f7b03040f","datavalue":{"value":{"entity-type":"item","numeric-id":4308237,"id":"Q4308237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$04355F3E-7958-473E-BCEF-0FA1F27DB825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66451f6e351c049bb286bf00640ba93394b995d","datavalue":{"value":{"entity-type":"item","numeric-id":1975991,"id":"Q1975991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$5C8F04E6-1D81-46E5-8640-137CC697F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25061960f9329ed6492ac4e086a1525be7ac2042","datavalue":{"value":{"entity-type":"item","numeric-id":4633599,"id":"Q4633599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$969F4632-8812-4A81-B8CB-C82C87CED758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cff11151dd55a35f26d04c09e034c2430afa1a","datavalue":{"value":{"entity-type":"item","numeric-id":305738,"id":"Q305738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$C7411622-B9B2-4F83-98BE-F92139C73128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f66db3ec53a5b767fc16b2f19ca006414564e02","datavalue":{"value":{"entity-type":"item","numeric-id":321899,"id":"Q321899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$AA09F448-2AAD-4363-A710-5C705A92DF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa0c147c6d19cb104e4c9132f0963d7d81090c3","datavalue":{"value":{"entity-type":"item","numeric-id":847557,"id":"Q847557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$7C62E347-D081-458B-8A6F-7A0E9FD40A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be63f5d60cb5cce9bec32564ffeadc99f52e039","datavalue":{"value":{"entity-type":"item","numeric-id":3545893,"id":"Q3545893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$2C3B39BA-900F-43B2-819B-C1107E218AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee6fde140392d3c35542cc632151bd4a77d7dc","datavalue":{"value":{"entity-type":"item","numeric-id":2340995,"id":"Q2340995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$C7C99D19-32A3-49B8-8348-73B3B56F4F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d3ebc77c83ecc087219e24698316d9c9d86b56","datavalue":{"value":{"entity-type":"item","numeric-id":338227,"id":"Q338227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$EF791C09-507C-469D-882C-9E6CD4DEE8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$6BD71D5B-A6E0-4877-BBAB-1C4B4F934657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbba699f3e73a246f97fcc6a370fd1804ac43a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4000232,"id":"Q4000232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$70EE614C-4CAE-486C-B563-B39F690E6C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d837041200d3382295a43abfd986b467c382700","datavalue":{"value":{"entity-type":"item","numeric-id":4293449,"id":"Q4293449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$7A143F61-6BF0-4488-BA44-F2FD99D366E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26f85a58dd6762915bf6e8a8406956482ee7730","datavalue":{"value":{"entity-type":"item","numeric-id":3146328,"id":"Q3146328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$9E0561BC-A795-4750-916A-B52CBBFE6501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd63605aacfb500c574e98afefb34870b318ab","datavalue":{"value":{"entity-type":"item","numeric-id":765552,"id":"Q765552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$C37A7BB4-B2AA-4078-851C-35D108D2ED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74c1f78fed0a9dcb4acd8e09ca091b2101bb236","datavalue":{"value":{"entity-type":"item","numeric-id":3094100,"id":"Q3094100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$A489DD8E-C7BE-4D84-82EE-2032A2C93E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed4386e6f5000e7bf2b9f44e5d1a775fa373d18","datavalue":{"value":{"entity-type":"item","numeric-id":2876654,"id":"Q2876654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$6CFB07CD-F026-43BC-91D0-DB8695642ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06c708c202820bf3ed269cb64510159f6abfb95","datavalue":{"value":{"entity-type":"item","numeric-id":4560571,"id":"Q4560571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$490B2158-8356-4C0D-BA8D-3EA2601CFFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ff2e73b984faf63f69e515c1a45631247d6af6","datavalue":{"value":{"entity-type":"item","numeric-id":259624,"id":"Q259624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$285285C2-6FE0-4CF5-88B9-4F380C814227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a464dce93598f11af12a5845e04454f0e7860b","datavalue":{"value":{"entity-type":"item","numeric-id":2821664,"id":"Q2821664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$3E3A2E6A-7E7C-4775-824E-9C2840D00113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a73593276772667cb71d78444b3f76946ed8872","datavalue":{"value":{"entity-type":"item","numeric-id":907935,"id":"Q907935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$6268D76F-4B5E-4C71-B55C-5138195B7C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad51006696102a1f52f31ca4cd2511ab9d735e9","datavalue":{"value":{"entity-type":"item","numeric-id":881959,"id":"Q881959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$0CD4B590-3399-47B7-8673-8BFA1FE63A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1826ab3235a767470403e4ee5359235a70b1c8","datavalue":{"value":{"entity-type":"item","numeric-id":798410,"id":"Q798410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$51997329-3584-4D15-8FFF-96D6D5C9392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61de801aefd18f371d4e57ac25d4cd79b9dc5041","datavalue":{"value":{"entity-type":"item","numeric-id":2883156,"id":"Q2883156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$B4BB5C71-4673-46FB-A3B0-9C2367F295A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7573bfc45a7ad69d59ac118d93c05b36b090303c","datavalue":{"value":{"entity-type":"item","numeric-id":2497971,"id":"Q2497971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$19A399CF-A68C-40D6-B118-A83C672D59D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfaf3966c571f9baf148966090581e4df149799","datavalue":{"value":{"entity-type":"item","numeric-id":1770134,"id":"Q1770134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$04630BEA-284F-4CD9-AD3E-374DC292CD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfd1676cd5d2211b9285d2d0041c6dedec4eee0","datavalue":{"value":{"entity-type":"item","numeric-id":2796994,"id":"Q2796994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$C9CF58E2-E23E-414E-A5A2-D7AF390AAC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a5afb7a832806e5a7d8b10f90562d6fd811523","datavalue":{"value":{"entity-type":"item","numeric-id":338237,"id":"Q338237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$E7ADBB98-9C76-464E-8DBE-26434C927927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d58983ed34024b49ddcfc4efa6c020db932a055","datavalue":{"value":"10.1007/S00233-017-9866-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640008$459E5DC3-CCBB-4289-A4A6-F116D7E14423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1962e77a51318b85ff4ede28698f845d0ba4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5077347,"id":"Q5077347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea7934ac2cb6abe49de188f4e235773bd2596a0","datavalue":{"value":{"amount":"+0.8743132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$D990C62D-3DBF-4349-B71E-D4ABFBC84EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1973278df7ff71aed5f6599649cff5076f93d5a0","datavalue":{"value":{"entity-type":"item","numeric-id":5490513,"id":"Q5490513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39dac3f1ba1cdf4bd50ae00f146ab385670ea70","datavalue":{"value":{"amount":"+0.86745346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$FCD4BE61-610E-4555-8DE1-1523180949B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed356c3fa5364bdef786fbfc99eb531a1867f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4438327,"id":"Q4438327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b40c4cb607c941cc6d7239e6d27c3d7a9c3065","datavalue":{"value":{"amount":"+0.8666547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$6BE8D594-A205-4E08-BC2C-800EF63EC47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c84e1fcaadb1e0044704026636af96bf3857561","datavalue":{"value":{"entity-type":"item","numeric-id":1295727,"id":"Q1295727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140f24d8153398fe11e801dc2a91d52120abcf1c","datavalue":{"value":{"amount":"+0.864464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$A3311C69-BEEB-4CAC-A24F-4FB0CBD4E023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d0011b92d38d832ff08bfbd6cafd4f58fba38d","datavalue":{"value":{"entity-type":"item","numeric-id":4655009,"id":"Q4655009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d35a2dee8881691176dc8302dd58761f4c2740","datavalue":{"value":{"amount":"+0.863887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$6AAB3D2D-5F5E-486F-A9B4-D00746405399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27781a9f2a275d0d4b53ec9dbc39cad067ded4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934081,"id":"Q4934081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5959afecfb1e1bdd329828fe5b57b66306e8c4b1","datavalue":{"value":{"amount":"+0.8626833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$C770BE86-FDC1-443A-9DBD-550CF005C269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0705de6ce237fb2bce33cb0f4d339d6f8cff5d","datavalue":{"value":{"entity-type":"item","numeric-id":5220647,"id":"Q5220647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3329a8867c5eb60fd3f88912eee2f4dc686bcf92","datavalue":{"value":{"amount":"+0.86032915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$1CECB2C8-1B0E-4D61-B5D7-6172E7B16259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4f0d8a1a0972802a1c517daf02e12649d8c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1923950,"id":"Q1923950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f426a62ffc4e062f0f36fa76854012ff22098825","datavalue":{"value":{"amount":"+0.8534942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$3DCA1219-9988-46A0-9040-F49F7EB7F108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06861958f1499a911d898a33cd3c8e1a4671d374","datavalue":{"value":{"entity-type":"item","numeric-id":3202726,"id":"Q3202726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6ec989f68c3d2b413858ba820795c6d344d7e2","datavalue":{"value":{"amount":"+0.8533475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$8A057608-53CC-4727-BD30-975A80795168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3317170f3552b03c150d9e56de043c0f7a66c354","datavalue":{"value":{"entity-type":"item","numeric-id":5114762,"id":"Q5114762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a142e852957c82f02c083884625e2143d6818cc5","datavalue":{"value":{"amount":"+0.8477996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1640008$5268E5D2-EB82-4B81-B0D4-C3D2C7ED384C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640008$E3256B3B-D32D-4632-9B44-FBD378746991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fiat categorification of the symmetric inverse semigroup \\(IS n\\) and the semigroup \\(F^* n\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fiat_categorification_of_the_symmetric_inverse_semigroup_%5C(IS_n%5C)_and_the_semigroup_%5C(F%5E*_n%5C)"}}}}}