{"entities":{"Q3083669":{"pageid":3094384,"ns":120,"title":"Item:Q3083669","lastrevid":51212819,"modified":"2026-01-17T06:45:22Z","type":"item","id":"Q3083669","labels":{"en":{"language":"en","value":"Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869464"}},"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":"Q3083669$5E6819A2-DFEE-45CA-958F-2505A36DA320","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783e7d27ef36b8efd6835711f91a38ecd27b2513","datavalue":{"value":{"text":"Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3083669$F8603426-7A46-4CB5-B406-C991D32EA863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ccef1b4aa4bb03a39bafed44f0876dcd4f87642","datavalue":{"value":"1256.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$CA541E39-A516-426A-886D-F005695C5973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083669$DA6BF9E1-5668-4C19-A156-40A0069636BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083669$BBA2BF81-5807-470D-8954-724AB7235755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083669$964B01C6-402D-4D6B-85B5-24130000CF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3083669$55BF3546-9139-46F5-BE09-65F89B9DAC1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$52AB0AFA-A24A-48F3-BA69-CB88B0D253A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$CFDCC9D5-3DEE-406F-BF22-CE2672C88856","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"529a9cd6569513938935f6854c8e58dbdbece88b","datavalue":{"value":"5869464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$522A4003-7C58-441F-BFA8-646312103FD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083669$9E9EC833-2F5B-490C-B591-A2938822E493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083669$27382DF0-2AEA-48F0-9FE2-72B3BCEB1794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fab3f4a52d36fa801df826fbf2776241b7449b","datavalue":{"value":"weak arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083669$FD1099EE-77F3-490C-8AA5-5319E48AFA77","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":"Q3083669$BD4EE70A-61C0-46E0-88CF-712EF0B42853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5180d5318574c41facde963849556c19ba9df7ac","datavalue":{"value":"https://doi.org/10.4064/fm212-3-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3083669$AB1DF413-C82E-45B7-A236-5BCF1AF1205B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32f6abb78b2e7b095bd669653c1f6b7ccdaf673a","datavalue":{"value":"W2069481652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$11CC0C93-E371-4681-9CD0-454A9A0F05B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85e72cad7c1e5467b74d30901bb7360ff6009ddb","datavalue":{"value":"Q115921947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$0BFD9708-D317-43B7-8D27-F650520FCEFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190e3839279e1bafb4571bdf865b56cb12c8f754","datavalue":{"value":"10.4064/FM212-3-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083669$206B7585-6305-43B8-A177-9168FF558CE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1472b03b22248750e975359b6c8aba5c209a9467","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1944157b1696ab6867e81e5288f8ab95c50462c","datavalue":{"value":{"amount":"+0.8593305349349976","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":"Q3083669$CE8D5317-0A18-4F3C-90ED-E151D5EF8A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d26d19e51029fff8c07fa8c6a01d3f2b7a0bc0","datavalue":{"value":{"entity-type":"item","numeric-id":2377353,"id":"Q2377353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ea87b7da2010bff32fbda8e2370182c4722a92","datavalue":{"value":{"amount":"+0.8588168025016785","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":"Q3083669$299120BB-3D2F-457F-B7B3-B6FC9883CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c6fdb8651704316b082c85a96e8f0db8ed5b86","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a147c4971df7d8a9bd91bb33715544265e1138","datavalue":{"value":{"amount":"+0.85685795545578","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":"Q3083669$52CD940A-B4DA-49B5-ABA2-C8F6BFF5A48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b45db420521eb08f46a4d86a7c19498e5668c97","datavalue":{"value":{"entity-type":"item","numeric-id":2915894,"id":"Q2915894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a442c0c7237faae54ad85924b0d14fba42fa74f","datavalue":{"value":{"amount":"+0.8294427990913391","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":"Q3083669$3DAE426F-C861-4ABB-BC80-20A087BB529E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd588964afbae448a4cac58ae86e516228bf9c80","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce1bbbb4df512a757d8f7f70707678bdafb7bd1","datavalue":{"value":{"amount":"+0.8281105756759644","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":"Q3083669$C14FFE72-0E3D-481C-89BC-1D056B6C00FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3083669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3083669"}}}}}