{"entities":{"Q6124947":{"pageid":13259254,"ns":120,"title":"Item:Q6124947","lastrevid":58702758,"modified":"2026-04-06T09:42:40Z","type":"item","id":"Q6124947","labels":{"en":{"language":"en","value":"An internal language for categories enriched over generalised metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830372"}},"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":"Q6124947$843C73F1-78C2-42CF-9205-9B7D47A265A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124947$5E5F9E20-AD78-4E8F-82BC-0C87C7BBB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4dc930638fdc7f7582e64e1732a369265c010e","datavalue":{"value":{"entity-type":"item","numeric-id":1786566,"id":"Q1786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124947$CD8171BC-60A0-4CAA-A3C4-4F603BB0BB1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124947$D8AE90BE-B719-4EB1-AA77-FF54FEF5BBF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdcd47784e79c4dd57260ca365cf12418505eda8","datavalue":{"value":"https://arxiv.org/abs/2105.08473","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124947$052CAABB-E1CC-47A8-B2AF-8F478F4B7C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124947$264E67CE-D2A1-4C36-8E06-C9120DE615F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49edc74c2c50903f49f51210049259da600823fa","datavalue":{"value":"7830372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124947$F17DF832-F4E8-4F1D-A8C1-FA8102FE1143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124947$5E945BC5-7B9C-4E0B-9990-DB3B0A478FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124947$97BA80D3-9FB5-438E-B393-59827B5F8797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7e4b7b91f62d5c3b3238d91c8822a8eebd1c72","datavalue":{"value":"quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124947$A4DBA105-FBA0-4D1E-A1D5-D765CCA91C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124947$734DD42A-97F7-4F63-AA72-5426A7BD7B3E","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":"Q6124947$9EF6AA03-0CE5-45B2-A7CB-B73AEEA02F5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a1e185d3aa9f48421fcac9e74262c34c397e0f","datavalue":{"value":"10.4230/LIPICS.CSL.2022.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124947$F52BD9B3-D8CC-43CB-9173-2921EA03AB83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cc7eae21928e7df41e64fdab9db8330ec7262","datavalue":{"value":{"entity-type":"item","numeric-id":5074667,"id":"Q5074667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5741c28bffdb8d6e95c8902dddf52d0379e3e9f3","datavalue":{"value":{"amount":"+0.7481580972671509","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":"Q6124947$E29F57E1-E623-48CF-92C6-6D2A0AAC0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc62dcd1a84776947ad6b0ee51999b2483d720","datavalue":{"value":{"entity-type":"item","numeric-id":1391864,"id":"Q1391864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3816a50cdcbc348d2f12a37616db8597f5580d6","datavalue":{"value":{"amount":"+0.7480044364929199","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":"Q6124947$6330E564-2AB8-4925-A5D4-10BC8CCC076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7091041be7329141531132ce4d346b447693b6","datavalue":{"value":{"entity-type":"item","numeric-id":5076388,"id":"Q5076388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005913728be95e596d518d6c6703572f764194fb","datavalue":{"value":{"amount":"+0.7402060627937317","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":"Q6124947$DB3EB5A4-D65C-4907-A37A-2D96BA6205E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7833bb0ac3837d346692405d6da087b1028137","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5edf471dffed8149d5fd2e2353283468f5b1a8","datavalue":{"value":{"amount":"+0.7287095785140991","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":"Q6124947$A211BF5E-B464-4CB1-B254-26A20679730D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6124947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6124947"}}}}}