{"entities":{"Q2054123":{"pageid":2064865,"ns":120,"title":"Item:Q2054123","lastrevid":57631296,"modified":"2026-03-31T16:51:23Z","type":"item","id":"Q2054123","labels":{"en":{"language":"en","value":"Expressing `the structure of' in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7436322"}},"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":"Q2054123$AA10AD3E-BC6E-4F98-91BE-D5133C26FB05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3db61f257283000735f14bba320819b3023bff3c","datavalue":{"value":{"text":"Expressing `the structure of' in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2054123$BBD0E180-205E-4C84-BAE6-2D2D2724471E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c811fe956e04440d61736f0f794d30bb3a8a2cae","datavalue":{"value":"1475.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$47153E97-1465-480D-A434-130974311EA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56914865f31dfee1b6f971fd365c30c76f879248","datavalue":{"value":{"entity-type":"item","numeric-id":988036,"id":"Q988036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$4552B694-0392-4A77-889C-C0DEBC1DA132","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$751346F3-E1CA-4DB7-B220-C1EBD5755067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2054123$1063C231-B82D-47AD-A011-BA02B6B4B188","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$6682FABF-FD64-4EF0-B5C0-D74547B05686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$62BE1696-37D4-4CFE-B9C9-F183A5F12BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$627A5B67-58F7-41AC-9560-F9E262ABBFB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64ef52dbee74d3ec706a373823a21bc56de5cbac","datavalue":{"value":"7436322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$657D9F65-9FB9-4390-9482-1355AF964839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3715bd417b013622a390c17d3817f3a43a0bacfe","datavalue":{"value":"structuralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054123$7903633B-C76D-4E0E-A54C-EA7908CBCC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952f819a052c1aa571d24045d2a82a6f3928c203","datavalue":{"value":"definite description","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054123$C210857C-B9EB-45E5-9931-703F3648832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054123$05F942DE-C51F-4E89-9C4B-56B31DB453C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$D0964CF2-7CA3-4AEA-8A65-48E9F5FCFEA2","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":"Q2054123$579B0AB1-B8DA-41CC-A4DB-A74045B1B979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9794a0e6a486e3ae6f1af8d269f8d22dcc92054","datavalue":{"value":"https://doi.org/10.1007/s11229-017-1569-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2054123$19A1E608-108F-4E7D-92EC-F96551DBE8A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dbca398c862fcd433ec4c89346e2c57c4bec05d","datavalue":{"value":"W2236593899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$016C1D61-3AC5-4924-9994-BA0E2741408F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d14ab480a0a30c344c0bff092ae7e85e580ce743","datavalue":{"value":"Q58155589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$D965E8E2-A163-4AD1-A6E4-D758E67080DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff2b723c5ca3aefa104812a869faeb2d56074a4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$67EAAF15-DFD7-4A64-82D2-79AAB693AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4ef68fe9a100dc11d0923ceddbca3bcc70313e","datavalue":{"value":{"entity-type":"item","numeric-id":4433665,"id":"Q4433665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$66CB622E-8E9B-4BFD-B749-8C44A9327086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a10ca8889703fe3d1dd34a9944a36cb462a87b","datavalue":{"value":{"entity-type":"item","numeric-id":4542722,"id":"Q4542722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$23A7DCE6-2660-4E76-8CD1-9A69F7154074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$5E6706EC-AF1C-4CFB-B5EF-2235DC910260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6ea420fbc8a65d30b7c72dc0f6e528e962d087","datavalue":{"value":{"entity-type":"item","numeric-id":4388799,"id":"Q4388799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$602F7C77-326D-481B-85DA-72BDCE2D76B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0e8d9f25bf5d379a7e2b5120ae4f5740a8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":4388801,"id":"Q4388801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$8B55CD03-C3F7-4EDD-9202-66F9106CD60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88cafda8ff3146175a65503bdf55e10e869601e","datavalue":{"value":{"entity-type":"item","numeric-id":4342086,"id":"Q4342086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054123$2D56F48B-71E7-4783-A8F8-69073A8AF4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb01129be5b9466fd748163adb6c12792e9eb2a6","datavalue":{"value":"10.1007/S11229-017-1569-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054123$236B2227-5BB8-4F53-9B07-70EB6D4AA62D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dec6510f7837fc38dca9ba64f6ecc17d778a33c","datavalue":{"value":{"entity-type":"item","numeric-id":5213483,"id":"Q5213483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f04d69394e2f7b199e8304e33f5a1e5f841c05","datavalue":{"value":{"amount":"+0.748196542263031","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":"Q2054123$64643E24-B52D-4615-A0F6-7C6E32AE9F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b18060c378d3e1713a6e9aa80977e179df70f1","datavalue":{"value":{"amount":"+0.7461820244789124","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":"Q2054123$D76907E1-00A5-4C93-AA33-36DC812B320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb753571a03e58105eac0ff15b22f4c3ffc2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd50a9132e24630aedbb79af2c26ecf7e9c5ac95","datavalue":{"value":{"amount":"+0.7459436058998108","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":"Q2054123$F02E3B8E-258F-4330-8423-A46898AFB47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01ad0496e199640fc2f426b5e78cae1594c7430","datavalue":{"value":{"entity-type":"item","numeric-id":1708879,"id":"Q1708879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b70754d3189b61b07aa90af01066dbd8c10635f","datavalue":{"value":{"amount":"+0.7439393997192383","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":"Q2054123$B6B7B8A4-F208-4F01-9695-A0D21E67D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdee4a6a1ec63c0a17d2d13c7e18ff772f650c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4555036,"id":"Q4555036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6987546260809b9984c6c3dcbc3e3b93e5285e","datavalue":{"value":{"amount":"+0.7400861382484436","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":"Q2054123$BA165157-C5F6-49A8-BB81-299577B80826","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":"Q2054123$1F39D820-AC86-4F1D-B6AA-5BF3D670C0BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2054123","badges":[]}}}}}