{"entities":{"Q2965632":{"pageid":2976357,"ns":120,"title":"Item:Q2965632","lastrevid":52756799,"modified":"2026-01-23T10:45:27Z","type":"item","id":"Q2965632","labels":{"en":{"language":"en","value":"Identity in homotopy type theory. Part I: The justification of path induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691562"}},"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":"Q2965632$E5E6F471-5232-4214-A3DC-AD28C492AD91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3190ce796907b941ddc9ed971d64491d15ac4a79","datavalue":{"value":{"text":"Identity in Homotopy Type Theory, Part I: The Justification of Path Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965632$E71215EF-FD00-47D4-8727-120878EA2D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26797ff0cc89d13116effdafbee55c06d35a5f7f","datavalue":{"value":"1380.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$27120686-CA13-4B0F-9DBA-F5801618C1B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71cf520cec2fcb0d54a6260a379708c23e87d769","datavalue":{"value":{"entity-type":"item","numeric-id":351443,"id":"Q351443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965632$DDA77C98-3E7F-4A4F-8E77-630281C8F097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f02b78dc81e5d693cec9699a31c646b6798ea092","datavalue":{"value":{"entity-type":"item","numeric-id":643126,"id":"Q643126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965632$8B2ECD9F-2024-47C0-91E3-8B99B815024C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b908986c574c476fefbeb1382b048ac0a054839f","datavalue":{"value":{"entity-type":"item","numeric-id":2701933,"id":"Q2701933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965632$5FACCC1F-6EFB-4080-ADB9-2C554280E9AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965632$3C3A6AAF-0E15-4D43-808B-65DB021720CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$EEB379DF-3D92-4068-A329-4CDDC2C52669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$96862D84-E817-4AC9-83EB-1241F7A4B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$27783188-A6A1-44F7-8E38-14821E6FEECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$63EB1EE6-33CC-48D9-B44E-C3BE5E03765D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9222e7739fa233fda4e5bb1ab8ccc65e981c68b6","datavalue":{"value":"6691562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$687E311E-362F-4452-B6A8-E71BBCA3DD03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965632$92F82FCF-7CD4-431A-B3A7-9FCB26135FEF","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":"Q2965632$C8D197A4-BA46-4F47-94A7-521A4090AC50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03b0b13ea3f458dc3882b453e0949ab82eea70e0","datavalue":{"value":"https://doi.org/10.1093/philmat/nkv014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965632$5A5300D8-5616-48E5-B801-B35FEEDA2F92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67b86d1946912ba6017b4cf61f65af8775c01ffb","datavalue":{"value":"W2221380295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$6C83A3AB-D8BB-446A-B6A1-EC6345F45F89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"015ae6c9ffb447369c8f9adfb0c179989f82e006","datavalue":{"value":"10.1093/PHILMAT/NKV014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965632$AE4D0C5E-95EB-4156-BABA-62955E0097D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61371968e811ed2ea1695247cf686966d45fcafe","datavalue":{"value":{"entity-type":"item","numeric-id":5274880,"id":"Q5274880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77f9aa49d62ddf2688286fcb8b3813ada7d8cf6","datavalue":{"value":{"amount":"+0.8234719634056091","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":"Q2965632$A501E621-1A1D-4F30-B06C-5A32902466A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfd30f0e04c892fbbdf38d51af3907d50b47ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5234242,"id":"Q5234242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097ebd7ec18ca42c347af09f4a036033f369d940","datavalue":{"value":{"amount":"+0.8123746514320374","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":"Q2965632$EDA76747-887F-4335-8EF8-E6E08D66737A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3dec44e412855e08f0813e14fa4e8a3eca3806","datavalue":{"value":{"entity-type":"item","numeric-id":2054122,"id":"Q2054122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6b4f23c7624d994195f115e9557be7d3467516","datavalue":{"value":{"amount":"+0.7946627736091614","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":"Q2965632$DCC39B3D-5932-4792-9EA3-6B4475BED6DB","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":"3e032cc7e1293f23ba75fd14f8c4d4f6ae5f798c","datavalue":{"value":{"amount":"+0.7792665958404541","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":"Q2965632$81B7BB7C-3CD8-4B7E-A9B2-A40FCF24E892","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":"586b8d0c0f799ccb78dd32c1a888ef2039fa1546","datavalue":{"value":{"amount":"+0.7750710844993591","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":"Q2965632$ADEE4B8A-33C7-4A55-B184-FF02017DF3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2965632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2965632"}}}}}