{"entities":{"Q5740655":{"pageid":7770207,"ns":120,"title":"Item:Q5740655","lastrevid":101732627,"modified":"2026-06-06T02:40:15Z","type":"item","id":"Q5740655","labels":{"en":{"language":"en","value":"Sets in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606941"}},"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":"Q5740655$066CE792-2AA7-4F54-8153-E65C6CFE3EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94c0a984a2f2e12812b60917d40aabc012f12d1","datavalue":{"value":{"text":"Sets in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740655$A7370300-A8A1-4DE7-80AE-0AE6AD5B8345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32ba7e9080dfe4d40b657df632bebd8189a0919","datavalue":{"value":"1362.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$CDA6107B-C6B8-446A-84F5-888526A32C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0409e54d2fc67b293cf10d1c22edf28ed0639713","datavalue":{"value":"10.1017/S0960129514000553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$30FB5087-968D-4188-A300-F821B5FA3EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$9B51659B-DBD4-45F9-A088-28C4F10CD742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$CC334B2D-B240-4153-ADCC-554D0A7DA9A3","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":"Q5740655$F87578F7-5887-4431-8788-F53AE7726652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740655$E2EDBDEC-4D4D-40E8-A63F-745FEC6BFABB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a4563fc6bdd096b9ac69a5030ad328d5668a18","datavalue":{"value":"https://arxiv.org/abs/1305.3835","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740655$67EBC3A6-7C2C-4D6A-9BD9-E3690C52BAC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$E0974EF2-51B5-4D38-821E-E7D98B6094E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$E8467379-0F2F-4FBF-BE09-754980EDF9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$8BC028A1-FAAD-4B15-9C5C-6E5FB750FA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$1071F35D-5246-4146-A897-91938DE488CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$6038D783-1B2B-42AE-B737-C1CD9B6BBDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2b305af770ad1c0d830fa0bca31b48ccecdfc2","datavalue":{"value":"6606941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740655$D62A1C76-7672-4D72-A6CC-0CBC1A04879F","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":"Q5740655$BBFF5414-3DEE-4F1B-9611-FA1D8C842404","rank":"normal"}],"P223":[{"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":"Q5740655$1B617EBC-E247-4C14-84A8-178575BBD070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$268B2635-DCB5-4447-95DE-3597C45E6826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$2718C902-02EE-43CB-94A5-74D923B89782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$CD01D7D5-445F-4EA5-B0FB-E4550089DCF8","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":"Q5740655$993A9C7A-775E-432B-B56C-4B14BD183B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740655$BBCDDF2F-E4F4-4B7E-8797-4A4747E90597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662554a3cd5e7bf0bfa5e366f488ed72d9343438","datavalue":{"value":{"amount":"+0.7787114977836609","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":"Q5740655$9E5282FF-A99F-4EF6-AB69-3655C7A9DD19","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":"34e81f4ba2280726d36b9b9b2659bbcc529e8a44","datavalue":{"value":{"amount":"+0.7693974375724792","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":"Q5740655$624EF95A-8E71-41BE-AB28-F775EDF6C297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc95a9db8503e1aedd8406828bf3b48bc83fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48d66c6a0106138f302a815dd6a58e1d6c86370","datavalue":{"value":{"amount":"+0.7665503621101379","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":"Q5740655$385AFEB4-33CE-4490-9E6D-3A3E207B784E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107b104845e628fdd901d4a0fd71a941a026de52","datavalue":{"value":{"entity-type":"item","numeric-id":5858940,"id":"Q5858940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fadb7a3886713e02d7ca06614dda71816b9a6e1","datavalue":{"value":{"amount":"+0.7521698474884033","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":"Q5740655$8E57760A-51BC-4FBA-8B8A-F892B312C723","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":"21fed91fc42f74eec3f301336e954393e2209688","datavalue":{"value":{"amount":"+0.7486526966094971","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":"Q5740655$62CF31D3-68C8-45D0-98F9-7AF1E5BC562E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sets in homotopy type theory","badges":[]}}}}}