{"entities":{"Q2967790":{"pageid":2978515,"ns":120,"title":"Item:Q2967790","lastrevid":85586897,"modified":"2026-06-03T10:02:09Z","type":"item","id":"Q2967790","labels":{"en":{"language":"en","value":"Theory of dependent types and axiom of univalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6690787"}},"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":"Q2967790$8B36EC25-F9D6-4E31-8627-B3EFEEB8B4B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c241cbf97d40a4177d8b8e300a26b7aeced704","datavalue":{"value":"1356.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2967790$E64E0149-2C67-41DD-B5C0-7707642C51A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2967790$80155FFC-18CE-4BDE-8321-71058EA63F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a8460bdb64b4b5e4361d553b383ac843f49ee0c","datavalue":{"value":{"time":"+2017-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2967790$0B4BFD2E-47D2-4137-83EB-1D407E1E165A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2967790$F3BF3FAC-6B2E-4932-98F6-3C034D6FB293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2967790$978408C3-3C50-4BCA-9E9C-906E9ECA33F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2967790$4E81E21F-22FB-4190-B2F6-7E7B0683E6F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebddfe6d82210e7a886f511dfcd25838480378f3","datavalue":{"value":"6690787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2967790$4347F308-497F-4870-B353-26926864A207","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":"Q2967790$78E909BA-A4C7-41B7-B673-A2798A85DE73","rank":"normal"}],"P1643":[{"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":"41c8ae46a9ac637bd891d2f61a78aca8bbb60cfe","datavalue":{"value":{"amount":"+0.8547529578208923","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":"Q2967790$A90AEC74-CF18-4A8D-BF12-3C6D06F5B610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fef601b2cfcf51a7dfcadba4e66fba0147c8f0","datavalue":{"value":{"amount":"+0.844714343547821","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":"Q2967790$11D71FD2-D025-42CC-8C04-A4C7A740555F","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":"c8ebb3b0269cdd6a754e72211e58821e30f389aa","datavalue":{"value":{"amount":"+0.8215969204902649","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":"Q2967790$38D70BC6-6E73-4F1A-BA65-1F284CD0E49C","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":"8e9fed4d9df59cea54277e14e18b4fae9ba2d7f7","datavalue":{"value":{"amount":"+0.8167056441307068","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":"Q2967790$5E261AA9-BA84-45BC-8DD9-E3DF6052817A","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":"1efb136d2cee8be9006eb88bb7313e67afdac69a","datavalue":{"value":{"amount":"+0.814259946346283","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":"Q2967790$6B035D64-1223-4CD0-B17B-53105516B4A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory of dependent types and axiom of univalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_of_dependent_types_and_axiom_of_univalence"}}}}}