{"entities":{"Q2958394":{"pageid":2969113,"ns":120,"title":"Item:Q2958394","lastrevid":52733384,"modified":"2026-01-23T09:30:00Z","type":"item","id":"Q2958394","labels":{"en":{"language":"en","value":"Beyond Peano arithmetic -- automatically proving termination of the Goodstein sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679833"}},"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":"Q2958394$04107FE6-B371-4576-ABE2-186B5C7684DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef857e9499d8ff50cff6e31986bcf901a4b6b56c","datavalue":{"value":"1356.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$F8E700F5-1A53-4CDF-BA84-269C3B62995D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958394$C26166F9-06CD-4150-94B1-51F303E3F580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958394$85856E36-38BC-4D52-B019-73F5DBEABB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958394$6CF406B9-1A8B-48D9-B718-B4BFE3C47ED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958394$441FC3B7-3673-4F01-AF7B-C13605D32386","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$5EF9D7D5-4A4A-4E02-B474-8C276A3F9904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$EB046A1D-4C40-4795-B47A-BDCB40600214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$078ABB5F-52B8-4F21-AF85-7C72F7E48096","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7db28ae1954ba74d74263b887eeff9cb1ff1b68","datavalue":{"value":"6679833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$5CD99E46-8197-4E3B-B48D-1FB7972F74B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958394$F816633C-A6FF-45BA-8CA1-94051F5D2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958394$502B6246-693F-4CC0-AADD-EABA3CA86463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958394$51B56B0B-E2A5-4A56-8082-A55D952F2583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958394$41680D2B-239E-4603-9D9A-6F4EE306CE56","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":"Q2958394$429BE6E4-66E4-4E08-BB30-2AD6F607E5F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2391517e9d290d9f5a4b0946e3aca1de04dcc7c","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.RTA.2013.335","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958394$C66058FA-865F-4403-83B2-89EFD362382C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6f94c14b18a227e55321f0b4e3f9c197ac28d75","datavalue":{"value":"W2240891607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$EDD72815-FDAF-404B-BF28-E0B092F093DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c630e64951d7464d3fd9fb97675697c91d171241","datavalue":{"value":{"text":"Beyond Peano Arithmetic \u2013 Automatically Proving Termination of the Goodstein Sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958394$C4D85AE4-7D22-452D-8845-33F83DBDC33B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1c615020b792a569d58be7e0d34f898bbdc68a","datavalue":{"value":"10.4230/LIPICS.RTA.2013.335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958394$80CE1672-6D41-44ED-8C83-93EDAEB5B3F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e313160396a09dfd5f5b2b7369a738ef6c6158","datavalue":{"value":{"entity-type":"item","numeric-id":485843,"id":"Q485843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c51c24937b239093f36d45b64b42c4b34f9db20","datavalue":{"value":{"amount":"+0.950775384902954","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":"Q2958394$B7943383-D132-4944-B063-8FB0EF3530DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18c04be89b35d25ba0d84559e204a128a0ed60d","datavalue":{"value":{"entity-type":"item","numeric-id":3466405,"id":"Q3466405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2f1bf89990dd2b9f4a3f3805c9200240b787fc","datavalue":{"value":{"amount":"+0.8155504465103149","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":"Q2958394$FC26B086-327F-441E-A6B7-88029E96F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e924b4978e6e4f9bdd7d91426f2bd9956574c58","datavalue":{"value":{"entity-type":"item","numeric-id":4732468,"id":"Q4732468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5945dd762f00969a0678a2161ff31cd49fb12ef","datavalue":{"value":{"amount":"+0.8043041229248047","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":"Q2958394$4E94FDB4-D533-45A9-A4CB-09B343015212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d35bde9436712655a5199037ff8d2d46c247c39","datavalue":{"value":{"entity-type":"item","numeric-id":5113418,"id":"Q5113418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d72d0b2b8dbce9ae3c13cea06496bfd78471bff","datavalue":{"value":{"amount":"+0.8023818135261536","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":"Q2958394$62C9638B-8AA7-40F3-AE95-59A9F756ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7077a3cba1ce57ff07c7c67f8eb31d5328f0f3dc","datavalue":{"value":{"entity-type":"item","numeric-id":1399971,"id":"Q1399971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af648d901c85532b32526c2f9a03eddd95e65f93","datavalue":{"value":{"amount":"+0.7862081527709961","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":"Q2958394$315C85EA-B601-48DE-A000-18124A93BFCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958394"}}}}}