{"entities":{"Q3140629":{"pageid":3151345,"ns":120,"title":"Item:Q3140629","lastrevid":45530053,"modified":"2025-12-10T06:51:28Z","type":"item","id":"Q3140629","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440472"}},"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":"Q3140629$6B78C93F-15BA-47E8-9914-B7DBF7051A32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fd00be0779c7c6e8cf493d6e15d9558f1ef9ef9","datavalue":{"value":"0794.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140629$2B06E331-BB3C-444F-BFB6-DB5A674FC833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140629$E2CAB77B-C27E-4752-8544-6169D5291A26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140629$0BFEED12-FAF9-4882-9200-F0689D249A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140629$86CB21C0-37F8-4D5E-80D0-9E5E0645057B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d21c610194d1b0d598bb1b1bcc4ef3ad586505f","datavalue":{"value":"440472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140629$9300044B-4794-49EB-B243-D0B6AEBD30BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140629$364B06B7-EC22-47F5-9FD5-7DC73E35E276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140629$DB62FAFB-346B-4E41-A67E-C0AA23A30D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140629$F3EF09FC-A908-44E9-A9C3-A53132C2B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2035ce8da11f844bb65034c234274a2169dd2d1","datavalue":{"value":"bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140629$9E7EC597-3625-4A28-A657-A2583468379D","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":"Q3140629$6F8FFCD0-0834-4D6F-9FD2-A2E3D7186EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02048a965c92ec60eec458d477a64d86de495c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2708668,"id":"Q2708668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$5C7F7B83-1299-4702-A5F8-D64A76AC1C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5433f7cd2d41d8a98bdc5fa8eb72c743315b027b","datavalue":{"value":{"entity-type":"item","numeric-id":4895204,"id":"Q4895204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$9D12BB38-3E03-49F3-A687-F3AA55FD68AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c619ebf913ecfe06f056b2985358f6967f331fe2","datavalue":{"value":{"entity-type":"item","numeric-id":3477645,"id":"Q3477645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$E25FD53F-9329-479C-BF3F-672CE7BC01D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e380c69a55d0de3ba4e805cb8dace760b4ab8536","datavalue":{"value":{"entity-type":"item","numeric-id":3972422,"id":"Q3972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$9B35B13E-0959-4F59-8ECB-C0CE9CBA422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcc4186434f106a9ebbb1ac7251099877960f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4464737,"id":"Q4464737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$9805B537-3C07-4DBB-ADAD-91E48C3C9D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6973ae8a6dec56978646845c9e6725f8dccac33","datavalue":{"value":{"entity-type":"item","numeric-id":4717860,"id":"Q4717860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$B9A90169-6472-4691-983E-2EFDA7455426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9f3fcbfa5ff1ff247d74a684a03bdbfdf947d4","datavalue":{"value":{"entity-type":"item","numeric-id":4016621,"id":"Q4016621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$564B07F6-B46A-4576-A9EF-E16D0C2F764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6d7e8655137c3eb71012061e6b56c5f3b01da","datavalue":{"value":{"entity-type":"item","numeric-id":3728106,"id":"Q3728106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$DD90A633-3F26-4773-AA6B-2EA245AA486F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d342fd61912cbdf3a13b9d504b7221bec9addef7","datavalue":{"value":{"entity-type":"item","numeric-id":4011741,"id":"Q4011741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$95F96C69-6F05-421E-8A91-2269A12482A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63caf9918b85649494dc2ef2f189ecb0f379580f","datavalue":{"value":{"entity-type":"item","numeric-id":3992194,"id":"Q3992194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3140629$C3F52CA6-7A35-4293-8E45-024A1FC46261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140629"}}}}}