{"entities":{"Q5351968":{"pageid":7381542,"ns":120,"title":"Item:Q5351968","lastrevid":58525704,"modified":"2026-04-05T14:41:07Z","type":"item","id":"Q5351968","labels":{"en":{"language":"en","value":"Functions out of higher truncations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767606"}},"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":"Q5351968$80ADDB21-DCB2-4F0D-8C9F-BC00BC5DF6E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4902146098d352f36be85ea5d5ee999c64194aac","datavalue":{"value":"1373.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$5726F915-22D9-4724-A107-C9E8F16B46CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"725426ba4e3e8b8ec62a89eadeb43219fbf11018","datavalue":{"value":{"entity-type":"item","numeric-id":1652992,"id":"Q1652992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351968$161BC74A-28F2-4962-9378-CD5A80CA5614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351968$722C068C-46A1-43FF-803A-0D1C56C56B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9199f6b62b1c2d447cb8fb326815f8911fcd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2319984,"id":"Q2319984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351968$07839AAD-B144-43D7-A402-9DB14B3DE0BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351968$FA4CB1AA-B77B-4352-B631-DA4BEF9F6451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33fb3e8568ef497e06865e6e2cdeac25e362ca73","datavalue":{"value":"https://arxiv.org/abs/1507.01150","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351968$0CCB3AE5-DD12-49E7-96C8-7EC708CB360D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$3531DA2A-FE79-4285-B115-F16D593CF2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$15510B58-342A-4FCE-9B47-56471013A465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$2F889222-8012-42E1-9B27-AE0C3DA3CA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$0641F4A6-A732-4287-81F8-1877B200E41C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9495188e8faae2843c259634745774d18a85196","datavalue":{"value":"6767606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$84DEE24F-C263-4B65-9AD2-0A2B24EF432B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351968$36A684BB-0D2B-4ED3-B819-198DAE991189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7139a90187f09a324ddc5350aa58b5b95ef9a4ff","datavalue":{"value":"truncation elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351968$E5190B40-B79D-4C27-B9A4-E741B0F2CB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0120bad016be327925a9876f710fc42dd1c85be4","datavalue":{"value":"constancy on loop spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351968$46265CF9-EA34-4B8A-A5C4-CC53A4B9E922","rank":"normal"}],"P1463":[{"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":"Q5351968$6F491016-FB97-4F3A-A3B0-7BC54C380942","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":"Q5351968$C08301DE-DB05-4657-A883-48A9CFC9B5D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d63da5946120a275ae49bc5995b931acd6d990","datavalue":{"value":"W2963146135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$0566709E-3CD2-44EA-A838-A2876EDF4819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b767beaab80a9c7ad0a118c3502b97eb9825c122","datavalue":{"value":{"text":"Functions out of Higher Truncations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351968$D97DB3DC-863E-48F8-A4CC-4861621E1930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e86ad3e3e89cd1982d339ae4369a7ba8e98f99","datavalue":{"value":"10.4230/LIPICS.CSL.2015.359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351968$DB7C46C0-9CCD-46A1-9866-DB89A469B2B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558f361a257853dfad8c11f93deb0297a6aeab47","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2b9aa9666c5ab61f358aace8c0217529312363","datavalue":{"value":{"amount":"+0.75284743309021","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":"Q5351968$DEA0B0BD-85F2-4E34-ACCC-C18CDD6DB999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40128ae02f3139cea7e9c0e92b048dc1f467b01a","datavalue":{"value":{"entity-type":"item","numeric-id":4635920,"id":"Q4635920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877efb215b6a16b122a31d872800f8c6089d0764","datavalue":{"value":{"amount":"+0.7351033091545105","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":"Q5351968$16037E71-4A01-43B3-A188-67B7FFB6C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a42b478ce3b79ea5fc5be5cf0b55cb50e8490","datavalue":{"value":{"entity-type":"item","numeric-id":2957700,"id":"Q2957700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b9eb2d729336406f2bfb511c34ad321ef2fe19","datavalue":{"value":{"amount":"+0.7197571396827698","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":"Q5351968$01B38F48-78D5-4954-9816-F28F2065B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9064a04c90476247863768b8c85e63fda50ac0e8","datavalue":{"value":{"amount":"+0.6896854639053345","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":"Q5351968$71453CD3-3570-4A78-BEC5-B6E8296A8D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e001309006a43b2c682ba66be212a39e7be2b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0d509edb11d7e4f7bc4418cfd841ca8b0bf130","datavalue":{"value":{"amount":"+0.678153932094574","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":"Q5351968$70C16D23-F39C-4C63-B9F8-E8426F108249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351968"}}}}}