{"entities":{"Q2957763":{"pageid":2968482,"ns":120,"title":"Item:Q2957763","lastrevid":58084359,"modified":"2026-04-03T18:01:28Z","type":"item","id":"Q2957763","labels":{"en":{"language":"en","value":"The local universes model: an overlooked coherence construction for dependent type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678793"}},"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":"Q2957763$D9865691-5DA1-4BB9-A12E-26B22D50B091","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e83da914f3fe87fb1995f952d3de6d624be59b","datavalue":{"value":{"text":"The Local Universes Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957763$D8D730E0-5C43-45B9-8E38-B0CA5923D9D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb7d9dc98e276987cdc577b8ea2f1e0b72dd5b61","datavalue":{"value":"1354.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$0DD0AC7C-8F92-4B25-B1F8-C3BAA7F244E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"538a2c6b3d10410a9a16b07f9e80cd08e1c6b6d1","datavalue":{"value":"10.1145/2754931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$8E59B45C-5E9C-4A75-AF00-33F85D3C9BCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$DD737698-4ADB-4C61-991C-31AB3D9BA4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$C3B79FE8-1F8E-46F6-9CB4-C7A438F63A75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$EB0CF246-9D2E-4287-B22D-7D267EC0E7A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1d208a972848f97d8e4747f80e7fee369c4254c","datavalue":{"value":{"time":"+2017-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957763$553E2D01-FAB8-4F95-B659-52DE17D72BA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b66d76a2c0265933cf2a80934d6663eb27f3cb1","datavalue":{"value":"https://arxiv.org/abs/1411.1736","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957763$C5BCCEC2-0AAB-4EC4-BB13-728ABC398848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$D2E770A5-0B8A-4897-8508-EF254F63B3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$33E095BF-72FA-4F4B-BEE0-357DED849D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$56453125-6228-4707-94BE-CE14286800BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7a62fc845bfe9ad5b964914d9f29bb9a28614f8","datavalue":{"value":"6678793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$2DC3D0C9-F5F3-4A25-9B48-9BA2E39305C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957763$8C750DD1-17C9-49C1-B543-D66723AC1E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b20782e28dfd5499beaca9d3f6952f4aa915174","datavalue":{"value":"coherence theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957763$CAB45859-580A-4051-AA72-88AB7B65A563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bab6af65b9d66056518849ea855ad468f312e73","datavalue":{"value":"comprehension categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957763$3B8E39DC-ABBE-4A16-9CFF-9A22D859C488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957763$9B5CB9AA-1C02-4B10-B1AD-553C2B62C16D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f9b7478fca81646d133934a8026e75eb7242902","datavalue":{"value":"Q59757170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$25A11D9F-69BA-43B6-B268-DE2FE6CAE99D","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":"Q2957763$3E3655E7-0361-4AAE-AC6E-EBFB528D0163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91043624ed6b49d716d40cd84a001452a7c2c1ac","datavalue":{"value":"W4293252599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$918BCC7A-0B3F-404D-B1B4-A47E59CDC4A6","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":"Q2957763$5E92A006-3A29-43FB-A989-C130E6B1407B","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":"Q2957763$97EF063D-BFE7-4F61-AEA8-9E37B9E99D11","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":"Q2957763$CA50B230-27BB-49F0-8E82-C70CEC2618CE","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":"Q2957763$AB02E17C-9BB7-48D7-94E5-934FCC252C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$C1F8C4C4-72CE-446B-A950-3D1742AA3CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58838f20fc20fe8a57fe4b0367b02befbcf07b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$70D0F2CF-A85B-487F-AB2E-F62B5ACC61F5","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":"Q2957763$707601F1-8B49-4279-AC68-5AE276E99A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed3b7d8b51d5f00707534a9510d273dfe19ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5507554,"id":"Q5507554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$FF74AD0E-3917-4D0D-9547-72DB06BCFD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$35E3827C-2134-4228-A170-33D9A5298FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$99D60725-A399-4DC8-99BC-70A0345BE8C3","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":"Q2957763$C9F21FEF-1108-4459-BB09-BCA8B881808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$C3B7A3DD-D0C2-4559-989B-1F368B94E9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a53ea73d2c7717d71f72101e96cd0b649b4234","datavalue":{"value":{"entity-type":"item","numeric-id":3978978,"id":"Q3978978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$6CDE1838-9CCD-4D89-A482-934089AFFE96","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":"Q2957763$51EC3101-7743-4861-925A-BA165D8907CB","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":"Q2957763$045DBDF4-2A15-48C7-AC10-2CC61E2E60CC","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":"Q2957763$043773DA-0B04-4B82-B724-DB89EDAB057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c97a386ef52a55491eea07543d3910b0cc2071f","datavalue":{"value":{"entity-type":"item","numeric-id":3093873,"id":"Q3093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957763$4900A703-7A54-44EE-A47B-E57619C7C5A3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2ffe18719ec3c1f18c9737cb9196ceb46f3f0545","datavalue":{"value":"journals/tocl/LumsdaineW15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957763$8539ECED-7C71-4198-919E-0413FF1F0787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd7caf29992a2d85cecd2d0a11d61ba0577ee60","datavalue":{"value":{"amount":"+0.7616825103759766","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":"Q2957763$E72F70EF-53EB-46DE-B8EA-E61D510B4218","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":"68a3d070ff5233f170ca757a819a04ac110d2bc7","datavalue":{"value":{"amount":"+0.7604940533638","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":"Q2957763$6B78DC7C-26C0-46F6-AC84-0DA341A3B1E0","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":"2cfd12ddae7acb2056d5ba477c9701a5b3fcb674","datavalue":{"value":{"amount":"+0.7581872940063477","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":"Q2957763$C7D655B1-56EC-4F27-BDF2-7DFEF418B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ddf24aca222678c69eebcd41c61f56bc43624","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ad34433246f70f4a9a3a279e9f0a323b3593ab","datavalue":{"value":{"amount":"+0.7519806623458862","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":"Q2957763$21D3859F-FDCD-4252-92AF-133CF8540FA7","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":"2e101a376527dc6525846b076af88ebaccd89b77","datavalue":{"value":{"amount":"+0.7500538229942322","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":"Q2957763$0C6C1A12-9993-4267-9AA9-B112459C3662","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957763"}}}}}