{"entities":{"Q283766":{"pageid":285533,"ns":120,"title":"Item:Q283766","lastrevid":60691293,"modified":"2026-04-10T18:33:06Z","type":"item","id":"Q283766","labels":{"en":{"language":"en","value":"Canonicity of weak \\(\\omega\\)-groupoid laws using parametricity theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580860"}},"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":"Q283766$B245B63F-FCDF-4EFD-BDF3-965290998B3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a030ef96970488f434cce6ad9adbf4911d416b44","datavalue":{"value":{"text":"Canonicity of weak \\(\\omega\\)-groupoid laws using parametricity theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283766$E87454DD-62E8-41B2-B8E8-152A5A1F8C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"551eb1e8e1ece515453e11a60e86d9f32820539e","datavalue":{"value":"1337.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$FFB1EA26-CA89-4697-8BBD-43B6455D1C44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28e4cb3fd4ccb8acd371da62d132ddb40e7ff41","datavalue":{"value":{"entity-type":"item","numeric-id":283744,"id":"Q283744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$32196C89-49A7-4ECC-AD5F-4B9EC70C6DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283766$9B29DA24-8955-44E9-9435-116E6C77B0DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$47B9F1A1-C664-46B2-9DE2-F8F3E936497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$F25E65DE-737D-469F-ADCF-64E7CB0B0A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$EE0C79C9-98E2-41D8-B308-BC8B375C94DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc8610fe5302a338b1b6b3c72b56dfaeb408ded0","datavalue":{"value":"6580860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$5C5E7557-F1FC-4A81-A734-D9C75393D791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q283766$EAB68142-0959-483A-9E87-290F249CB27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q283766$899739C8-C789-4F0B-A1FC-389EE12C93F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46de9ed2b147910cdd3bdcb8038cadb368a68565","datavalue":{"value":"loop spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q283766$BDC77120-ACA8-4F6C-AC87-CE3AC85CCD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q283766$31C97E21-70D9-412E-B6E0-2B65714894D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7b45a4a1edbeb4c9f7bae8234defdd2e485bdf","datavalue":{"value":"identity types","type":"string"},"datatype":"string"},"type":"statement","id":"Q283766$0076CF83-D5E7-4437-9CFA-CCC17C385721","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c06e0a3e6c90251e35bfd73cf2b9ba36ebd8e734","datavalue":{"value":"Q113317841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$2B584C70-F432-4B4E-B1A4-5A758D6C7BD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$EC4483AE-35C9-44AB-872C-1E445FAFF7DA","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":"Q283766$D1E9314A-CE34-4E89-8A76-7672D52CCE2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eb6a0b657003495c7761dffc6d433434e0da3f4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q283766$3CCBF500-8709-4805-85A2-E9DBA0A93F75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff2dd60376fc96a4880c7c11ab33b74cfc55dc1","datavalue":{"value":"W2036487200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$36D38B73-0CC9-4265-AF86-1986ECF86006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$1519DFDB-A528-4D9A-8E14-186BFF1F6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$254555E2-D5F6-4863-8A6F-AAEB801A443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2773479012cc272f13c09b49bba269aa6bb02405","datavalue":{"value":{"entity-type":"item","numeric-id":3637194,"id":"Q3637194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$1DF72ECF-208E-41A7-B15E-9B040ECD9C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$7CFC56E7-CC74-4064-BF22-C19FF31706CA","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":"Q283766$B9188D4B-F5F7-4EC4-9C2F-54993194B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283766$10401852-63D9-4FEE-AB8B-BC0E0A660EDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d79e25552b3e2c3559323c7cf8d4fdbcd4a2a7eb","datavalue":{"value":"10.1016/J.ENTCS.2014.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283766$332F85EF-29AE-46B1-B9BC-32F3A175B635","rank":"normal"}],"P1643":[{"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":"521cc9b51d8f8686cc97899272c89846f55e35cd","datavalue":{"value":{"amount":"+0.7941492795944214","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":"Q283766$E5E0BAB6-CF97-4FE0-BE4B-B0B23BC3DC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5630c0d64d652235db02577c863c7a557d399a2","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2685933502664648edb22cce9d99416f55026858","datavalue":{"value":{"amount":"+0.7937074899673462","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":"Q283766$A4B12FD6-CAB6-4190-B4D1-A51490A093BC","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":"713c34459f91007e13377b2aff91d27d6321bbdb","datavalue":{"value":{"amount":"+0.7723512053489685","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":"Q283766$228721A3-0C45-4A9E-8714-BE4A80D6BFE1","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":"9c5a3712e03b034d9777c753c1490f704a60d584","datavalue":{"value":{"amount":"+0.7436525821685791","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":"Q283766$B8C24DA8-5597-408B-830A-B57C2B554EAE","rank":"normal"},{"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":"b4e943a89f90b29a822eea460e84ce3e33e47fe4","datavalue":{"value":{"amount":"+0.7251632213592529","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":"Q283766$02253473-E2A7-4B52-A4A3-5EC8D30846E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonicity of weak \\(\\omega\\)-groupoid laws using parametricity theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonicity_of_weak_%5C(%5Comega%5C)-groupoid_laws_using_parametricity_theory"}}}}}