{"entities":{"Q324248":{"pageid":326015,"ns":120,"title":"Item:Q324248","lastrevid":60965019,"modified":"2026-04-10T20:17:51Z","type":"item","id":"Q324248","labels":{"en":{"language":"en","value":"Reverse mathematical bounds for the termination theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6636998"}},"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":"Q324248$9FF65AF4-324A-4DD8-B896-C9A7032609C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6504bb09bfaf3dec58dae73e9dfd612aa5a02e3f","datavalue":{"value":{"text":"Reverse mathematical bounds for the termination theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q324248$0DC8A5D3-8A6F-46B2-8F0F-00C267FD2500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdfe9da1a583a6207992aec2f88d9fba2f3135d7","datavalue":{"value":"1402.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$8B9031AF-8BCC-4391-8AEB-B6C6EE8D373F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd82a286f91886831e771d7fa217c07b3dd41bd","datavalue":{"value":{"entity-type":"item","numeric-id":324246,"id":"Q324246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$71700ADF-364D-48CB-B2B1-E3302A6EDDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$EF717286-49B8-47EF-8F7F-828C37EF050B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$51572E03-F244-4528-A30F-A129DA77A95A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd25b1e6687d57bba13de253a615a4349160ee7f","datavalue":{"value":{"time":"+2016-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q324248$727568F9-E598-4AD1-A9F7-72B0F73ED47F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d8561fc514e008f88623ca36bcfc89838f78b92","datavalue":{"value":"https://arxiv.org/abs/1512.08622","type":"string"},"datatype":"url"},"type":"statement","id":"Q324248$25F00822-572B-4274-ABDB-072270664A20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$6F975BFB-2800-4EB1-985A-051F950783FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$2CFD966A-3B27-4307-8066-58897F5ECA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$3C1B0304-C20A-493A-8B45-CFE5FD97D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$A95535E4-F8E6-48F7-B96A-ACEA801F8D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$6877728B-E19A-4ADA-9A15-F65B3A525823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"436db3c92cc7b8b0cf7e92e8538b3ce0aae5c46b","datavalue":{"value":"6636998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$0B46E0D1-224C-458C-9611-2D85C61AEFF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q324248$BE919D5E-48A3-48F4-A0D0-2AAF5EA79D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q324248$A929B7E5-5555-4275-88BA-D6B78B41D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f2f11948786546c9218cee446ded3bb16379c9","datavalue":{"value":"termination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q324248$DAEEE751-1F18-4939-9B1B-6C73CFED914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537b650b5d544d8a66e82e61672950b3e911a58e","datavalue":{"value":"Paris Harrington's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q324248$A55B1ECD-E70A-4C61-B953-3ECB9BA6D8FD","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":"Q324248$3638294E-BF1B-46A1-9C09-7805061B257A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c5c113f8cc7665c5f2e70e5df99e335909a4406","datavalue":{"value":"W2963942212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$2BC72A20-4C7D-44C4-997F-9E348D6F5E21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$B242445C-2881-44C2-85A5-2E5019767A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$4DAA12FC-8F4C-4703-A108-620ABD44A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d74d508f8067239c716b78a60a1fe33cccffc3","datavalue":{"value":{"entity-type":"item","numeric-id":5225855,"id":"Q5225855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$0775FFA1-96D5-4A18-9F29-FC69B913F380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a09ce1ae44b7a833baaa2a4e3614e222df45529","datavalue":{"value":{"entity-type":"item","numeric-id":2968410,"id":"Q2968410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$CA437BB8-5B5C-4C79-9740-04DE52E1EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7b88255d19d24a9c08c861e8270ad6cb0b05ff","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$4257C521-8E13-4EE1-9261-9ECC423DE3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$4376A0CE-80F9-4577-9171-1A8FE8296A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$89F042E1-AB61-42BF-891F-EB537D7D3D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$912C9726-A2B2-4B1D-A0D0-022C537E773D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$1F79D699-B1AC-42BD-B3DE-ECE0F25F8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$99D6F3F0-6B37-4272-A45A-A6C57FB694FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f68393ce979efe8647b5736649670d0cfa4cf54","datavalue":{"value":{"entity-type":"item","numeric-id":2784496,"id":"Q2784496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$CFF3A301-834C-4E6D-B398-17247308C7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$E547A7DC-1EAD-455A-81F6-A6401B95604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$98C9DA3D-D96C-48DC-9D17-45210B5C52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$B59A3CB5-A6D2-4173-9D73-75B4DCF96135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$DA1732D6-A486-4731-AE33-D75287CB7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$D3A19286-39B5-4D72-A329-B33046E08033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$C81E04B7-692A-4307-ACAB-93449BF73F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3e2147ff83d09a44d22572a320e6572c66fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$5566F8D8-39EF-4BC5-9F91-CB6250851ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$6A5444C8-8DA5-4789-976F-4B51615003FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$59FDB6F5-6911-4CBC-AF4C-3CB2D9123282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd552339b50e4fb637ebebf5d4cba84a9a9e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$835526BE-677C-402C-A668-194243282A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3e5c3e5476e6d9b11bfda08e395f7848df26e3","datavalue":{"value":{"entity-type":"item","numeric-id":5175905,"id":"Q5175905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$62A600DF-5A07-4C1F-BEB7-40E0DA101761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$F78773E9-F6D8-43D8-966C-CEA4C42216B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$17A18A56-0DA8-40F9-8497-DC7450020881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98ec6ee902b0e405217f4c97bc503839cc2ad55","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$3C4660F6-BCCD-4BB4-8F95-B2980B666C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$95658D59-EE10-49E2-A1D4-15D3EA7905E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$8700E0EF-DFCD-4923-9CD9-FF5C570E3F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e118a8c11cf03b85b1a9d5fdc8e5993e53f09344","datavalue":{"value":{"entity-type":"item","numeric-id":1935867,"id":"Q1935867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$C49A4B88-1BA6-435D-8A2A-C09ABBF8172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f3302845f20430517558b235df89ad0a7a06cf","datavalue":{"value":{"entity-type":"item","numeric-id":4770951,"id":"Q4770951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$E1703FAF-E84E-4A06-BE93-36DA1B17B6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b16e98f2ed75b6b2c580aaaf672acd628aa682d","datavalue":{"value":{"entity-type":"item","numeric-id":2914747,"id":"Q2914747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$BA3AB21B-3B96-4586-8AC2-DE0064703C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ac8787e7c7893030486590f5fa75efd9f4d57e","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324248$202EB0E0-6D27-420C-9426-24F75751E7B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c91281e40fb8a3ae5dc6137599716d32aa0bf2d1","datavalue":{"value":"10.1016/J.APAL.2016.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324248$9B9DB363-D1DB-4451-96A9-A2E038A15AEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd08998a6c461a09716fa8f4448708f780fbd14a","datavalue":{"value":{"amount":"+0.8594431","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":"Q324248$EAA238A5-4DA0-4AAA-9626-B9861638A4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3bcef150fd2185edd8c07fec69df0d80da7cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3295155,"id":"Q3295155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0132407d900f031daa3388018cb9bfc5fc3f0e0d","datavalue":{"value":{"amount":"+0.8579545","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":"Q324248$30044ACC-BE17-4D7E-86BE-BEF61D15FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6954727e8cf14b2a88e03b80d6b0e5d33a8b2004","datavalue":{"value":{"entity-type":"item","numeric-id":2827383,"id":"Q2827383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e748b064641481f5a84523e368ad988e19f288","datavalue":{"value":{"amount":"+0.85587096","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":"Q324248$26156CCF-2557-4D09-BEEC-80E78F15A96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e0219e9ead33cd26a63f0db377d879e730ce13","datavalue":{"value":{"entity-type":"item","numeric-id":4304143,"id":"Q4304143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbd96369056d1fa96f80eb33d7fe57634bbc628","datavalue":{"value":{"amount":"+0.853198","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":"Q324248$66C9D44A-47C8-4442-95BA-50B416631AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affdacfdd672cca0516122759cb9e4487f5d2c69","datavalue":{"value":{"entity-type":"item","numeric-id":490869,"id":"Q490869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd529abd1a62e3f61ec95f0531e0536731fe88d","datavalue":{"value":{"amount":"+0.85116726","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":"Q324248$CCA42EBD-7309-4775-B114-B38E8A176CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f527c287dbd78f4122814039f4c3f0c3cb02688","datavalue":{"value":{"entity-type":"item","numeric-id":2304540,"id":"Q2304540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2d3d488761bd8061cbf813e9c59121c0964f02","datavalue":{"value":{"amount":"+0.8474957","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":"Q324248$CDCFDF3C-7C5B-4A5F-8ACD-16B05EDDC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131250cf3ca20981312f3ad0ec5c8fe7e9a7b459","datavalue":{"value":{"entity-type":"item","numeric-id":2580957,"id":"Q2580957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8982dffc231f07c265a962d068d225532f334f","datavalue":{"value":{"amount":"+0.8471001","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":"Q324248$77AB5C11-DC5A-471A-86C9-8ED4E31CED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c8cf3cc0aeebd9c3627d3019453acaaee4e974","datavalue":{"value":{"entity-type":"item","numeric-id":5311249,"id":"Q5311249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002aa04371f2d930fefe69749e38a8ce27cd27c6","datavalue":{"value":{"amount":"+0.8467411","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":"Q324248$DC1173F2-827B-475A-A9F1-F717F49B4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b225459b6553b925637642ec0a2dfe11bddf0e","datavalue":{"value":{"entity-type":"item","numeric-id":5881258,"id":"Q5881258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53357ca21eed2e235ac62152482f2e25f657ef8","datavalue":{"value":{"amount":"+0.8457713","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":"Q324248$07073C9A-EF04-488B-ACC6-101DE2B23E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896bd9f259e05a7fed12d011016470f8f09dde32","datavalue":{"value":{"entity-type":"item","numeric-id":5135421,"id":"Q5135421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab8cb77f0c0dbfa77ab21b41ea26e3cf229ee5c","datavalue":{"value":{"amount":"+0.8445314","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":"Q324248$A0245422-590E-4834-A93F-ECDC4B9CF718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse mathematical bounds for the termination theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reverse_mathematical_bounds_for_the_termination_theorem"}}}}}