{"entities":{"Q5137319":{"pageid":7166890,"ns":120,"title":"Item:Q5137319","lastrevid":53880587,"modified":"2026-01-25T21:12:21Z","type":"item","id":"Q5137319","labels":{"en":{"language":"en","value":"Ackermannian Goodstein principles for first order Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279986"}},"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":"Q5137319$832F6832-7228-4A33-8489-FF289F085717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38471d14a3901c8be94183fd929e7b8255182923","datavalue":{"value":{"text":"ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5137319$793474E5-E589-4B32-BA34-3F96AA9E1D82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de0e27251d0750245489b6a4ca9d78835802d86d","datavalue":{"value":"1448.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$C480CBF7-DC63-41CA-BF77-30C313BA9965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbb485f1bb01fd442edd5d5b58811dba42b90007","datavalue":{"value":"10.1142/9789813223523_0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$6F37D01F-24D6-472D-B0AE-65DDF2D7E3FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137319$C125267C-2D42-4024-9177-82D38CA0E7A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751d18b908bb9e05d7d1759e7d9dd960ab3fb43a","datavalue":{"value":{"entity-type":"item","numeric-id":5137312,"id":"Q5137312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137319$BA0F1E5A-F7FC-4422-A709-3ED16EE11351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3b6bbd4a0d1ea12fe2065959cca05fbabd2369f","datavalue":{"value":{"time":"+2020-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137319$1113E91C-C817-4CAE-82C3-D38DAAD4A953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$01DBECD7-4605-46F1-8CDE-6DF1A08569B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$406E4EDA-ED41-4D75-9417-28ADD82E75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$F7383C7D-4907-42C9-9B4F-5E0790D66764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$51ABA488-7964-4FE1-9967-864001709E55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11e91dc5cd6b9267cc57ae2b5accf3a80de2c568","datavalue":{"value":"7279986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$D2465A5B-BAC1-4932-A4FC-2521E255F80D","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":"Q5137319$9BD0A96A-F124-42BA-A1F2-7E72A4720576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6baedb68ff36d6570af73ae4b4695a5fd4ac9bcc","datavalue":{"value":"https://doi.org/10.1142/9789813223523_0007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137319$3854CE19-C2B0-4874-8585-4C537182854A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58438e8bd6e533362831d53151e80dadc0c17ab7","datavalue":{"value":"W2624699856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137319$29B9356B-E9A9-48A0-84CE-093DE0BD2D18","rank":"normal"}],"P1643":[{"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":"7b605af9535a14d32e74da426670eff7d668800c","datavalue":{"value":{"amount":"+0.788543164730072","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":"Q5137319$188DACC9-0052-4603-85FA-D5563A02B49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1563beb6f3172a241d262b3f5d6ed48016f1ce5","datavalue":{"value":{"amount":"+0.7779631018638611","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":"Q5137319$C367C005-843A-43EC-9398-EE084FAB395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf0a11ccd35032b0b7534aa2cce14d5e9aa0c78","datavalue":{"value":{"entity-type":"item","numeric-id":408160,"id":"Q408160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdf4f7fe44103a3a8a656e638de56812d7b4a68","datavalue":{"value":{"amount":"+0.7619301676750183","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":"Q5137319$FB0939F3-9005-4235-9806-48047864DD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87caf3125e4865622d77885aeed2f5ce94023cc6","datavalue":{"value":{"amount":"+0.7614098191261292","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":"Q5137319$E45BA689-C6D4-452C-BDAE-48E1C0B97340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f30f1688f50849c140245769084df1101518d7","datavalue":{"value":{"entity-type":"item","numeric-id":3527612,"id":"Q3527612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0108c535bf5ef52ae1055458387d64335cef74e","datavalue":{"value":{"amount":"+0.7603071331977844","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":"Q5137319$504723B8-81A2-40EC-8AAA-56D6881CB13B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137319"}}}}}