{"entities":{"Q1382697":{"pageid":1393437,"ns":120,"title":"Item:Q1382697","lastrevid":70293690,"modified":"2026-04-13T13:48:15Z","type":"item","id":"Q1382697","labels":{"en":{"language":"en","value":"The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1135548"}},"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":"Q1382697$DF9CCBBF-46C7-4343-9565-1E4535C01197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c02ab834fca49f00f0a7b3e16328cffd9fe9fdc","datavalue":{"value":{"text":"The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382697$C889BE55-A609-40B6-B632-6AEEDC2A07AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"129296d22f6391d1324ec810f35160485c2f05f9","datavalue":{"value":"0891.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382697$5F067197-9F56-43D7-AD0B-486DC81B7FFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d552c14c0148812397778ce356f69434fce4807","datavalue":{"value":"10.1007/BF02465439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382697$7990A57A-B35C-4BEA-8AA5-B8484A19CCA5","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":"Q1382697$A872590A-7303-46C2-A4BF-5EDD535E6139","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382697$82D100A3-3063-4F9E-9EBD-998CD2ED45B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-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":"Q1382697$C1184DBD-8A32-4B3A-91C3-F8780FBD9966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382697$D5F42A1E-DFD3-4D34-B7B7-F659CD5B61C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e0e66ca5ae394f1b45d2eb4adc0a94f2dcf3718","datavalue":{"value":"1135548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382697$5447B4A0-4162-4C6A-A74F-F6C28753404F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7336f70da8f28db069ae5363c48a1d874231752","datavalue":{"value":"axiom of double induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382697$7F1E858A-5012-4E7F-825C-4942C0F3898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c513d54179c7b0a1427f9b772dfdf8226b3dd6b","datavalue":{"value":"free variable additive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382697$BCC8010F-4D64-4387-B313-DE32A0D4C53D","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":"Q1382697$BF9EEC56-1061-43E3-9B12-869C70170533","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"592f98622d4ffe003d0505ec1655c497ab8089a5","datavalue":{"value":"Q114018432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382697$B5D84A6A-95F5-40EE-A944-60934EB51983","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ae6582ddeecc7abd4b32eb7a70700cd6ae64a3","datavalue":{"value":{"entity-type":"item","numeric-id":1925188,"id":"Q1925188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382697$0427A115-71BE-4E7E-B1A3-2C0BB23EC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a36e2a54d0bb700689b29105cdd4e811241336","datavalue":{"value":{"entity-type":"item","numeric-id":3256311,"id":"Q3256311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382697$654D0BB9-B3C8-4F0E-A130-1F5CB9508F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382697$4BB66503-009D-4BB2-B234-3E7032E954A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6895177148d1d15837c7e1faaf2b7446ade6aacb","datavalue":{"value":{"entity-type":"item","numeric-id":2811592,"id":"Q2811592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751da6c598b51e8e86dca43fc1be5f802682185a","datavalue":{"value":{"amount":"+0.8761025667190552","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":"Q1382697$6693B568-9BFD-4E8D-8712-A61B086B2CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d916e32aa7f43a9689fcd46ae5b12af389aa7f","datavalue":{"value":{"entity-type":"item","numeric-id":1925188,"id":"Q1925188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242126ad8e8ba67e4e00997449359c6edd6929d4","datavalue":{"value":{"amount":"+0.8318318128585815","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":"Q1382697$B2FAD8E7-E963-44C7-9AE5-6E2336C76C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f50465321e3fb5d15cee18ec5cc58393636cd75","datavalue":{"value":{"entity-type":"item","numeric-id":3483282,"id":"Q3483282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88784589f6fed4ec5a1e8fc4ecfa5d268925e28","datavalue":{"value":{"amount":"+0.8037360906600952","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":"Q1382697$D7CBB40C-4285-4AE4-97B5-B96ED13B2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d2482877d0e5045d922cd6e2b855c5b7ae33e6","datavalue":{"value":{"entity-type":"item","numeric-id":3318774,"id":"Q3318774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340717115ba2ec411e8d9ba8af62d7c197132595","datavalue":{"value":{"amount":"+0.7830348610877991","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":"Q1382697$E8A64F75-FC65-41FB-8C5A-0894B24FA9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e755627e96585ad2b341747f433d0a46a4127a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3320368,"id":"Q3320368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fac0fad1d83cd9904bb19b2d9c4ff70db1ab7b","datavalue":{"value":{"amount":"+0.7517731189727783","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":"Q1382697$FF5CBDD7-0E54-4EC4-9D5A-FD9E967A7283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_constructive_provability_of_a_restricted_axiom_of_double_induction_in_the_free_variable_additive_arithmetic"}}}}}