{"entities":{"Q4635651":{"pageid":6665232,"ns":120,"title":"Item:Q4635651","lastrevid":53070365,"modified":"2026-01-24T04:10:29Z","type":"item","id":"Q4635651","labels":{"en":{"language":"en","value":"Eilenberg-MacLane spaces in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863124"}},"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":"Q4635651$2C983DFE-F74B-4674-BC77-6180D0CD3B35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4d1eaabc07b79deab0997b1fbfb27b217a254e","datavalue":{"value":{"text":"Eilenberg-MacLane spaces in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635651$DB141C3D-7654-4111-918D-C14A281F1D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c82ad7730e992676d40269fdcfb906aa938911f2","datavalue":{"value":"1395.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$8707CC0F-18C2-4001-906E-DAF1FC3E9913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82791e537da1b6b2709e49d0b3f6e13d039ecda2","datavalue":{"value":"10.1145/2603088.2603153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$512735D3-AD8E-4EF2-9BEA-9FF71396144A","rank":"normal"}],"P16":[{"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":"Q4635651$856678F3-65FF-4A77-B15D-7F3E2BB92188","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":"Q4635651$B6E20262-3CC0-4877-9382-BCF8046B49A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635651$4FA550DE-89C4-4278-A79F-7A35E7E77592","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":"Q4635651$8450D491-0CDE-45E5-8C76-5A5C9C3F8D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$C4B00D9E-D11C-4324-8595-3DA2246CA3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$924E925E-F579-4650-8B37-70BB1D7D8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c787465e34a9ae425051cf2496eb73adea59b799","datavalue":{"value":"55P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$6DF1F3FB-7DEC-4D21-B932-304EEC6ACF0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73045ca3988e629451402f0902d986d4cf2798be","datavalue":{"value":"6863124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$A9FFD456-A45E-4F73-B1FD-8B864569435C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635651$01B8691E-9075-49FB-A496-D36AAEC53E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635651$A849591A-B249-4F84-933F-372B1E2F5E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635651$085BC5CF-D5DB-4968-B720-31195894485C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635651$FF49E25A-2755-47B1-8AFF-59F50D56FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635651$018D5BBC-812B-4F36-9409-F3999779505A","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":"Q4635651$864AB4C2-5B02-4DDB-9FEC-81D7458D01B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9646cd98212da5d1d3a1ce912ecf85186f74149d","datavalue":{"value":"https://doi.org/10.1145/2603088.2603153","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635651$EF854171-1ADA-4C44-A095-B83B325588EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"224bcbbd4aab790bfa7e15971c23c8a61cc8fbea","datavalue":{"value":"W2153583112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635651$2A1BC123-3FE4-482E-878C-D04FDBDD2BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58dd30412d919c819f595f64aac4defecfee62d2","datavalue":{"value":{"entity-type":"item","numeric-id":5144693,"id":"Q5144693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adbe9c75269bbee5132fcdc6924420c594783ca","datavalue":{"value":{"amount":"+0.7920196056365967","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":"Q4635651$BE2ABA5A-F889-4458-B3D1-548954187A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f36270cda4af76f05eab34983cf56f40cc4b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5145328,"id":"Q5145328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71541c6a0e312f5f8fb6813326bf95b93a2381a0","datavalue":{"value":{"amount":"+0.7794850468635559","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":"Q4635651$4DA557EB-5337-445B-B3FB-6EF0CBC5B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f34e4cc650b64ebb003303883a13e97b05d02","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a095bbdd849f44854183e6ca7edbe593d7664144","datavalue":{"value":{"amount":"+0.7658193111419678","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":"Q4635651$20088844-B2A2-431D-BA36-A02461C44B1C","rank":"normal"},{"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":"90e7548f89178a4a46853180e7f17cce627d87ce","datavalue":{"value":{"amount":"+0.756544291973114","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":"Q4635651$12217EAA-FCA3-4F44-9898-8C5ED37B02ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6ac6db57dc0ee042393eaf8721d191722b3c8","datavalue":{"value":{"entity-type":"item","numeric-id":4635917,"id":"Q4635917"},"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":"Q4635651$1E0A396A-4DF8-4497-9A03-8F539638BEE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635651"}}}}}