{"entities":{"Q2969774":{"pageid":2980499,"ns":120,"title":"Item:Q2969774","lastrevid":52767749,"modified":"2026-01-23T11:19:58Z","type":"item","id":"Q2969774","labels":{"en":{"language":"en","value":"Homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696724"}},"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":"Q2969774$97D1A511-17AB-4195-B0EF-5A3F4CBE50FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece57f30befd765c5d4262c11da2f994445e4c11","datavalue":{"value":"1358.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$35F8EAAC-26E8-40FB-9BBF-823440842D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eb1a83c641bbc11636ab2aa4ca6b718091c3a6","datavalue":{"value":{"entity-type":"item","numeric-id":261444,"id":"Q261444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969774$E5011866-1C6B-4A4C-9F5F-747E28F28209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969774$BD7D4707-807B-4BFE-96A4-9F4D768F806E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0beb2f43c8727816ec99249cdb49a15b77ad6c8","datavalue":{"value":{"time":"+2017-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2969774$29407722-C240-45B0-9501-01CED526967A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$8A41AE84-77B3-4CAB-80A4-1296B867569E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$EE3E7E0D-0418-419F-BA0C-D900CB3094D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$F3EF070D-EFB7-458B-8F86-E24FA106C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$57AE9903-A87D-49BA-92C8-FFE56E28886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$D2436906-63C1-41AB-9CE7-5567B2CF3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$BE065A94-DDA4-4EC0-B546-38E4AFB2C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$B114B308-7BEE-4F46-B957-38130B236D01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"252047c69dca595f94c4af4d63b30177e68e5955","datavalue":{"value":"6696724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969774$7F166A0B-1DBC-4298-9598-0D2F12C5B39C","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":"Q2969774$4E2428B1-07A4-4444-9B50-468F53C9B66A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ddf8ce1ae82fc898d5d4e2a51e3fe1fb20d0af","datavalue":{"value":{"amount":"+0.9108830094337464","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":"Q2969774$1E1980CA-B358-4FD5-B8CE-E98C9BD23906","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":"0ad14cccd62390202d73d197873a6892bf3ed0ae","datavalue":{"value":{"amount":"+0.8865271210670471","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":"Q2969774$73116FF0-44E2-41F3-841C-FBF99CAD6AFA","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":"99e4633067589bc13919c077188ddad342f397a1","datavalue":{"value":{"amount":"+0.8642913103103638","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":"Q2969774$65C5856C-B188-4BAD-AF2B-1732B2E53114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d3f5ef089cbf22ba48486e544f9deba49cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5740647,"id":"Q5740647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69419d22e4c1bef4e1d3eda2381bdf68686acdc5","datavalue":{"value":{"amount":"+0.8562307357788086","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":"Q2969774$AD249782-CEFE-4FC3-9698-F3DC3F2134CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2d398773241bd78ec7960760f7ef492eee1e16","datavalue":{"value":{"amount":"+0.8536028265953064","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":"Q2969774$55BF0620-E88A-4924-AF57-737DB0A1B50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2969774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2969774"}}}}}