{"entities":{"Q2747704":{"pageid":2758443,"ns":120,"title":"Item:Q2747704","lastrevid":79209857,"modified":"2026-05-06T13:23:36Z","type":"item","id":"Q2747704","labels":{"en":{"language":"en","value":"Self-verifying axiom systems, the incompleteness theorem and related reflection principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658161"}},"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":"Q2747704$4E5EF23F-FEC2-452B-AC5F-86B4AAEAB76A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eda6583cc729247cd5179b7e513abff67046cfc7","datavalue":{"value":{"text":"Self-verifying axiom systems, the incompleteness theorem and related reflection principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747704$A2E16A19-8D3B-4A51-B8C9-5CB1FD0A9101","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33dbfbf90dcb0b74a98248f397427208fb9550af","datavalue":{"value":"0991.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$352FFFDE-8740-4446-8028-D3C38B0908CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ceabc0623cadca5b05098060731ee3ec9675a99","datavalue":{"value":"10.2307/2695030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$6E5FFB3D-93D0-4159-B148-8DAFD269E73D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef3f83b5be7a709f851a5de8e8d01061e550d67","datavalue":{"value":{"entity-type":"item","numeric-id":731896,"id":"Q731896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$AB0DF870-70B2-47B7-BB08-FCCBFAF51D2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04ef60e6a08d63a03521c7b80b58e0a998b63b55","datavalue":{"value":{"time":"+2002-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747704$54B5284D-31F3-4D13-B314-00F7A9243FD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$AC286B81-958B-4AA9-8952-31203F1E95CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"563481e9e488bd66bb1451b5a1c0ae462bcb95d3","datavalue":{"value":"1658161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$45C6A67D-BE2E-48D8-AEE0-2B63A0960086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac582e1e382ed27a2522e68295a57bb6f765947","datavalue":{"value":"weak axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747704$D0337AAD-92E9-4C09-9E87-9BB487A79C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ba04b09589fd59952d7f73f6c72c24205427c1","datavalue":{"value":"subtraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747704$D0545B17-C349-4ED9-887C-E439A4815EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335361f2d5472f7ca846e53db25ccb4027120f89","datavalue":{"value":"division","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747704$6F5CA0FB-86CD-44A5-81A0-9D58630A6AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747704$263CB875-B3FC-4F00-9B78-0E5D81075C2D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff508ba7ce5464c24ea6f1f35ad37e1ac9e4df49","datavalue":{"value":"Q55899522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$C23B95DE-72A9-4EE8-9F86-86269E4E097B","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":"Q2747704$F1D7839C-2C7F-492E-8FED-C2BB9F152EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da04063e896768c96e30207656d65b856f6c96db","datavalue":{"value":"https://doi.org/10.2307/2695030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747704$EFF5E1CE-F444-4E56-BB3E-6ABBB9E0AECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ca0a771ced6cb3f56e581ef3d4d325313cc34fb","datavalue":{"value":"W2086098666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747704$658BA8EF-7259-4C1E-B9F8-9378EBC6DA47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$EC0CBA4F-667C-41D4-8032-FF13771306E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9616a7d402b3b724c982561bad38d0949aec1e","datavalue":{"value":{"entity-type":"item","numeric-id":4093419,"id":"Q4093419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$D3BE51A8-5215-4757-9623-E67D93702B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$A14081FF-954F-40BB-8796-E62AE489CFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$6050D767-D26B-4DE9-BE4E-F5B0AD37C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$1EE8C691-2D6F-4049-810F-14A10ACAD5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$710C0908-77C3-41F3-B854-B249F1092984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$D8A3B5E1-01B2-4441-AA50-98BA3B9CCC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf6ff8d0d80d56f825921b152f0aadcb4b3b18","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$2ADCDED7-7028-4265-924F-EC6D78CD88CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddc5d18f345e4137fc4afbe865999bacb2db46e","datavalue":{"value":{"entity-type":"item","numeric-id":5656730,"id":"Q5656730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$C9B16BB7-11D4-457C-A232-B9DEF37D91C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$3DBA09B4-CF48-4F57-95A3-B10634E6686D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$B68CB535-CF25-4031-A4BE-34ED7B528638","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$778E9A2F-7678-45A3-8C7D-2482A9FE8005","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c15a37de1c528ccfb67857e137ba13690a3defa","datavalue":{"value":"In the paper several weak axiom systems that use the subtraction and division primitives (rather than addition and multiplication) to formally encode the theorems of arithmetic are studied. It is shown that under appropriate assumptions it is feasible for such systems to verify their semantic tableaux, Herbrand, and cut-free consistencies and that they are capable of recognizing the consistency of their Hilbert-style deductive proofs as well as some forms of the reflection principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747704$8AB14582-B4C8-46F0-9121-D1BFB2115620","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747704$7F2EEC14-F41D-411C-8A80-8264924C9B89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a9ac07207db46086809ec8eec6c50083b984b0","datavalue":{"value":{"entity-type":"item","numeric-id":4282618,"id":"Q4282618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9283aec373d968ba9236e5841a27199cd927f8","datavalue":{"value":{"amount":"+0.8807183504104614","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":"Q2747704$894F0D0A-5487-43BD-9837-B018BFA18984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8cee2a3d371eb3009a94734a64088093eac5b2","datavalue":{"value":{"entity-type":"item","numeric-id":1332147,"id":"Q1332147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8109cd6a326a9881e1de18e7290f60c12ccde8","datavalue":{"value":{"amount":"+0.8783897757530212","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":"Q2747704$9A1AD165-B6B5-43DC-A409-8FDB6BA74887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14aa05c7edc8a2e72f347cd5a4f97a2dd5834775","datavalue":{"value":{"entity-type":"item","numeric-id":4364524,"id":"Q4364524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9171459b613874a74294d75861aaa710391951f","datavalue":{"value":{"amount":"+0.8618148565292358","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":"Q2747704$A33906F7-97B6-4CE8-847A-7ADCCF1630B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd4889819f48b6e8e55c5af986d995379980b4","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9171459b613874a74294d75861aaa710391951f","datavalue":{"value":{"amount":"+0.8618148565292358","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":"Q2747704$D15FF5FB-F144-48E3-B149-828B06F3078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c3d1b364a52de4d7fea678b94fba5214a67ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5486248,"id":"Q5486248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3465f5f37107015ab97fa69499cde95b7e4157e3","datavalue":{"value":{"amount":"+0.8116940259933472","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":"Q2747704$A3E2F3A2-F21C-4FDA-B419-3BB1E94445B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Self-verifying axiom systems, the incompleteness theorem and related reflection principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Self-verifying_axiom_systems,_the_incompleteness_theorem_and_related_reflection_principles"}}}}}