{"entities":{"Q3093873":{"pageid":3104588,"ns":120,"title":"Item:Q3093873","lastrevid":51350405,"modified":"2026-01-17T21:14:12Z","type":"item","id":"Q3093873","labels":{"en":{"language":"en","value":"The strict \\(\\omega\\)-groupoid interpretation of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5960311"}},"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":"Q3093873$88EF4E97-5037-4571-9D53-262891843276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39f57afdf8f8ddf27d293f4af4b0c0bc7bc636cd","datavalue":{"value":"1243.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093873$501BE64B-AF71-4B9A-90FA-CB5550B1C12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093873$C3DC13ED-7DDF-4898-A53B-46E258AD75A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc8228c9b739de6d1cbb43cbfb98e408d97882c","datavalue":{"value":{"time":"+2011-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3093873$7FE92360-392B-4F92-B61E-13279FD22259","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093873$06CDBFB4-0FF1-4C65-9BE9-13E6DFCDA0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093873$41E0B176-7A2F-48EC-AD2A-B7BBAD7B6BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093873$94BBFDC2-E78D-4D6C-9359-3F98543CD6E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a2242c8dabf347d8d9788c141a7673558dfc6a4","datavalue":{"value":"5960311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093873$6D685A80-8CAF-41CA-8125-257C89231DB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093873$BF240DFA-BA70-479B-9E5F-900AAFE49B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f2c48cc32d0b599448d5400ee19560d1456e29","datavalue":{"value":"category of small groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093873$D4F0E67A-1A07-4B00-B8B3-A7FE5A83C289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47db1bed2a006cb70a8faed442d55cc221127b3","datavalue":{"value":"strict \\(\\omega\\)-groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093873$302F1737-8045-4F80-A4B5-2193C76EC734","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":"Q3093873$61D27407-AA8F-4A0D-A691-C1978242B76A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c753c57818e5fde1b499b1b30c6584f90e088370","datavalue":{"value":{"amount":"+0.8136641383171082","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":"Q3093873$41B97CDF-4E61-438A-A544-E921BCBF5458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd907cede99fcb05d765169f91944a60b7a643a7","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f797ea3dcec84336454c0e99d74cfa9ca45352b4","datavalue":{"value":{"amount":"+0.7937118411064148","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":"Q3093873$11F46B66-CF01-4325-B253-BDD6EFF46168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfa1d33d551d229eacbcd44b0ecc9b32ecbf7cb","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5c5a3f80500c3ffb69a2923459dc74914bf3f4","datavalue":{"value":{"amount":"+0.7929703593254089","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":"Q3093873$2CFBCAE9-C86C-447A-BCA2-40EDC47E4B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf59ef818bea31f8c34a8f3d26707efece72f62","datavalue":{"value":{"entity-type":"item","numeric-id":5084306,"id":"Q5084306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0e7e83b0308400919aa928a9100f2ac47df0b1","datavalue":{"value":{"amount":"+0.7654761672019958","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":"Q3093873$1A16386F-5061-46DF-B4F0-C0F988A11362","rank":"normal"},{"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":"9484a9fa6b53a7ab0c65c0c6ce983e0acafa5696","datavalue":{"value":{"amount":"+0.7597178816795349","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":"Q3093873$F87E99AB-9576-4F19-8D73-6F5F76E854A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3093873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3093873"}}}}}