{"entities":{"Q3100202":{"pageid":3110917,"ns":120,"title":"Item:Q3100202","lastrevid":51371687,"modified":"2026-01-17T23:33:51Z","type":"item","id":"Q3100202","labels":{"en":{"language":"en","value":"Univalent semantics of constructive type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977504"}},"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":"Q3100202$F29B12C3-0418-4719-B04B-91027C33522B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e478bcffa6baa4134ce5d221be86a0054181c5e","datavalue":{"value":{"text":"Univalent Semantics of Constructive Type Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100202$802D544F-98A8-4B4C-97F1-2A7D75F75796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc714f51aa39224c1acab7564cd4c4978460e6ab","datavalue":{"value":"1250.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$6B1EC9BC-1830-4986-A680-B19105E57388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"271e866fad023721af131761c748e893b57c17cb","datavalue":{"value":"10.1007/978-3-642-25379-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$3BDEA70F-A4B0-4FF6-ABF6-0E922A926006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c8bbac3c2d1ca09e76202553b05458d0e708962","datavalue":{"value":{"entity-type":"item","numeric-id":177922,"id":"Q177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100202$7EF5746C-489A-47F9-BC35-24BDC20E6B33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100202$76B2D9EA-E2B1-4139-B135-384F5D1222B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100202$A8C73C4C-66BB-4755-9E50-F47F3946FDAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$5DA16010-6FE4-47F0-9D76-A58B466246DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$028AAA08-DD20-4D2B-9B37-97ED7AA10DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$133E042A-6C78-4872-8273-FBE2B6CF95A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$D7E9C830-41E7-4288-94EB-F8F8519FF1AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e8fb859af116aea85492e4be02404192812ef8d","datavalue":{"value":"5977504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$14AC05BD-CB43-4E8F-8653-0BCB3F716103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c44747cd34b5c31de4179971da6a038118217b","datavalue":{"value":"polymorphic type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100202$B3A50938-87AD-4A9B-ABF2-5FB9EAE78956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bb9f7608a05c48971025482162d04cd34eef7b","datavalue":{"value":"Martin-L\u00f6f identity types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100202$BD7FB670-A664-419D-936D-F2D5AE2B613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fd60325257926725e8424b8d779d36c09e6b5b","datavalue":{"value":"univalent semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100202$47487A4A-9FF7-4B74-91E0-62EF09DE60D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45b0ff7d03295b716fc84e60d5226aa5739b8cf9","datavalue":{"value":"type-theoretic foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100202$9548C1B0-9D28-4026-8D4C-96FCE2EF8D94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100202$00E59237-F9E7-4032-97EF-A91A67889337","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":"Q3100202$910CEE86-2B45-4ADA-A8A1-98631C5011E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4477f697fac028ee4cb78fa0f7ba61c39374fcd5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100202$779851EC-35A2-4F54-B773-02A664A83FE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69c7c20f172e3eead6b3fb94b181c730b03613a","datavalue":{"value":"W188158278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100202$403F6D50-75EC-4589-84F1-CDEAF828F63B","rank":"normal"}],"P1643":[{"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":"1c472de3804fd4bb680c62253b9a663679680f8d","datavalue":{"value":{"amount":"+0.8232472538948059","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":"Q3100202$DBD2098E-7BBC-4EFB-AC6F-F7D3513DA468","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":"3ccbd9e960f0c0032230c062016530f0b2ffb033","datavalue":{"value":{"amount":"+0.8078113198280334","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":"Q3100202$00A04E2B-44E2-436A-847C-BE93702F2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942bdedabae6481b1253a0d9554720a247a8ecde","datavalue":{"value":{"entity-type":"item","numeric-id":3003342,"id":"Q3003342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f535c1a0d8541903df65387dcf45683ee3cd3982","datavalue":{"value":{"amount":"+0.7989782094955444","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":"Q3100202$73ACCC96-58B1-4293-BEE5-C646CBBB5EF8","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":"fa6f87d55382bba7b7ec63053ac121842a33873e","datavalue":{"value":{"amount":"+0.7881571054458618","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":"Q3100202$38CFED80-844C-4702-B9C5-D49A4D07B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfa1d33d551d229eacbcd44b0ecc9b32ecbf7cb","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4190363da038006230431b74fd0b18bda59742","datavalue":{"value":{"amount":"+0.7800067663192749","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":"Q3100202$A1329B02-7D57-48CC-90D5-D0FCCE75AF0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100202"}}}}}