{"entities":{"Q3661556":{"pageid":5691462,"ns":120,"title":"Item:Q3661556","lastrevid":49892143,"modified":"2026-01-11T17:13:05Z","type":"item","id":"Q3661556","labels":{"en":{"language":"en","value":"The optimality of induction as an axiomatization of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3813597"}},"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":"Q3661556$7C0A2E9F-1034-4E56-A369-FA21246BD676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f7094b3c8197d97bb3b30bfca282b6fdd0f7b3","datavalue":{"value":{"text":"The optimality of induction as an axiomatization of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3661556$D8DAD4DC-4EB0-422A-9608-EB23429176A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f807dfd0c0d86bdd9281e617f8293f6fbaec628b","datavalue":{"value":"0515.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$2F039BB1-41FB-4652-A0BB-2EEEE6823F14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6fdb89945e05f87c1f474e4bf27b55e2b76a18","datavalue":{"value":"10.2307/2273332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$331CE4B0-43CE-4097-A829-13353A8ED3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661556$363BAACD-91B9-4EC8-9498-5590B7AA2455","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661556$CA447451-C222-44DB-9568-FC924BC48E70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3661556$A199EF88-0BCB-4376-8B43-046D9E0A3E5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa1c2e7664960b19946ea15eb8931bfb5161250f","datavalue":{"value":"https://hdl.handle.net/1813/6290","type":"string"},"datatype":"url"},"type":"statement","id":"Q3661556$8DE7CEF2-3652-4E31-AE22-3C8FE5B82472","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$98561BE9-D156-4B3A-9DF5-23F5425F6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$6B5728A0-9BCF-467E-9B10-7460C1E10F0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3814d27b724ad2f09b9dfb3ad05eaa288bde9db5","datavalue":{"value":"3813597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$AF92F640-BB6D-4DCE-B7D1-7EEF914FFC59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c40a6b182efd93977e2c635a63b760f3bfc2c9b","datavalue":{"value":"induction scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661556$3FEA1E0A-4729-49C5-A3AD-5ABCAD056A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661556$93CE4C2A-11F6-4E80-B2E1-A95217F25A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661556$1F9CF636-CDA4-4FC9-8A56-F62D62276BB3","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":"Q3661556$75F49EA1-CDFB-479F-824C-1E730E7A85F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72dfe9f4c6310c4bc14739ddec516a2079538cdc","datavalue":{"value":"W2016916627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661556$CA342E30-AD3D-473D-ACFB-6B838A6BD307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661556$550822F4-EEFE-449B-9DC5-FBCCC1A2B1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e095cabface64f26e05948eee82352c7b9f300d","datavalue":{"value":{"entity-type":"item","numeric-id":5334280,"id":"Q5334280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661556$CD5E2890-6E69-438A-B9EB-85293786167D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3661556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3661556"}}}}}