{"entities":{"Q5144661":{"pageid":7174232,"ns":120,"title":"Item:Q5144661","lastrevid":53910074,"modified":"2026-01-25T22:19:15Z","type":"item","id":"Q5144661","labels":{"en":{"language":"en","value":"Equivalence of inductive definitions and cyclic proofs under arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297862"}},"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":"Q5144661$54D6446B-B196-49ED-B795-AD47F3E44A32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7acade01aa9f253a1943334d948b95f8bbf4d2e3","datavalue":{"value":"1452.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144661$40D2BC90-3467-4AE5-8F3B-130047899B3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144661$6F1FF30F-61D6-4140-AB13-A79F8B574444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144661$41A59A47-7D74-4957-8E41-84373A2F07E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144661$0DCDA954-2E96-4C6D-A5E3-A6DAD2030E37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbadcc2fd503e62f27fde601b51662013dc7bfd4","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144661$6598C190-8819-4CDD-A3FA-9E0DA83C0127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144661$2A738B24-BC3B-4EB9-8F30-0E7BCC2DF078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144661$809A2C2E-96C5-4696-84E0-E2E1A9687179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144661$F193FCED-FA93-41FB-B95D-60BEB614C196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f998ff6b46f0978fef3ea2f0cbf0d2ffdf8702e9","datavalue":{"value":"7297862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144661$933A0472-75BF-405F-8191-26588696B67E","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":"Q5144661$5CAD96A9-2FE7-4CBB-96BE-62998BA94E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6434322f6650ae7fe26af9f25bfae2d6227bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27215062f0c71dea3dea533281fb8759937ec03","datavalue":{"value":{"amount":"+0.8653962016105652","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":"Q5144661$4A5D68CF-EDA5-4A3F-9718-4795C569AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0be835a2368da43599fadcd20aaaadbeb039d7","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b96c4b63a730f5b466079d571c7e05cb1366460","datavalue":{"value":{"amount":"+0.846281886100769","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":"Q5144661$A7ED20FB-1A6F-4D59-92FE-0A40AFD5547E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"577ca11d46a3f8ecf7463ec63638e7d223497c22","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790bd84161bad693bcc03b486b6341d3631dff9c","datavalue":{"value":{"amount":"+0.8341602683067322","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":"Q5144661$03938707-C9ED-413B-8878-4EF971D9D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ba82c3cd42101034d3846d4cd40d37d68d6fae","datavalue":{"value":{"entity-type":"item","numeric-id":1798782,"id":"Q1798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3785a5daec94160ebba2535f800d8155c19d52","datavalue":{"value":{"amount":"+0.8214426636695862","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":"Q5144661$24F62E9D-4C8A-4DC6-9FD0-064DCB87A178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8f9c775d61ff4e95ab6fc44117874f206685ad","datavalue":{"value":{"amount":"+0.7677163481712341","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":"Q5144661$B00B41BE-D6C5-4970-8CB9-13BD2C991814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144661"}}}}}