{"entities":{"Q6168488":{"pageid":13303373,"ns":120,"title":"Item:Q6168488","lastrevid":102686852,"modified":"2026-06-06T05:16:19Z","type":"item","id":"Q6168488","labels":{"en":{"language":"en","value":"Connecting constructive notions of ordinals in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724243"}},"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":"Q6168488$5BB4A365-1E2A-4C03-981B-05E3375293E0","rank":"normal"}],"P16":[{"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":"Q6168488$105F4A92-14AC-4B41-BD5A-DC44D0CB35D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e31edaed33ad9ed2ce32ac30872d833df7eeed59","datavalue":{"value":{"entity-type":"item","numeric-id":6083358,"id":"Q6083358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168488$89174A36-29A8-43CB-AC49-D6AE379EC25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59256530df788a6597ec1775cf013aa4128a934","datavalue":{"value":{"entity-type":"item","numeric-id":290638,"id":"Q290638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168488$6387C6F8-D32F-4819-BD98-3890476982C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168488$55D80B49-7CA7-4573-8DAC-B46BFFC4AE1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd85cacf557cadff6f825f541262e9d36a7be829","datavalue":{"value":"https://arxiv.org/abs/2104.02549","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168488$FC62E0A6-22AE-4E50-8B7C-A725F11ED5B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168488$F49FFFB1-B5CA-4F3E-B28E-CDB1AB324C41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe90002ba745ba4b59a5e4c5bc9639afd732758","datavalue":{"value":"7724243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168488$E8EBE68B-0B57-430F-B4EB-FB8F7461FE1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81236a7f56232f5b9bd79d44dd2b4a900bdb8ed","datavalue":{"value":"constructive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168488$169446B4-925A-4EB0-A1B0-400BAB694109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb39dbca7a1b56b4e597c36650ec5949beece1b8","datavalue":{"value":"Cantor normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168488$4535CED1-C1C1-4A39-BB49-FBEAA3ABDB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332da55c4e4b24d2d4accd9dd9730c6daa8f80c8","datavalue":{"value":"Brouwer trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168488$4EBDD45B-689E-4E8B-9DB7-3A9737B717FE","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":"Q6168488$7C7AE386-8ECC-4FD1-BB08-1AFBBFA6CE0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f9eba03878a7dcf611f536e2becd5f0542ed625","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168488$7736BDFD-829A-413B-9D27-7C7403C54B44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df71385e39f8078db7062a55b372138e31fec6ae","datavalue":{"value":{"entity-type":"item","numeric-id":6167161,"id":"Q6167161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630892cb34414d47c707449c79c06efe2df5aa51","datavalue":{"value":{"amount":"+0.7609173059463501","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":"Q6168488$EF147B6C-5064-4133-AC04-3A10692116AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf958e4c0198b70fcd84999a071dad42b2c5297","datavalue":{"value":{"amount":"+0.7184857726097107","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":"Q6168488$7201B96D-9F02-4AEB-B975-1ED93D98E415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b893d0fe6537bdf6de922ff97b37331fdb5c75b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90c51d1fecfaaf8100ccc0f8aac8e4972ecc429","datavalue":{"value":{"amount":"+0.7060151100158691","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":"Q6168488$24AF093F-E71F-430F-9FE9-DB72B0089DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344da116dc53d061d9a67752ba3d04974b9b9172","datavalue":{"value":{"entity-type":"item","numeric-id":4448892,"id":"Q4448892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7767645b090995b92390e5e675b0a47995d92775","datavalue":{"value":{"amount":"+0.6992029547691345","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":"Q6168488$22528E38-06A4-480D-B19D-AE7E6362D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192339a8e85b2c1008bfe0c5389600bd3bd66642","datavalue":{"value":{"entity-type":"item","numeric-id":3612443,"id":"Q3612443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f358fbd42d40f5f267263d768ec5e7090e7a41d4","datavalue":{"value":{"amount":"+0.6979970335960388","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":"Q6168488$6FA256C6-FF04-4C3B-853B-B8892AE5B6ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connecting constructive notions of ordinals in homotopy type theory (scientific article; zbMATH DE number 7724243)","badges":[]}}}}}