{"entities":{"Q3197819":{"pageid":3208527,"ns":120,"title":"Item:Q3197819","lastrevid":49431613,"modified":"2026-01-07T03:45:56Z","type":"item","id":"Q3197819","labels":{"en":{"language":"en","value":"A theory of formal truth arithmetically equivalent to ID<sub>1</sub>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172968"}},"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":"Q3197819$4FB5C58C-8EE1-4DA6-B533-B62079C5B388","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5e30df386e23794a289e20dec5b055ae7883eba","datavalue":{"value":{"text":"A theory of formal truth arithmetically equivalent to ID<sub>1</sub>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3197819$4107250A-9A42-4829-926E-68761B95E144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e96974b4e5ac1cac8536360a966938eb4bac48","datavalue":{"value":"0713.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$05B23426-6C88-48CA-B1F3-1E9C9EF5CC36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"272692500380057d3a58079d720141c572454c88","datavalue":{"value":"10.2307/2274965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$B2D6B3C9-56F3-419E-8334-AEB8049D7B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$6AD463F4-9532-442C-A758-6C17624E23F6","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":"Q3197819$5D6A81D4-28A3-4D8D-B4DB-26F341FC3EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3197819$33BA2E44-B238-424C-B038-69AA4A0B6798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$A567ABBE-9676-41F4-9874-D31E1A92EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$61CEF666-0A67-4C37-B0FA-FCF950AA7C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95dc109ccb7beeea28b417f28117a813b0cb13a5","datavalue":{"value":"4172968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$71912774-3851-485C-B541-9B7445BC5718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43a6a40fbbb0cadba4bc45fa146ffcd75cd0be3","datavalue":{"value":"partial truth over Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197819$F041E766-5701-4BF3-BB4A-1FF3AAFDD10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b0e78e296c451549649668b9f2eab97e1f2c1f","datavalue":{"value":"elementary inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197819$599B0F0D-E566-4889-AEA5-813BA8750426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197819$002F0C50-2B66-448D-A13D-633DA6714007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707dcc1a7600891da7461acc4d535cd59d57a157","datavalue":{"value":"G\u00f6del numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197819$B3E78582-9875-4DD5-A007-7F39A1EF3393","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":"Q3197819$CCA82AC8-CB2C-4F4A-85F2-3AD6C2AC3C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6358f507c39e2688c165c364cc548df9fa2d0da9","datavalue":{"value":"https://doi.org/10.2307/2274965","type":"string"},"datatype":"url"},"type":"statement","id":"Q3197819$6D8E78F9-DEF1-4752-A801-044333D87FC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91acd8fac2c4dd65a48840b22c767306241f35f4","datavalue":{"value":"W2105521686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197819$D0ED1DB4-024B-4D1A-9E2C-CFD85D5B9622","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$4E35BEC9-F468-42F7-B831-D6C63E2179AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c56da2d4c2d597d652dc4f6b3bd916c92d7d841","datavalue":{"value":{"entity-type":"item","numeric-id":1094151,"id":"Q1094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$9A578F34-92DD-43B0-8DA1-51497F714342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$83959AE4-E3FD-4E6A-AD90-C4565FBBBE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$152F1F5E-B6DD-4A47-9EC2-988C3CD8865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b2f5f529e9a5057f748f5398871366e03eef1b","datavalue":{"value":{"entity-type":"item","numeric-id":1093626,"id":"Q1093626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$F09F378E-A273-4077-8D38-9DF00E252F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff9cc29d1e2598e2f44a2c297a79d89e62eb612","datavalue":{"value":{"entity-type":"item","numeric-id":1068068,"id":"Q1068068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$093502B2-9DE0-4C7C-8CA9-31A0595E10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$3AFCE319-CC33-4034-9999-6C6D0270EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197819$BAE71246-AEFB-48EF-8AF5-50F393E9CF83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2778a0d1dcaf2e6b09ad976031083985b0aff03","datavalue":{"value":{"entity-type":"item","numeric-id":4692072,"id":"Q4692072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28bbfa48960bfa1296156ca0708e733efb995352","datavalue":{"value":{"amount":"+0.7455544471740723","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":"Q3197819$BA2F1519-83C8-46C8-8239-215511D54551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a4b11d5d1a59ae4cc6a85ef77fd921f881326","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8582d5b61ecfc2861eb53411980d22aec82dc6f","datavalue":{"value":{"amount":"+0.7443967461585999","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":"Q3197819$56CA4DFE-FE18-4469-B264-F2B90944A529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e7c6f55c566c9842f8cbcc841ea6829b398a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60516e0f1c25d0d9e69fbe6170f019bc71fb665b","datavalue":{"value":{"amount":"+0.7167928814888","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":"Q3197819$F2F2590C-1729-4A64-BED5-6F7805F4C281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f43dbeb135cf5e65627bf8aaff0b82fc0893448","datavalue":{"value":{"entity-type":"item","numeric-id":2566072,"id":"Q2566072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a02929daaad63c9e40d6c95aedc3aaf35d7f6ef","datavalue":{"value":{"amount":"+0.7131884694099426","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":"Q3197819$F8B00B5A-EDBA-48F1-83F1-F4A102947777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0867bf9888ffeda45b5873e601a1f64a0688ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4566046,"id":"Q4566046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b854ec44035a726a2642633fe62318a83673dc3c","datavalue":{"value":{"amount":"+0.7120581269264221","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":"Q3197819$ABE76BC1-9FDD-45CD-ACF5-9C67F5E8BF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3197819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3197819"}}}}}