{"entities":{"Q435238":{"pageid":437005,"ns":120,"title":"Item:Q435238","lastrevid":61807857,"modified":"2026-04-11T01:48:00Z","type":"item","id":"Q435238","labels":{"en":{"language":"en","value":"A note on induction, abstraction, and Dedekind-finiteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054424"}},"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":"Q435238$B2CA8A9E-8881-4BB2-9E7E-6CEA16C6A7BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80275dc3a7431dde6bb6aa38d34e8a0a2fba8b01","datavalue":{"value":{"text":"A note on induction, abstraction, and Dedekind-finiteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435238$7B3FE4AB-7184-4DFB-98F6-A8EE5E2C6306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a086d283d9d15668377e9b640ff88661495a8cf5","datavalue":{"value":"1256.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$920030C0-DE3F-454F-B922-CD67FC7F9376","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8724c54a9e7ff1af6998de0fc2d00d14ea62a6a5","datavalue":{"value":"10.1215/00294527-1715680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$EEE7E090-A474-4495-AAE6-230561D43577","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":"Q435238$AD06B5A9-6F9C-4F72-ADFC-6AF15B21431C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435238$0397125D-CFD7-46CD-8DBD-8C98AAF386EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2174b525522e788fbb7872d6b95d64dc9dc00faa","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336588249","type":"string"},"datatype":"url"},"type":"statement","id":"Q435238$B8F81CBD-B590-4AE1-8BFA-714ACFF51223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$DCF3B81D-1EAB-42A9-B1A2-2C1A9AC2952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$4985CAE2-A796-479E-A2CE-549CBD50A130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$1808A9A8-140C-4916-807E-618017730712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5538629b4f4879a23665cab8a4950749bbf5c2a8","datavalue":{"value":"6054424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$3423D076-6B25-40B3-9405-FBAA6673F9B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b911aec89add357c4e5870657c5ab0e3838237","datavalue":{"value":"neologicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q435238$90EE083C-8E14-4B27-AC50-83A42EBCDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7580eb70dbf4b2d27cbaca820278d4942e087c16","datavalue":{"value":"axiomatization of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q435238$D7AD5A53-57C4-4209-91B6-DF5BF4869DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q435238$1B9AD253-7FDC-4AE2-8736-589B2F3DC5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa5547d96fa7630f327202f0850dfe59f2de565","datavalue":{"value":"Dedekind-finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q435238$14A1A136-E2BC-4697-936C-C77FE18DD8B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435238$F9F9CC3F-AEDE-4549-B618-4DC9BBE6183B","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":"Q435238$65D30BB6-409B-4ADA-8343-96B114102DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fce9e5a31e73bf12306196c2965050568ac9525","datavalue":{"value":"W2119983393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435238$B7E0137B-D15E-40BA-B0F1-62C2B783E026","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af1be012b6425423bb9424173293185701de031","datavalue":{"value":{"entity-type":"item","numeric-id":3000796,"id":"Q3000796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435238$2442150B-3F71-4C32-AC4D-D1CE4DE87D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a7b24c97e9defed95aa1d07399675675768ba2","datavalue":{"value":{"entity-type":"item","numeric-id":985002,"id":"Q985002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435238$6A5BD92A-43AB-4A5F-82FF-055AC36269EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23cd7030731c092abceaf22ae4d8c3cadfa94d0","datavalue":{"value":{"entity-type":"item","numeric-id":4678937,"id":"Q4678937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435238$F6D1D5AE-D593-413F-BA6C-43CCAEEE7A8D","rank":"normal"}],"P1643":[{"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":"8a7255d50dcf99fe5b3ffdf521c958ef7aae6902","datavalue":{"value":{"amount":"+0.6971160173416138","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":"Q435238$3A3282F0-86B0-4A72-B303-B074E3233BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415d96de2a8674bf1c33d76d4d5c204c72af227a","datavalue":{"value":{"entity-type":"item","numeric-id":3832558,"id":"Q3832558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65b00546248aac98a83a2ffaece4bab1f25d83e","datavalue":{"value":{"amount":"+0.6866800785064697","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":"Q435238$7AB492FE-2942-4A93-951E-4F421985E97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14325243e16e39f6889a63231a3c61cec3d78ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4792997,"id":"Q4792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bf22b24574f45fe8e3beaadb17663f4509a2aa","datavalue":{"value":{"amount":"+0.6859629154205322","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":"Q435238$6520454D-F283-4501-9C1B-28714288BDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b88260334fe5805bd0ec2be2df2a462d3b0beb","datavalue":{"value":{"entity-type":"item","numeric-id":3786464,"id":"Q3786464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4030ded47e335b8bc1964fd14ed4e989d68af5d7","datavalue":{"value":{"amount":"+0.6832400560379028","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":"Q435238$0DBC9EFF-B764-495D-B5DA-8F08AC0A5289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5b3380bf8849ba02d8fcb12204757024ec8496","datavalue":{"value":{"entity-type":"item","numeric-id":813419,"id":"Q813419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d32c67fc731cc0cf4abc9d156d4bc622a7d380c","datavalue":{"value":{"amount":"+0.6811385154724121","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":"Q435238$1751F02E-5167-4E35-B0A4-68457A90180C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on induction, abstraction, and Dedekind-finiteness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_induction,_abstraction,_and_Dedekind-finiteness"}}}}}