{"entities":{"Q456884":{"pageid":458651,"ns":120,"title":"Item:Q456884","lastrevid":61976517,"modified":"2026-04-11T02:55:55Z","type":"item","id":"Q456884","labels":{"en":{"language":"en","value":"An induction principle for consequence in arithmetic universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6094163"}},"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":"Q456884$461379BE-E2DB-491F-B56B-9EAC65C23B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123c824e92b30d50ca0bbe6a2337f310406ab5f8","datavalue":{"value":{"text":"An induction principle for consequence in arithmetic universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456884$CEDDBD0F-89B3-4FEA-B95B-2EBC53C40EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43d81aabd2e9aaa73058d4e6f8cb7657ad943a62","datavalue":{"value":"1253.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$CC4FE038-5CD6-4906-B357-A41117528B8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$AC05627E-67C3-4455-907A-4401C6D6DF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"999724ac22c153380a8d9daa80709c19c8049d2c","datavalue":{"value":{"entity-type":"item","numeric-id":216267,"id":"Q216267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$5F094AE6-6F63-4356-B45D-78E7F33F70E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$D5D66102-83E0-4321-B706-8FD0516E261E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f739794021e4cde5dedcfec3f5debef30c31d67e","datavalue":{"value":{"time":"+2012-10-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":"Q456884$8AE08D14-A567-480E-BA8F-1D47645E5871","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f30e72b55ce59290f47296433d352caab57c68c","datavalue":{"value":"An arithmetic universe is a pretopos in which there is an object \\(\\mathsf{List}(A)\\) with the obvious constructors and a recursion predicate, all of them encoded as suitable arrows. In this context, the article proves that, given two predicates \\(\\phi\\) and \\(\\psi\\) for natural numbers satisfying a base case \\(\\phi(0) \\to \\psi(0)\\) and an induction step that, for generic \\(n\\), the hypothesis \\(\\phi(n) \\to \\psi(n)\\) allows one to deduce \\(\\phi(n + 1) \\to \\psi(n + 1)\\), then it is already true in that arithmetic universe that \\((\\forall n)(\\phi(n) \\to \\psi(n))\\). Since arithmetic universes, being pretoposes, do not have exponentiation in general, this induction principle is substantially harder to prove than in a topos. The development is interesting in itself as it analyses a notion of ``subspace'' of an arithmetic universe, including open and closed subspaces and a Boolean algebra generated by them. Hence, the work provides some ``topological'' insight in the theory of arithmetic universes which could be of interest beyond the specific result in the article. The paper concludes with the application of the induction principle to locatedness of Dedekind sections: once again, the topological nature of the induction principle in the considered context becomes evident, making the example both clarifying and potentially inspiring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456884$869A7203-A85E-43CD-B84B-57DF9F10C07B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$46858CFE-F5BE-470F-8F75-F58E2FC5F0A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$2749312A-192D-4159-B319-C333FD3BAEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$E18FAF0B-CBAF-4BF8-9FDB-837A4A6D590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca2dc0f65a9ba2724e55a320303c3b04299c7aaa","datavalue":{"value":"54B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$8BBAB27F-7FA9-47AF-8AB2-FBFE833D45D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96e0c5598822906808e7c411434369ae7625d6c","datavalue":{"value":"6094163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$CBF5BCEF-8321-4328-B49A-0B34ADF982B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c1a6040f511d8dfd51d1a5b87599b2f866e6","datavalue":{"value":"arithmetic universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q456884$9D9CE275-EC44-403C-B2A1-D0F04C07D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q456884$B5FB51D8-C2E3-4738-83B4-B64DD0AD8CF2","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":"Q456884$3EC03D12-1C88-4FBE-B28D-54DBCDF31FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89c9b379b6eaf1a053cc4ab1fc905232f44b9c3a","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2012.02.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q456884$8052325F-3FBA-4DA4-AAD6-DC90DC3B9C97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d00e9a8c3bc06d452c0ab057a816f6f758a7f157","datavalue":{"value":"W2078451079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$F336AF9C-E7BE-4CC1-8B96-B92D01A55958","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$72886CE5-E9E1-447F-8A52-E2949F1A58A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9bebc7e800cc569ba01ebf3cd1ddbf6f9882ea","datavalue":{"value":{"entity-type":"item","numeric-id":4856659,"id":"Q4856659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$0D796476-AEE4-45FD-9A91-350766743214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac770052cd7a8314f8effbb8bf6064b23d807da","datavalue":{"value":{"entity-type":"item","numeric-id":752170,"id":"Q752170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$C5812531-D25E-45D0-9BA0-AAF7CF32BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$01C7D87C-9086-4A8D-883F-B13445A47D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$3F3ECF95-9C7C-40D5-81A2-8E40AAEF2669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$4F2C4516-C164-415B-A4A7-832E60B6CD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$67FAB5C3-3B7A-475E-981B-61F5A35AA1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$8E968BDD-D1D3-492F-8E6B-6AA04C159F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb83562c2d416412c17636480881d95b7979cd02","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$CC15B59D-3130-4F70-A68D-486C97F795B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$40E1D970-3242-4F1F-821C-08A10F978740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$A1FAB694-AF2F-4860-B2C7-13FF26B54E05","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":"Q456884$66656574-6F46-4AAE-B661-05969322716F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$9E3E754F-D140-4CEF-AD39-6654D6F9DE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca60e5541490f341794a0c8afe8a109faacbcad","datavalue":{"value":{"entity-type":"item","numeric-id":2849890,"id":"Q2849890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$1FEB73ED-E4B4-4FA6-9377-30090E8BE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8644b6fa84b10099411357bc9783d7d48c635ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4719352,"id":"Q4719352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$28BB1628-1972-4306-8681-5C2EC6F8FDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$51ABD1F0-461A-4B13-8694-2F33B1F3DC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29b251011ef3523f31e7a4457c9665bdb40cf31","datavalue":{"value":{"entity-type":"item","numeric-id":5294021,"id":"Q5294021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$0FBF0DC4-7C8B-4C5C-AB8F-52E444DA6CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c0a6126495cda1262185672d17adb8c374c26d","datavalue":{"value":{"entity-type":"item","numeric-id":1434363,"id":"Q1434363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456884$46A62485-DEFC-408A-A889-F37054BD8605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8547e2000bc18b4d79de5b922f10d6b3342579fa","datavalue":{"value":"10.1016/J.JPAA.2012.02.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456884$70B50769-F98D-4908-943C-E49230BA9987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5105dc70d328b526b968b9f84006847e8fe2828","datavalue":{"value":{"entity-type":"item","numeric-id":4304155,"id":"Q4304155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4490f4a74707bb05f4d45b4935e05f26f97482d8","datavalue":{"value":{"amount":"+0.9043462","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":"Q456884$6892970B-0E2D-493B-B237-2B87B37DBAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911db2e9b9480bb6d4988da84dc637d84c3335bd","datavalue":{"value":{"amount":"+0.9024538","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":"Q456884$78B89AC0-3181-4614-81F6-454C7246E195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cc5b3c52376e8beaa36270fa41c761d3a29eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2309507,"id":"Q2309507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b44512032f5ccf84b9e89fcd6d18726f69f7bd","datavalue":{"value":{"amount":"+0.8714285","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":"Q456884$82AE02D6-830B-4DFF-8CD4-180D69DD6F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87860066152037bfb69a424280040f94a8699c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1679774,"id":"Q1679774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d312e0fab2c8fbd6f86a7b29f852c9c36d5baa","datavalue":{"value":{"amount":"+0.8628892","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":"Q456884$14D1EAD5-0A8A-496B-919B-58945B852A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cceecc08ba6574fd34d6e9805e1e70f4e0b48f25","datavalue":{"value":{"entity-type":"item","numeric-id":4487300,"id":"Q4487300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8cfb8bbb2e2d2b58e46c32df38f468c1f98760","datavalue":{"value":{"amount":"+0.8608451","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":"Q456884$4D19D4C8-63F6-44D2-995B-74E9DFD4D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4e5f69ac10da5dfbf809d1b24702f6902e7150","datavalue":{"value":{"entity-type":"item","numeric-id":5747669,"id":"Q5747669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cb44336c89b98a270e1fedbdce23d3b1694150","datavalue":{"value":{"amount":"+0.8601926","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":"Q456884$7AAABB72-EAFC-4B3C-A8F7-01BBE25174C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd8c7ea47d2f0030c6bdd70722142961ed41970","datavalue":{"value":{"entity-type":"item","numeric-id":5579483,"id":"Q5579483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f68a8e94a9d49c8f04c38cf65cd4b1c482cffe4","datavalue":{"value":{"amount":"+0.8598577","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":"Q456884$ED35B13E-29FA-43AF-8F3C-6A2D9BB9190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945ff30d1bfaf814e2be4227312eea6ee3a8471d","datavalue":{"value":{"entity-type":"item","numeric-id":3066292,"id":"Q3066292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60091cdeafb3426a23f9790a8e9eb572b44b6db1","datavalue":{"value":{"amount":"+0.85808474","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":"Q456884$E3D101B4-80E3-43D1-A287-4B0D08CC6752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53e1d07aa6382c2db6119a123e2f97295358093","datavalue":{"value":{"entity-type":"item","numeric-id":1177650,"id":"Q1177650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550cbd00fd0b0f2bbf10b65da4dae0db5306089d","datavalue":{"value":{"amount":"+0.85701793","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":"Q456884$AF45AC75-6B8D-45C8-A247-311ED34ED20F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An induction principle for consequence in arithmetic universes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_induction_principle_for_consequence_in_arithmetic_universes"}}}}}