{"entities":{"Q5241928":{"pageid":7271495,"ns":120,"title":"Item:Q5241928","lastrevid":94525250,"modified":"2026-06-05T07:02:27Z","type":"item","id":"Q5241928","labels":{"en":{"language":"en","value":"Preservation of choice principles under realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125827"}},"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":"Q5241928$95731B42-0BCC-46F8-B764-F11D032FF1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec1e0eb93cddd68832b4df1df946b925b7e04663","datavalue":{"value":{"text":"Preservation of choice principles under realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241928$143D3587-E984-4DF2-ACA1-A77C00B8F1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"883b67813865b25e0187ad3ed26868f280789e89","datavalue":{"value":"1494.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$AF66E4A5-58EC-435D-91BF-4870CFBE6AF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"035ce6e697047f0a1dd87bdda314c872b5d9d759","datavalue":{"value":{"entity-type":"item","numeric-id":5241927,"id":"Q5241927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241928$48E484EA-F45E-4454-B18C-ACD647963F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241928$88C46C54-4058-46D3-AA2B-CF9A48088BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241928$CAD34918-9B09-4631-BBDE-3C61265CFBB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24678e93630473e7eec7097ac94735b33c441507","datavalue":{"value":{"time":"+2019-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241928$49D12448-A70E-4D07-A0FC-ABC5EE7BCEBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"293dd2d22410ea8e3170bcaabb3cf9bf41289f06","datavalue":{"value":"http://eprints.whiterose.ac.uk/140933/1/Preservation-AC_ich.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241928$3EE1CA26-F55B-477B-8349-E8D2EDF8B191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$BA4045D3-FBC6-4A98-8F0A-45B47C7C2BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$275D6423-FCBF-40D0-BBCD-035D35A67D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$F4D61732-704B-4B19-BF46-DDDF9B89B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$F5C2DB12-ACEF-4874-A179-78B0860BFDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e61e619798f6b5b611c622c48eee0c6ef93664","datavalue":{"value":"7125827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$2846C0F2-4824-4DC3-8EC5-D580574BC663","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5159685676f36ed74f839840c5cb6d20ef2e80e","datavalue":{"value":"intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241928$CAFB732F-7B8B-403A-BE67-2FCCAA4F95BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8289e17c4994d05e13bc05294791fe93ca8b83","datavalue":{"value":"constructive Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241928$7DDDAFFC-CB01-42A6-BC36-C047D635EDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a17dcd6c82474fe03774632fe324c848434fab0","datavalue":{"value":"axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241928$166C0094-DA2E-4685-BB17-AF123EE3842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241928$B69F445A-BA62-48D6-981E-081C34C79D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45085d919ef7087f6facb6bbe14dd14f0e453ede","datavalue":{"value":"applicative structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241928$7F557505-F2AC-4115-8322-10BE95CB3DC1","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":"Q5241928$B6D936F9-A113-4A6B-84DA-6BD45C4A5505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"423d5599edd91d8fb2ae8c690077e4d69a43877c","datavalue":{"value":"W2914968566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$9A5E86B2-E882-409E-8C05-A3995D3E334A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4478d93d4365fdf5b9edffd0b20198a21ca986bf","datavalue":{"value":"Q128609593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$EA9BA1A7-3C3F-4CEA-9971-89E6D9350D0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a08c56d997af9682538479a2175ddf2a8cb4b02","datavalue":{"value":"10.1093/JIGPAL/JZZ002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241928$BCEB9D78-158C-47F8-82E1-2BBF8EA7FF9B","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":"8e2aae9f2589139933515154d71906689c4fe1b8","datavalue":{"value":{"amount":"+0.7729671597480774","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":"Q5241928$94763BC0-5FD3-471F-9873-970C12C9F67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32bf7ba0e3c2dc900409072052fcfc16181055","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af97a3d8ecffdc6b5058ad31ee419880a724a86","datavalue":{"value":{"amount":"+0.7671366930007935","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":"Q5241928$9AAE84D3-CA0C-407D-9339-D4E262D16B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76012e46b08893d25ddf61ae410a9461cc260f1","datavalue":{"value":{"amount":"+0.7633864879608154","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":"Q5241928$39AB6CB1-BC56-466E-A36C-0AB3EF6832BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004af5df0b5b6fd32e4a79c9a0e5191fa07e091a","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd27ea8c637688d1bd2d761dacfeed7b34457549","datavalue":{"value":{"amount":"+0.7557069063186646","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":"Q5241928$1809BE36-363E-4EA1-9F2E-EDE1B779C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb616af9c4d1325aae416ff96c7caa6d92bc877","datavalue":{"value":{"entity-type":"item","numeric-id":5898861,"id":"Q5898861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860f892f5fc599c5fd07eefa19cb9c5c34a454c9","datavalue":{"value":{"amount":"+0.7533018589019775","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":"Q5241928$04DAAA4B-1939-42B4-BFBB-C78750944955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preservation of choice principles under realizability","badges":[]}}}}}