{"entities":{"Q2344719":{"pageid":2355462,"ns":120,"title":"Item:Q2344719","lastrevid":52261109,"modified":"2026-01-21T07:17:49Z","type":"item","id":"Q2344719","labels":{"en":{"language":"en","value":"\\(\\mathsf{WKL}_0\\) and induction principles in model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6436111"}},"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":"Q2344719$67751BA6-DD65-43A6-AC1C-A89CEF052C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac77f88a3059deb16add587e62669b474ec68622","datavalue":{"value":{"text":"\\(\\mathsf{WKL}_0\\) and induction principles in model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2344719$FACB81DA-7F31-423D-A042-947012459DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f77380eb041e970bdf23ebba5d5cbf2b4d4c618b","datavalue":{"value":"1369.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$D172B594-244C-4A39-AFE8-B2FD6A159761","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$DA63A4A2-75AB-47C4-824E-7884A468AE0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbf952640c9564cc8f88b43811f9c73ebed585c9","datavalue":{"value":{"time":"+2015-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2344719$C898DEE3-461D-4254-8F04-1CF3BF9B0704","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$0E62D82F-2936-4C61-BD72-7AC0D7CA3E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$1192DB48-F642-4802-8BE8-BEEB562003C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$20CC6EF4-B21A-4437-94C4-50ED0C0EB296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$892CBDF4-330B-40BE-A3B1-20BC50EE153F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a2c05de56160f60b0ccc2708d28068ac0992a8","datavalue":{"value":"6436111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$533F0C3B-3C3B-4448-9BA7-8ADBF0F82BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344719$30126AF2-90FB-448A-955D-586845A0F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634db76034976903e168c775c48e1b3c338efae3","datavalue":{"value":"recursive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344719$DD7E9E3E-B26F-485A-8BE6-40721D006F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac366cc4d77a8e54a3dc1911f6cfdc1f718ad531","datavalue":{"value":"basic model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344719$0CF897C4-2E18-431E-B8AC-9E1E762942BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6801e2d57a5fc08d1aaee1e9b479bac4dbec954","datavalue":{"value":{"entity-type":"item","numeric-id":1704084,"id":"Q1704084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$B5450D38-23AE-4774-A28C-4B125789F8A4","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":"Q2344719$8924CB6B-D721-4991-86E6-A4BEFDF1A00C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"607c95fa0f5ce203cee7f9ca506ee971228b1636","datavalue":{"value":"https://doi.org/10.1016/j.apal.2015.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2344719$96FA9F72-1797-422C-B9C2-1AD0348F08AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192da4385de6797d693901fc331725c55ce2c029","datavalue":{"value":"W2081492908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$DB81235F-8526-424B-9AC9-A92D8D45856C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$1C8F6029-C500-4D71-9B6A-3F20A91BF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec17eb25858200ea9e2bdeab5979251dede449a","datavalue":{"value":{"entity-type":"item","numeric-id":2933684,"id":"Q2933684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$770AEFFA-67EE-4631-9C33-F26EF9550A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$F51F2E68-63A9-43EA-8F43-9B60D2515999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b181b8aec80c16505310a9c5759f26c6f62c636","datavalue":{"value":{"entity-type":"item","numeric-id":2367412,"id":"Q2367412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$34D239A8-088A-4ED1-8CA5-208CC8B63C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a35750ebe495fb07f5eb97a9eae3c66170233a8","datavalue":{"value":{"entity-type":"item","numeric-id":1142774,"id":"Q1142774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$C78D8D86-369C-4522-A0DE-C418C4D2EB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$BD5911CD-5C11-4F2F-BEA4-F2BC032090BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79ad29404d2fb7ea2d2e284fdccbe71dec4362","datavalue":{"value":{"entity-type":"item","numeric-id":4249356,"id":"Q4249356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$00ADD4BF-BF53-48D1-9995-C4C4C068847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0922c206ed9944fb9b338c4666a1d86f44e44952","datavalue":{"value":{"entity-type":"item","numeric-id":5366979,"id":"Q5366979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$E56C7F6C-CD8B-49B2-8DF2-D035469742DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$0338D107-2406-4CAE-8C49-0FAA41753E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fb58f929f38ba533b51745381d777bea536dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4938557,"id":"Q4938557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$DBBB04E5-0BB7-454A-828B-90C58F661C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4047fedc4dee1533aef655db6fea32fc9d6df219","datavalue":{"value":{"entity-type":"item","numeric-id":3674635,"id":"Q3674635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$E72F8767-5472-42D3-9DBE-372EFF3FB290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f9ae4425bf20d2e38c9333c5839bbaef26ef58","datavalue":{"value":{"entity-type":"item","numeric-id":3701394,"id":"Q3701394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$87FDBA18-27E5-48EC-8E47-03102E813225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1d59fe67821bcf0c5cd25ac48e4a4afc8098cb","datavalue":{"value":{"entity-type":"item","numeric-id":3617376,"id":"Q3617376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$A7FA3ACD-90D0-4D3E-935E-1316722ED691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$06E9093F-4E65-4948-B1AD-8A1FE55BEF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a93f498cb57d93a85e419effa99ecf148ececa","datavalue":{"value":{"entity-type":"item","numeric-id":3853605,"id":"Q3853605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$66BF6A37-B7E5-43A2-A7A7-321D31A672C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6ac5f0b3206710cab5fd71b1f506b560ffc61a","datavalue":{"value":{"entity-type":"item","numeric-id":1239318,"id":"Q1239318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$8576B318-679A-4350-BFCE-2C4C1E283105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b8c227f100d4a3bac37de047edcee973ce0286","datavalue":{"value":{"entity-type":"item","numeric-id":3867812,"id":"Q3867812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$ABBEA359-8C25-4040-B716-5824EA8A7755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344719$C9FA6883-273B-48A6-B402-5B272C6EDFD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82d669dfcd1866f79badd83a19c1c6ba0f30b48d","datavalue":{"value":"10.1016/J.APAL.2015.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344719$A366AFFA-F4F6-4EF7-AFFC-64BF6B586563","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094c4f1d10de340ebf339875f32a77b21de3e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":2933684,"id":"Q2933684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1bc6e71951008d3defe306cd6dcd551dbfaacc","datavalue":{"value":{"amount":"+0.8011376261711121","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":"Q2344719$31BCBAFC-CB69-4AB2-83B2-7584C681BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6eb750cef712373c1de350de8b3c31b1bd179d","datavalue":{"value":{"entity-type":"item","numeric-id":5366979,"id":"Q5366979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bd54752c4be94bc8b13cbbada2ab811ff06908","datavalue":{"value":{"amount":"+0.7913628816604614","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":"Q2344719$0A4EB24E-1C65-4956-B7AD-B8A0599EB1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a100eaa97c92d94dfd65c68b9dc089941763ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5711896,"id":"Q5711896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1130352b2cfdd39ee3dcb10aac662f4303443b65","datavalue":{"value":{"amount":"+0.7885589003562927","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":"Q2344719$C7216D07-3397-41BE-B080-DF864056EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d637307213c95663894cb9935e7de8dc5ee645ed","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09945e086236c9f0f5cd9f578d80a578220d1cf8","datavalue":{"value":{"amount":"+0.7601594924926758","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":"Q2344719$7F104D72-953D-4FA1-A9B2-633CE78AB1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44dec383c037408a505ccddde7a1baf46cd13de","datavalue":{"value":{"entity-type":"item","numeric-id":2400502,"id":"Q2400502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26df7855fe462f9c684aa3fb08d0ae8bcc84f74d","datavalue":{"value":{"amount":"+0.7568258047103882","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":"Q2344719$C4200708-C701-411E-BCD9-E895B3E2E927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2344719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2344719"}}}}}