{"entities":{"Q1899876":{"pageid":1910618,"ns":120,"title":"Item:Q1899876","lastrevid":71110647,"modified":"2026-04-13T19:32:45Z","type":"item","id":"Q1899876","labels":{"en":{"language":"en","value":"Quantaloids, enriched categories and automata theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 807879"}},"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":"Q1899876$00687093-25BF-46FB-A926-C852A5E0D89D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c59012fe868e110e6b0691573d2512ca236f2083","datavalue":{"value":{"text":"Quantaloids, enriched categories and automata theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899876$C3AB0B91-2FFB-4679-BEC6-E3BB451AE405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40811901ea4784708bd65e8872748e02eb55563e","datavalue":{"value":"0833.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$3D145BD6-C746-4E8E-BB8E-57B108614B50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b64ccfbc736ba2fd4a88a069375d95d0d1b270fa","datavalue":{"value":"10.1007/BF00878445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$5EA4B161-ADBE-42CE-A8FE-D440AE391481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$B41A66A7-28CE-4ADC-93ED-C93611AAD1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ea9b73e56331fa959af81c0395e4a2ba116b3ca","datavalue":{"value":{"time":"+1996-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899876$7CB40826-0574-451D-AFF6-43F40F2B387B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4e3d6e02ba8bed6323ce547f4376469526c06dc","datavalue":{"value":"Locales have been suggested as substitutes for topological spaces. Quantales provide one approach to ``non-commutative spaces''; but, as usual in non-commutative situations, it is natural to consider a ``several objects'' version (as \\textit{B. Mitchell} has considered additive categories, called ``ringoids'', instead of non-commutative rings). Quantaloids are themselves categories enriched in the monoidal category of sup-lattices, and yet they also can be used as base bicategories for enriching over. This survey paper avails itself of enriched category theory at both these levels to study its subject and its application to tree automata and context-free languages. It was Betti's work [cf. \\textit{R. Betti}, ``Automi e categorie chiuse'', Boll. Unione Mat. Ital., V. Ser., B 17, 44-58 (1980; Zbl 0456.18003)] on automata, boosted by Walters' identification of sheaves as enriched categories [cf. \\textit{R. F. C. Walters}, ``Sheaves on sites as Cauchy-complete categories'', J. Pure Appl. Algebra 24, 95-102 (1982; Zbl 0497.18016)] which attracted the development of enrichment over a base bicategory. It is interesting to see in this paper how that general develoment can be fed back to gain further insight on automata by guiding the formulation of precise definitions and concepts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$D1E71478-7506-4A0B-97E2-84ABF4A45DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$8D453BD2-D299-415A-A0FE-AB2115957E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$96ACECD7-99A9-460A-AF94-C32678C4FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$A6B7BF08-DD56-4360-A34C-9C072498123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$0E938BC5-F1B3-4637-8525-5BE1781E0818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$D7C4ECA6-599C-4F68-A684-9AB33F737D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6de4d966eb1c59c2a31939840f6266f7a3b7d2b","datavalue":{"value":"807879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899876$10A7F3CC-84E8-4DA2-ADE1-5A7C29FF2729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685cb1823a6fd266f737ed00314221dc509c4615","datavalue":{"value":"quantaloids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$CA1E806E-EBC2-4B91-B638-3F59B78521B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a77021b504e2d49176001a7202b1e0ff615e68","datavalue":{"value":"enriched categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$2E5DFA43-B812-4598-A568-2E6285D1DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb334cd29cfc90e840a6380261c560edc6a49f02","datavalue":{"value":"bicategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$9C32580D-5AA9-4408-9250-AC4D0E6E68B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$9455316A-71C8-4BFF-9416-BB10B622AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899876$2F431121-C8C6-4614-B083-E26F88D9C556","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c92b693bfa2825526c9b00cc869dd95b688677","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$B1C5E43C-2D5D-4A4E-A50B-F59601DD5A88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$E89D02F3-B2D7-4D8E-8914-C8F8423B0258","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":"Q1899876$EF891FCC-D05C-4BAD-9DBC-16D23437D1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$8E8DDCEB-7053-4AE3-A133-325BB47433EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b636d44191ccd04a6057439a93f6235f9c6b2dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3904750,"id":"Q3904750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$EB1454CE-D3C7-4276-90E2-8E935A2B5A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b76cc3011d765ba69fd710553691c2496aa55e","datavalue":{"value":{"entity-type":"item","numeric-id":3658172,"id":"Q3658172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$59C1AEB0-17B8-402C-84ED-3711B7D29BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c66eab52eb365f1c6b84f42110e0ce35d088250","datavalue":{"value":{"entity-type":"item","numeric-id":3961001,"id":"Q3961001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$5DF00019-77E2-4228-8DC3-780109FA97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef000f035c34fa6e0bd40cfb7b047568b0c5858e","datavalue":{"value":{"entity-type":"item","numeric-id":4721656,"id":"Q4721656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$3363F788-E2D4-4525-9E8D-703BC25010C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16eee42b31f6860ae37e25fda7a1f7544c5a1fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1061829,"id":"Q1061829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$0B2E7412-4A6D-4264-9980-C933DD132BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ac53e96e2af344c4747d359a3fa3cb372e6046","datavalue":{"value":{"entity-type":"item","numeric-id":1058586,"id":"Q1058586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$142C1FBA-A8EE-45A3-A8C3-44BDB0CAFEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6794d3d4f176929ccf1102c31809132328ef54f2","datavalue":{"value":{"entity-type":"item","numeric-id":1820858,"id":"Q1820858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$079861CF-C1B9-4650-9451-8C0EB2BB4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$6CC240ED-07A0-4FA7-8376-552A16D35C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2311d461f84f0b3be2db30252758168a03e2405","datavalue":{"value":{"entity-type":"item","numeric-id":3352996,"id":"Q3352996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$53761753-E29A-436B-A531-312C202C5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$5E8C2E43-C6C5-46D9-9F52-8871FE6A6223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712a6d76388d4ff138e2f0d1aa1289866cc74be3","datavalue":{"value":{"entity-type":"item","numeric-id":3667049,"id":"Q3667049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$FD2018A5-00D8-4B9B-926C-C3EB73C3829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7298af9ba8b951682f7032f3a10ed0a2befe25","datavalue":{"value":{"entity-type":"item","numeric-id":3028349,"id":"Q3028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$1B30EA3C-C05F-4E39-8F40-D0525ABB52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab15fba591f9fb3df9f5865f2b089888163e1502","datavalue":{"value":{"entity-type":"item","numeric-id":3978743,"id":"Q3978743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$9BD8FC5D-3FDB-479D-876F-E1D35257164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$4EBE6BA5-64F5-4579-97DB-BFF822131549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$67B4B99E-B59E-4982-A99C-97BE8DF3EF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$E32ECBDF-FBDF-4243-AC69-72985B635231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$04C8D93D-34F9-4B62-B2B0-8D6B0FB63B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$89D1E373-F01E-4A76-98AD-77329CFA5FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a9f8cc0d3535e9b48fe3f96e2beced526d6be6","datavalue":{"value":{"entity-type":"item","numeric-id":3755631,"id":"Q3755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$F9B9F719-305B-4BC6-A581-409B5E6C1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$21742CAB-41FF-46F8-AA84-C0B04F0470DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baefea3dd7497c52a399f9b225bc0c6fedf83407","datavalue":{"value":{"entity-type":"item","numeric-id":805732,"id":"Q805732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$0CC61B4A-668C-4B74-ACCC-4E0FDF7942AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c12e4acb74a77eeb68969ed2ff0ad374d617d0","datavalue":{"value":{"entity-type":"item","numeric-id":4006239,"id":"Q4006239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$9A5CA4F6-4223-40D3-A464-765BF7BF491F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc01190e16d8692e2b81f5c82d5c75f2aeb15df1","datavalue":{"value":{"entity-type":"item","numeric-id":1184038,"id":"Q1184038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$FA7F18EB-496F-4C9C-9D20-11072BF68233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0789cf67004ba4cccefc9f810099eff5b01f0da","datavalue":{"value":{"entity-type":"item","numeric-id":4285618,"id":"Q4285618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$4540363C-8F35-465F-A3EB-91ADE8ED623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee215c434e8b5042352533d056747808a5d09753","datavalue":{"value":{"entity-type":"item","numeric-id":4322430,"id":"Q4322430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$6E72CD08-9A2E-4134-BF3B-66CCF7F53E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f103bf19f98ddf120c93ad01051ecf5a2c64f71","datavalue":{"value":{"entity-type":"item","numeric-id":1345016,"id":"Q1345016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$5E0B333D-EF5F-4E07-89C6-8D3502E438EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1206ced8c3a6aa4db69f31a637ddf84ef9a766cb","datavalue":{"value":{"entity-type":"item","numeric-id":3035667,"id":"Q3035667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$BBEDFCCE-FC8D-4D89-95B7-D78FB54FD429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc83ffad6b4663692dca3e0aa4064ce03f3d012","datavalue":{"value":{"entity-type":"item","numeric-id":3324131,"id":"Q3324131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$9F4313A1-E616-4382-9396-35D6A46C3896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c5e78257ebf9674aebc49182143b4c67d8fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1170605,"id":"Q1170605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$93A766D3-6F5E-47D5-AEC0-40FFE8625EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149a2e8975897cd417ab7b81fea5bb8bb01559f7","datavalue":{"value":{"entity-type":"item","numeric-id":1825945,"id":"Q1825945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$9C309E48-7BD9-42B7-A64C-93DAD23E2B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86c13bb545aff6abed55b321b6b1419b715e72e","datavalue":{"value":{"entity-type":"item","numeric-id":1825946,"id":"Q1825946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$A15EA137-C98D-4665-A768-87211AEB5909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5352653fc1bbeda0848a74db0b3efde2878f496a","datavalue":{"value":{"entity-type":"item","numeric-id":4003856,"id":"Q4003856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899876$C0989D93-93AB-45C9-9BC1-5098DE7B747A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727c8f777b406ef913ccdbc37e3377c1c5cda48c","datavalue":{"value":{"entity-type":"item","numeric-id":4884543,"id":"Q4884543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf5daa4c0984e7a1dbbbf272ae3e5892d6136d1","datavalue":{"value":{"amount":"+0.8642151355743408","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":"Q1899876$2A34C5A5-7041-4E5C-B822-97267AAEA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653980dfe6b4fcca06a0c9da186c24e352fe8ede","datavalue":{"value":{"entity-type":"item","numeric-id":4721656,"id":"Q4721656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf5daa4c0984e7a1dbbbf272ae3e5892d6136d1","datavalue":{"value":{"amount":"+0.8642151355743408","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":"Q1899876$D0E2142E-D6DB-4DA4-B17C-10284C232A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735fe97c6b380b0ba10d3da0dac830653d4f233e","datavalue":{"value":{"entity-type":"item","numeric-id":805732,"id":"Q805732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47172fa786103ab8c44631f4a74337b122af5092","datavalue":{"value":{"amount":"+0.8184607625007629","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":"Q1899876$9C2B0A2B-0016-4294-9F0E-89F967494FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1fe777af6c4b2780398a56f20acebc637eb2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4680353,"id":"Q4680353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f918bb8c5c283ea025b6177b475dfeb1c4a1e3","datavalue":{"value":{"amount":"+0.7897472977638245","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":"Q1899876$9D6A40C4-2495-4E3C-9ADA-3171537E3C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d233cdedb0effc03fc7d8418f7bea0af4c45a98e","datavalue":{"value":{"entity-type":"item","numeric-id":3411948,"id":"Q3411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9528f4b3c954b3edd92824fcbd0988f58450b928","datavalue":{"value":{"amount":"+0.7819803953170776","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":"Q1899876$6E54D149-E540-48C6-B981-7C6ACA5C91CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantaloids, enriched categories and automata theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantaloids,_enriched_categories_and_automata_theory"}}}}}