{"entities":{"Q5094472":{"pageid":7124048,"ns":120,"title":"Item:Q5094472","lastrevid":94264709,"modified":"2026-06-05T06:22:42Z","type":"item","id":"Q5094472","labels":{"en":{"language":"en","value":"Simple type theory is not too simple: Grothendieck's schemes without dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566888"}},"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":"Q5094472$D5A154A0-4524-4C7D-8F8C-1D934F95A36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ef10a6fe25620be38cf84e2090f6f94aceef408","datavalue":{"value":{"text":"Simple Type Theory is not too Simple: Grothendieck\u2019s Schemes Without Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094472$2B928BD8-BDE2-40B7-87B5-081D2713159E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24fd1b65f12fe579887b25456088d5cf9b30834","datavalue":{"value":"1498.14001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$11AE2B1F-8F41-425F-A83F-E60E6FFB6203","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"530d2848290afac059d4c200363475ff7d81de17","datavalue":{"value":"10.1080/10586458.2022.2062073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$D51A74DA-28EB-4401-949F-6BFDD0527AD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a59ba930b973ae95480282ce5b3af1a0860138b","datavalue":{"value":{"entity-type":"item","numeric-id":2154144,"id":"Q2154144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$A530C7FF-21D9-42D2-820C-5AD778A65EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc2fb717104a06660a1d7938bd285da48cdfcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1725842,"id":"Q1725842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$1371583B-1FF9-4328-ABEA-F9821CF65777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$DA320F8A-0108-4C0C-BDB9-ED0670800F0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$5ED7E9AA-DFE7-41D7-9CFE-DBC588DE852F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa016bb6723a582b7104f77969047fbd7302b4b2","datavalue":{"value":{"time":"+2022-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094472$BEE4B241-0FDC-474E-A482-AE887738F36C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94678868218fae24c765267c8cf0b9e6ee3a9f4c","datavalue":{"value":"https://arxiv.org/abs/2104.09366","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094472$A411D0C8-7FB6-4E4A-B242-8855F2834A80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$911ED9D9-9FB1-4F9F-9848-DF7B5505EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4415e0fe132ea9440de4efe5c65c4034a3936a81","datavalue":{"value":"14-11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$39BD7128-D391-421D-8CB0-1B352B740D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$5E1B9A90-9693-416C-B456-96D93A6C1A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$E1C5DF36-68D8-4FA8-A287-C1CA48CACAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$899EF6AB-BF8E-42E2-BED3-C300E40EF76B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0e1e91ef20171dc29abd19196f9a3f4f1b2ee9","datavalue":{"value":"7566888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$BEF396D7-0988-49E6-B4AC-A9E6E2C8D494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094472$2077DB38-94E4-4FB3-A63F-C12F9A1B8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094472$97CAC9CB-1438-4AD0-9310-8F8A3AE2E3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84dd83c78d76cb340424bc3fb01cb5e71ae36603","datavalue":{"value":"logic and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094472$72B2CABE-A2C3-4092-9F5B-277DC20BB83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f6ea46881a12d484c6f690dd0a1c7ba35dc4f1","datavalue":{"value":"schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094472$9130E425-01FE-402F-8BFF-2FEBB6D885E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094472$BE084F97-92F6-4AE0-BE7D-A1D879FCF884","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$E4C39DA2-D893-4D72-B7BC-FB8DB4CBA607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$887C42F5-CB1F-4D86-ADF3-3410962B50D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$AC32CC3A-933B-4F3B-8D9D-60E1E4CBE559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$948A8C62-7147-4859-96B6-97767A88CDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$DF9938F7-7ABF-42E9-84E0-7C8087A268F9","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":"Q5094472$5E30925E-C237-4739-B5DE-13DBA84CBF42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d24cf93ab22cd4d0b746a212a88bf8124cb3d83b","datavalue":{"value":"W3156224329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094472$074E240A-6726-4069-B69D-0E0FCED54621","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$095FD320-5350-4C2F-84EF-571F2CE3815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$5B6F970A-C86F-4DB7-AEC6-F4E63986BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81b20c39194198bd8522651b2e5f3384f964d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2209550,"id":"Q2209550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$4D256424-8F24-43E0-83F8-3D6CE3894FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$7F70BCE0-145E-4A75-9345-4E9700BBA88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a42a19d0fc21ec6f04d8156c3cf07b594f9f5ae","datavalue":{"value":{"entity-type":"item","numeric-id":5094471,"id":"Q5094471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$63774B60-70FE-40E0-8B5E-8C4C7FAD76F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$CB69482E-63DF-46A9-BD72-F0575330A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$0C3EA96E-C81F-4D95-8F0C-6A21D84281AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c707fab1aa9bbaee678723ec7dc9886fba4037","datavalue":{"value":{"entity-type":"item","numeric-id":5049003,"id":"Q5049003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$F5D90579-8A7B-4C64-8943-217F0D6CF1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$42AD37E6-9DA4-4B42-B067-A2FBBAC99C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$2526A8AD-80B9-4547-B876-7FCF6E65E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$88E5650F-FA9B-45A3-9999-1D4E726D148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1a0dcbfc561e1e5ffac774e9501a5c3c966797","datavalue":{"value":{"entity-type":"item","numeric-id":1722645,"id":"Q1722645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$CC048DED-35DA-4561-BDF3-1C35CF3F030E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$CFD5EF69-C1D2-4C82-B630-0BD5377C300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$A583FBB3-8249-4DDF-B4A4-168E9F053B1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2249241d5e143c64478e2270dfbd784dd0b7a5","datavalue":{"value":{"entity-type":"item","numeric-id":5094471,"id":"Q5094471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df80b6f42a8a1e47f34626bae2d2e5393f6adea0","datavalue":{"value":{"amount":"+0.7224234342575073","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":"Q5094472$3C75EAD3-9CE0-4EF3-8E09-227120789226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6eb11d0dd16776606314fce063ca1f55959088","datavalue":{"value":{"entity-type":"item","numeric-id":5898533,"id":"Q5898533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4527e72acbe1f8f221fcd2ceb179a5a37b529eeb","datavalue":{"value":{"amount":"+0.7176037430763245","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":"Q5094472$E6D7CE32-BB4D-4A36-89E7-D66D163F4AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76743be54938f4955801e367b9932e6e7a292e90","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44504920edddff9f85d5a6fc75e91d8da8d93d28","datavalue":{"value":{"amount":"+0.7001744508743286","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":"Q5094472$50AA4ADF-32AA-4064-A9A6-75331567D6DC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094472$280656D2-9CA9-4E00-8B30-C909D3D9CDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple type theory is not too simple: Grothendieck's schemes without dependent types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_type_theory_is_not_too_simple:_Grothendieck%27s_schemes_without_dependent_types"}}}}}