{"entities":{"Q2102935":{"pageid":2113678,"ns":120,"title":"Item:Q2102935","lastrevid":47787175,"modified":"2026-01-02T16:54:13Z","type":"item","id":"Q2102935","labels":{"en":{"language":"en","value":"Fast left Kan extensions using the chase"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632092"}},"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":"Q2102935$1E942608-CA59-4F96-85FF-F190767D3C7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3f2fbbba46df717a6191ed18233e3fa113b5097","datavalue":{"value":{"text":"Fast left Kan extensions using the chase","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102935$102B2E1B-6403-40F2-903A-6145E176737A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97965664a3b61ee0d00ae23ef1df08604ca5e16c","datavalue":{"value":{"entity-type":"item","numeric-id":2102934,"id":"Q2102934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$B8029EAF-1CBB-44CF-B4D8-0E2CFA520C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fbbf69258f6d48525479abc15deea1d10693da4","datavalue":{"value":{"entity-type":"item","numeric-id":618739,"id":"Q618739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$73D928B8-3F02-4DA2-8F30-2F200924D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa9d25d4099917aaf828811c00c1624c46c9480","datavalue":{"value":{"entity-type":"item","numeric-id":617976,"id":"Q617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$6F3A2516-CA99-4AE2-A8B3-6201E7CF17DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$900F043B-363F-4C6E-8D90-F448EB73B39C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102935$42783F42-F0C9-40CB-9C6B-F7D577E44ECC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f4dd89a3d5249c116eb1d512bdbed4b59e29d19","datavalue":{"value":"https://arxiv.org/abs/2205.02425","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102935$5D407D58-16CF-453C-8166-D897255AD832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102935$96D213E7-3217-4682-83E0-41AD8FAA4C1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3210c2e9905e8f2b8827205efcac4efbbf5d5c2","datavalue":{"value":"7632092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102935$5B65DE92-DCCF-4EF7-A475-EE7B1DC13405","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5547fcef639f9e3cfa74d788cbcfa6efc83a1886","datavalue":{"value":"computational category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$3335F03B-9A95-40E9-8FA7-164345A79A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccaba84e5a359375b283a4be5ecf6758d22653be","datavalue":{"value":"left Kan extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$F5D51F5B-32F3-4B5E-94A9-2684C79F205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9509dc59970cee44ba1ecaa90ed498f2dd34529","datavalue":{"value":"the chase","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$ABEF8315-19D2-49DF-9640-7080B7ADAC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f075f22deec1c807a620fbb5cbeb71014584e209","datavalue":{"value":"data migration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$252C721D-5E1F-4C64-BA93-7D4AF0B4F799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca17593c0eb85c92f41d0c2a83b2c48d84b2fa1","datavalue":{"value":"data integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$B02D3C94-D4BA-45D6-8B40-D72D4227B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cfc2448c6fcaecd22d0dba23987106164f7e975","datavalue":{"value":"lifting problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$D4533210-24C2-4EDE-BE28-1E5B0AD31204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd8af3c29696b738fd9091e93997ad95664f1fa","datavalue":{"value":"regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$303B0218-7803-42EF-914C-7F97F9E6E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1727349fc514a26607837549dbdb4eef052bc1df","datavalue":{"value":"existential Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$7BBE1FEE-EFE6-49BC-BC34-B0B434BB6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"833f2390e62c97d2d80c6c5297ec84c302c0534d","datavalue":{"value":"Datalog-E","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$668AB789-3A6D-41EC-BF98-D6DC6A09AE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102935$6CFED72B-D340-4F50-BEAA-2BEBD4ED8E2F","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":"Q2102935$D2E74366-3058-4525-9F62-47A3E05984E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a7fa9f1e3cd15b3a662a71b40bedfb8bc8a7232","datavalue":{"value":"W4283829443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102935$A64A4D57-7515-47F6-97F2-C88E423B7394","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$07307C06-C486-4236-A2BE-86D8F479E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$2C705078-9AFB-4DA3-9B01-0AB813305C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$5776FBBC-2AA2-4C4D-AD25-C8A02BACBD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$3725A88D-D3C5-49FB-8C7A-9E448B631585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$9EC11DB5-6A87-48BA-B008-29E936CEC5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9b9f4583d8283df21ca73a906d9fc22f2997ba","datavalue":{"value":{"entity-type":"item","numeric-id":1333335,"id":"Q1333335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$29CB6D66-40AB-4A02-B6AA-4968F11B86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6053eb22764f67d3d4134eacfde50e305f8c489","datavalue":{"value":{"entity-type":"item","numeric-id":1426132,"id":"Q1426132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$91B2150B-37E6-4AE7-ACC6-43320E73A87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb77c8843a0fbe3079ef695e24d426605eab807","datavalue":{"value":{"entity-type":"item","numeric-id":1904139,"id":"Q1904139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$5F03A52B-B66C-4FD7-8FE6-F100BE024152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb06dadaba8cfd1739dd75cf6501164e102a2664","datavalue":{"value":{"entity-type":"item","numeric-id":3978969,"id":"Q3978969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$13568D71-F86B-49BD-9477-456A3EB90CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f001a733463df25e8c1fb7f2ac708a1de1d01d76","datavalue":{"value":{"entity-type":"item","numeric-id":2445288,"id":"Q2445288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$EBD47894-1D78-4B95-A322-E29AC6B20552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec4be332633370dba051dd5911d53cf54c82e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3549128,"id":"Q3549128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$DB1D75C4-0522-4248-A016-C2F0E90EB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0276781e145b53eadab474fc79da14a1d32ddddf","datavalue":{"value":{"entity-type":"item","numeric-id":5891786,"id":"Q5891786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$701456B4-62F8-4F82-9E3C-BC134A74F261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931977f46558fab6104c8d23e3756dde80f54126","datavalue":{"value":{"entity-type":"item","numeric-id":904009,"id":"Q904009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$A90CFE5C-030B-441C-A748-2EA1F2C8F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$666D7C1F-BC58-4D66-8C48-C1221D757123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ca86fb4a46ee9eb81b7d5e5fa4edbab1d224a8","datavalue":{"value":{"entity-type":"item","numeric-id":2543466,"id":"Q2543466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$E0D1C4ED-B76C-4B58-A982-D83B55B23838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$979C2732-CCFE-4266-8C1C-537F9E44C930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$03CE77FF-46A2-4AE5-9DEB-17989D3E94BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$0892BE85-2DB0-4130-B48F-8FAA44FEE093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5c5d8d84c12d0245bf01d8d364139588628e89","datavalue":{"value":{"entity-type":"item","numeric-id":5411256,"id":"Q5411256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$98419FE2-1E8E-4851-A128-5E168A1BB18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9433b77fd67c96fab7c401e42c7a40799c3264d","datavalue":{"value":{"entity-type":"item","numeric-id":2829627,"id":"Q2829627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$1DEC1878-B1FF-434E-A84C-ABAB18265DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2feaff169505f72e60416b25f7ae0f02b20e87a","datavalue":{"value":{"entity-type":"item","numeric-id":2981748,"id":"Q2981748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$2D5A4F0A-496D-4024-BCBB-A24958081477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6392e81898bba9494f5b1e15bafa5773c9d2b00c","datavalue":{"value":{"entity-type":"item","numeric-id":5208499,"id":"Q5208499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$8B654436-D692-4DF5-874E-0AA2DEBA350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43993172b468fda334ce51abc509135b6ad965c8","datavalue":{"value":{"entity-type":"item","numeric-id":4577809,"id":"Q4577809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$FABDE58E-145D-4E20-97D8-9AA03BF23B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69456315ca8f477f1f5f7a31ac34311dfad8155","datavalue":{"value":{"entity-type":"item","numeric-id":5740402,"id":"Q5740402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102935$B4667EE1-D67A-47C2-AFE7-6F0D67278A04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c841484221d7a6cf4b639002dfe827fcd8135fbd","datavalue":{"value":"10.1007/S10817-022-09634-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102935$30FE3061-1C83-4F36-AD6D-524D87AA294F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad198d59bddfefb4323c247e657829c34424b48","datavalue":{"value":{"entity-type":"item","numeric-id":4843624,"id":"Q4843624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45cfb23c631dfa9f3c7cf3dc7ba7d40464dd6fb","datavalue":{"value":{"amount":"+0.7650624513626099","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":"Q2102935$F973814B-1CF1-4502-8399-69DEE93835CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b057270462ecbea21c0514dad2fde4bb905b46cc","datavalue":{"value":{"entity-type":"item","numeric-id":2908573,"id":"Q2908573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45cfb23c631dfa9f3c7cf3dc7ba7d40464dd6fb","datavalue":{"value":{"amount":"+0.7650624513626099","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":"Q2102935$CF464155-0521-43FF-B11F-25CA27BA3F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31bc7c4efa67c3bc725032d8314b125a0ed18f8","datavalue":{"value":{"entity-type":"item","numeric-id":2156417,"id":"Q2156417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b71c0c119d454b1c01ed8376d5139be6cf8048","datavalue":{"value":{"amount":"+0.7334610819816589","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":"Q2102935$670E7841-380A-433C-9FEB-AE1592EFD738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6591ae91259218559ce274c821434ad927a79378","datavalue":{"value":{"entity-type":"item","numeric-id":3978969,"id":"Q3978969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f649e0ef9c292921bfcad2fad02c3af5935e01f","datavalue":{"value":{"amount":"+0.7222450971603394","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":"Q2102935$27BAAC73-69B1-4FFE-92C4-EF0691497E14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102935"}}}}}