{"entities":{"Q5156772":{"pageid":7186343,"ns":120,"title":"Item:Q5156772","lastrevid":55391047,"modified":"2026-02-17T15:19:36Z","type":"item","id":"Q5156772","labels":{"en":{"language":"en","value":"Homotopy type-theoretic interpretations of constructive set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408498"}},"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":"Q5156772$EA922B60-F4BF-4C5F-8C70-088A8EBA615E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ed3e24e4f0fe2ef69a7fdca5d0d4d204e27e363","datavalue":{"value":{"text":"Homotopy type-theoretic interpretations of constructive set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156772$D76E0DBE-BE33-4C52-B0E3-3BF4FF069618","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de73c53620e295353018059b2c12ae1740e16daf","datavalue":{"value":"10.1017/S0960129519000148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$20644A72-562D-4F4F-A99F-A7006010C69B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeb01d27ba710e560a4fe37fd37500f71b53feb","datavalue":{"value":{"entity-type":"item","numeric-id":5156771,"id":"Q5156771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$8339FF97-D0E4-498E-A6A4-E3810B500E09","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":"Q5156772$22FC2059-ECB9-4D00-8CA8-22BE4684E321","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":"Q5156772$ACB4157C-75E7-49A4-AA80-D4B8A699ED82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$95EC157B-F981-4AFF-8AE3-3DCC6A696486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$3DB82044-A225-4FB8-BF2E-5D4E02A189BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$AA9A13C1-C602-4B6E-BBB5-F116EA25D8A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"417908d1f44843568f25b17100265ff9ff904c91","datavalue":{"value":"7408498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$AD7B9F10-400F-4BA2-ACAC-E77E3BA1AC3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156772$76CA43B2-FDE1-46C6-A04F-5C353BE2C32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156772$FFA9F314-42B2-44F8-88AC-001890153C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156772$EA266868-ACE2-48B2-86F6-FF9722FEA7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1354cc38681e32cf801bb5dfe69e4f34f99669","datavalue":{"value":"logic-enriched type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156772$9831F4EC-5170-47F0-9041-DE3D7D0AB11C","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":"Q5156772$E0D2E977-749B-44AF-B117-F2FAEBCA7F5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$EDC21D60-510A-4E49-96A2-9FE81F4ECFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$601058FE-BE46-41B1-92E8-18E97DCCF5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086c633ac6174cac783cb9e50dd4f0e957afd426","datavalue":{"value":{"entity-type":"item","numeric-id":4736386,"id":"Q4736386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$58A2E37F-A611-449F-9CFD-6AB56BB338A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$3FBDF62A-A762-4B88-BDBB-7C42CC29B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db809ab5cb82c11da93f8cf5c1a65be474b13b05","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$F82BAC4B-025C-49F9-BD2F-6A342F925041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$8ED2B7FB-5F4E-4191-AE68-8510D4F49DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$98703F1A-91EB-4E93-BF2E-273F1AF7ECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$511EA9DB-3573-4391-9CF8-8DF553096A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963485469aceb0582dd2c60644ec88f187611b06","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$0A28C900-DDF4-4FE6-8F8E-9E6B50CA6924","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":"Q5156772$0CD643C6-E9CE-48F9-AA3B-F9BAD8E8C261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156772$A5B938DF-32E2-4204-9AF7-38073107C4BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56e4dcfff036af4e2d6608bff38aecd2e0d7e551","datavalue":{"value":"https://doi.org/10.1017/s0960129519000148","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156772$067AD5C8-DEFB-414B-B9F7-9381EF303600","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfe1b00be9e9a071c9c1d6677cdbcca8532c0d3b","datavalue":{"value":"W2921141952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156772$B2E0D182-E9DE-4C79-8425-01E0A4E3E8F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaf25f850d887ad83ab0b62cbf59b1cda9fe30a","datavalue":{"value":{"amount":"+0.818907618522644","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":"Q5156772$856B00E0-8234-4F24-9E7C-53811B4489A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c2eca8b57c9084a4918332c184ab71d90172ee","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c2c7710f2921c49516595649165140050df2ec","datavalue":{"value":{"amount":"+0.7948415279388428","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":"Q5156772$F75769AA-865E-49CC-B489-3F95FD993BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3364d75f1def53d351db53d1753b4448aefbf","datavalue":{"value":{"entity-type":"item","numeric-id":1577478,"id":"Q1577478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb013c8f65fa672b5fb0a04764b03731731d820c","datavalue":{"value":{"amount":"+0.7641407251358032","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":"Q5156772$5F1376D9-D75C-4105-B13C-86B9402698C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058ff2953fc9a277810313515d4a6bab075c9984","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d23eb75283798b6835293a0a492127611965c4","datavalue":{"value":{"amount":"+0.7593123316764832","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":"Q5156772$5056A9E8-B0BA-4675-B852-CD0BEF119659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6268ca403aacdca6c47effbf107da0f68e1da70","datavalue":{"value":{"amount":"+0.7580862641334534","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":"Q5156772$7AB82CB3-35A1-453F-B71F-9E967F153B8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156772"}}}}}