{"entities":{"Q454394":{"pageid":456161,"ns":120,"title":"Item:Q454394","lastrevid":61992237,"modified":"2026-04-11T03:02:45Z","type":"item","id":"Q454394","labels":{"en":{"language":"en","value":"Topological proofs of some Rasiowa-Sikorski lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088863"}},"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":"Q454394$1AAF9C3E-B2E5-426C-82FA-512070909554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7007c795e997f5157be1a33ed153a1c6da55a2f9","datavalue":{"value":{"text":"Topological proofs of some Rasiowa-Sikorski lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454394$FA4DEC6E-A69E-40E5-8C3C-5AB926FFA8F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d653f5b0bb5519f1f415f4df3bd557337c983f9","datavalue":{"value":"1259.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$EC316261-B7DD-486D-AEB1-634D9FD6CD67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$1A7A0D0E-F4D2-4518-AF65-76A800AD939C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$E3EFBF5A-F997-4016-89FA-5C78B308752B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454394$61F22E21-06C3-43A5-A31B-7017F901F289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$2CCC7F54-0E68-4C56-A6DA-880DA62E5E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$19380CC5-F24A-476C-9D57-B0E3894013FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$A634659D-C08D-4A40-9EF9-270A8E2A8403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71adad82d63bea53e72ba4be8d92c227b00e8b87","datavalue":{"value":"6088863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$D0A3905C-BA51-4DC2-BF29-59BC166C2E7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02519616945d3aa19594e3b0fc500eba47800946","datavalue":{"value":"Rasiowa-Sikorski lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$6C05D11C-1D47-434E-8EA1-F95900FB45C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a27c79387e5f579963e5948fadcd616b8e525b","datavalue":{"value":"Baire category theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$757F620E-9F4C-4653-B85E-7E860DE3682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b1fa04b0bf546c5f4fa6a1cd99a57fcf046e67","datavalue":{"value":"Priestley topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$BC5AA8F1-9B05-44EA-8FEF-1D39D217F81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$BABBC172-8DB6-47F6-BABF-6CAB9EC92F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$3AB2CEF3-8DEB-4F99-BBF0-F0CBAE7711F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$72F38751-6650-43D1-8144-5C7B95D161AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$7665C74B-DC60-40DC-8129-6DC7155B89FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5a4895522cf74a31d06d4628893e3c58f6deb0a","datavalue":{"value":"spaces of subsets of a lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q454394$57867436-5A40-429A-AC67-DA2B4CA844EC","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":"Q454394$FAE82E68-AEBE-4E70-90EE-01C2BEB60BE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af588a4eedf2e55a4ae3f194c1c4c96bce805b05","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9374-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q454394$9AF7924D-8D76-4ADF-8D52-B9F06307283F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58f60108d0ca7c81cc4ab68ceffd21b414df0065","datavalue":{"value":"W2121392054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$247934C6-CFE4-49A0-A4AB-D0683DA8816C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c5784c99d5251ff328260a4087b9ef0817ece01","datavalue":{"value":"Q124879756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$D1468341-4E00-499A-BC13-CC0B4FF0E0A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$26CBFD8C-4B41-4371-B1FB-3F0A11CB2248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$F639DDC8-669A-4A7E-8D76-DB337AA4AA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$4E6FFAA0-454A-4A82-AB59-C9BF1A6DE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e2f85ff0bd0c8e35e7ddaeaefd5f4dcb7ce178","datavalue":{"value":{"entity-type":"item","numeric-id":4056050,"id":"Q4056050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$66EEBD85-2D0E-4564-BCDE-6A45C1EF9F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$142D06D6-F0A7-408A-8F70-342868BC7129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff1a7d8cb713a95d4566ce6118a7a2ff0ad8c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5576276,"id":"Q5576276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$6C636BDA-FA21-4153-B6FF-5F5E3A2FAB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$A23C3B04-462C-4E05-9CA9-A2F00F25398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$D0472921-7FB1-40B8-BF5A-CC738ABF3D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d754f560f97b38f90d96b39947840c671a32e3","datavalue":{"value":{"entity-type":"item","numeric-id":5807661,"id":"Q5807661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$40490283-7EDA-4A26-9409-B89515D9C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$452D237E-8D8F-42CC-A99A-574FCC63098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$238A95F4-6AFB-4A5F-8BBF-A7CAC40F1950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aad8c9ede7a2f65daf48989b270a982984fca","datavalue":{"value":{"entity-type":"item","numeric-id":4067097,"id":"Q4067097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$41CDD0B2-D2E3-4D4B-99C9-5226CC567D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25363d48c06d916adbdd9b9df93f842bb97ad4e7","datavalue":{"value":{"entity-type":"item","numeric-id":1230638,"id":"Q1230638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$19A54B94-45BB-4828-BF4B-E028CF86B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454394$D9F414BE-418F-40A4-86F5-71D5B6984473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecb8b611991a6baada3ed89ad0593c0e5926f977","datavalue":{"value":"10.1007/S11225-012-9374-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454394$4C8FE9BE-502A-401E-BFDB-52D4AA6B6E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f3f3c8ff734f4cd88dd44aef4f4b03e5f98f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3331298,"id":"Q3331298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc657842af379eb85047327c448d9cc79cf4472","datavalue":{"value":{"amount":"+0.9099676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$938E870D-33CF-42DD-A00A-BAB65C98B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2605bee63bd64646939f5e4674797fefb90f335","datavalue":{"value":{"entity-type":"item","numeric-id":3755462,"id":"Q3755462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dc94763f33fe83333f3a07d2a066508ddf76c3","datavalue":{"value":{"amount":"+0.908723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$D63C182F-1296-44E5-8545-DD4A0275717E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505dcd5fc10ba91ca609a6eaa30de8779903b7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3346919,"id":"Q3346919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a9a90d60afd97d4024370bb3f2d536555ee5f3","datavalue":{"value":{"amount":"+0.90568674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$91848189-2449-4F56-9837-2507C8B177B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa682c1fd8bc2dfe8085673442c2920a4b9a727e","datavalue":{"value":{"entity-type":"item","numeric-id":2339098,"id":"Q2339098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b34222b4d601fd7cc522649c21ea98e85f598a","datavalue":{"value":{"amount":"+0.9024387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$8AF709C2-4944-4B19-8C41-5446F31C1CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b0b28dda88e964367beee48bb77d7e62f47516","datavalue":{"value":{"entity-type":"item","numeric-id":2148719,"id":"Q2148719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2838a8dd0f13dc45c832f47f5446708feee92be","datavalue":{"value":{"amount":"+0.8977145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$36AEA599-2D01-40D2-9899-BC0F9436AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed326d2698eab2e9df3af6658aa396bcf8499a0","datavalue":{"value":{"entity-type":"item","numeric-id":5683976,"id":"Q5683976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4ed00becaaecc07d07074cc3130898eb76bdad","datavalue":{"value":{"amount":"+0.89375156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$3E62AAF2-5DF4-4D03-B563-833DAA606159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed37bfb9a4164bd2a6224c535e92824d5fda84a","datavalue":{"value":{"entity-type":"item","numeric-id":4684243,"id":"Q4684243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70e5fced10f84def84b667bbbdc63999d8667e9","datavalue":{"value":{"amount":"+0.8931776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$383BD18C-53E1-418E-8BD0-EC9995E5ED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1589a6681de94d3261b7238850ab1d7ccabc7d42","datavalue":{"value":{"entity-type":"item","numeric-id":950781,"id":"Q950781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81ae399d471429922244c157438545ea60f8bde","datavalue":{"value":{"amount":"+0.8911442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$C8B5080B-63EC-4C68-A313-9210E1607415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cb4d8c1e55a2c34fd081a807ee72c57729dbcd","datavalue":{"value":{"entity-type":"item","numeric-id":3742341,"id":"Q3742341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ad381ec9e13603c76b9043c715f1dcb92f556f","datavalue":{"value":{"amount":"+0.890044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454394$338C8BD3-7A86-4ADA-8809-009D9A003BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological proofs of some Rasiowa-Sikorski lemmas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_proofs_of_some_Rasiowa-Sikorski_lemmas"}}}}}