{"entities":{"Q6074861":{"pageid":13209169,"ns":120,"title":"Item:Q6074861","lastrevid":58670658,"modified":"2026-04-06T06:32:31Z","type":"item","id":"Q6074861","labels":{"en":{"language":"en","value":"Eilenberg-MacLane spaces and stabilisation in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7752396"}},"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":"Q6074861$089BEC23-9608-4BCB-9E1E-44DD858958C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aee43b9cd78b9092a611d50a367b8338403e16f","datavalue":{"value":{"text":"Eilenberg-MacLane spaces and stabilisation in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6074861$5774B85E-A775-4F1E-BD79-A0603C59AD1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"744b32c3e62c7ac72a7bf335bb1936a0eb39a1ce","datavalue":{"value":{"entity-type":"item","numeric-id":820845,"id":"Q820845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$44333C77-AA53-40FE-B79E-A3CEA4DD1649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$BA56ED7D-57CB-4926-B865-9994669271CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"187f3a6962ec6fede739daa092bfd7f6461a2cce","datavalue":{"value":{"time":"+2023-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":"Q6074861$DC5ABAF8-DCA2-48A0-B069-011E9C308873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e4e678a0e58347058360cc0db19e4e46bae9c1f","datavalue":{"value":"https://arxiv.org/abs/2301.03685","type":"string"},"datatype":"url"},"type":"statement","id":"Q6074861$D24A68D1-A5FB-4C84-9021-FC565DE3132F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074861$1956F47C-1BF7-4197-88BE-0947DA930D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fcffa45a9a315d4f41d84082f273439b9134c19","datavalue":{"value":"55P35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074861$40699770-B366-48AE-9D1D-61B01E6FA39A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae9ddbc2b874eb507762f237af4e0e53cd7b3da8","datavalue":{"value":"7752396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074861$397BC308-BDF2-4F5F-B4F2-073EF7AAE3D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074861$66C8C962-1027-4BA6-A4E5-73508AB4F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46de9ed2b147910cdd3bdcb8038cadb368a68565","datavalue":{"value":"loop spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074861$54A27994-32F2-4923-9018-A23A2F012175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6dfc30f3e4d0596acbe851c72c23f54f31a34d","datavalue":{"value":"stabilisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074861$FAB931C9-127C-4417-9624-5C1AA5D383EC","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":"Q6074861$3D9474DE-5CC0-444D-A110-6728C9921CF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1cc1164bf2fbf7267fe1f62f1372530c44a4388","datavalue":{"value":"W4386934634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074861$292F9DD5-A0F9-4661-AD46-B5D46FCA8A9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7796ade5d95d830046874260059bc796b79d0f22","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$C0BB347C-BEC1-42FC-BDEF-FE5AB140810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d631bc9ae60116de46b788fc3fb3e9bf0e4f571","datavalue":{"value":{"entity-type":"item","numeric-id":6112530,"id":"Q6112530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$AA3B4404-4633-456C-A544-11BF04511903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17031fe412fb02e97995d4c5932af3607f4af3f8","datavalue":{"value":{"entity-type":"item","numeric-id":1178063,"id":"Q1178063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$2DD375C2-14DB-4694-B946-13D9E05BB191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a293761f357c7c24f5a1aa14e7be5a02e36b4187","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$FDD0BEE5-71BE-4E99-8327-5CB2E1E7321F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244979f7fae4316c340bbdf55c8dfc1b758a0030","datavalue":{"value":{"entity-type":"item","numeric-id":2554903,"id":"Q2554903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$B91DD7C7-E027-438F-B171-E637127D7A5A","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":"Q6074861$C420F886-5422-4F06-B4F6-D200D0F92BC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88c64bc71033db988c4ddda2a85fef43894a5d5c","datavalue":{"value":"10.1007/S40062-023-00330-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074861$AAC5712B-6B23-423A-8292-DCD0AD54A18F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074861$10E6BF2D-C89B-49E6-89BC-B084D22C4EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6074861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6074861"}}}}}