{"entities":{"Q3096079":{"pageid":3106794,"ns":120,"title":"Item:Q3096079","lastrevid":51360650,"modified":"2026-01-17T22:28:02Z","type":"item","id":"Q3096079","labels":{"en":{"language":"en","value":"A note on parameter free \\(\\Pi _{1}\\)-induction and restricted exponentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5968838"}},"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":"Q3096079$91FF365F-21D4-4EA0-87CB-C5BFA349ABD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18457184ba93610059eeb2eb854dc566de539639","datavalue":{"value":{"text":"A note on parameter free \u03a0<sub>1</sub> -induction and restricted exponentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3096079$6EEE81A5-2CBD-42EC-BEE1-3AE1C4CD80E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1c9a8c0cf37683772362da5c4892edbc0a29ad","datavalue":{"value":"1238.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$D6127E90-7011-4499-95E3-DA6BBDCA9DE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$4ADEECD4-25D9-4652-92A0-C6670623C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991e51a4520a7c3db178435bbefe41ae34b200b4","datavalue":{"value":{"entity-type":"item","numeric-id":701732,"id":"Q701732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$0D98C73E-9113-4724-B4C9-EBE10CC21A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$23149561-1ED3-4EE3-AD9D-0014EDD27AB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$AF3A8218-7C82-4C32-AC41-60E9462A118D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b07dd7a3eff452db33a6650b9ef90702ab02d89","datavalue":{"value":{"time":"+2011-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3096079$8597F1A9-CE03-487B-BE57-2534E325E55C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$734D4080-65C9-44E7-92BE-689A7B9ACC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$587ADCD2-BCDC-4AF1-9F07-871A33DEB076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf30d9fcbd6b32d6b49932f49d4e595bb65fbdd9","datavalue":{"value":"5968838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$810CB745-6A86-4C0C-9A78-F077A2E588D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096079$2EE05A89-923B-4E83-9C49-7502416A5ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c3e21fbf777c950d2ee348a00ae85aeeefe680","datavalue":{"value":"parameter-free induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096079$9AD2BE1E-7E1F-46D9-AF93-8A20A4DF6998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096079$FDA043A9-9B70-4C1A-9D19-873892C0F50E","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":"Q3096079$3A41A70C-FC50-466A-8798-9C1274FD9403","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df5c71bd1ab33677d48da2d3635b25bd6badc4cb","datavalue":{"value":"https://doi.org/10.1002/malq.201010013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3096079$94CAA8C0-93F6-47ED-860C-3F34426DCAFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a4715acacbe45f9c5be307b9069a8ceddb5bce2","datavalue":{"value":"W1541395187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$BAE5F1DE-169F-4D94-A6BC-DB764E261B40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$D835E9EC-23C7-4257-8005-96C4E31860B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a05da2b41e1e3d2c52dce6b9e5bc0b2be24d11","datavalue":{"value":{"entity-type":"item","numeric-id":4323837,"id":"Q4323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$03D64B77-284F-47E5-AE1F-A27E8F7D2747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949e5c7ffbdba5e25fd820ecf62865c874fb9f7","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$A9634CE3-5923-4584-B47A-F3AA9D6B2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e31f92803611685314b5626a5e522eab7206497","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$327A9833-DEF6-49BD-AA8D-0990FE54470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6310d04309fee2d820cfca903d44c6a729cd9bea","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$ACEAC8D1-C79F-4CB3-9038-2D57A22DEAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$C687169A-34A7-4D8E-B7B2-587FEA22BD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$1E1FD137-AECF-40D2-BCDE-B4AD43CE01DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$E79D7F04-5788-44B2-A57E-BFC6628301E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$A7129B9D-E808-48D6-AC51-E9839C93588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096079$CB826905-F3E3-4B52-A626-C4581F4E173F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2f0b37f358bc6e5d8f93ec1e93b0d08145348f8","datavalue":{"value":"10.1002/MALQ.201010013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096079$33B21C8D-8A27-47BD-9724-36AC576B0320","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabe937a4f26f9a7fbd9c30a7e00c6dea97d4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3172123,"id":"Q3172123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b23c0a77d18745b1f46d78d613f3d3151a0a77","datavalue":{"value":{"amount":"+0.8178876042366028","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":"Q3096079$41CF7446-2013-46D4-947E-E26F376E2DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a9d41e496ac807447307ac401854d076ed6956","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489f1fdb2dc3a5b51e5a99af77ba1a7f0c0b1fac","datavalue":{"value":{"amount":"+0.7798717021942139","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":"Q3096079$1B8061F9-F90C-4077-9483-86282690A98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b21d37809dcc9bae91f5e08cf5d8ac8b5937844","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f59df3e4964030830722bca85b4c984a9c74bf4","datavalue":{"value":{"amount":"+0.7701160907745361","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":"Q3096079$18BCF025-FE58-4AFE-8647-50E65AAEA83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ce76bcb606d6287bc7a3e94cc170377dd39408","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc0b8dbfbadeb930fc8a4a6ed413d932265bd67","datavalue":{"value":{"amount":"+0.767934262752533","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":"Q3096079$A9723626-CB0A-4BFD-8A04-ED426168B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c1e2c103bfbfd386a2ee2e3338bfb71bb70b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3775554,"id":"Q3775554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957ce5ff3da86f80f5a5dc0ce8d8813ab355a7a1","datavalue":{"value":{"amount":"+0.7666437029838562","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":"Q3096079$438FB145-B862-476C-8A10-FA2D017E6E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3096079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3096079"}}}}}