{"entities":{"Q5145679":{"pageid":7175250,"ns":120,"title":"Item:Q5145679","lastrevid":58460088,"modified":"2026-04-05T07:52:35Z","type":"item","id":"Q5145679","labels":{"en":{"language":"en","value":"On the computational content of Zorn's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299511"}},"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":"Q5145679$05B2D848-0C1D-4910-80BE-4792C833B269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50dcb4e82fc5fa8a9087bebc258a47be1617bf21","datavalue":{"value":{"text":"On the computational content of Zorn's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145679$A43F3FDE-9A98-4FD6-9CFD-A24CFE99B56F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc7ce9be93f18348294253bd078f53c5ea7f879","datavalue":{"value":"1498.03153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$90B9E2CA-23DF-4B81-BA60-544FD94FEAAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fc25fe76339fb25243a3d86f3d788ebcf999727","datavalue":{"value":"10.1145/3373718.3394745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$35F13839-04CB-4407-87B2-D11FDC802EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145679$60FB9AAD-C67C-404D-8BFA-387E07005F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145679$B844DFD9-BD9A-47FE-9061-73E52A245B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"325f8dfa21ba40d37c8527c61f60c932b9920be0","datavalue":{"value":"https://arxiv.org/abs/2001.03540","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145679$2C3ED2C0-1241-477C-ABEA-D2E59AA7743E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$49F807A9-ECEE-466D-8143-22EAFE1E01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$09225D7B-A141-4B7E-89E8-3FDD31D1346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$B2922759-7D18-4296-A0C6-63E4B230293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$FC6FA4E9-37D4-49E0-B481-069836D9E05C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14a68d34b5475e4a99b01e206cc84dbd6fd8770c","datavalue":{"value":"7299511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$1C2D5B7B-DB17-4872-A938-6BA74DF9404B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c451d254c6fefde47f62dec143bfc56e016e6b06","datavalue":{"value":"G\u00f6del's functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145679$DF11F06B-3186-44C3-AAFA-54BEC6899523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784b8bfa87a8f495f37d89c0f713645b8e1b69d4","datavalue":{"value":"Zorn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145679$0FE3325F-2AEF-475C-9603-5A4599D608C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f3daf8e8ec671c2d12787f1264514c92ea524","datavalue":{"value":"continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145679$C6C8FF32-1F12-42A3-A9CF-6B3412891316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145679$AC0265DD-2BDB-4EE8-8F76-114D2CE8076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d31c83b82fd129dffbd25a82175608da957586","datavalue":{"value":"higher-order computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145679$9765754D-E66C-4B8B-A4A3-E2E24B7D0C46","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":"Q5145679$82251378-1E4C-4976-87F7-DE2A76FCD935","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ce010c6007ca478532f52d589207475569c3cb6","datavalue":{"value":"W3099555404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145679$64EEC445-5C37-45AF-A411-FA8040AC0B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970348cdfd6a2f33860f93461de91a5facc40ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3295153,"id":"Q3295153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11178e00da2ddd7a2c68784e38944b44c628bd11","datavalue":{"value":{"amount":"+0.7579768896102905","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":"Q5145679$F2AA28F6-9FF8-4742-8790-6E65D65645D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a560778556422514d698f4b421bbf8ae47b1ca","datavalue":{"value":{"amount":"+0.7431758642196655","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":"Q5145679$DDA9CA96-AAF3-4FAF-B78B-9813ABF7F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76dde0a3bad27070590c1c17508eb7a07e43f83b","datavalue":{"value":{"entity-type":"item","numeric-id":5121422,"id":"Q5121422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c41f0c3817f596eabf68d5b9340bde5d3a45b42","datavalue":{"value":{"amount":"+0.7416205406188965","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":"Q5145679$35E244B1-ECA8-4BB6-959B-190259F6C11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07e013a82972a80302d290b7c91e3c184f1dec","datavalue":{"value":{"entity-type":"item","numeric-id":4382475,"id":"Q4382475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa7279a2b8c728071f82558225f438deaa6d735","datavalue":{"value":{"amount":"+0.7402790188789368","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":"Q5145679$80B6119F-6870-4691-A945-2085A1893BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c61b806d07d2fa62234c5c58c443535b1504ae","datavalue":{"value":{"entity-type":"item","numeric-id":3053232,"id":"Q3053232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d1fb7d398e75ff8377fbec510ac6eaae682455","datavalue":{"value":{"amount":"+0.7161813378334045","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":"Q5145679$44BD46FC-6365-47D2-944E-E7A4B2556A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145679"}}}}}