{"entities":{"Q5941254":{"pageid":8118056,"ns":120,"title":"Item:Q5941254","lastrevid":93440030,"modified":"2026-06-05T04:24:07Z","type":"item","id":"Q5941254","labels":{"en":{"language":"en","value":"On end extensions of models of subsystems of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635419"}},"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":"Q5941254$F272B9E5-0C3D-4FF4-8038-255D6B5FB846","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ff43842881ee08f3b555c54d00f04e295f7b201","datavalue":{"value":{"text":"On end extensions of models of subsystems of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941254$4A7AB2D7-2055-48C8-B366-4276B55702AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6efc12059af540ef9fe4ce3db2bcc8f430b3e32","datavalue":{"value":"0974.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941254$EE7CBD9A-A179-48B4-BE5E-80B4AD053EFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a04ff871458ce4a2a3856dd1e190b1679cfa2fda","datavalue":{"value":"10.1016/S0304-3975(00)00110-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941254$C22E8B3A-AB2D-46B0-8AEF-656BF4190B1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$6B161041-7DCF-439D-A8F7-D7333AAA5C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941254$D802267C-942A-4F60-864C-9B77671A1E65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941254$65AD4692-EF58-4239-859E-F6E30734D396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7ea4e4bcb8fcf15f8fae3ea021afb44f21f8ddd","datavalue":{"value":"1635419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941254$B794B099-9DB6-46AC-8F3B-29E840558A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e768e1c4e7d40abc90d87e0d5993944fb0553bf5","datavalue":{"value":"induction schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$7FCE4AE2-BDF5-470D-B105-8C58D4534A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60566362ae4983c4db0e9fa507e210af09af961","datavalue":{"value":"collection schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$D02A7814-8D1E-458F-998A-5233BF42DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b7467fa115698e8d10f612eddfb2e0c09a58e1","datavalue":{"value":"end extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$A271C004-FB09-4F52-B6AA-F48E89A27BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$DDA982B0-6409-43F3-A157-43981A1AD4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230ba46644a0069ac842b6c3a7eac63ee54b8e23","datavalue":{"value":"arithmetized completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$D3D19E16-5199-4C6A-B9DF-2C1A6D1EBC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941254$663F7AFE-613F-4C6E-9E34-762D142B84FD","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":"Q5941254$10CB39F2-AD5F-4500-BCA2-1D9969DD304F","rank":"normal"}],"P223":[{"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":"Q5941254$533E19E4-97A6-423C-AC17-C7C6F9837021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3300bf4fc5c21c0f484175be7a2ff67c5ff28dfa","datavalue":{"value":{"entity-type":"item","numeric-id":4248092,"id":"Q4248092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$88E8417D-E860-446F-9768-6402E77EBD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58437da776a4663816fdadee86c0012709e365","datavalue":{"value":{"entity-type":"item","numeric-id":1584015,"id":"Q1584015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$EE82AE58-6A8A-45EC-84ED-CA6E6310601E","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":"Q5941254$22FC5BF2-6704-452B-96A0-F2AE26DC1C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804dd97165c7219fdfe8746f6803c9a3d69fb2ea","datavalue":{"value":{"entity-type":"item","numeric-id":3744158,"id":"Q3744158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$EDBD30B1-230E-43DE-8B0E-CDB8D96D3C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20d97d3bbd0a4f86c9ba087fcc00907d9550d77","datavalue":{"value":{"entity-type":"item","numeric-id":5331471,"id":"Q5331471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$AC23E83D-E772-4F5D-9B19-2ED503F3E704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b96dd7ca0c4bbb78854e16e232db29c4eac847","datavalue":{"value":{"entity-type":"item","numeric-id":4168612,"id":"Q4168612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$D4820E1C-40AF-4E38-8FF3-46393889D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$9768D656-8BB9-4863-882D-B474651BE61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$4E01D65A-F221-4363-9743-CFF5C95B72A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b4c40ef77f3adb19be358e72f616f2cd3c092e1","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00110-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941254$C6B9DDD4-7E60-4D15-941D-869F4985ACA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35bbb1c305cfc560d5cbbcf53c0d77bfca57315","datavalue":{"value":"W2070926400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941254$E4F6A0D5-FC08-4415-A4E6-AE1260AAAB13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f47f9965f8e1c152437171c045920a539378f74","datavalue":{"value":{"entity-type":"item","numeric-id":3310621,"id":"Q3310621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941254$4BBB3C08-7A9E-4C14-8A12-CB43A4515E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68012ce52c0c3efadf4ed419259613d4bca00c5","datavalue":{"value":{"entity-type":"item","numeric-id":1203781,"id":"Q1203781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa15b74fb18bf76f947809774deba36426dd624","datavalue":{"value":{"amount":"+0.83793705701828","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":"Q5941254$DF41665C-E721-4E1B-9F6D-8DD1823F8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9b99ae0260f591a0bce6ec687841431e52947a","datavalue":{"value":{"entity-type":"item","numeric-id":4247804,"id":"Q4247804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4126f6dcaf5d7291b9cc428c83b2c34b282fcb","datavalue":{"value":{"amount":"+0.8332357406616211","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":"Q5941254$F473A5B3-E121-4E0C-9EEA-60F926C6D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baedc0038f5833014fb3acca70bfc1e511ba3ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2204367,"id":"Q2204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c74add28119c7990c3dadb7fa658b8503d7d9fb","datavalue":{"value":{"amount":"+0.8291375637054443","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":"Q5941254$65D3495E-A752-441F-84EA-770AED07E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2fc1f3a3067ae30ea088b69b9bae22522f4553","datavalue":{"value":{"entity-type":"item","numeric-id":1584015,"id":"Q1584015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ded475d621b7c692e36f2aa81558421c755443c","datavalue":{"value":{"amount":"+0.8214240670204163","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":"Q5941254$5044E465-BF5D-4608-B09E-709A210A428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac90f22579cea32717bc2f2cddcb99d6c9dd1407","datavalue":{"value":{"entity-type":"item","numeric-id":685067,"id":"Q685067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b64d949671fd6780b52f8638822795c13cc8b79","datavalue":{"value":{"amount":"+0.8204354047775269","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":"Q5941254$52E265BE-52EA-4F2B-A612-899F49C8D6CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On end extensions of models of subsystems of Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_end_extensions_of_models_of_subsystems_of_Peano_arithmetic"}}}}}