{"entities":{"Q4314669":{"pageid":6344270,"ns":120,"title":"Item:Q4314669","lastrevid":40706679,"modified":"2025-04-04T10:28:56Z","type":"item","id":"Q4314669","labels":{"en":{"language":"en","value":"On G\u00f6del's theorems on lengths of proofs I: Number of lines and speedup for arithmetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695440"}},"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":"Q4314669$8534BED5-8DC2-4681-9AB8-3EFD83DA272E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea4ebe29d7d1b64841fbd3fd4def8f140e238394","datavalue":{"value":{"text":"On G\u00f6del's theorems on lengths of proofs I: Number of lines and speedup for arithmetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314669$4293C47A-38D4-4E21-AD02-763007EB61DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd0c48c70c19a99e0bbc95eccedb64e0b85fa131","datavalue":{"value":"0805.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$30675037-1217-4D1E-9113-5848FA24F010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa2a5a9cdbe6a280d9bd691fb94dbdab6d995c34","datavalue":{"value":"10.2307/2275906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$8BC27D1F-E95A-45A9-BC59-61CAC6515A31","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":"Q4314669$A428CAC5-3060-4BBE-9C73-6F42E0096CEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26d9462e0cc2514efa9fd1ce559f205339e5ef5","datavalue":{"value":{"time":"+1994-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314669$234BD724-FDC5-4EAB-8AF3-08DF4C5883F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$F8D42949-C1B6-41C2-BDFE-A9941EB98241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$D69EB712-80A3-4808-A04C-6A9796DB6A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$8D7FAB8D-C47B-44E0-8F05-597A98A42AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cad6d6ccf977aba292beb0cce30070c48a30740","datavalue":{"value":"695440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$440D322A-F865-4260-BF55-A9A95D9F4ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d887c73b821cba719e0ded9aeca29c5eea92d3be","datavalue":{"value":"lower bounds for proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314669$DF3D3257-4ABE-4C6F-BE46-DB251D874A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce3872675c65a0af76b24aef15acdb1b5113b52","datavalue":{"value":"proof speedup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314669$F227BE84-5CFD-41C6-8819-EAFC20AA07C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db77221c7ff5a859ef26fb737badc122d015856","datavalue":{"value":"Hilbert-style calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314669$4C0D4033-30AC-4082-869B-83C7F600A33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314669$23BC1864-6C2A-4A50-AF89-40A3CE58D98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeba082feeea41147a450ea7fa27b806560b8abf","datavalue":{"value":"self-referential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314669$49F49C11-48AD-43A4-B1C9-CFFCD5927901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314669$2C966500-B226-472D-A97E-614761931D75","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":"Q4314669$1E688C17-8E67-4606-95CB-7520F212159E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d6bfeb2369f68856c3c575c6b352071daa06a42","datavalue":{"value":"https://doi.org/10.2307/2275906","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314669$F8B53625-1406-4CB0-8628-AA749D69830B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"642f6f9c91633d3561a35101b66a22aa09eb62f1","datavalue":{"value":"W2091280099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314669$8CB881B6-6476-422B-91CC-E94D7C900812","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7690d6e129422393921d20335378cb27d2f76350","datavalue":{"value":{"entity-type":"item","numeric-id":2650013,"id":"Q2650013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314669$67C0A6FF-04C8-4FF7-90D0-4DCE74A138E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e2b389aa040c5ac94afc2205d0370e8472fb01","datavalue":{"value":{"amount":"+0.92890453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$510541C4-5B29-4667-9FF8-3C23AB1969C5","rank":"normal"},{"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":"22d09862553bff7d0a629220eb0e5f02602bf12e","datavalue":{"value":{"amount":"+0.8863206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$2585CF56-07CC-491F-907C-3778A9297DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013eacf5660a0386f60e976d07bc97ea5ec098d4","datavalue":{"value":{"entity-type":"item","numeric-id":5190198,"id":"Q5190198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722880b7537c1fc27127f3488dcb705df6213588","datavalue":{"value":{"amount":"+0.86365765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$92F07E1D-7ADF-44C4-A0F3-FB14B256C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dd52adf2785a37b3b321e94e4ac5d4d7793a45","datavalue":{"value":{"entity-type":"item","numeric-id":4306545,"id":"Q4306545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541038f24fbdf9fe7097a0941c82021ffd4bfb3b","datavalue":{"value":{"amount":"+0.86314416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$3DB237BB-1E35-4C6E-9AD3-EE14BA2309BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99d328c6ac60d1ab7cd9f45b93591d3c3505f00","datavalue":{"value":{"entity-type":"item","numeric-id":1908815,"id":"Q1908815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47367f15c51e73f40c2dc73442bf33f139b085e9","datavalue":{"value":{"amount":"+0.86123455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$6E572B7A-B039-4E7D-A9DA-12A07029C0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2fd7f01ea4f16faf00e514743bea66d629d9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3698791,"id":"Q3698791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f8572361537e1e033551b5411272c9324c34c3","datavalue":{"value":{"amount":"+0.85938174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$DC90D893-A136-4C54-9C17-B255CBFD382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0116dab4c2b534fbf3e581845968a5333d94387d","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a56d49f6af249d4e1715e91fde7cbaeddf6b60","datavalue":{"value":{"amount":"+0.8530303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$AF2F8F4E-2D63-4DBD-9F88-AD97EA3A15B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee50c7f44c1d2292cb7acbba734126c57f16a71","datavalue":{"value":{"amount":"+0.85171765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$D9D877FA-3506-4E09-B5F3-C5C00FDB5B04","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":"57360869a3840f05d573ada94ff5f47803862f18","datavalue":{"value":{"amount":"+0.8415874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$CDFE804A-247E-4ABB-8758-7DDA4BF95B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf32836cebf45cea1ad072c97dfe66ab016c9ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4428698,"id":"Q4428698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9a4c4aec3cbc8fa58a9e16ac972155d735f73f","datavalue":{"value":{"amount":"+0.83595514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314669$3A15AA04-E96B-4537-8183-B7427C20DCDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4314669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4314669"}}}}}