{"entities":{"Q5213483":{"pageid":7243053,"ns":120,"title":"Item:Q5213483","lastrevid":94579943,"modified":"2026-06-05T07:10:49Z","type":"item","id":"Q5213483","labels":{"en":{"language":"en","value":"Modal Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162136"}},"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":"Q5213483$6BC04994-2676-4E88-A306-93AAEC1B517C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e36fb4790820e2b4c865ad91fab86aaa98e06d","datavalue":{"value":{"text":"Modal Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213483$CB2B9F4C-33BD-452A-99D5-2349F86C11A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88ca6dabc7d536f422a560e1f585485cfa45ead2","datavalue":{"value":"1436.00033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$0C5A7FBC-600F-40FE-B05B-DFE8D06A9584","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":"Q5213483$279DBA41-B09A-4E3A-8F9C-9D703BCB6745","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-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":"Q5213483$7E7754A7-456A-4629-92E1-4F70B63F7D4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$7631DDBC-4735-48DC-B667-D965C6E8B05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aafe46c09c92adc5a232422756cd073de4b679c3","datavalue":{"value":"18-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$F05233E7-DDB2-43ED-BA29-90AA86E21475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$0CC0FC48-C7BA-48AA-A214-E08C798406AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$085D0CC4-0BEC-41A5-9B23-9422BB51FE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$E3A483E1-3BB5-4EBE-87AD-0882D2060A63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e4fbceda583600c726a68392aeb6d6da85898b","datavalue":{"value":"7162136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$06FC9609-A9E2-4374-9EF6-BC6D16943D61","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":"Q5213483$1C3D3D04-A8BC-4DEF-B91E-7F5FB117FF13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aac9b9dc3c8694f919e694616640e1c1283f7ebc","datavalue":{"value":"https://doi.org/10.1093/oso/9780198853404.001.0001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213483$EDFB796B-23D4-435E-B9FA-15E93CB0CA5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"482486598896bf718682d18c0a42e64f20e0616e","datavalue":{"value":"W2900420380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$F55DC4AD-C86D-4F89-87BF-6059195E9658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36c9df25f6d064e8f552b8000b517ab36d42dbf0","datavalue":{"value":"10.1093/OSO/9780198853404.001.0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$9369CECB-7868-4429-88C8-31D898FE486F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee279ac37b2f3cbfe9ad39b0aad08ac0fe27309","datavalue":{"value":{"amount":"+0.8401729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$05753C29-483F-43C7-B64E-A475D691DE05","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":"86315eb83b34f9eccf4491d2dca99f5c076005dd","datavalue":{"value":{"amount":"+0.81745994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$3C0EE8B7-1C61-4ECE-9C31-D34BCAFE3655","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":"385f86aac8dc2ab0625d7415ae94b5c9172a33f1","datavalue":{"value":{"amount":"+0.8164358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$B7AF0466-2646-4075-98F4-8B9ED2F5A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b795b00a9eeb8aa722cc30d527a1c9f05a1573b","datavalue":{"value":{"entity-type":"item","numeric-id":2054123,"id":"Q2054123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d28ee26c365676d19913ed766122b39a4dd9a3d","datavalue":{"value":{"amount":"+0.8122257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$1D3760CF-AF44-40D8-B398-1926AD842A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644103c1399f11466d4554a0a8cd2cfb22a0701e","datavalue":{"value":{"amount":"+0.8054415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$10578443-B41F-4B66-8630-FD5832720D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bea3fd6c09b5ce208604064041f94eb2653827","datavalue":{"value":{"entity-type":"item","numeric-id":5164726,"id":"Q5164726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c3c4918da98772b2847b606660cf0354a3706a","datavalue":{"value":{"amount":"+0.80268586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$A29FC509-9C3A-4528-80C6-0B67A1C1C637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f60d96e03ca17afc609e5e73596306b7a040fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2965632,"id":"Q2965632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c15f1ce02287de6fdf36885f7a792c3cb1c85e","datavalue":{"value":{"amount":"+0.7963614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$6F2B3090-A301-4416-AE5E-ED9288EE8668","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":"19e979b28ff369d5394ed577a5e2ab6f97ec7553","datavalue":{"value":{"amount":"+0.7932894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$20D4ED61-98F6-4B97-A71C-1205CB6A3C1E","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":"22d483d69e507b046ca57362b603cd3901b17529","datavalue":{"value":{"amount":"+0.79075134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5213483$81590AD5-25CE-4536-B190-D87F9D80C572","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"638745f88f208cdb30593fb2135bad6a0107875a","datavalue":{"value":"bafkreiddjermbzbidaw5pbpgd2ndkqb2mwfp2ey7mbfucmo6kljjqmdhpy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213483$DE4AC8F4-AA4C-41DF-A7DB-AEF36A34025E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal Homotopy Type Theory","badges":[]}}}}}