{"entities":{"Q3007656":{"pageid":3018380,"ns":120,"title":"Item:Q3007656","lastrevid":80157194,"modified":"2026-05-06T15:34:01Z","type":"item","id":"Q3007656","labels":{"en":{"language":"en","value":"Homotopy-theoretic models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908716"}},"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":"Q3007656$8843B883-A016-4059-873A-49C4AC0A99CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9db984ee9bb7f4849d38f54bad40ef7a1d3abf6","datavalue":{"value":{"text":"Homotopy-Theoretic Models of Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007656$115A5E2E-862F-44BD-860F-B2F3C1945ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5524687601c98b53cfa39b3e8d8547e73585ac6","datavalue":{"value":"1331.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$23BE7A90-9C18-4C9B-8559-B7AFE1F1F85A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6618e2354fe027dce3b98aa18f3d0f927d9212f","datavalue":{"value":"10.1007/978-3-642-21691-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$B29DBEC5-7DA1-4A5F-AE90-ACAA8FB375ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848ba680bc4beb5e419f7a7def7b1448b789467a","datavalue":{"value":{"entity-type":"item","numeric-id":1785777,"id":"Q1785777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$0CF55847-0E93-4143-837A-DA6BD2C055DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"706dfbd9a3bd70c5446c1abd91210c63cd901eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1284804,"id":"Q1284804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$D5DA803F-E371-4819-93B6-422D61825DB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$990FA4EE-7024-456E-BA62-A367B4A78996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q3007656$50A8C125-8E9B-41B0-B7F2-8A6A5939F2CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef806ddae8bc37ccaeb0a7092e92a1755fea4f4b","datavalue":{"value":"https://arxiv.org/abs/1208.5683","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007656$7E2CB9CC-CE1D-4AE7-BCE8-E0B47A5A3A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$BB225DB4-5AAC-4894-8185-5F82C00C76A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$644F14ED-7800-499C-8880-24494E70466F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a25229be9649d6c6f52af0b064be007ce0d9bed","datavalue":{"value":"5908716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$121EA8B5-D15F-4AC3-ABF9-9D335CD341E6","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":"Q3007656$3A6741ED-882D-45F3-AD85-766A97D0F12B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a4aa87b82c7d71f4e8912380bba23b2f9c22d47","datavalue":{"value":"W2120323684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007656$47D5C961-B361-4315-A759-40AA86AED5F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4d8dae241063d5baeac3caca0e703ba3c4f20a","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$AEB58FB2-5012-4BA8-8EA5-D88477F8D3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$BC969956-83E0-48B6-BEF1-F2C9336AF6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01842406e5a45c869ae6b85179d666cfdab3bd19","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$A7E63FC3-B655-4778-9E88-F3771C993BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3bdcf2f6f14696a35f7600016e7625ef2a0cd8","datavalue":{"value":{"entity-type":"item","numeric-id":607286,"id":"Q607286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$E430F74D-3649-4552-AA44-C81B97789337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59fb1f45c77427e6b47c5c663b2bc3b37a3c5be","datavalue":{"value":{"entity-type":"item","numeric-id":1269468,"id":"Q1269468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$EB507F0D-9197-42E6-8D6F-6A4EB71A9AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a576d6b7e0693dfcffa98b06979dd715c004fae2","datavalue":{"value":{"entity-type":"item","numeric-id":1850079,"id":"Q1850079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$23723388-93DB-437B-8613-22DA91787350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$55E113ED-13B4-4F09-A3C0-B6C20C0F6B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$7B5CA82D-ACFA-4531-809E-A9960F32707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$0AD97DF5-EB94-4782-B69D-BD424B0CF220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$48E06628-1716-45D6-ACE0-9AA844B6784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$7A1D45C7-F87B-4FD5-8F42-C5DE3C4C07DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$F0CF2A8B-E8D9-42EC-B348-25FF9772B8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$E805D08E-05F2-4A4A-B336-1B69E05A12BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dcf2f4dbbcf76866eccb2b8f11648193617fe","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$4BE49FBD-28E4-49BA-B448-6395A2374CDB","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":"Q3007656$5F1CDD2B-0823-4AF3-B9EA-0081E20E6E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200b65c2e943f407600eee70d449d6bcd77b171d","datavalue":{"value":{"entity-type":"item","numeric-id":5932372,"id":"Q5932372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$B907E09E-860F-4553-8452-59CB9CC499AA","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":"Q3007656$D02EF6D0-DD58-4D93-8FA3-2DED5FFCF9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$273A5B04-6786-4586-A126-139FA86794D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c606f09f5354339c9720476f95e29b64226c9162","datavalue":{"value":{"entity-type":"item","numeric-id":5960421,"id":"Q5960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$7FB99A14-D2D4-4287-A28F-DD8D0587F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$74378A87-6B5D-48F1-933C-2ABF25DCCB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$339AFE29-B89C-477B-9B4F-A3C744A84386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7c637079cc83ad1b850f9e8e8240d42e9bb260","datavalue":{"value":{"entity-type":"item","numeric-id":1129863,"id":"Q1129863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007656$59C65736-C62B-47BE-A7E2-2F9A679BD67C","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":"124725a3d424c3eab74804d0a4ea035037d186e2","datavalue":{"value":{"amount":"+0.8875634670257568","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":"Q3007656$6E73C8A4-B7BC-45E5-9AFA-D1F705D90769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b3a0226828fcfee56578fd8c69f2b428a3595","datavalue":{"value":{"amount":"+0.8633324503898621","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":"Q3007656$8CC6DD81-3E86-4650-8073-BD4D7922D4CA","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":"35bbde4a6f313c56ac510d2bdd31c3fcde1b017c","datavalue":{"value":{"amount":"+0.8628306984901428","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":"Q3007656$D9758723-EB6B-4F24-AF16-A75E3A2D60D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"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":"Q3007656$B0085F6E-1187-4D3F-A132-EE4EA5A28ED1","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":"ebbee8d94eb3630cf16d2202bea52f6e032bdec6","datavalue":{"value":{"amount":"+0.8395434021949768","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":"Q3007656$A50D92B0-DBC2-4120-8C93-EE7FA59EAF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopy-theoretic models of type theory","badges":[]}}}}}