{"entities":{"Q286696":{"pageid":288463,"ns":120,"title":"Item:Q286696","lastrevid":60810369,"modified":"2026-04-10T19:16:34Z","type":"item","id":"Q286696","labels":{"en":{"language":"en","value":"End extensions of models of weak arithmetic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585182"}},"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":"Q286696$324747CC-48A3-4384-B92D-13C57992FC08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"247338f5622e0088137fa379830c39546f027d9c","datavalue":{"value":{"text":"End extensions of models of weak arithmetic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286696$8BEED012-700F-47B7-B4B1-408102C36223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b8a6a78af07afb0cf41424e3d72d8d1bd560a72","datavalue":{"value":"1436.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$C741B547-9E13-4DD5-92B4-E5083343E608","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d1b925122639917bb1a2025ac1fa9957ab37b0f","datavalue":{"value":"10.1215/00294527-3452693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$3A3A5670-2495-448A-9E67-676980C1266C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46066897f4146c41a0041e290f798947c61a702","datavalue":{"value":{"entity-type":"item","numeric-id":286694,"id":"Q286694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$647A4405-D4C8-4C47-8316-273BFC998985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f72db22abce2a5cc75356b24deaaf9074f53e9","datavalue":{"value":{"entity-type":"item","numeric-id":286695,"id":"Q286695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$84DB1D64-4F95-4123-A95C-A1FB1869DE98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$66940854-E2BB-49ED-98BD-2DD4C1D41F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286696$A68FA071-3D16-4B80-8683-B01832C9A11A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be2f2f8f06ce71a44fac19a38811bc089130ca0b","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1452175098","type":"string"},"datatype":"url"},"type":"statement","id":"Q286696$D4C1B231-5817-4B5D-B957-EBA01EE583D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$29542A5F-A7B9-44F8-81C3-5B5D6969548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$0EEEEF8B-8C3B-4696-B048-E55A7CB11615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$E31CE22F-2E0E-40CF-85FF-3AD0860809E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"172699f9f3013899bc91fcd06352f011f4569fe2","datavalue":{"value":"6585182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$6D49B9AC-6907-443F-A343-BE9C0E3867D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230ba46644a0069ac842b6c3a7eac63ee54b8e23","datavalue":{"value":"arithmetized completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q286696$98958A7F-075E-44AC-B085-566AF0FDB38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286696$50C6CB30-F0EE-4AFB-B319-2EE6E3748AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q286696$F577FE53-1D2D-4A1E-AC7D-E0356F687B94","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":"Q286696$5926D0BD-B6E6-4585-9B6B-51C0CCDDA8AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81818c244ee5491e05659fd1b63b1c29f70f3a8b","datavalue":{"value":"W2273720538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286696$18D0267D-7654-4EF2-A458-166F5AB9139F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d0ae25406caa1153b5da55e008c1d60a51f210","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$9F2DF65E-C088-4DD5-97C2-21F464C714A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94868801ea78d09cd7915bc74691ee00db83d458","datavalue":{"value":{"entity-type":"item","numeric-id":4032645,"id":"Q4032645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$1329DF18-3016-498C-8ACF-C13C62F9A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$9B5AD6C7-B25A-4642-AB09-02F66D391FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6ce76138a6489dc1975d6e14e12c082d6e9252","datavalue":{"value":{"entity-type":"item","numeric-id":3984444,"id":"Q3984444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$A5E22B5F-5ABF-4528-A054-9A1A65FAF966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75aeee389001c3f5362afe37f8d0e31cb3cf84","datavalue":{"value":{"entity-type":"item","numeric-id":3755453,"id":"Q3755453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$650DF683-E2EB-45CA-9716-FEF54B579E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$595B736D-7CCE-4CA2-8552-C48F1145EA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286696$E7924B3E-33B4-4F54-9C3A-48D7E68439BD","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":"Q286696$F67EB0C7-FE8B-4C70-ADE8-47E7F3193013","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":"Q286696$E6C59537-035F-49DA-93DD-D3BD32A1D96F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"End extensions of models of weak arithmetic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/End_extensions_of_models_of_weak_arithmetic_theories"}}}}}