{"entities":{"Q5121795":{"pageid":7151369,"ns":120,"title":"Item:Q5121795","lastrevid":58437324,"modified":"2026-04-05T05:31:34Z","type":"item","id":"Q5121795","labels":{"en":{"language":"en","value":"The law of excluded middle in the simplicial model of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250002"}},"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":"Q5121795$E1E3D93D-83A4-4785-89C9-DEEFAB4D878D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ed36a54d78010a738b7ad6ba07e4261b9fae4c6","datavalue":{"value":"1452.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$FFF38002-F76E-45C3-99F1-26BDA3F2BFE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14d41f5e0f78ea382e8861239aa29282d101626","datavalue":{"value":{"entity-type":"item","numeric-id":5121794,"id":"Q5121794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121795$FB358B81-C025-43E2-89A4-7FA1C0F1ED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121795$C3E93F14-D438-4C68-A1F3-8B445980D597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-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":"Q5121795$D51C4DD3-6537-46AE-AFA0-46BD9B3717C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f873503db67b0f1021dac2d8ae8518701125c8ad","datavalue":{"value":"https://arxiv.org/abs/2006.13694","type":"string"},"datatype":"url"},"type":"statement","id":"Q5121795$83D55BF3-8953-48D2-B4F2-184C87362A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"44ff1094f15a3570843fc442a653fd242166674d","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/35/40/35-40abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5121795$B65A75F8-C5B0-46C4-A56A-DD8E7B7B4D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$0EFAE8E4-B432-4E53-AE48-CF42F5B327B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$C77E9377-B06E-4673-B926-D7A1C4A43BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$60895C58-C52D-4726-B2D6-A5FEAD99FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$E4ACCEE9-AFAC-488C-9D01-630D5FBA974C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0f2d5832031390af5bd8be12e58708d7150a061","datavalue":{"value":"7250002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$ECCCB9D4-42CE-4B0C-B359-21FD9FFD8F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121795$6ED7F1CC-0E4C-445F-8237-CD9D9A4E7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121795$B53BCA84-9CAF-4A5A-A64C-CAA93E10A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121795$A4D37C53-B9E9-4892-BF06-F5CDC0276963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8847abd40e015112a77495b3b4a1ff409ebb3c99","datavalue":{"value":"law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121795$212A091C-59AE-4A31-B86A-B6B7F6267C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121795$CC1279BC-7024-42C1-8492-472CB05A8524","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":"Q5121795$4BB53DBB-3783-4A68-9F76-BD64A3775329","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"451708e673164db4304818f74eea63858b0084ce","datavalue":{"value":"bafkreiboo3bum4fjk4e7cv73ydmmqid463qfbel4zeok2ery7i2o6a777i","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121795$F3A66C07-EF3C-435D-9D78-8409A653FCC3","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":"05617aaa4dbb5d575f1e05b31fd0082dfaa1160b","datavalue":{"value":{"amount":"+0.7730408310890198","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":"Q5121795$D14DAC00-0AEA-4CFE-98FE-2CF32131864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd6a31033790feb804853ef802917b2dd1efe5","datavalue":{"value":{"entity-type":"item","numeric-id":4944857,"id":"Q4944857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b68a899026dc418a09121174b3dc93fff9eca34","datavalue":{"value":{"amount":"+0.7483829855918884","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":"Q5121795$ED03154E-3642-46B7-BE77-B9926F5790AC","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":"abdbcb40e2381af562071cba4838d096859391d4","datavalue":{"value":{"amount":"+0.7428928017616272","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":"Q5121795$2E64D1C0-0B67-464A-B84C-A5E9EBA417AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49487f83d42b3659afba4a08f656524ec2ad33b7","datavalue":{"value":{"amount":"+0.7268462777137756","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":"Q5121795$107BE0AC-EFE3-416A-A0AD-E560247364FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34dca7b37236f6448c5e6f9ef053e8e1fd5611d3","datavalue":{"value":{"entity-type":"item","numeric-id":5740651,"id":"Q5740651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2980f8f5231e648859a03b3a8a538c44da3c4352","datavalue":{"value":{"amount":"+0.7225683927536011","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":"Q5121795$285D6EE8-BB95-4177-83F3-A4CDAC832CB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5121795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5121795"}}}}}