{"entities":{"Q2878782":{"pageid":2889502,"ns":120,"title":"Item:Q2878782","lastrevid":83669810,"modified":"2026-05-07T09:56:04Z","type":"item","id":"Q2878782","labels":{"en":{"language":"en","value":"The axiom of multiple choice and models for constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340438"}},"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":"Q2878782$2959BAAE-DE9A-4C60-BC6A-F5CA7D000C80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddac391b3e99d2a07f92b66bb665292b12f0d74c","datavalue":{"value":{"text":"The axiom of multiple choice and models for constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878782$A53527EC-10B3-41D9-B6E1-2360DFAFD055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd087ceebf4b1e59f415ae7c0028e874869ef52","datavalue":{"value":"1337.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$F30DBBD9-49AC-4976-9654-7405587A537B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9266138990d7cf4fe445240345ef93794841f2ff","datavalue":{"value":"10.1142/S0219061314500056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$B9572122-4185-4B4F-9966-03FBDB4235FC","rank":"normal"}],"P16":[{"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":"Q2878782$880DFBA8-4349-4D85-9BA2-C692D4D4E8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$436A0F01-147A-4043-A5A4-AAA9A0DBB0C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$94F4CA41-BEC9-49E4-A429-800A875E0881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878782$0530238C-EDFE-413D-A3AA-332299762D61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17209658b8e22ceeed74e2ab4582073e06c0afa9","datavalue":{"value":"https://arxiv.org/abs/1204.4045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878782$31E05389-C7FB-4DC5-9B39-BC02BE38AB75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$8AB9303E-E225-44D5-A029-7431108F3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$CD947297-9B3A-428D-86A5-73D2CFBE9674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$D6D3C177-EE9A-4277-873C-9D7F666FA4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$5635711F-26F4-4E44-AF9F-0DDE62A8B278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d4329616533449b75f1a6a6def2f2b774c011ca","datavalue":{"value":"6340438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$951EA9AA-8138-4667-BC92-F20899381751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878782$7F04EBEA-9BDA-46ED-BE8F-7038161E3CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878782$F9879818-4C30-44B9-B8B8-AA026DA1104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878782$0E8F44BD-4634-49F4-8E77-827EE7A712FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878782$C95874CF-417E-47A6-99A1-A14B4874A1DB","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":"Q2878782$A3F88D8E-E663-4D2F-A97A-9ACA91D56CF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b394ed27ae1793c848f44eb4172e2dfba86c0d1","datavalue":{"value":"Q114008516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$6BFDFDC0-3637-4DF7-AC7A-2E6D044D2616","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$64F6A19D-9FC4-4269-8B6B-38D0B0116EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c4e3b710b6019125b87a2b2727d18fedbbd0b","datavalue":{"value":{"entity-type":"item","numeric-id":5448611,"id":"Q5448611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$6FA68ABE-8DFC-4829-A826-6D49AA5569A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da73f76b6bfc84494ca2cb82fa33f8e416d9775a","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$ECB79B6E-AC2F-4FFA-9924-ACEFD3AF8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323041d450c8be119127dcf747a7ea70b03a53fa","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$3EB3C604-C37F-4000-89AD-59A2F7F25CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e31d134a9421659dedcb7b75576c1f6a45b56","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$19E26C18-9F7A-4B9D-8612-8CF08E56534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568225dbd5dc9397e46ec200214f033ac529ce72","datavalue":{"value":{"entity-type":"item","numeric-id":448333,"id":"Q448333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$1F3D9A71-C606-40AD-9B34-3615B79BADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$40FCA83A-8D16-4CA9-AF5D-44AFF453F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$F77A6B2B-A5D6-42F7-9931-25AE7BF4FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878782$53C889E1-F56A-42C0-8789-1A13D1CB1F53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaa69177be900e065f878a64dcbf0c4fc699d264","datavalue":{"value":"W2079355284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878782$C33F5B0A-3B45-4378-BD75-7472E2BD12EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a946135b63042f89461cdd3ae6b047743c12cf3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848e4905bee3471a114e4961704733b52c4ca244","datavalue":{"value":{"amount":"+0.8398621082305908","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":"Q2878782$8D731A0B-17C9-427B-AD54-526A6EB40121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bb54b562fc2c6e0f3fe2cc79c360c6a28e307d","datavalue":{"value":{"entity-type":"item","numeric-id":448336,"id":"Q448336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fc5f56af288419ca29b59d2bc876ae9629fdaa","datavalue":{"value":{"amount":"+0.7795278429985046","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":"Q2878782$D6A298F2-2C87-4D55-8EFC-BEDCE9E61831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b811cf4c0cb2dac863c6cb610bcaac1301e3ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c07c8d88a0add8e25521d150d243645616fdef4","datavalue":{"value":{"amount":"+0.7752571702003479","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":"Q2878782$CA59B91D-A288-49F6-9921-45F9DDB3C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76db5f0e8e933da1a22fc8afcc5647322b747182","datavalue":{"value":{"amount":"+0.7734127044677734","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":"Q2878782$F2235423-30FE-4BEB-95AC-1642D6422D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47381a93b8353ce111b240101018a91436d627f7","datavalue":{"value":{"entity-type":"item","numeric-id":448333,"id":"Q448333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6d05376199c0e36d70d1d0301cf3d027bcfb5c","datavalue":{"value":{"amount":"+0.7673283815383911","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":"Q2878782$6C3E410D-DEFE-4E4F-90AD-48AD08EDA999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiom of multiple choice and models for constructive set theory","badges":[]}}}}}