{"entities":{"Q3119466":{"pageid":3130182,"ns":120,"title":"Item:Q3119466","lastrevid":58125846,"modified":"2026-04-03T22:11:33Z","type":"item","id":"Q3119466","labels":{"en":{"language":"en","value":"A homotopy-theoretic model of function extensionality in the effective topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034570"}},"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":"Q3119466$F3933D8F-9B84-4002-B689-51CB7381E700","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f1d1490d90804ddc9ed90099597dc85bf833b54","datavalue":{"value":{"text":"A homotopy-theoretic model of function extensionality in the effective topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3119466$B8CC7E16-F9EC-459E-9ADF-238FE34377E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f99f9ed39feaf61ca6fa80d82de07721d41fab49","datavalue":{"value":"1422.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$AD62A57D-A198-4A48-BAD2-07CBFD51F64D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0838b54cddc0a3e20c7c72f7e721aceb2ecd9068","datavalue":{"value":"10.1017/S0960129518000142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$E54143BF-4A60-4549-A214-42B0416FF104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3273012076b162816c1611f7793db2bf0c2a379d","datavalue":{"value":{"entity-type":"item","numeric-id":3119465,"id":"Q3119465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$7BB201A2-FCFB-41B6-AD9A-D3C56474791B","rank":"normal"},{"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":"Q3119466$0A2D2DD3-8BC0-405D-994B-154A4C791E3C","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":"Q3119466$97F422DE-1AE9-4A0A-9EAD-341447797E2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a0dafee01fa9f078f484e43a23f185aeb85325","datavalue":{"value":{"time":"+2019-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3119466$FA9729C1-F409-4CD1-95AC-442288DF3CAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28aa4142c3659043d5dfe740e540131b5e404afc","datavalue":{"value":"https://arxiv.org/abs/1701.08369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3119466$8FFBA628-CB09-452E-96D0-F477AC6B6287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$647FF100-76A6-4389-A002-39E687D941DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$9C0104FF-F3B4-42B4-8AFC-2E91038C0643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$C006B609-4F4D-4A35-BABD-8690F7C6CA46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"680aefda50bc2c79660bcf24c6a2bd02f7b9cec4","datavalue":{"value":"7034570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$77A9ADF1-BDAF-48B4-9490-1F1EC5B11E0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8aa514cce6078d9005224c723c2e91bf199efa0","datavalue":{"value":"function extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119466$8164B7BF-00D1-4F23-A467-05FD80603C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119466$48704512-64E1-43BC-8A87-11DF7061D974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c534e2b5a2d59e143363e31638f5dda0acc1751","datavalue":{"value":"Quillen model structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119466$A3AE66AE-A832-4B3A-ADB7-B27B8BACC0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119466$224D929E-658A-4110-B4F2-70515A94F777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119466$A50078F1-AA7B-4578-9477-8D99E4D5A1A6","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":"Q3119466$7AC1BE83-0B4C-4600-87A2-705379B9B046","rank":"normal"}],"P223":[{"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":"Q3119466$B4195AB9-522A-499D-A15A-DD1D628E2CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$2C3CE139-A819-45F8-B763-B0FBB9607AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3405d5cb68136edc0233d81b51a594a9054389","datavalue":{"value":{"entity-type":"item","numeric-id":886977,"id":"Q886977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$DE4CFF2C-CEF6-4795-A965-17CAABD179CE","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":"Q3119466$1F7D57A6-ADDE-47FA-B276-C934519BCDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$CA5FD5EB-E2A5-496F-9CCB-9C3ABDD477CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb1f5730dc671e95d2c4237dfdcada480417c74","datavalue":{"value":{"entity-type":"item","numeric-id":3142163,"id":"Q3142163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$9BD24E95-6B1F-4565-8DB1-1904F82FCBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$915CFEAF-2420-4C4D-94D6-B429E947BF5A","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":"Q3119466$EE1A0858-BF82-499B-A1AE-54DF99A8680A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$D98C319A-6438-4D06-BF9B-8765207F24C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$9EDB8E6D-4CEF-4AAA-BA7E-5A599F46100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$1AE2511B-EBF4-4987-8584-C6475D6DAA09","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":"Q3119466$0B809C91-9914-4BD9-8D47-D1F385C9B161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$7D788F7B-0BC3-4295-B9F9-92F42DC74FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$A335C5B8-3EB4-445A-B416-DE65AB90553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c278866b3008c6bb7995549e42cb60e55252d17b","datavalue":{"value":{"entity-type":"item","numeric-id":5740653,"id":"Q5740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$34BB4589-7D14-4365-A9CD-004E19133574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$26297637-CE64-4CDA-92E7-0BF817FED22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cd323ac3d7b64971659fa943a991907f080103","datavalue":{"value":{"entity-type":"item","numeric-id":554242,"id":"Q554242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$D4C7A4D7-BB8A-4E70-91D3-91E4D43FC27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e86fff21192ecd71751e967f7c4c122eecfc041","datavalue":{"value":{"entity-type":"item","numeric-id":2879235,"id":"Q2879235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$E670F429-E970-47BA-9D54-D2BEDB2F90CD","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":"Q3119466$E27393F4-FEB6-4561-89DB-0D184B815BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$DB144B8E-BE21-4185-89A6-EBC64C74C1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$B069F602-22AA-4384-8F49-D4EE1C6FC0AE","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":"Q3119466$07BBA893-D6DC-4F3C-B565-C4941E1195E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119466$5DCB48EC-9457-4A82-BA3C-AD6CE532FF80","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":"Q3119466$D89B2589-E906-4CB8-8EB2-69207A5F29EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d728083595f616be8ba203c891594e4306498997","datavalue":{"value":"W2584816079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$75BBA9CF-518A-4FBB-A31D-A959285AF486","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56ee2a6984079f4ff40ef5434945f53497f8389e","datavalue":{"value":"Q129268483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119466$7993F6B2-DF1F-4397-9F9E-2892882AAD02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f6d1916f7f12a95bfd65655701127a96b10a8b","datavalue":{"value":{"entity-type":"item","numeric-id":504545,"id":"Q504545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f174a8d0d7b54892cc2d18c7dd41fd450669a7f","datavalue":{"value":{"amount":"+0.8103641271591187","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":"Q3119466$A77F9B14-AE95-42C7-86E2-C43BC832CC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03cdfb400b819a8f34af382fa6e1e0f0778dd69","datavalue":{"value":{"entity-type":"item","numeric-id":1987219,"id":"Q1987219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f085367e042ede4a23d32e20132ab0e39756f499","datavalue":{"value":{"amount":"+0.7895801663398743","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":"Q3119466$60A97BB0-BCDD-49FA-9000-840ECEFB587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c953c9e741b1de0ccf70dca743be53f7bd128d","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f4b040670a55c674621307db98ea955d165ff3","datavalue":{"value":{"amount":"+0.7771932482719421","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":"Q3119466$BE80DC92-7744-4547-9250-912D8E65891D","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":"89b0954e1afe0149d43619800bd0a5223fb23e0f","datavalue":{"value":{"amount":"+0.7764233946800232","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":"Q3119466$167505F4-2426-4140-91EE-AABFF578EC2C","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":"1ab618e30b1b18adc3c18b4442593b9d44426a72","datavalue":{"value":{"amount":"+0.7715156674385071","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":"Q3119466$3350F0AF-41C9-4075-94D2-5076932690CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3119466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3119466"}}}}}