{"entities":{"Q1925188":{"pageid":1935930,"ns":120,"title":"Item:Q1925188","lastrevid":46409052,"modified":"2025-12-24T17:45:37Z","type":"item","id":"Q1925188","labels":{"en":{"language":"en","value":"The provability of certain sequents in additive arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 939545"}},"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":"Q1925188$2BB050F1-A750-43C3-8F26-F98306109527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c5ba49f82479b1b6dc4a1813cd0037600642bd2","datavalue":{"value":{"text":"The provability of certain sequents in additive arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1925188$036A7E21-E5BD-4161-AE8D-80FF034605F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bdd5deabac49680001f43b5267a47cf55dc88d8","datavalue":{"value":"0862.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925188$F2CD62C1-67A0-450A-8699-E42FE9F510D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e68e33f8630579608b245ce5660fe0bb99de04","datavalue":{"value":"10.1007/BF02348829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925188$6A5E041B-7D6C-4548-A5CC-5D909925EC9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c11351fa7098c649288502141e9dd6545e7fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1382696,"id":"Q1382696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925188$7C621AE9-1739-4988-A669-5AD33AE21009","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925188$2EE0B9A5-3877-4E2D-8EB3-724779C567E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06cc0ce79e3264cc15a69e66fe4d90510ff59932","datavalue":{"value":{"time":"+1996-10-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":"Q1925188$4A6D4E34-CFCC-4A75-BC34-D22E671A8834","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eb92b0cab7b1335a8cb88a0e462177d187b0dd8","datavalue":{"value":"This work is a first step toward determining that double induction is provable in the free variable additive arithmetic. The completion of the proof is promised for a second paper still due to appear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925188$99CE4B40-0DB4-46DA-89B7-7B0D9C3E0305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925188$E4785F0D-77D6-4626-9749-E64159B1DD56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6b96ff4a4ab69877b0e99707551b7c5cfef79eb","datavalue":{"value":"939545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925188$D8792455-5F88-4256-AD19-330E2EA2412B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925188$CC796AE8-9C27-4AE6-ADC5-4AC0EFEE3385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925188$6F6EFE45-8ED7-4446-B1A6-DB84132A0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337b645f423d46422d0da49a91b2eb69af65c95c","datavalue":{"value":"double induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925188$BEE49449-D2B4-4430-A394-77729DA743AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c513d54179c7b0a1427f9b772dfdf8226b3dd6b","datavalue":{"value":"free variable additive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925188$6BC2086A-BF98-405B-A6F9-37202E622DC2","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":"Q1925188$7F3E098C-C95B-4946-ADE8-614489E7910E","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":"Q1925188$39917BCA-F1FA-4272-8E09-BD34E2F389DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a36e2a54d0bb700689b29105cdd4e811241336","datavalue":{"value":{"entity-type":"item","numeric-id":3256311,"id":"Q3256311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925188$B98ABC77-F7D5-41A5-8366-77A71EE59DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925188$35BE1D46-4038-435E-BF7C-10807A9A8418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6b108af83e145d608990d93d39481c082e1f6c","datavalue":{"value":{"entity-type":"item","numeric-id":1382697,"id":"Q1382697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925188$F9A348B7-86C8-49B4-BCE2-6380B7598056","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cada69c58b73b765f96d2fb88bb9affd4dbdc7","datavalue":{"value":{"entity-type":"item","numeric-id":1382697,"id":"Q1382697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242126ad8e8ba67e4e00997449359c6edd6929d4","datavalue":{"value":{"amount":"+0.8318318128585815","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":"Q1925188$27AB5D33-DDDE-4169-9028-AF1A195A0D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6895177148d1d15837c7e1faaf2b7446ade6aacb","datavalue":{"value":{"entity-type":"item","numeric-id":2811592,"id":"Q2811592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd708ba6e8175ba9b8ac387c9658eafe94c3026","datavalue":{"value":{"amount":"+0.8201704621315002","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":"Q1925188$95A27CAD-961B-4F97-9D08-4E1E02C681C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d2482877d0e5045d922cd6e2b855c5b7ae33e6","datavalue":{"value":{"entity-type":"item","numeric-id":3318774,"id":"Q3318774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcccf4912f34661b1c85dbf5c625230d2ad02fd","datavalue":{"value":{"amount":"+0.7623445987701416","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":"Q1925188$138CC31C-CAFC-4F5D-AC88-CEBC1B581282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b4ff1060535dc66217363430c03354ef336537","datavalue":{"value":{"entity-type":"item","numeric-id":1592020,"id":"Q1592020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895320637ad787c46e8f99a4c17417f57a825856","datavalue":{"value":{"amount":"+0.7316591739654541","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":"Q1925188$E9E90FF4-8585-46A3-974B-8CCA5A39F8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1925188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1925188"}}}}}