{"entities":{"Q4635917":{"pageid":6665498,"ns":120,"title":"Item:Q4635917","lastrevid":58314273,"modified":"2026-04-04T16:41:50Z","type":"item","id":"Q4635917","labels":{"en":{"language":"en","value":"A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863526"}},"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":"Q4635917$5904D438-98E1-4621-9009-D927D71F88AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00b98dcafe08bd6e56aad93c760106efe659e2f2","datavalue":{"value":{"text":"A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635917$38C8E931-BF65-41F1-8727-816D4AB8F06C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d3a68a0fc9d93efd43ef94bd672d30e423725c","datavalue":{"value":"1395.55011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$38277191-CDB5-423A-8960-D8F6B67F194A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c644b8953ad6ef8a521ed20879daddf6b14fb28","datavalue":{"value":"10.1145/2933575.2934545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$A9F75DC5-A1B1-45DC-8C6B-ABC04F766A43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7118a1e92cee8cb7e3aa11ddfd0cf2db2221cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4635916,"id":"Q4635916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635917$3BFB19DA-2782-4561-B05D-BF91CFFFFEE2","rank":"normal"},{"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":"Q4635917$6EA3C4A1-6901-4371-9194-56508B20015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635917$D23504FD-0CFE-4C16-9462-BE3521124B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635917$96E6F4D4-9ADB-4DD8-A301-6964CACA4A58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635917$590E85D0-F142-40C9-8A2A-C21FEF71001A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635917$734F971D-448D-496A-BCE2-AADE15E81BD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e572677d9a542804b5a442bbfeb1c24a406a0a29","datavalue":{"value":"https://arxiv.org/abs/1605.03227","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635917$FD1865B2-96CD-4EEE-8149-6B1F8B961812","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fcffa45a9a315d4f41d84082f273439b9134c19","datavalue":{"value":"55P35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$C2E6EB39-2395-44D3-8E49-F3FE668B3206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$A95C2BD1-17DA-49CE-A58C-2175B812307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$0B71DEB4-1509-4759-B9AA-D8BB4D38048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"812aee5a9fdebd55ccdd5d506dbb992170159d34","datavalue":{"value":"55P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$D80762F5-D100-4A1F-AA14-61D3BE22FF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$DADAADB4-DCFC-4627-9E90-57BD06234B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29295df19692f33ff39d57ea7b1a77c05dffbe4","datavalue":{"value":"6863526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$E93E70FA-E11A-49C8-84FE-082A3CE6233B","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":"Q4635917$CF59144A-9F5F-4143-8352-2A11B0E11FB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6580b211c0f913b4504b338db248707d8143ee53","datavalue":{"value":"W2963228298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635917$8806DCCD-6D07-419B-A5DA-BC575CD2112A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00569249ce842f3fc26a234598fd808f2224e396","datavalue":{"value":{"entity-type":"item","numeric-id":5278408,"id":"Q5278408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d494cb43dfabe6bb3ca6e31b6560bdaa769bacb","datavalue":{"value":{"amount":"+0.7849813103675842","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":"Q4635917$A69097C0-4216-4502-9E5D-032045D162E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ce013aaa0db8d99604202f217a0f2a9ccd3b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5126439,"id":"Q5126439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0938aeebc405c801a9af03f9946c0989fcafa5c6","datavalue":{"value":{"amount":"+0.7601818442344666","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":"Q4635917$BBD517DC-B8F0-4F7C-B85E-66388DAB8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c45469826c4e345404ef19c93893be24c94396","datavalue":{"value":{"entity-type":"item","numeric-id":740183,"id":"Q740183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a07ae12a8c8e7d86e1e83dd4b2d8a0dc32baa28","datavalue":{"value":{"amount":"+0.7588361501693726","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":"Q4635917$4FDD2823-F2F5-405B-B55A-AA19FC466318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acf841d26e9ea58aed4646059df1014d3f65d19","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a49484b0a6c3c2d1b09cdbf70f82c6e2584c5b","datavalue":{"value":{"amount":"+0.7556337714195251","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":"Q4635917$D4516430-470D-462A-945C-94531CC9477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cb7e4ff1e329ad93839294566dd2c1fad83545","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eb34845074840478d8e7de76c9a3ea65d7e9fb","datavalue":{"value":{"amount":"+0.7519935965538025","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":"Q4635917$084E3FB0-B219-43C8-9DC5-C1D84E8D3379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635917"}}}}}