{"entities":{"Q2811592":{"pageid":2822330,"ns":120,"title":"Item:Q2811592","lastrevid":42159920,"modified":"2025-05-26T18:06:55Z","type":"item","id":"Q2811592","labels":{"en":{"language":"en","value":"About the some conditions of the replaceability of the double induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592217"}},"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":"Q2811592$469B50FC-8F02-430D-927E-9F60D1046AF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d10a486e174659602f06645828d72ee7d17a26d","datavalue":{"value":"1344.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811592$870D6CAD-BD6B-41FC-B9A8-F554A37B29CA","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":"Q2811592$EDFCA166-2FAA-4720-9A79-1C88C43BE897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-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":"Q2811592$AAC83BA0-C170-4CE5-8BD6-85564FB49D77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811592$21A040B2-A485-4FC9-BECD-FBCAA51AF1E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7a9144debd47111698512de287909f3e0ce79e","datavalue":{"value":"6592217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811592$1601474C-6E86-41CC-A639-25B4923A12A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c36c26e69fcaaaab439176125cd4c9280d30a3","datavalue":{"value":"sequential variant of the first order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811592$E2BC33F9-8278-41FA-B1CB-F967CB77C453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00145d4e982a20b13d93f5efa63d56a4c0b0a8e","datavalue":{"value":"additive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811592$5A01E118-3A52-419B-BCB0-B06DCC54A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93e3bee0cdad9eec172b675535137bf577060f3","datavalue":{"value":"provability of the axiom of double induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811592$8DF3BC6B-75B5-4853-BC51-CFFD44FDAC53","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":"Q2811592$E7C296AF-4FB9-4DA6-A05D-8CEF9F509606","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f50611318fa28c8ffd70cd60e48e34014a8671f","datavalue":{"value":{"entity-type":"item","numeric-id":2809677,"id":"Q2809677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9dc659766a84a99933ab1922098045dec6ee3d","datavalue":{"value":{"amount":"+0.8010636","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":"Q2811592$DE7C9E74-9489-4EE6-BBA8-34EE8150E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e676646972e874bf423541ac8fbef3dfe0db81","datavalue":{"value":{"entity-type":"item","numeric-id":751653,"id":"Q751653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a95bf2671a271879bb102efd309ea535134223e","datavalue":{"value":{"amount":"+0.7886899","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":"Q2811592$BDC2A831-6EC2-497B-A6B7-E297C3D88673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc5eb0d645108f9acc1667116949bd064f97a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3489993,"id":"Q3489993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1dfb9c62252ee1dd37c249533e821e569e5aaad","datavalue":{"value":{"amount":"+0.76209205","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":"Q2811592$A29586DA-A93D-481F-B5A6-EE56044ACF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae225fba30640619a9d19f654217ddb59332caa","datavalue":{"value":{"entity-type":"item","numeric-id":384733,"id":"Q384733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d8a791a74cf5e8405443f26adf80ae6ad989fd","datavalue":{"value":{"amount":"+0.7119871","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":"Q2811592$4B101031-65D6-4D3F-92CB-879EBC6D7827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64d0c0ed12ae9230191ddf8c60ba0600ca4cc0e","datavalue":{"value":{"entity-type":"item","numeric-id":2751035,"id":"Q2751035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19801c7a5cb2a45af3ba92b4e7572c3bffcb3466","datavalue":{"value":{"amount":"+0.71145934","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":"Q2811592$2D914511-1DF8-40CB-A2BE-A72E5CD4E788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087da1fdcd3915ad87b01de944a10e33d1cc89c9","datavalue":{"value":{"entity-type":"item","numeric-id":1108727,"id":"Q1108727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de44d6385243e2d463b7c136573c452ec8a1e59","datavalue":{"value":{"amount":"+0.7063652","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":"Q2811592$66449CB1-1D63-488C-82B3-5D48E0B1EBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943b42bec4f7ad6aea3b8d6943550f628d4e25eb","datavalue":{"value":{"entity-type":"item","numeric-id":5364861,"id":"Q5364861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a679088bcd7c88b28ab5158b93d89bb7f75ebf4a","datavalue":{"value":{"amount":"+0.7054399","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":"Q2811592$FF695CB3-1D1A-45EE-B547-D321A05DB78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cca90570b9aaae599b0e6108f23dc95a5fa39c","datavalue":{"value":{"entity-type":"item","numeric-id":2400094,"id":"Q2400094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9fa0e8a28da287831893ba7bb300ce4f7828b6","datavalue":{"value":{"amount":"+0.7043084","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":"Q2811592$ECAB53F4-72A1-4467-9346-D81C9E1E3E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac0cc848016814e29fd1176c4f51461619dcabd","datavalue":{"value":{"entity-type":"item","numeric-id":3804852,"id":"Q3804852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c683f58071146e3e7080009f3fed7785140a675f","datavalue":{"value":{"amount":"+0.7017178","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":"Q2811592$709798FD-2DBD-4EC0-9988-8D77D9BD065F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c9f04bd73c06d1ea12a850e6ae9ffb9fc58e3fc","datavalue":{"value":{"text":"About the some conditions of the replaceability of the double induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811592$E2C1482F-9253-49E0-A7A7-DFC746BB108E","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":"Q2811592$5DC34B42-51C3-4387-A115-A6FEFC821393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811592"}}}}}