{"entities":{"Q6653748":{"pageid":14264905,"ns":120,"title":"Item:Q6653748","lastrevid":103710932,"modified":"2026-06-06T07:58:03Z","type":"item","id":"Q6653748","labels":{"en":{"language":"en","value":"A Cartesian bicategory of polynomial functors in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959045"}},"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":"Q6653748$F8A69EC4-8389-4F7B-B0DD-F56EAA463888","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60988b73147ea73eee7c0eedf81132002caa898b","datavalue":{"value":{"text":"A Cartesian bicategory of polynomial functors in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653748$41B5284E-FE23-459D-8B50-8D76E62C5E4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797849c1a1820468428720423770d974e7666242","datavalue":{"value":{"entity-type":"item","numeric-id":2125993,"id":"Q2125993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$8FAB405A-9F22-48CD-BACA-923CC8FBE6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$C08956E7-404B-4C39-A6DE-E6FD96CB0EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"951274469bdeb82f4554be2b0e34a39f11f49c03","datavalue":{"value":{"entity-type":"item","numeric-id":502627,"id":"Q502627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$73A7F04C-8315-4930-B125-358C34E82CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e6a97c82f2e4ea90a1b0a56630db5370d962b35","datavalue":{"value":{"entity-type":"item","numeric-id":276247,"id":"Q276247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$EA2A73A8-BD57-4163-A3B7-B1AA5CB7B7D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653748$FAD55861-CEA5-4C60-B267-C01462628110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5b1504fc27514bbb1f6781dd7cf62c90f73732","datavalue":{"value":"18N70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653748$7876E07D-107E-43C4-BE8C-9351756C903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653748$88B69531-0EE4-4AF0-8D8B-0DA0A6C7027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653748$C01A082E-009D-4ADF-802C-F35A45C0D8A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b015694f0c51cc84bcbffd5853664546948293a","datavalue":{"value":"7959045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653748$73C4C537-D222-4DA4-A959-32BC27431188","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":"Q6653748$D16EFE96-03E1-4791-80E4-9ADCF80C21BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f02647e42250ea7ca89d88531bde7215d50f56c","datavalue":{"value":{"entity-type":"item","numeric-id":5089004,"id":"Q5089004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$FBCCB271-3CCC-46E6-AE82-08F5E6CB5444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$72CDA72D-BD0D-45B5-BBC2-DD33B4F6406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1da24acf3b5ee71faa6dcac0706ae2aeff6d11","datavalue":{"value":{"entity-type":"item","numeric-id":5145623,"id":"Q5145623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$E5E60397-85C2-4A05-A445-D4821C3E2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc35bfb756428a7caf90587337a06303fea91d8","datavalue":{"value":{"entity-type":"item","numeric-id":2253181,"id":"Q2253181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$E231B33C-EEC8-4CBD-836A-278CC4F77B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e101f99d8df501799485767820f62bf4e7f7332","datavalue":{"value":{"entity-type":"item","numeric-id":5450620,"id":"Q5450620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$C0831275-133E-41F5-AED2-A8F9A163590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b9f3a81f1ec2c628408a6b6ddb5ffae6f4841a","datavalue":{"value":{"entity-type":"item","numeric-id":3612629,"id":"Q3612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$DD2E2B69-5FC0-4B76-95B3-0ED56CDB3E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$BE8080B2-ED47-41F7-BDBF-0C0756EC420D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$5C2AC5AC-24AA-4F52-92A1-21D61E2C2085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0b8f9a18ca9554c8ac1d74703fbb235393e5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5958294,"id":"Q5958294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$8FBC9B12-8860-43D6-BC03-95EDDBCC0858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175a85b41b560e0fe32fa447d8bc569d138a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3178294,"id":"Q3178294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$4408EAA1-0574-416E-B1E3-1A1BAC27AB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7250867e7d0cf4190116ffe04a362f7b43129958","datavalue":{"value":{"entity-type":"item","numeric-id":984889,"id":"Q984889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$93251F0A-BE89-4552-BEE2-BCFB0FCB9FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a293761f357c7c24f5a1aa14e7be5a02e36b4187","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$4BC52145-9855-4B5C-AB00-B2FFA12C768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63696d3407086ff2f28da0e8d488b8120bc46349","datavalue":{"value":{"entity-type":"item","numeric-id":5096259,"id":"Q5096259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$71B95A2A-3092-4D3E-B2FD-A13A14C7AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$98F353BD-D556-4B1E-9074-0E14A76C2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b5714fbc095d4c4237acc295da29837821850e","datavalue":{"value":{"entity-type":"item","numeric-id":5261927,"id":"Q5261927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653748$ACBF6485-C184-4915-A9B2-0C4734710E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e710c0aedd5dc1a07b5483b0f2cd72b3a0601602","datavalue":{"value":"10.4204/EPTCS.351.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653748$B9FB05EA-FE2B-4755-9515-D22F00915FFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783be7b38120ac65db99667fc8768b5d0b843806","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04fa72dbc4c5fcab2841f2128e645fe952ac0dc","datavalue":{"value":{"amount":"+0.7994418740272522","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":"Q6653748$301B628C-5016-4DDE-BE67-E5FF0ACFD557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3658c9de23eccc71945334f8587008bd3ec98313","datavalue":{"value":{"entity-type":"item","numeric-id":3178294,"id":"Q3178294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da0f8a5c7c8c7b244036b6e871f324490e88648","datavalue":{"value":{"amount":"+0.7849782705307007","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":"Q6653748$A7BA8C24-5D15-42CF-9F46-1E230FB77906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebab98b8c6000fcffb4621b6b144d2e1964306a0","datavalue":{"value":{"entity-type":"item","numeric-id":5261927,"id":"Q5261927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267879fd0ab4e0a7f51eefc33c8fceda24b10cf","datavalue":{"value":{"amount":"+0.7643205523490906","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":"Q6653748$15A61125-7D37-4CA1-9A25-9256B80B1C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4da7bd609150be330f826f4b0b23cf7f3c466a8","datavalue":{"value":{"entity-type":"item","numeric-id":2421332,"id":"Q2421332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebc3cdae758e1cc0c3ce09bcbb39436563b27dd","datavalue":{"value":{"amount":"+0.7533520460128784","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":"Q6653748$0408ACF7-A113-4FF8-A96B-3AEDB65BF0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acff95aaecb2b668a17f16801cce5df20d31b8c","datavalue":{"value":{"entity-type":"item","numeric-id":4555336,"id":"Q4555336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f54820c8787045ba3ff9c4cb6a8cb68a7c371d3","datavalue":{"value":{"amount":"+0.7487601637840271","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":"Q6653748$8A9A99F3-A629-4B6A-88B3-57225AA534BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Cartesian bicategory of polynomial functors in homotopy type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Cartesian_bicategory_of_polynomial_functors_in_homotopy_type_theory"}}}}}