{"entities":{"Q5190198":{"pageid":7219770,"ns":120,"title":"Item:Q5190198","lastrevid":50928974,"modified":"2026-01-15T19:25:42Z","type":"item","id":"Q5190198","labels":{"en":{"language":"en","value":"On the complexity of G\u00f6del's proof predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5681301"}},"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":"Q5190198$4DCD9CFC-89E1-4A98-A874-CA5188E1F1ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfbd7f49eb59c1c1a8404f5af9d9d5784f908cca","datavalue":{"value":{"text":"On the complexity of G\u00f6del's proof predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5190198$9F4590A4-F64D-4E6F-B99C-27CCC2ECDDDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c451bd6dece71f46093fd1535039ad0ac5d8d20","datavalue":{"value":"1201.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190198$E19F1B77-E8CA-4A13-806F-414593C1A334","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190198$4112F9A9-8E03-4CA1-87F9-E6F0CE560BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190198$2076C2F8-7705-4BA0-AD6F-849D5B9A721A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7fe2c523e98eb62c0896902d6e731144883b50b","datavalue":{"value":{"time":"+2010-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190198$66733155-08C1-49FC-849B-91E268AA748D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21c767222320e7b55798252510cb7d8f7859a77e","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.751","type":"string"},"datatype":"url"},"type":"statement","id":"Q5190198$A7D9327F-1AC8-4411-94B1-3B32D365A174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190198$4D6B1005-2427-4C13-B61C-F6BC07AFBA45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf0c0c6e905dae88f8bb1393f714dc138e8f83c8","datavalue":{"value":"5681301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190198$110257F7-F04A-49E6-9269-F4CB0D55339F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edadeef8bb2338ff3a07e14bdbe112375679df2","datavalue":{"value":"proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190198$610E63E2-F1A3-4CA9-8A75-CBF55259B650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d11c07a7be12160f657ca2084dd2f5a5d935890","datavalue":{"value":"parametrized G\u00f6del problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190198$0379EED7-950F-41E8-9304-1C0F65E92E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676957cb97439560a58dd39a6351ac3ff2dddd2a","datavalue":{"value":"fixed-parameter tractable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190198$15C90F53-788B-4B62-BCA6-7D15C7C175D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d78acbd24c774aa98397ac1aba46b0f66d3689","datavalue":{"value":"parametrized complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190198$14F2B9BC-D89E-4447-9155-E0E62B77686E","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":"Q5190198$31B0E2FD-A493-4703-A5D1-7AAB62AED55A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c2ef38fdb4a18892dc3cd4691cde8222cd7a1a7","datavalue":{"value":"W2116278910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190198$BFBC909D-F3B8-4C08-A24C-BF4CEFD31B87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8261ae985acfbecad888ab2d08b0ae77f94505","datavalue":{"value":{"entity-type":"item","numeric-id":4945215,"id":"Q4945215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190198$DD1CEA19-8779-4816-BD0B-0707196923F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b1c731f12bfd44cb2a2bdeeda67137003fa296","datavalue":{"value":{"entity-type":"item","numeric-id":1349712,"id":"Q1349712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190198$DD602336-CBC4-4E7D-B5CF-E553BA591DAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59ee8106a267aa4de80d63d1a01cf4dac79049b7","datavalue":{"value":"10.2178/JSL/1264433918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190198$8C6D708C-E33C-4E0F-8AEB-288BAB039110","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":"Q5190198$4E8DB795-2946-471F-AB25-E6EB4333C4C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff46e7a52cf96da44cf36c3b1cee5d3437f75f1","datavalue":{"value":{"entity-type":"item","numeric-id":4850546,"id":"Q4850546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49ea5990327c5cae67872fbe6c62c3533fb449c","datavalue":{"value":{"amount":"+0.8154045939445496","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":"Q5190198$F4CAFE3D-7DDD-41EC-B4F2-0AEEBFE71BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2c54ea03aaecb98f0ed62596f9edeaef7122c1","datavalue":{"value":{"entity-type":"item","numeric-id":3586043,"id":"Q3586043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6074617de46044241b376801b90454cbd3fa75","datavalue":{"value":{"amount":"+0.8122243285179138","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":"Q5190198$1F314F32-554B-4A01-A0FE-A814E8515D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa84efd20a1da3cc1dad6fe53c97fe1739f5fd6f","datavalue":{"value":{"amount":"+0.7782903909683228","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":"Q5190198$E40485AE-EDCD-4C7E-A70A-1D2EB6EA48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c1c3b4af6eb02da9174e6ba24a1e25ddbae58e","datavalue":{"value":{"amount":"+0.7764931321144104","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":"Q5190198$A701E99D-1E81-4268-83F0-C2D1D7884C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c521edc4d515f5c87778c3eeb7fc970dd53789","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd98a5e1e88946e8881b3f476c0ffd5609f62f0","datavalue":{"value":{"amount":"+0.764252781867981","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":"Q5190198$47DCE3D5-CA4F-4696-A53F-AE06F94CBC6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190198"}}}}}