{"entities":{"Q4594721":{"pageid":6624306,"ns":120,"title":"Item:Q4594721","lastrevid":52965731,"modified":"2026-01-23T22:28:06Z","type":"item","id":"Q4594721","labels":{"en":{"language":"en","value":"Choice principles and lift lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6812715"}},"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":"Q4594721$E86BB3EB-ABEA-47B9-BEF1-1B8B7926DFBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1321ffa54720607e77d1d28a612207dbeb2d2d9c","datavalue":{"value":"1423.03178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$57859704-BBA3-42D4-9B86-94873815CDCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ff7be87eb315c398cc9af993f51d5ac847e431","datavalue":{"value":{"entity-type":"item","numeric-id":171474,"id":"Q171474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594721$88BF9F77-0F5D-4AF3-883D-EFD8B03BE1DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeeaea95486db347c867d23c83757f70bac30d84","datavalue":{"value":{"time":"+2017-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594721$3B9F3ACC-FD1B-4AD2-B6E0-3B38FBF106BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$AA52CFDC-A0BF-4BC2-A8E3-FC90D1D5718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$C1C11AD7-E32E-4E98-9891-7E13D3FA29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$8F063564-AE66-4BCC-991F-202E09CCB3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$B9D91201-E229-4755-B9EA-A6819C9C0254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f24c70db4afd1bd8d78f1facd521a372ec945b","datavalue":{"value":"6812715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594721$01B5A6E5-2B0F-456E-9491-FB6CE1472082","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30aded0552094ac5716fe4747a6c670c61574792","datavalue":{"value":"choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$3453B9E3-8FF2-480E-8E90-B1AFAD38063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce93162d1596aa76681c2dda0972cde5669d4ec","datavalue":{"value":"(super)compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$4F2A357A-CFD7-45B7-84E2-284703B035AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f326f2f9626f754fc327ff39a62208ad74bc62a3","datavalue":{"value":"foot","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$1AE592F0-4A0E-4F9F-82C7-D38337C8A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6658a3ba09c98b2c7984c729293a484e5980fe","datavalue":{"value":"free semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$2A537AF6-E3C9-498B-9437-B72AD1A9678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$FA7BA683-271C-4424-8E4E-3F05851D569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef74c3fc673144c7c8a7225a7a4af20a355df1fc","datavalue":{"value":"Noetherian","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$D643ED99-6A31-4995-A9B6-BB002075B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddfe4f3d081bfb88c6b62a77a2beb7f8d44434f9","datavalue":{"value":"prime element","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$C930FD83-FCE2-4DA4-9EB5-EA057547586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$D7DCFF68-AEC9-498F-9321-26EFC60BCD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526ad1f10e6b4f4fc1c4b9e779998ddf2e420772","datavalue":{"value":"well-filtered space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594721$2E952189-2583-4BDF-A81D-B856BB842F33","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":"Q4594721$B46C30C6-F24B-4926-A642-CB2DF788E1CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f81a3358de24f885c463d87f029deeb15860c81","datavalue":{"value":{"entity-type":"item","numeric-id":1646557,"id":"Q1646557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1561e47b55247709730640a222a29972d0749953","datavalue":{"value":{"amount":"+0.8024293184280396","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":"Q4594721$C276D383-B813-44F7-9F92-E39E3754AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fe3ea7b0556f64fd5b2c04db6e48557f7c81e7","datavalue":{"value":{"entity-type":"item","numeric-id":2074368,"id":"Q2074368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22276253ef26c399a5bbbbc0111501a0fa9ef72b","datavalue":{"value":{"amount":"+0.7971466183662415","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":"Q4594721$8CAA22E3-0461-4881-A391-17CC561B48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36f589ec9173833810d9894b7ce24342ccf6386","datavalue":{"value":{"entity-type":"item","numeric-id":4132534,"id":"Q4132534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293f2dd8c014c9d217f6e0497ed54cea5083e205","datavalue":{"value":{"amount":"+0.7881768941879272","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":"Q4594721$30D40C03-E46C-44BE-A248-1CE309D879B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30a66bf4ab649e97d016597b09caade7b5178c9","datavalue":{"value":{"entity-type":"item","numeric-id":1938400,"id":"Q1938400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807684b073ceeb3a20e9c32d8328e551b1104a10","datavalue":{"value":{"amount":"+0.7850913405418396","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":"Q4594721$3A41A57A-E365-4664-AD4D-EBD9B6171177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b4c874b68c7069d4e21575aeaf3937f1818c00","datavalue":{"value":{"entity-type":"item","numeric-id":5233980,"id":"Q5233980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e304353d5ab8a80a3405308c9b4161896b2da1","datavalue":{"value":{"amount":"+0.7655436396598816","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":"Q4594721$FEF5DAD1-06FE-488D-B310-9693DB4AD981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594721"}}}}}