{"entities":{"Q2319987":{"pageid":2330730,"ns":120,"title":"Item:Q2319987","lastrevid":57845331,"modified":"2026-04-02T18:56:07Z","type":"item","id":"Q2319987","labels":{"en":{"language":"en","value":"The James construction and \\(\\pi _4(\\mathbb{S}^{3})\\) in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096715"}},"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":"Q2319987$BA138E51-C990-4E27-8286-C75C11E48E0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"912f3e2cf1668731da85b84c9ba03c5ad588254c","datavalue":{"value":{"text":"The James construction and \\(\\pi _4(\\mathbb{S}^{3})\\) in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319987$CC8C1267-59ED-46F7-B5CA-3F401D4DA366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf39240d331f2d372124902744ab9ea2de84f39a","datavalue":{"value":"1477.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$12F2151C-9E88-42CC-ACEF-2765B3A428C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7123ca25439a06ac3cc7cde88243a76ca826ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":2319986,"id":"Q2319986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319987$39D31921-872F-4763-97FC-CBE603347D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319987$63EC5C6D-0758-4D6A-9DDF-F51BDFDA4AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319987$5E827375-1763-45E6-AB8B-45B9A59AC6BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c72353f7c0e0fa82470991b52d969f18eff4d077","datavalue":{"value":"https://arxiv.org/abs/1710.10307","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319987$2035DBD5-8344-43C2-9049-152D72C7C801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$B906825E-C37A-41F0-B469-2BD397FAF0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$5609E4A8-FCA4-48FF-875D-09DE7F2E22A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$B0D50BBA-324B-475D-A5E6-20800DC59E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27090f9178c742770615f70a984a7ad920418add","datavalue":{"value":"7096715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$BDC8BE0B-5906-4C34-9DCE-FB1510AA0DC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319987$B9A0ECEB-A1C6-4250-89B5-3664878174CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404f65997ee75e3c85f84f46b3298009d30468b8","datavalue":{"value":"James construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319987$793B2994-D123-4E35-9D3F-C3A65B62763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b5919d288e25ae911814cb2eca5257c0b4d7f6","datavalue":{"value":"homotopy groups of spheres","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319987$3C6A9D77-D5E0-4754-B041-9155B06A611F","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":"Q2319987$30441E33-3578-47AD-9D59-F84C0FAE17DC","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":"Q2319987$71182E93-16FF-4142-B5B0-F9423FE3161D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2008644c2cc11767373bcf9cddd7c1ab5c67fb1","datavalue":{"value":"W2963650711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$D5F13A07-A38B-4532-B01F-D6E682221D79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13bba4ece6097d0dc82c5e89d10c9e714484622","datavalue":{"value":{"entity-type":"item","numeric-id":4635917,"id":"Q4635917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319987$3390070C-79CD-479D-996C-DBC4F16A1CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319987$96BD3F4B-D0B1-4369-ABBA-9CBD91179DDE","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":"Q2319987$D67F5B1E-FE2E-4EA0-AB60-86C611A5096B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"631215f7f401feadbc78728188d6988c708d8d3e","datavalue":{"value":"10.1007/S10817-018-9468-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319987$A78BAED4-D871-48F8-B560-7BFA3A94A36E","rank":"normal"}],"P1643":[{"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":"d722444c6b19090a466d989a63cfa115ce5d3b20","datavalue":{"value":{"amount":"+0.7233315706253052","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":"Q2319987$437B4EC7-8D4C-4F90-88F0-9CD5BF3B2FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9f0bb3e23e9ef4020847e600b42c1a56f4949","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28f7f51d1a7c8b6c1b4b346ef04075363ea047a","datavalue":{"value":{"amount":"+0.7085042595863342","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":"Q2319987$C165C080-F936-47E5-9E78-F0BB8FA543F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3eeb11a75025e45022ee9013ecaa24a2ca69ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3121020,"id":"Q3121020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d4b93d9abd6c0b425e62ed481f6e1fd6c5dec5","datavalue":{"value":{"amount":"+0.7014496922492981","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":"Q2319987$92AE88E8-3444-41D6-9C16-BC4EA58277AB","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":"83ff1e2e3f6ebe6581b3e00fdec8d575d1c47be9","datavalue":{"value":{"amount":"+0.697677731513977","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":"Q2319987$60CE9B29-F360-49DE-8C03-2C19E260F8D6","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":"9efe8236604c7aca30994129c048f266bd8b1b9f","datavalue":{"value":{"amount":"+0.6958960890769958","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":"Q2319987$DD389C15-4BAF-4E82-BFE8-FF7633ADC34C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319987"}}}}}