{"entities":{"Q4993352":{"pageid":7022929,"ns":120,"title":"Item:Q4993352","lastrevid":58383234,"modified":"2026-04-04T23:46:34Z","type":"item","id":"Q4993352","labels":{"en":{"language":"en","value":"Internal universes in models of homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359418"}},"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":"Q4993352$CCC20394-4DEF-4688-8536-10E5874DCCB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3363b29552339648bc474d4e2ba477592958be7d","datavalue":{"value":"1462.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993352$5334689B-9A62-4BA7-9593-41E71929C085","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":"Q4993352$1D86A538-DFBB-4111-82D3-6305C3CE9158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d66b3c16509ed8f36e49e4d438b20984ee506ed","datavalue":{"value":{"entity-type":"item","numeric-id":4611378,"id":"Q4611378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$0DFCFF38-181A-4F55-B9CC-2018B4730BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$82430C16-2DEC-4766-A5B6-A6B5C4D69776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$6C3264B3-0BA4-494B-ACFB-D3FDB42A311B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993352$939B4D3E-32B7-47EE-999A-3FB5B5097BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0822406a5c4ddeb6542a666a630377efa954e25","datavalue":{"value":"https://arxiv.org/abs/1801.07664","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993352$3115C3EF-DE00-45C2-BAA2-267F42F42EAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993352$859DE673-D61C-4499-AE9B-36EE2DA6677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993352$56FF410D-D834-417A-87A8-7CA7D317E613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b47bc7d26d9b2c8a26b940d90aaf87edfa8cd4a2","datavalue":{"value":"7359418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993352$E4387C7D-F21C-4E8A-924C-F27DA343E2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc006ff6c858158529f0c8fea632be308d5c4ab","datavalue":{"value":"cubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$C8D72441-167A-4D51-80E5-CA2428C3B793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$A5AC9766-3472-4361-84EE-2DBF68CA0914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$3FC1720C-5A0E-4871-B589-58C9F7B606F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255bf11bfbf6be15715104e097a1f210458b7a4c","datavalue":{"value":"internal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$D222005C-01C7-4381-8F18-FFA7B0E5E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$668AA798-D865-461E-B46F-10725BA20E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$A04EECD9-F88E-4671-84F2-71A783C1FE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8ff27bbbd9959dc9d199dde836f711285242b5","datavalue":{"value":"universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993352$72401704-540A-4E5C-B3D0-F2B9621E9610","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70ecc88dbe8ae0b3981f98a8d0dfe72c1cf716a8","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$C9A6CBF5-F9D0-4ED0-A3AD-61E1CE61A588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$79579118-4635-419E-902D-27FE76044FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$A8E1CA2A-4CBF-4AA9-88BA-E7B5341DAC96","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":"Q4993352$5775AC37-49F7-4890-9944-60F2DFE35C7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$D03E7AF2-A3DB-4F55-9724-CD9BBC54B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$0A336B9F-E252-4606-A728-AF2CA5524E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797a69c329b33f562486ada5802c77e44cf06af","datavalue":{"value":{"entity-type":"item","numeric-id":5283204,"id":"Q5283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$EDC2EC22-22FE-4035-B41B-5FD177A56B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$F53187AB-DE48-4881-82BE-507CED13FCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8de5ec5c18ea8dbb8e659241d92abdf0290197b","datavalue":{"value":{"entity-type":"item","numeric-id":1744413,"id":"Q1744413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$BBA4E55D-F0E5-4644-8389-A6087ED2CE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$618F45CB-C46F-4BF9-A5CB-8C2572CD347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$D6A90FC2-58B8-4D15-84B6-2981BEFF0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$B0547408-750D-49F0-94AC-9DE402080FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b76de27ce4a395ffce75ee5225ea91362e2ff29","datavalue":{"value":{"entity-type":"item","numeric-id":3926775,"id":"Q3926775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$D876881F-1F11-4C39-9779-B0BAA0DD647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d178d1ba2022d553a813b148d72e5afb65344b8","datavalue":{"value":{"entity-type":"item","numeric-id":5298124,"id":"Q5298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$36E8EC95-9D1E-4883-98D6-BCD830394C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$6649BAD7-50B1-4604-92AD-8224411ACE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$2CE2789B-7D7C-47E1-AAE3-FF2755B1C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$44644064-5EA3-495C-8154-18753DF208CC","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":"Q4993352$4009663B-6A27-43FE-B19D-4C182A9E24E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915f714cfd0c573c8efae3f8f9fea0c3a9dcb141","datavalue":{"value":{"entity-type":"item","numeric-id":1117019,"id":"Q1117019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993352$F1E1DEE8-0BEF-43B4-900F-6CAD2A96B076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e150026d79c41f170ae3e48929aa6a0de0ce0981","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993352$7194D0B4-47BE-4F99-A2E5-D55868725160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c953c9e741b1de0ccf70dca743be53f7bd128d","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020d864f6c475bc72ccd08c64afb10341cb6a8f3","datavalue":{"value":{"amount":"+0.8024110198020935","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":"Q4993352$52C294B0-8D75-41A9-BDD4-911BFDDA0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96abfcf040c6b5b056bbe3f2bbc646e4e72cb78","datavalue":{"value":{"amount":"+0.7832199931144714","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":"Q4993352$105E6677-FC2B-4118-B392-4A971D80021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750315cb70bacd629273d35e5d691d1271a6180","datavalue":{"value":{"amount":"+0.7793263792991638","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":"Q4993352$9FE0343B-911C-459B-B369-64E01513926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c33c176c1af02c7c955a44f3b4740fff785fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e596069e2109ffdbef4c966e6f05bb9f83b0e3","datavalue":{"value":{"amount":"+0.7611432075500488","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":"Q4993352$A201A4BF-229C-4D2C-B0FC-88C63925D071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b9a86c659fcd1ad0005b1599dac289151b6ea1","datavalue":{"value":{"amount":"+0.7586795687675476","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":"Q4993352$7AF7F07D-267D-4447-B5FC-AA6193E63921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993352"}}}}}