{"entities":{"Q6930128":{"pageid":21084091,"ns":120,"title":"Item:Q6930128","lastrevid":97059092,"modified":"2026-06-05T13:09:47Z","type":"item","id":"Q6930128","labels":{"en":{"language":"en","value":"The principle of open induction on \\([0, 1]\\) and the approximate-fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8093452"}},"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":"Q6930128$7C3D29EB-0FEC-422A-9843-203F3BFD72E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d386530be6c27641cdcc5bb043ed03f882d95430","datavalue":{"value":{"text":"The principle of open induction on \\([0, 1]\\) and the approximate-fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930128$EB808A80-72D8-46FF-B580-04A17321BFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61c69f26d74cb70c9858c493135e1c7a8b61c6dd","datavalue":{"value":"10.1215/00294527-2024-0035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930128$B95A3B26-C151-499D-8C12-6BE20B2856CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$C04F446A-FBFB-464A-9FED-0572F12103E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$2DA4646F-808E-4A4D-9A98-9CE8A9D8949A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89702df27b41bf3bf3c052e0e7819f38e8fd190f","datavalue":{"value":{"time":"+2025-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930128$E205EF41-EC06-4F75-A159-5A362EDCB94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ed73b7180a1a3874257b1f820a9906ba6a923f2","datavalue":{"value":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-66/issue-3/The-Principle-of-Open-Induction-on-01-and-the-Approximate/10.1215/00294527-2024-0035.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q6930128$A99E0C0F-B29E-4272-8529-A3DFBCAFC737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930128$F79443DF-552B-40C0-9915-CD40A76A2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930128$76C42DCC-98DF-4990-9EF1-26A769E53F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930128$5BD79646-3CC7-473D-908B-FA87EB59D512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d1eb4fe9f39fce5085f4fccc10f73279d64051","datavalue":{"value":"8093452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930128$D42B6F08-9990-4104-AEFB-615CAC276045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8760d90a337ee79a2c4e3b6b520060d7c8f132d","datavalue":{"value":"approximate-fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930128$2BC8C9FB-FD4A-461E-BBEB-60A8EE600343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60809283b44f27daadbd924d096c32ef49e943e6","datavalue":{"value":"open induction on \\([0, 1]\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930128$79278878-C120-4DCC-8AFB-85A3811F544F","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":"Q6930128$BCE640FA-F43A-425F-A098-9BC6237A8AC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eaa340119914fce3c725c52e9fcdb0806c8aee8","datavalue":{"value":{"entity-type":"item","numeric-id":5912941,"id":"Q5912941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$75AB754E-0BC9-49F0-8C7B-0E3DE9456DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cfc6b012d98685518598b68e9689055683df7c","datavalue":{"value":{"entity-type":"item","numeric-id":1440938,"id":"Q1440938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$28904C6D-0F64-43B8-980A-CE3F2C26F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca247ab32f0c10dfafdb0f8707a1092cb91cf1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1454733,"id":"Q1454733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$BDDAB6B8-F416-476D-9266-B49E05203B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9148d728e8ed91cd817696733fead909ff0c08","datavalue":{"value":{"entity-type":"item","numeric-id":1450271,"id":"Q1450271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$25E5E65E-96BF-44AF-A019-598956FE34FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a84d4a6889c354803eaf85deff74311825ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":5825810,"id":"Q5825810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$D5AC575A-D49A-49CA-989B-9FF2A93610C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$3FDE913C-3107-47C1-8734-7DF7BC0D37BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$6DB8AE9A-5D71-4C5F-BA7E-5C5967BEA262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22bb2c241ea80bd256983bab3954ba576c4cc464","datavalue":{"value":{"entity-type":"item","numeric-id":450950,"id":"Q450950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$A2AE8122-688B-4EDA-A854-2430A942B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcd74296ef49cb649845fb1a7367f7a4aff8f16","datavalue":{"value":{"entity-type":"item","numeric-id":2968417,"id":"Q2968417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$08865B1E-FB3F-4F68-ADBF-F7DBB485FC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e20def239269f05a1c3a95307f7dd80f8996e","datavalue":{"value":{"entity-type":"item","numeric-id":6116086,"id":"Q6116086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$44C58647-A104-481C-80C1-C0A894329385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$970B1AE9-92EF-4AA2-8E5E-1071DAC8BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de70f124afced7c60ead7ad3203a6adf9428044","datavalue":{"value":{"entity-type":"item","numeric-id":4650268,"id":"Q4650268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$7EE81BD7-77D4-4A05-A392-26F6C14E0DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6a39a9b4fccf0bb5c81e685afcc523ea5f1657","datavalue":{"value":{"entity-type":"item","numeric-id":2075283,"id":"Q2075283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$F5BD7EAD-0801-475F-976A-CBD5D1D2BC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c571423fc795d1f4ba9cbbd6d26f2561165df37e","datavalue":{"value":{"entity-type":"item","numeric-id":1834559,"id":"Q1834559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$F1B3CCDD-05D9-4E91-9B04-AE7C708E8875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$BC15C590-B636-484B-AF1A-92361221E183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$88B044A2-43D6-4CE7-9003-6499623C077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$2384371A-1D96-4275-A6CD-87BEC07E1FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44eaf08006810b82535fe15939be12589f0ff15","datavalue":{"value":{"entity-type":"item","numeric-id":4941995,"id":"Q4941995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$A41D79B6-658B-4183-A266-571738A98523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04f2c202f7bc112e3c635a4e8a0d773950ece4b","datavalue":{"value":{"entity-type":"item","numeric-id":3643322,"id":"Q3643322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$B19B48E5-1BFB-4E5C-8ECE-C52116AE7B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6d8d7f9a4d4782133d6bbbb04d92329c83a44c","datavalue":{"value":{"entity-type":"item","numeric-id":4552754,"id":"Q4552754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$82D12009-6E7B-4CF2-A7FD-969702BB74DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3970a8bb63aa33027515329082f5a7037e0f8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$B0A54742-B804-4CCC-8FFB-4D8B62F70458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b32ac5b95d99aac6ea6506c4ba1aeb98509a3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2488272,"id":"Q2488272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$F22B670F-FC27-43EB-86AC-77652D6C168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff917a23bf4a00c40328c768e3bf16ad04f3002","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$798879C9-8BEA-4354-A70B-2DB3AA4B25FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edb13f668b2a4f36c88de241d9c7f45446b194e","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$664EE741-CE00-4BB2-9224-D56109AA70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c44184592063aea00da98fafdcf1296cd399840","datavalue":{"value":{"entity-type":"item","numeric-id":2065727,"id":"Q2065727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$9F8DB114-7BBE-4888-87C2-42FD00734CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1099eb3633cd92864e3113637be9e69f7a05f9e","datavalue":{"value":{"entity-type":"item","numeric-id":6170638,"id":"Q6170638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$B7786CB8-69C1-42CC-8D74-422397369B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6110414f044aa8b9b9feabcaecc1b5c323b21cb","datavalue":{"value":{"entity-type":"item","numeric-id":7026094,"id":"Q7026094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$CBF94096-0D76-41C7-8CCC-9E80491177CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac1ee249c73c16d45e6922836fb575790a28b14","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930128$AEF9E82B-47C6-429F-B442-94E219D4C6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6930128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6930128"}}}}}