{"entities":{"Q2946651":{"pageid":2957371,"ns":120,"title":"Item:Q2946651","lastrevid":58062546,"modified":"2026-04-03T16:01:26Z","type":"item","id":"Q2946651","labels":{"en":{"language":"en","value":"Topological and simplicial models of identity types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483157"}},"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":"Q2946651$FBF08712-A6B9-4B90-9C45-A4CB4A8C68B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fda1510508fba312d90dbd02f818b2b210ae6500","datavalue":{"value":{"text":"Topological and Simplicial Models of Identity Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946651$BFC9A33B-39E5-4160-94DA-F28842296A81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dc05ff6d1d5fac43862b1fd79c433e646ddbc94","datavalue":{"value":"1352.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$D07C4814-311B-4E06-9982-98941271FDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4245ec3d75656ca34f86027d8143650131fd1c12","datavalue":{"value":"10.1145/2071368.2071371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$36FD697F-05A8-4FC9-A162-266D42286DB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946651$AD7765BF-9B29-4000-A5A8-4D76E2A5387A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946651$7FA41DF5-AA50-484E-8ABC-0177BEFF0C63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946651$66EC3C8A-5B60-4F05-9EC7-7140354D3EFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946651$393DEC0C-308D-49DE-8031-B3FCAB62A4C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ef7860be992f2f92b727e8c192d0a080ba0302d","datavalue":{"value":"https://arxiv.org/abs/1007.4638","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946651$B5957F84-387A-4BC2-89A7-78C9C00B62A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$24590B88-4AEE-4598-8862-4B3C91BD99A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$660E5537-462C-496E-B95B-CB771D1CD283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$64FD8C9C-877B-45B8-90E3-4A1ED7E99162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$FE522CAB-2F7D-42BA-89DC-8B979581911D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c9737c2eeed1603d7808fe27c4e709ececc4c1","datavalue":{"value":"6483157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$31A9F794-6041-489C-9CED-C99C0613A011","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946651$EE3F17E4-94CB-4F66-ABBA-99E0072F955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946651$96391E71-01F9-405D-AE2E-DE98043FDB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946651$9CB89042-E84D-4308-A35A-A3E65F637F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7b45a4a1edbeb4c9f7bae8234defdd2e485bdf","datavalue":{"value":"identity types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946651$F3039494-3F07-43B2-9D58-0DFBEB12FF58","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":"Q2946651$348BC1A2-F8E4-460D-A98C-1C4E15B1FFA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"370e0d22ada4b0b26e69ca2e27a0393355e7ebe9","datavalue":{"value":"W1997582403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946651$93EB7E14-84FE-4D2D-8DA8-0DF183595283","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b753bcae7051fdb68fb00acf4fba02f5a65b1b1d","datavalue":{"value":{"amount":"+0.8774074912071228","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":"Q2946651$43616C41-3514-4835-A39E-2686FCF8F1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c691f7a9133a4ae1f6bedde760a2295cf84024","datavalue":{"value":{"amount":"+0.8558071851730347","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":"Q2946651$176CB33B-1E69-4B80-B022-49160F97AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1effa5dec6da55c94d0c2670eedf249811c8df55","datavalue":{"value":{"amount":"+0.8541082143783569","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":"Q2946651$332834EC-EA3D-451D-A8A2-D999A02A5A7D","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":"f99cbeb125573bde7d560ba833cebbaf001df64a","datavalue":{"value":{"amount":"+0.8388824462890625","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":"Q2946651$2A15E602-E60F-45EA-87B2-92A9BF47EE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e42de5a5637d1d52883446f1eef5eda3bdd0b0","datavalue":{"value":{"entity-type":"item","numeric-id":280835,"id":"Q280835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1565742492e7eca3f37815c517d34c32d57f3fc","datavalue":{"value":{"amount":"+0.8374770283699036","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":"Q2946651$3C64B29F-CFC6-428D-B988-4EAAA494D92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946651"}}}}}