{"entities":{"Q651321":{"pageid":653170,"ns":120,"title":"Item:Q651321","lastrevid":63324246,"modified":"2026-04-11T12:06:15Z","type":"item","id":"Q651321","labels":{"en":{"language":"en","value":"Independence results in formal topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987969"}},"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":"Q651321$6C60A709-DCBF-4B31-BAED-D0C8BF9CFC10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51723f39fff9064ddb72d5bc037bc9a3ac3b6151","datavalue":{"value":{"text":"Independence results in formal topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651321$380CD860-D8C6-4298-92F5-3E87AE378036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb9a4f8b902cbe70e82d7da228f5c50d46a8dab7","datavalue":{"value":"1267.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$FB4EA345-237A-4BDD-9155-C0AAF6791481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$D7253722-BED6-408F-B506-98A419D3164D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$3A59361F-BE18-424C-87F9-688AE426A9C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c499612d352adb9bf630a964e4498c3cb854f6a","datavalue":{"value":{"time":"+2011-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651321$AEBB3E28-B4AF-4174-BDAF-EE884116B6F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ee2668d543f36a1e00f3ba96110723bd2e82004","datavalue":{"value":"This paper remarks that it is possible to express that a finitely branching tree is well-founded as the fact that an associated topological space is discrete. In this way, one can formulate the fact that some orders are well-founded (e.g., the fact that \\(\\epsilon_0\\) is well-ordered) in a topological way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q651321$5D4407F0-CE12-4254-9B32-38F7A068144D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$1A9E079B-FD89-493B-8230-EE67F273505B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$127DCC4D-0175-4F7B-87AD-4052175FA359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$24AA5206-0936-401E-9F21-A43BECC82D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1efae7ed37839e0b51480f7f3031b205bc8f9a91","datavalue":{"value":"5987969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$419BD705-B829-4161-8318-95B8DCFC6DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q651321$C461D128-DCEE-43EE-94EC-335E5904AD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q651321$5C07EBDA-B589-4C2B-85C4-B716A1C29D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc2fa84864f4825460213fc184299c0c107e638","datavalue":{"value":"independence result","type":"string"},"datatype":"string"},"type":"statement","id":"Q651321$43935D47-F7B2-4A16-BA81-A0D78487A046","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":"Q651321$9143874A-0D35-49B0-90EB-715A398E1A07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9836358c51848b88abff51b14458393084c1b072","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.06.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q651321$512C2477-D7D2-468A-BB8A-B4349FBEC076","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b5b6bdee399fd55c5b0db7caf21d2f29aef2ac0","datavalue":{"value":"W2013129107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$30EED350-A6C8-494D-AE12-5B2DA5FD2EBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$7DDFA145-A7F9-4F76-BC1D-1B84091B5362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$99439172-CA80-428A-B8D8-569BCBB79635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$FDC2ED5B-8CD3-4338-890C-AF963BDC3A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$BD3D43F9-E819-44C8-95E3-BE744EA14C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a84ae0409947e5b936c8913850cf6274ef06c3","datavalue":{"value":{"entity-type":"item","numeric-id":1407560,"id":"Q1407560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$0BF4038A-DE27-498D-9861-8FC7CB9BAFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a5f2304b34e9d75f0a702927fa5cb7aa4f529e","datavalue":{"value":{"entity-type":"item","numeric-id":5480621,"id":"Q5480621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$D70D55D7-D207-4432-A96F-7DE026ABE91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2f65b49ee29719dbf75ab930fb27483bf073a3","datavalue":{"value":{"entity-type":"item","numeric-id":866574,"id":"Q866574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651321$CBDEEC35-F55E-4E16-A82E-1B2AC480CA09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efe2e33520fce13eebb8c3c4fdae1426e9867226","datavalue":{"value":"10.1016/J.APAL.2011.06.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651321$026D7475-5133-4454-BECC-1209EE154377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ed7ee7fbe69c043027fcc8549baea1d950e07b","datavalue":{"value":{"entity-type":"item","numeric-id":2493109,"id":"Q2493109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5dfcdf94c95ae61f4cf200188a1d7b6f2fbf5e","datavalue":{"value":{"amount":"+0.89344525","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":"Q651321$9620162F-CDD3-453F-BEBB-F2429C7BC15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8251257ebcaf499c8adcf367a43bfcb25ab6131","datavalue":{"value":{"entity-type":"item","numeric-id":4010015,"id":"Q4010015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40e5a52749065507de28da26ab55122daa33970","datavalue":{"value":{"amount":"+0.8908754","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":"Q651321$BB942E82-19F5-4441-AD0C-6AF652516D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddb606d7569c1f1eeb1da7bda65cee812358e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5213644,"id":"Q5213644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958c66003d56f19e6bece3a66353c37664eb8be0","datavalue":{"value":{"amount":"+0.8733749","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":"Q651321$82C19ED3-2CE2-4A00-B0C6-B36A3A92C356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718f3b297d7b1ca8c779fdff7c69eafb7ae5e673","datavalue":{"value":{"entity-type":"item","numeric-id":5480940,"id":"Q5480940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adea878103c67574cb95057cc1b1539de0bac64","datavalue":{"value":{"amount":"+0.8626125","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":"Q651321$AF18EC33-198D-4BC1-92AB-633B6CDB89FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a0d8a107f37d2fe9e48ab45628348c352937da","datavalue":{"value":{"entity-type":"item","numeric-id":3837734,"id":"Q3837734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062cf9ece8e2a230a0eb6e77eadf5fa57d753712","datavalue":{"value":{"amount":"+0.8621701","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":"Q651321$FDEAA86F-53A5-4683-84CA-333FEEC5FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d09192725efd5bbc5ca7d9d347f996cdb052022","datavalue":{"value":{"entity-type":"item","numeric-id":5586269,"id":"Q5586269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0f54a6fa19c334f58a90012bef00d8bcd8f398","datavalue":{"value":{"amount":"+0.8596214","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":"Q651321$2C5B8CAE-371E-4245-A2F5-580D4A69ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef55e5e9a549848d831a3ef0037d0dc2f5671f7","datavalue":{"value":{"entity-type":"item","numeric-id":3743426,"id":"Q3743426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c910802390d2dc10bba71667121027e67a7a27","datavalue":{"value":{"amount":"+0.85453886","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":"Q651321$5A4971F8-484D-4FF2-9834-34F7894BC8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188aa62ada3ae994f256b4c138cfea64084b8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3731771,"id":"Q3731771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c910802390d2dc10bba71667121027e67a7a27","datavalue":{"value":{"amount":"+0.85453886","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":"Q651321$D789CF25-5DDF-477A-AE46-1598688B5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61eb5ec7eebb72f54364462c902c5f7d50fe9e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5479026,"id":"Q5479026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cebe854e8ba4e1959ba7dc2e2cbab8cdbef084","datavalue":{"value":{"amount":"+0.85441226","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":"Q651321$74148498-B124-4B9E-BCCF-E08FF59B3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d0fd743e898313d242087a344c8991d8d957c3","datavalue":{"value":{"entity-type":"item","numeric-id":4896536,"id":"Q4896536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a431101b0e3ada77ea4d875463e2a1a20bd4dc","datavalue":{"value":{"amount":"+0.8490793","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":"Q651321$D1650F9A-1823-4705-8A64-73A3420C1A7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence results in formal topology","badges":[]}}}}}