{"entities":{"Q3669417":{"pageid":5699323,"ns":120,"title":"Item:Q3669417","lastrevid":49942867,"modified":"2026-01-12T05:19:19Z","type":"item","id":"Q3669417","labels":{"en":{"language":"en","value":"On the complexity of models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821736"}},"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":"Q3669417$3ED2EC40-2536-460C-A897-3E96B6F45169","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89cf895a9c1477f5d274f34ccd7f3f1693c96c40","datavalue":{"value":{"text":"On the complexity of models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3669417$9DE35888-5CD3-414B-98BB-6E69251A491E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b1a205dfb1a2ddac725fd78a34812fae752315","datavalue":{"value":"0519.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669417$761EEAE3-A8DD-40DB-8D36-F3E149CFC348","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"590fd4c2d2c3649679ef743ac01c04ab02cb52a5","datavalue":{"value":"10.2307/2273150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669417$7D77C6CF-6413-4D26-95AB-FEF875C43E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"637eb5bb74c9ad57cc9d39e5cb25b44dca57cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":581399,"id":"Q581399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$B90BA959-AC63-47B2-95C4-D4A4FD502F23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$78775130-A758-4B69-A7CC-1309F8B1FF64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3669417$9BF90F2F-E348-49E4-BC54-B1EC1876D727","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669417$14CC5F66-9A1D-4614-997C-D469D301A2E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efc73b5df5b23b296d99872862d96c0bd9bd8eaf","datavalue":{"value":"3821736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669417$ED8826BA-46C9-4023-8272-A84D07D7C058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40594387276e7e93e8b64df3c8fa488102806547","datavalue":{"value":"first-order Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669417$6039A1AE-4166-4BFD-B9B9-436FBD79847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf2ecae90244105a0a74a151f1f8609c6f4e275","datavalue":{"value":"recursively enumerable extension of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669417$586642FD-8990-441B-B179-D164B666D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002d1492e7a86c4a2239a4de6d010ee6cd1f5cdd","datavalue":{"value":"initial segments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669417$FF7643BF-2B53-4709-B40B-58C8394C1C36","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":"Q3669417$2EE93646-3EC3-4E9D-9C47-518BC06EA3F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91f7316a3da28a2cf4ae91ab4dc585b799f8a134","datavalue":{"value":"https://doi.org/10.2307/2273150","type":"string"},"datatype":"url"},"type":"statement","id":"Q3669417$AAD65A2D-C36B-4839-8178-A687D1FD09D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20baa762677617157f9a0a8cc6949c063c7373ca","datavalue":{"value":"W2099293911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669417$439F2BC1-133C-4548-87FD-C3CE1EDACDE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$5935F0AF-37D6-4523-8CC7-3EA618C022C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$2DFE31A1-8935-45A8-A281-49EEBE4CAA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de1ef1b33ef9f01782b10786f39c5d29c529033","datavalue":{"value":{"entity-type":"item","numeric-id":1222647,"id":"Q1222647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$E804CAC5-1C4C-4562-AD88-3867D499CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d14bf0199b2642fbefb540809bbf36e18447f27","datavalue":{"value":{"entity-type":"item","numeric-id":2560128,"id":"Q2560128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$2077C558-BCD3-4260-9114-949D56A7A705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddb9015bc1ed4873e7737a553adf1eccd63f8b5","datavalue":{"value":{"entity-type":"item","numeric-id":3861306,"id":"Q3861306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$E5BDA85D-92D9-40F0-AB98-537D9355E5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ff44c78354bc3c3dc8c993b0a7c8cd983f897a","datavalue":{"value":{"entity-type":"item","numeric-id":5767299,"id":"Q5767299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669417$A45DDAE0-4133-4BEE-958D-4E636AB95357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3669417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3669417"}}}}}