{"entities":{"Q3472096":{"pageid":5292798,"ns":120,"title":"Item:Q3472096","lastrevid":49363063,"modified":"2026-01-07T01:02:56Z","type":"item","id":"Q3472096","labels":{"en":{"language":"en","value":"Propositional proof systems, the consistency of first order theories and the complexity of computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139736"}},"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":"Q3472096$C050F34D-4CC3-4C14-B035-4073749E46C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e619b3f74b1e79c389d51f969d95dc39f7e45082","datavalue":{"value":{"text":"Propositional proof systems, the consistency of first order theories and the complexity of computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3472096$FF5158B4-1D58-423E-9DC1-A00DB3A52A00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3024588d92d31a511286341fe421f7e5cd0635a","datavalue":{"value":"0696.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$7F724889-CBD9-45F9-86B4-BCC2BD0C8576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48212232a599f01ae4cc674f942f098334429b90","datavalue":{"value":"10.2307/2274765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$2DC34168-39AA-4EAD-A4B9-850CB76B9E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472096$81333000-4AA6-42EA-A13F-3C86B5FD9858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472096$50EC6FE8-4C30-499F-80B5-04EFFFC05B12","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":"Q3472096$AD9A9C15-C808-4539-9CD8-E0E7DF3D4861","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":"Q3472096$AC625D43-48BA-4A2C-9900-1CC4C6325A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$DC15C751-4AAA-4407-9D9A-29D2C9954A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$4F0215B4-1D41-4462-B57A-7574818F3964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$CD33AAC1-53F5-4C82-8A05-DBBA365FF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$66533D3E-AD19-41EE-B90A-E103AD297FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$F368C013-A3DF-4213-BFD7-9A3B8F83CABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$B4FDA048-3AE9-4B2F-B2E4-F20DB2464169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542271fc76adcca447def5aba169409354dedd3f","datavalue":{"value":"4139736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$8204F698-B8E3-414D-81C2-3FF9737DEC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f945785876ff6f49008ea26077ee60f7e106fb","datavalue":{"value":"finitely axiomatized fragment of true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472096$B54C72D0-1241-4304-A4BC-3E10066E0618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad77820b7fc7a6d6bd04465243a28484d64d5cb4","datavalue":{"value":"finitely axiomatized theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472096$D00132C1-0DD5-4D3A-B642-BB150D673698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472096$47FE1B4F-2C40-4354-A1E0-99F95AC99F07","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"549358535b5839acacbc2a274fa362331115453d","datavalue":{"value":"Q106785096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$3F09A343-9E56-4793-8E26-AED022249099","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":"Q3472096$2B9122DC-FA57-4B4F-9B7F-05E023D43199","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77ba027f6f5838fdff68fe3b7c0b73f6c604174","datavalue":{"value":"https://doi.org/10.2307/2274765","type":"string"},"datatype":"url"},"type":"statement","id":"Q3472096$2A22A1B9-1DF2-4E4A-AD46-0A70A0E2AFFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73b3c4a35d4164bd8b41dd8601dc950fa8db5bdd","datavalue":{"value":"W2171353564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472096$0736C6F3-BD66-41D1-805C-D64424875C29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472096$90CDBAB5-3A74-4349-858F-382EB4476EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472096$5C980FE0-7207-4014-B7EB-1582127F1FB6","rank":"normal"},{"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":"Q3472096$A21714ED-B8B1-474C-AE99-64BA3DE58E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472096$074A5C19-7C3A-43BC-B6BC-71FA6D288712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe76ff71529b5c527ec5d305058ab677441c61e","datavalue":{"value":{"entity-type":"item","numeric-id":2469433,"id":"Q2469433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ce68ed3b1b250f58f25b3a17fe4a837bbffe33","datavalue":{"value":{"amount":"+0.8301917314529419","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":"Q3472096$0E6FB202-7C70-494E-BDE3-E9B9451B7356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c337efea67e5435cf48bf44e721e7c8f08a8852","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87d258fa20617a9bb951cfda072fbf4c9694201","datavalue":{"value":{"amount":"+0.8261159062385559","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":"Q3472096$7D808AB1-2BE6-4125-86C7-481F2AD9842F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4c52056fba96f95b6e0deb8f420db3f5cefd26","datavalue":{"value":{"amount":"+0.8080014586448669","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":"Q3472096$094309BE-CBD9-443D-8700-776AC6C7F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1760c6c229968d3870db79feda73bcddcb78d92","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5110a6d0bec990831c23a02fd1698b9b76114088","datavalue":{"value":{"amount":"+0.8036717772483826","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":"Q3472096$DAD3C7F8-F9B1-455C-BFCC-E6A596015261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe09464feb2e3c8ea468625ae972103f869267f","datavalue":{"value":{"amount":"+0.8023520708084106","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":"Q3472096$80E57229-F7B7-46BA-AA9C-70C947213BFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3472096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3472096"}}}}}