{"entities":{"Q512134":{"pageid":513901,"ns":120,"title":"Item:Q512134","lastrevid":62448156,"modified":"2026-04-11T06:09:08Z","type":"item","id":"Q512134","labels":{"en":{"language":"en","value":"An induction principle over real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688535"}},"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":"Q512134$F9B25571-2B0C-4DC6-9723-11846E9E09BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c34cd983fec6144b3726282d608c1fe8e94628f4","datavalue":{"value":{"text":"An induction principle over real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512134$97DF2A8B-0AF6-41EA-86D9-DEE95BA6392F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30ceb6a20d7a730f8d4a7c1963ee3d7bc927e641","datavalue":{"value":"1402.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$62FF31AE-4F89-4A35-AAC8-732C8E8DFE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$54301855-DF80-405F-933C-6125F82888C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$F3255F02-8999-4933-8844-28E08D7933EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-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":"Q512134$9511034E-AB8F-4F5C-82ED-39564217B9CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08597ad1b4c2b49fea61878e92a28f24e009e048","datavalue":{"value":"https://hal.inria.fr/hal-01376054/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q512134$FB1AB839-0CC3-4E0E-97E8-04083449E974","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1210f5e663d18dd2fdb796a01957b722c048de55","datavalue":{"value":"In this paper, the author establishes a constructive proof of the open induction principle on real numbers and uses the concept of bar induction and enumerative open sets. Also, the algorithmic content of the result proved is mentioned here. The paper also contains a resourceful reference list at the end.","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$0C91206F-2798-48A2-B342-A61D39DF77E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$2955DFC8-6CF3-4CA7-BD05-9FDC4EE4B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$CCD22296-4ED9-40A5-83B2-03EB7079FF45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132aafd31ea51955160a746f81352c19578c7666","datavalue":{"value":"6688535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$CB4E43A4-6850-4173-820C-5876F93015D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$93C28120-3215-4A0D-B599-5A95964EDA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$DC9B16A9-6F1F-4642-87AD-A7056C252918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12be71b6c7e4063a27f46ce6aa61ca0e77a09098","datavalue":{"value":"real numbers and constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$5EA49F83-8DC6-4A37-94FF-0398370983D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a526f582a5b8a8643373e6936ad0168db9d6355f","datavalue":{"value":"enumerative open set","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$BFC39B36-57BB-4736-A423-3C438349D4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5e496cede40ca05a0194eb4054deab5a4e872a","datavalue":{"value":"dyadic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$9889371F-6879-4376-843A-8C44BF490DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q512134$C394D977-DE2E-42F8-8080-A8291A194AA4","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":"Q512134$482735EE-E3ED-468B-B81F-A896DCFD7738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ee6052ea7fdb21e3b4c0f1a28230f5b87235ab8","datavalue":{"value":"W2529297474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$1F22F318-A155-4B1A-99D5-7279CD09CACE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bceb4b852e855ddfca8f6ff6c992758c8fcf1113","datavalue":{"value":{"entity-type":"item","numeric-id":4736391,"id":"Q4736391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$FB36ED06-CD41-4D58-BE64-F2196AAEAA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$BCFC8FAF-23C1-4B84-AAB5-07AFC9880A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$2830C3EA-EF8F-404E-92E5-AC1DD34F744F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512134$1A9AFE75-48CB-4348-9934-D893CF144C94","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":"Q512134$FC739F3C-E126-4180-A3C4-5E094DB61196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6afbbf0cc32388be90df82cc190a334e013cc735","datavalue":{"value":"10.1007/S00153-016-0513-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512134$86B97BD8-37DA-44D2-8C10-DAC7942518C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9449234a789982d4bcee3947cd781ee3863680cf","datavalue":{"value":{"entity-type":"item","numeric-id":4644481,"id":"Q4644481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840043e13b099d89cb9f9147efe12dd0a31884d3","datavalue":{"value":{"amount":"+0.7347887754440308","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":"Q512134$90FE2F43-9E03-4A82-BD90-D623AD0F6A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f714189b9218f26277fdf5c494093e2d82c02b","datavalue":{"value":{"entity-type":"item","numeric-id":5108578,"id":"Q5108578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b9f0c9c6fc9c8e5e735cca799a2413e2649913","datavalue":{"value":{"amount":"+0.7198282480239868","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":"Q512134$E7F97CC7-2422-4D63-BF10-CDB74B7621A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a0fc423cb21c60ccb7cb62c54dd2504c5cfbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3803110,"id":"Q3803110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26abfad6fb7b8eef315fda06de607160adbbfed7","datavalue":{"value":{"amount":"+0.7110654711723328","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":"Q512134$9185F4AF-0A14-4CAC-92BA-AEFEA247233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad68797a7e76bdd9a58b01c6333b2748a09835d1","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b5afcd4a3578a3b518d0fcef770f6df0c2863c","datavalue":{"value":{"amount":"+0.7071253657341003","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":"Q512134$4A0C017F-2A29-4298-8553-4FCF3AC5C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd45308aadc881bc7278f1419a89ff18361d0f5","datavalue":{"value":{"entity-type":"item","numeric-id":753810,"id":"Q753810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b1ff5a83c11d87817f63b6c3e388d6e1ffe528","datavalue":{"value":{"amount":"+0.7032643556594849","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":"Q512134$F551EC7C-E252-4AD8-B00B-0D8D60206A74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An induction principle over real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_induction_principle_over_real_numbers"}}}}}