{"entities":{"Q5156767":{"pageid":7186338,"ns":120,"title":"Item:Q5156767","lastrevid":58462251,"modified":"2026-04-05T08:05:39Z","type":"item","id":"Q5156767","labels":{"en":{"language":"en","value":"Indexed type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408495"}},"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":"Q5156767$5B3029A1-0281-4558-90FC-F2B4848CA3DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"069f0ce502e5fcf1620b7ccc6b73ccfe8825d50a","datavalue":{"value":{"text":"Indexed type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156767$B39A23F9-0608-4EE9-AF02-5DE23465D3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9119d66d100ab41e435ab9eb1915ef39a29a61c4","datavalue":{"value":"1494.18018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$956B2D09-8CFC-47E1-98CD-3020ED495F97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dad1c7a5c7f0d50d06c4589d68e8609da76146c6","datavalue":{"value":"10.1017/S0960129520000092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$59D4D168-A4A9-4117-AE89-60C815AF4C4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53712b12cd8c182ce693a28eaecc2523678289fc","datavalue":{"value":{"entity-type":"item","numeric-id":4563226,"id":"Q4563226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$5827C73F-393F-4343-88F4-8F5B3AD24BD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$877F546F-120C-4B8D-9D29-29124CE0CF19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156767$BEDFFE77-DD7B-4042-B1D9-DF553DA6420D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7de400d324dc2b0edd98f7755d073cd7d96e1f1c","datavalue":{"value":"https://arxiv.org/abs/1806.08038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156767$B68714BC-8D15-49EE-9D39-877E660CBE48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$0C68D5B9-7A87-462E-A28D-D1E2B00C90F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$7D764B1C-BDBA-4E0D-9599-813888F8163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$6F479692-E3C1-4A36-AC38-3D30604DB500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c862dd3f072746b4b5876bcd2cfe4ca5c1d6d8eb","datavalue":{"value":"7408495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156767$A82FBE47-83AD-4380-8B01-E83653C62AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156767$02478D32-144D-429F-9B7C-F2C69B158B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156767$B1EA2013-E2C7-4F41-A9DC-3BEC33938417","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":"Q5156767$1E3EB3F8-B6B4-46B6-A9AD-983F60011CB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d72847ba30608d201d25872d3eec4b60481b02","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$47014983-B12D-48EA-A795-BCC4A04D8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed76c0676b87a925b5d0f36a69cf0f6b2eb1abe2","datavalue":{"value":{"entity-type":"item","numeric-id":5217591,"id":"Q5217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$4C44503C-26D1-483D-AE1B-EC569F212EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adf8dfd2b99e71170504eeaf951ae3199f99593","datavalue":{"value":{"entity-type":"item","numeric-id":1353439,"id":"Q1353439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$D2CC894D-49D0-47D3-A565-E02C7C6F9196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3252598c9410d688c413fc31b5ccc17670cacee","datavalue":{"value":{"entity-type":"item","numeric-id":3081318,"id":"Q3081318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$2EB87ECC-CD12-4773-BB63-B059B1557C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ac08aa2a700595624d1082d66497c7099121a2","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$575EF70D-AD19-47FF-BBA8-0DC07EEA84B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$7126A706-2B5A-4C35-BBEC-59269F79BDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38986ff07aca867f810d858cc59d62bebff974","datavalue":{"value":{"entity-type":"item","numeric-id":2414596,"id":"Q2414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$24000912-B5C1-4881-9DED-DA8674526516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534a4174be75df0f8198e68669b8c6adba72f065","datavalue":{"value":{"entity-type":"item","numeric-id":5300901,"id":"Q5300901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$DC9BF976-E40F-4E76-93E3-24C5C3B1FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$2442F24E-22B4-41F6-B7BD-0F20B883DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$7491BF5A-BED3-4561-A110-385DC80F345E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90ef6b47732b288002c0040f4076c08f5c0c36","datavalue":{"value":{"entity-type":"item","numeric-id":3296751,"id":"Q3296751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$A10A5636-AA4C-4AFA-99F8-2A66415BD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$EE35A37A-20E4-420D-BC12-A0D18B16F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$9FAF921A-3B7A-495C-B262-5B68ADFE11D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3312235afe72a99b4e3f5db3d2955497177b8","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$750C661F-BC43-4C13-93F7-B14EC7FED0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7763e07b928c816d2f8477347e9b9223645d555","datavalue":{"value":{"entity-type":"item","numeric-id":2974780,"id":"Q2974780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$65BF6D2D-3861-4BFB-901B-876EF8447B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$98D94541-C0FF-40FF-957D-06F31566087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752ca41ce1cbf71ea87c0acf4838f4caa005a66d","datavalue":{"value":{"entity-type":"item","numeric-id":5144630,"id":"Q5144630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$23A2A34E-2E6C-4A2E-BEE1-717D5AF26284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156767$157969C8-6B77-403D-A069-7511AEE64811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e8f9ece19e86d7ea0ffd24a6d7ce7cfb8a5f1","datavalue":{"value":{"entity-type":"item","numeric-id":750438,"id":"Q750438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba02299366e907c1000416a39b0e3afe0583ec9","datavalue":{"value":{"amount":"+0.7525656819343567","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":"Q5156767$FDE53687-6E2F-4E35-AA2F-583C218E1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29558331b4c5b81d5dfd0dc67b7cf4848104dedd","datavalue":{"value":{"amount":"+0.7503880262374878","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":"Q5156767$CD3B359D-1AD4-4127-A00F-FBBDCBE8652F","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":"bf1a76c1c6f86317fd0114dff5f2ff95d1bc20d7","datavalue":{"value":{"amount":"+0.7420634627342224","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":"Q5156767$8BF16CCB-F2B5-40DE-8772-2664C3F3EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81df944e21213f59b891323477300d4d84470d54","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9fb0007e0ba11acac7d7ae0d5a1ab34174d3f1","datavalue":{"value":{"amount":"+0.731785774230957","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":"Q5156767$1748CB9A-E213-4736-8573-D87D936507D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bccc653ecc7e1f58ad093de68d34233fde7a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2414596,"id":"Q2414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5804854b2367b6b6c5c4b01befe60a61205a1a4b","datavalue":{"value":{"amount":"+0.7285756468772888","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":"Q5156767$7040BAE0-7F64-434C-A838-53008AF412FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156767"}}}}}