{"entities":{"Q1262309":{"pageid":1273059,"ns":120,"title":"Item:Q1262309","lastrevid":49327813,"modified":"2026-01-06T23:34:52Z","type":"item","id":"Q1262309","labels":{"en":{"language":"en","value":"Peano's smart children: A provability logical study of systems with built-in consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123725"}},"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":"Q1262309$EEAF6892-C452-46D4-A197-6E8ED26220AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6e7e002545485fa1a3227025259f2d7df4ac966","datavalue":{"value":{"text":"Peano's smart children: A provability logical study of systems with built-in consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262309$A79366ED-4BF4-4589-A57A-F0AC2A847EE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9ac184054dd1f6ee18c68897316092e32647b2c","datavalue":{"value":"0686.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$9E894BC8-A8AA-45AD-B699-3D30C0F059F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262309$3D6C37F4-2F06-4EDF-BCBA-1A651DB295BC","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":"Q1262309$8C245056-9840-42FE-BA1A-C90C1AAABCA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1262309$29F54668-B91E-419A-B842-6950420B1B8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c84ec4d7e7eebc0303441b40eed3fdc04e03130","datavalue":{"value":"This very interesting paper studies several arithmetic systems with built-in consistency intended to escape the dire consequences of G\u00f6del's second incompleteness theorem. One key notion is that of provably extensional self-reference by means of which the systems can prove their own consistency. The study adds further light and new questions to the relations between G\u00f6del's two incompleteness theorems, as well as to the theory of bimodal systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262309$EC691FFF-7AF5-46BD-B993-331349F0BF91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262309$6D61FDDB-E792-48A8-B73D-44AABBD60C1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$047F7028-BD2B-49B7-84AF-449FC9A56848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$9B6F5199-B9FE-4F22-A36E-087DCADDD6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$4F5505AA-51CF-40DB-A48B-1D84D7855017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"377547d333bd4a347bf79297cd7f599ac99b6b38","datavalue":{"value":"4123725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$ABCA2EDB-E87D-4431-AFF3-DF885B0E0993","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a77bea9355051b40cd9ba7dfaf144b51199dee","datavalue":{"value":"arithmetic systems with built-in consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262309$8C53D6BB-70E3-49F2-AC5A-4CB211EF92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6779ff1b078c5166a39599114a01ac553e290fbb","datavalue":{"value":"provably extensional self- reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262309$F89A80E4-EE52-4073-A9F5-F5FC6C28E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62adb75e5376519225d042af760872f2fce29634","datavalue":{"value":"bimodal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262309$BF2B7562-0E3E-4950-A40E-814EA8147F61","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":"Q1262309$43177BC3-691D-4FFC-A057-D4920ED06C25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e9ae6ac23272bcc9ad45da8e58b8e5b1f9f990e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635077","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262309$2E0775EA-0F79-4FBD-8D21-649914B26007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b640799547c6750e9dde31d06fe01377a89506e","datavalue":{"value":"W2086963079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$15EBC644-DC69-4A29-829D-D709D602E05D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed4253f6d8a961a84503b6a8ca4db795f6f86bd","datavalue":{"value":"10.1305/NDJFL/1093635077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262309$4D0A7DFE-E044-4A0C-92A7-830CF31C42B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c92935070a52efdcd653cf8bf37e4e17dff0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5222081,"id":"Q5222081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709e7e75bdf222007aed6757c419d65d61c40722","datavalue":{"value":{"amount":"+0.7843588590621948","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":"Q1262309$BA5BA940-B10D-4EB9-AC1B-657988B0DA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6c70dec9c9d2bb4b09852ee589acbcb6f388f","datavalue":{"value":{"entity-type":"item","numeric-id":4412866,"id":"Q4412866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bcf668808a9f78cb07081731c13930d095b715","datavalue":{"value":{"amount":"+0.7742058634757996","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":"Q1262309$91176F32-7F38-4A3D-BFE1-E0E170388837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8db1cb1b95c2ba84ed3c8510ab11965db30329","datavalue":{"value":{"entity-type":"item","numeric-id":5700817,"id":"Q5700817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865367fc7726c1764b7b6e8233f17334927b9369","datavalue":{"value":{"amount":"+0.7719774842262268","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":"Q1262309$DFFEB018-374E-4B28-9EEE-273975601170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aaa7c0363c91c87f487df431b82c1a1932b1723","datavalue":{"value":{"entity-type":"item","numeric-id":5019125,"id":"Q5019125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83eda4770f621044b7c29878b4eb66bf54a9a73b","datavalue":{"value":{"amount":"+0.758293092250824","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":"Q1262309$1F0161E0-E968-417F-B57C-F008FDEA8024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f9086e002c99eb91432adc902a42ca4919b445","datavalue":{"value":{"amount":"+0.7561070919036865","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":"Q1262309$C69103CE-E1BF-45F7-A862-4104411C003F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1262309","badges":[]}}}}}