{"entities":{"Q3079518":{"pageid":3090234,"ns":120,"title":"Item:Q3079518","lastrevid":58113699,"modified":"2026-04-03T20:53:27Z","type":"item","id":"Q3079518","labels":{"en":{"language":"en","value":"Types are weak \\(\\omega \\)-groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5859683"}},"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":"Q3079518$47CC8F3F-F20E-4D90-8B53-01B97F34F701","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b004108cf9b704a74eaae8cb784748e68c689aca","datavalue":{"value":{"text":"Types are weak <i>\u03c9</i> -groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079518$57F3DACF-36DC-41FA-BBA2-1B9515EBD272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c571a08f386d00275b79c033d77e881ab0e38057","datavalue":{"value":"1229.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$8521C474-1F54-4E68-A547-E2FEE13905A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079518$ED5CD7D1-9018-4E44-9217-105819847562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079518$4053BE67-6218-4D38-87D3-7CF7C64195FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079518$96D5B3B8-DE57-480C-A147-77B0F989B785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09b533463020248dec48904871d03ce0d378b98c","datavalue":{"value":{"time":"+2011-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079518$5F12AED6-158C-4A67-A98C-45C03C60519C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"692c1d77961f7558708b3cd14128471714cbb272","datavalue":{"value":"https://arxiv.org/abs/0812.0298","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079518$8780A524-FEEB-4ECF-BDB3-1B6CAAE01FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$852FF0E8-BDF6-436B-A5D2-5A76F6828F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$E41508D1-19D0-40BE-8056-3F1C406B2E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$1666EA55-0048-47BA-B65E-BF2F4CCBCF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04b2dae597d6e84c0f1b4b7408527c705b34568a","datavalue":{"value":"5859683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$86372322-B20E-4DAE-872D-60A3861E776E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dff8de0e467a10f0e9cd767500de2299ca59f1","datavalue":{"value":"\\(\\omega \\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079518$ED20F88D-BAAB-4D9D-8A7D-99104A6377F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079518$94C8986B-8BC5-46D2-8A06-9293C4BA3312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4afee6072114afa098672fb4d8cb85a950142c50","datavalue":{"value":"\\(\\omega \\)-groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079518$EB4783AB-E2B7-4C3F-9F25-EEE83AA5A47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"555826e09474835a3b8deafdcdf0f37cbb8fc13a","datavalue":{"value":"identity type category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079518$92F1F65C-2C02-4219-9F2C-5E8151B77EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ec53bf1f68a9db9fc24ef73ad6b4226aedb12e","datavalue":{"value":"globular","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079518$6FE40688-8DE6-4638-A107-AECA917911F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a6c0fa47ad6686d91c093ded89f11aa92ff0e11","datavalue":{"value":"Q59757172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$63C9AF5C-EBFE-4639-B864-A47D231785B2","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":"Q3079518$377FEFB4-E580-41AE-AB88-E288B97DB620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e36df4dd444c9a23d57810de68692b652b5c89a","datavalue":{"value":"W3100912421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$CEEE5367-6751-49D9-AF0D-EA42274A1843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23067dcb151357cf3df203cc8a4d85c4a83951db","datavalue":{"value":"10.1112/PLMS/PDQ026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079518$F7CAF513-D45D-4A94-B4E0-7850E4903CD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c42de78090f2daa21a79bfd838a3a39c79ff434","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7075e4c9752d868e9a060170fa6d74805948398a","datavalue":{"value":{"amount":"+0.8824576735496521","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":"Q3079518$E66EBA91-547F-4AED-B7D5-15278D0FB9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090515f2a2d94ceceba2d32c958385b36b685e26","datavalue":{"value":{"entity-type":"item","numeric-id":283766,"id":"Q283766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e5548260c2c3a79fbf7a08b9c12f192853e7d0","datavalue":{"value":{"amount":"+0.8725228309631348","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":"Q3079518$0586441B-A054-471D-A3AD-E04E2EAD4AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79b722ea90aab36f61f2aa04e9519d48b769557","datavalue":{"value":{"entity-type":"item","numeric-id":3637194,"id":"Q3637194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d376b53267404edbd1c5017e21ab267dc46c92f5","datavalue":{"value":{"amount":"+0.8583988547325134","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":"Q3079518$2C95361B-9896-48E0-AA5E-294E5BC22279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3785f6641bf5329b7361766998a822858a7156a","datavalue":{"value":{"entity-type":"item","numeric-id":5144671,"id":"Q5144671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd5a6397585affe8f5cebe5cfeb0d3390573969","datavalue":{"value":{"amount":"+0.8305687308311462","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":"Q3079518$9A457AE1-7D15-4E1B-BE9A-D306D4BBD371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94186da4403ee8117b593c39f36cde425884c59b","datavalue":{"value":{"entity-type":"item","numeric-id":4649535,"id":"Q4649535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9c528408e74881ad22ff7d561f97d440de0aed","datavalue":{"value":{"amount":"+0.8240873217582703","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":"Q3079518$27D6219B-8851-434E-80D7-789AA65E832F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079518"}}}}}