{"entities":{"Q3682483":{"pageid":5712389,"ns":120,"title":"Item:Q3682483","lastrevid":50092486,"modified":"2026-01-12T22:17:27Z","type":"item","id":"Q3682483","labels":{"en":{"language":"en","value":"On the structure of models of bounded $E\\sb 1$-induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904584"}},"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":"Q3682483$6F89C4A8-A0A3-430E-83E2-0FA314FDF8DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7c5d315116902b958d0533d17b1b3d4d3dec661","datavalue":{"value":"0567.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$6E97F856-67AF-4CEC-9224-64F8E3D12A78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682483$C4FFEBE7-0DF9-495F-9DBC-CB3DFF2C6A5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3682483$91C9FBE9-D089-4E34-B337-65649CF4037F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4df12dcaf42ff61e9bdc7a21f6c80f66da153f54","datavalue":{"value":"https://eudml.org/doc/21572","type":"string"},"datatype":"url"},"type":"statement","id":"Q3682483$CD16652A-0F49-48FE-9200-A51D9978FB31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$FCD0E561-B759-47AB-8FAB-FE410A590345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$BE98EEEE-CB46-4113-8806-760CC411E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$CE6C441A-B0D0-449F-9834-4511F04168F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9322c73e27f9dac3e90b83bbad6536ebd77aad","datavalue":{"value":"3904584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$C7B38A38-AB69-4BE8-858F-AD4FE89B336E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682483$D4EDDB0A-453C-4EF9-8BC9-A30A2C402CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682483$62B2044B-1341-43BF-9EA9-48F448A022A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682483$BFD6C829-9E7A-417C-98F9-54B4F16E0507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682483$EB2513E2-18BC-4E44-AA34-C35B168DF71E","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":"Q3682483$C6D4ACF9-69F3-44A5-80E8-0EC7B7E9F561","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bedcac22c7b0f3ca27c68f26a0e9e7286c21d9a","datavalue":{"value":"W3047751046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$C0876CF3-FECB-4690-946A-3FB7CC1654BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ef2f24808efdf4bf175d21e43d84949d84e457","datavalue":{"value":{"text":"On the structure of models of bounded $E\\sb 1$-induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3682483$3D1C89AA-5A37-45B6-A4C1-384232A570D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea1ef7e3f80b9a1439b07be163d3c4f77de3f52","datavalue":{"value":"10.21136/CPM.1984.118206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682483$30B4A83E-6FA9-44E2-8535-97C89CB0CE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f71b7ab05a1790f6f7926cb6f58466281c5d1","datavalue":{"value":{"entity-type":"item","numeric-id":3772192,"id":"Q3772192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b992df635d94b493134533b5fa3a82437d26b4d","datavalue":{"value":{"amount":"+0.8691050410270691","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":"Q3682483$C3ADC855-4B2A-44FB-B152-9B679B9B4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15982c34007d5a16ba513884672643e2c94cc26","datavalue":{"value":{"entity-type":"item","numeric-id":5295064,"id":"Q5295064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12d0966e60f21e988ff9c55c5edcd45e00bf638","datavalue":{"value":{"amount":"+0.7874118089675903","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":"Q3682483$F8FEE3AA-34A8-43AF-966F-55928A4375C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a80d172741676065dedf65024bce02053cd787","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9acc9af877bce017f5a4930cf2eeafdc5d25f6","datavalue":{"value":{"amount":"+0.7828637957572937","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":"Q3682483$038C75DA-DBFD-4500-B579-3F7A9D1D865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06738cfe19ff0aa86d14d395a91f837e8e84c0ef","datavalue":{"value":{"entity-type":"item","numeric-id":3984444,"id":"Q3984444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebf1ad8c676b9ddd781271c17a556cf63d2986f","datavalue":{"value":{"amount":"+0.7824463248252869","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":"Q3682483$08A00558-D0AF-4A75-9629-7F6DBBC569DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff969dab85b88d3645d3294330d999e220dafbc","datavalue":{"value":{"entity-type":"item","numeric-id":584258,"id":"Q584258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5b4ee2cb19e26813409e540f96f7d19b1dcdc3","datavalue":{"value":{"amount":"+0.781241238117218","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":"Q3682483$2971A4CE-A7AF-4719-A236-CB50EFD05258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3682483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3682483"}}}}}