{"entities":{"Q382422":{"pageid":384189,"ns":120,"title":"Item:Q382422","lastrevid":61450023,"modified":"2026-04-10T23:26:54Z","type":"item","id":"Q382422","labels":{"en":{"language":"en","value":"Quotient completion for the foundation of constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6228677"}},"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":"Q382422$08ED1A42-137B-4F3F-A1B0-9DEE76A74E2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6874784cbbe5fd8d2e157d1267c45fa103a418fd","datavalue":{"value":{"text":"Quotient completion for the foundation of constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q382422$616BFC03-27D7-40BC-B67A-5D7C4E47FA75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85d26b64ad5ea3bcf1c0a7f9b48771f4bb1f1a32","datavalue":{"value":"1288.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$687A8110-601D-451F-A26A-818DBD1A9710","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$1AA290D0-4CD1-4CFE-BA82-9BC920D0FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$5EB6EC4D-B0E6-46AB-AFCD-0F366E5E2E00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$8CC33DFC-3CD9-4CFC-B972-F0273C7A87A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1e993a2f6991c9a71f42a31fdec00230c59b48b","datavalue":{"value":{"time":"+2013-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q382422$FF0784B1-DFB9-445C-9214-951625FA045F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57b38403b214e96e6e2affcb7b9eb8e54d3a0f49","datavalue":{"value":"https://arxiv.org/abs/1202.1012","type":"string"},"datatype":"url"},"type":"statement","id":"Q382422$EC59C7D4-B999-4001-BFF0-22E00645F51E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$21AA7E64-6CF9-4D8B-BC0C-F1A19A7E2D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$8A64A123-4AEF-4892-8EF1-4DDE181362D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$310FF540-13CA-4C3E-9D5E-D29553BD87EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$7245BD37-7D5B-4F61-B550-130519140631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08cb243d82ac5e881f89e56ac35fbca8b63047cc","datavalue":{"value":"6228677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$588AC9BB-7BA5-41C3-8992-AEA415411CEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86afc15a40e63df5b40a21e8dc8c5318089462e","datavalue":{"value":"quotient completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q382422$89661CAD-1A46-4F85-B683-8C46CD2678F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d3dca731f66a2ca0f3647d8944e48aed82ee07","datavalue":{"value":"split fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q382422$123BAC35-780D-4A58-ACBB-B876276EBD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q382422$44339FBA-8EF4-4696-BECF-00761257E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be2dac6ee1773043c25be4969e0e407b4258020","datavalue":{"value":"setoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q382422$F0D13927-AB0E-4800-9BD8-D97A989DD40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adec42cc340b9569135a1c0a8a7b536418b278ce","datavalue":{"value":"Lawvere hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q382422$1ACB8FFC-9681-4096-9DE2-CF419187123B","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":"Q382422$32642D8E-15E7-489C-AD3A-4C2B495037E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29f2c58fbe65a5f791f427bdded7675496773f3e","datavalue":{"value":"W2065468423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$9752DC63-1275-4E1D-9455-302135D88EAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aa05cbdf7e9c30715a43e649084cfac28e9645","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$427FFC72-9C3E-4297-9FA1-09ABA7125176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f583bfb838bb3bece0d3f05ed8f7931227a6","datavalue":{"value":{"entity-type":"item","numeric-id":4936141,"id":"Q4936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$CC783B0D-BA30-4928-AE4C-1FA35A5CD297","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":"Q382422$FA32F4EA-29AC-4155-B1DC-289A88B8F98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$C36B048E-4C5E-4CF0-B175-3310129FE59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$194F5FB4-678C-49F0-BA46-D9F526DB4B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$D63F3C89-E7D3-4B63-8953-8781BF17E772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$DA217184-012E-474D-9B50-78EE2533CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$E2A36367-D4DC-4E94-9AAD-D578A81B5485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403329ca140f0cb8ce96eda5d0ece8a485be22d3","datavalue":{"value":{"entity-type":"item","numeric-id":2842821,"id":"Q2842821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$0AD013C4-BEBE-46A7-9C87-98C3CCDC5D75","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":"Q382422$7C0B48F9-6538-4D90-B55F-6D0B4D3D4F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$7EA6C2AB-FC78-482C-BA11-F98185F05B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$3F234809-BCF1-42C4-90C3-219F53D65E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$DA5B3F15-17CF-4AF8-BEF8-4EFB28C91459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879333b705ddee55c839f1d500c79a4b9b1e89","datavalue":{"value":{"entity-type":"item","numeric-id":4807625,"id":"Q4807625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$CF3F5AC4-75C3-4237-AE0E-4B9A2B0350CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$618BC59F-2A30-4D6D-BD88-2ACE0142D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$EFE58E7F-28FB-4E17-AC2F-77B87D0759EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$F49D08F5-18B4-4ABC-A698-B53E8A2FD579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$F0F36565-4BBE-4128-ACF4-5E6FE54A69D1","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":"Q382422$3905BD0F-2820-46D9-910E-47D46E64CAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3888cf263b82314d0fe57282afa46d52411e71d","datavalue":{"value":{"entity-type":"item","numeric-id":4877444,"id":"Q4877444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$C1D692E7-4BB9-422E-8E66-0DCFAEF9766C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc13071df66ae704f545eff577abff90943bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$F8F7FC09-BF02-426D-A029-CE33B9264F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q382422$46CAD2F1-0338-4EE6-8792-7136A40A6CCA","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":"Q382422$8C7B5E74-E145-44F0-AA49-EDA90E644246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a883b23f1d733817ef218cb11130e37a8f0f3191","datavalue":{"value":"10.1007/S11787-013-0080-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q382422$9881B8D7-2116-45C6-894F-4C16025AEFD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e58a67c776506dddb2988a71ac874fa4e1a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf57b5e21083ed451c4bc496e3742decd6d991b","datavalue":{"value":{"amount":"+0.7895627021789551","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":"Q382422$9DADAF7C-A87D-41F9-99B1-DFA53971C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d63e6cdd7f809c7cdd36eb7f399af1b0d7d176","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a15640a5bacbcc7c41fa1646551a78d4c08e025","datavalue":{"value":{"amount":"+0.7693763375282288","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":"Q382422$63124F8B-4A06-44A8-B109-CD08DE553FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44919b9ea1c80e18b2da1df4672be86708cca431","datavalue":{"value":{"entity-type":"item","numeric-id":2498911,"id":"Q2498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ac68a723694527f5683d23340212f63d189eea","datavalue":{"value":{"amount":"+0.7660630941390991","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":"Q382422$D94239A1-0B66-4E01-AC79-2E8E1F2B96D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207726de63b9cfb4d7677fa972b755c8078f70e3","datavalue":{"value":{"entity-type":"item","numeric-id":5221857,"id":"Q5221857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73402642ea38b27479740d341c3296041d260c66","datavalue":{"value":{"amount":"+0.7650706768035889","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":"Q382422$56D23C00-5AE4-4AA9-80DD-A7066948A3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43999ffd57b30b38ed56de1ae3879b146bb128b1","datavalue":{"value":{"entity-type":"item","numeric-id":5148098,"id":"Q5148098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecde0a844fcf0b6c3d7b61a7af4eaa86bb18cdaa","datavalue":{"value":{"amount":"+0.7594361901283264","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":"Q382422$64CF1D9D-0083-475A-9FB5-3E70E5BFFA31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient completion for the foundation of constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient_completion_for_the_foundation_of_constructive_mathematics"}}}}}