{"entities":{"Q2809677":{"pageid":2820415,"ns":120,"title":"Item:Q2809677","lastrevid":83551058,"modified":"2026-05-07T08:52:42Z","type":"item","id":"Q2809677","labels":{"en":{"language":"en","value":"About the equivalent replaceability of the double induction axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587435"}},"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":"Q2809677$45AEEC67-90DF-4D2A-837F-E24E6636377C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3997fcbc6fb361adba5c305b2cd47f269850275","datavalue":{"value":"1338.03109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809677$68179014-2C19-4490-94A3-5AB2CD83CD6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c11351fa7098c649288502141e9dd6545e7fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1382696,"id":"Q1382696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809677$8CC4B8DB-DC2B-4CEA-92F5-05E32E919B37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f88047d510a654c87acfb0f9b656988fa90dacd8","datavalue":{"value":{"time":"+2016-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2809677$406E7951-4A33-420A-8C51-E6498B662348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809677$8E450EA3-8349-4F26-AB7E-77BA7059A9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2892544435435f1536bf2c468ef50164a0ed125","datavalue":{"value":"6587435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809677$DE341DFF-AE0E-45B1-8BC4-08A567C2EA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809677$BD2CCA0D-F10E-4C17-A766-294A0C1E8E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00145d4e982a20b13d93f5efa63d56a4c0b0a8e","datavalue":{"value":"additive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809677$8183274E-EC0F-41AA-A2A4-DF3044C03A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50395e224b5708a1fa2d6d692963a8000f4bdc5f","datavalue":{"value":"double induction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809677$2D6FFE1A-7CE9-4998-A1C7-E7052DFD5958","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":"Q2809677$18F7F15B-1B10-4063-992A-64CD0A43E90E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80496d1315332ab701a26ac48d7220052e4d11a","datavalue":{"value":{"text":"About the equivalent replaceability of the double induction axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2809677$C28F14EE-3425-4FC8-ADFD-BAF8765A32AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809677$52A27B9F-3708-42D0-B213-E3F07E4AEFE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About the equivalent replaceability of the double induction axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_the_equivalent_replaceability_of_the_double_induction_axiom"}}}}}