{"entities":{"Q4635794":{"pageid":6665375,"ns":120,"title":"Item:Q4635794","lastrevid":53070755,"modified":"2026-01-24T04:11:11Z","type":"item","id":"Q4635794","labels":{"en":{"language":"en","value":"A cubical approach to synthetic homotopy theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863380"}},"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":"Q4635794$49D878D7-0A8B-4EFA-9E2E-4A52D6FF1915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"265121025605590a0595a9459b627a6c873e305f","datavalue":{"value":{"text":"A Cubical Approach to Synthetic Homotopy Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635794$FCA5B218-9BE3-45BA-BCA2-0341A1838118","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfb557f04c48090d00d0d8d0cfd0ac5a9e4b2e85","datavalue":{"value":"1395.55019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$6674DB0E-2B8E-4006-9B66-E2ABA02B95FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"314da5ae44bac4bb2cc055cfefd320a3cddf8324","datavalue":{"value":"10.1109/LICS.2015.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$BBB149A3-2ECA-4A36-8790-DD92FAD06F86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635794$650AC25A-362A-4FE2-98EE-E9EBAF340BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7123ca25439a06ac3cc7cde88243a76ca826ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":2319986,"id":"Q2319986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635794$2586A876-1734-4BC5-9363-979CACF3DF13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635794$701A5DFA-90E0-41B0-8383-835DA366FDC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635794$84FB7F22-46A4-4406-AFE0-4E80ECC84F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$B416D3D6-8206-497F-88B4-81CF8F63D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$4525936B-9047-45CD-88F7-F6B153250E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$3B1B4834-29FC-477A-8BC2-66A9E7CAD951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$0CBC1CDF-621C-4447-B5FB-5C8ED48645FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aea30af54a232e36f2b7c4766f75877b2c46b79","datavalue":{"value":"6863380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$3F6679D2-EC07-4980-B74B-F39BFABCEF6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635794$6037E84B-4CDE-48A9-9512-C81962036A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635794$A0A6F6E8-1FA2-462D-9BEE-4D8DA80ED45F","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":"Q4635794$0516D075-2CFD-458A-944C-E15FAE3FDFF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f52836a17cc52c65e6be36a8e06f3349d6387aa1","datavalue":{"value":"https://doi.org/10.1109/lics.2015.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635794$AD8F436D-4A37-46E5-B93C-BC685E14ADD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"485ea2a2afd4cef17ad3e2747d8d8790ac3d2850","datavalue":{"value":"W1553187622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635794$E8685FBE-39C4-4CDB-A07D-11048E162D02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3ede721a1499eb0c2f13685f75c7528d53092a","datavalue":{"value":{"entity-type":"item","numeric-id":5028486,"id":"Q5028486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325c838587f8af4a7c3923f235187c781ecbf66c","datavalue":{"value":{"amount":"+0.7858899831771851","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":"Q4635794$E6E84EDF-E461-4B61-8A3A-BCB378161644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611ae37cd77e81d821a59e1af5afe2303c597fc","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab78a129d49d6d76fbc5a3918da06bc6c0200665","datavalue":{"value":{"amount":"+0.7834986448287964","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":"Q4635794$06919590-7F83-4046-97D0-2EDC8011BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff852ddc80b3dc993a18d30d59096f529622fb7a","datavalue":{"value":{"amount":"+0.7782679796218872","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":"Q4635794$643A7BB8-1A08-4BC9-9531-97A9CE96BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7684d750067f3243ada8a247fe9d312c6ff6a367","datavalue":{"value":{"amount":"+0.7732183337211609","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":"Q4635794$83A6A0D7-071B-4222-9BFC-AFE016EAB4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2557dd07897a31b66a8a838d93de6f38e2fbece2","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9187711ffb9dc64455f655733b1daf9c25ea4c00","datavalue":{"value":{"amount":"+0.7613114714622498","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":"Q4635794$07EF1A0E-10A7-45D2-B5A1-7045EF62D06B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635794"}}}}}