{"entities":{"Q4939397":{"pageid":6968979,"ns":120,"title":"Item:Q4939397","lastrevid":41904045,"modified":"2025-05-14T13:58:29Z","type":"item","id":"Q4939397","labels":{"en":{"language":"en","value":"An Effective Conservation Result for Nonstandard Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406457"}},"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":"Q4939397$9D93B56C-C392-4A90-9A63-9D2EA8F580F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf4a8224df4140fb04c2d242f8ae708c45c4bf51","datavalue":{"value":"0941.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$BA283166-1A0E-4578-B5A6-1D722606EA2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939397$38630C4B-4A77-4FE4-8A08-8F85C7289CB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939397$DE58BAD2-7D0C-46CB-BE86-945A8A845A51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$B758778A-BF55-4B17-9C2F-47C16702EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$58A23A9C-0480-4228-AE9D-7E8361F99F95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"755b63ea9f46c33571f4e18825feed15bfd54072","datavalue":{"value":"1406457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$1BDDCA2A-24A4-4567-A399-21F6FBB43364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0ae92f85a2c0624148c2c26d6bdacf11df2351","datavalue":{"value":"nonstandard arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$6E21121B-B12E-46F7-8895-583EBC516C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$3EAE74BE-3146-4E8C-B7F2-199A900D4BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f43ce049f0bd5a52193228bcbfe15d773f6399","datavalue":{"value":"bounded ultrapowers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$50286D8A-DEAF-48EB-88D3-00583E1734DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$FA5B279B-4702-428C-8F7F-97B6817584B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c681a96dcccad8e4786bf58b5a108b5b3689fc","datavalue":{"value":"transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$A655E6B1-BDAA-42E8-A045-4C5E7893A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ee602cbfc83d3d2024e37d5de54ae30ad13245","datavalue":{"value":"elementary extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$FF262993-1551-42FE-99D9-E6DAAD6E6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b7467fa115698e8d10f612eddfb2e0c09a58e1","datavalue":{"value":"end extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939397$5D025178-E39F-45B0-9B83-C42949920F0D","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":"Q4939397$A1154AA1-B279-4693-B561-33E40E609FA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53d92d96842dadd3a77881df92e277dc84f5b93f","datavalue":{"value":"W2087529988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$734EB16F-D8A3-4DA1-B0F3-B55B92CB3A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2782e09e79d7f249d4d903d5930db4e9fc929356","datavalue":{"value":{"text":"An Effective Conservation Result for Nonstandard Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939397$865CB9B8-D046-4102-94BD-CA5525A9A813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781c907f6d78accd78e5d3e6e6fe6d2bcc15ec9","datavalue":{"value":{"entity-type":"item","numeric-id":6140183,"id":"Q6140183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54f8cbfa9a5d5bf8a6f0c92708193695bf13e96","datavalue":{"value":{"amount":"+0.78730536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$47FB0346-E6C6-41A5-ADA7-9274CD3025F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d2c90dabee192063e95986e3b6f103c5e52983","datavalue":{"value":{"entity-type":"item","numeric-id":3342568,"id":"Q3342568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a51249e0cd301b7d142d3f2552877c258b4e8cd","datavalue":{"value":{"amount":"+0.7858266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$1F2C3001-3D65-4D51-9F77-FA488C37475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698757a231787e28caa14219ffc2b61cd4692545","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c6e440d0a94d3120112c90c6b5411fbda3f4a9","datavalue":{"value":{"amount":"+0.77753973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$75FFD874-DCFA-4A86-A9CC-ADE7139563E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ace5f021d85826d5000155f10f0f88eb9234db","datavalue":{"value":{"entity-type":"item","numeric-id":3705447,"id":"Q3705447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e0f3bbd101fd7769206832230e994e6dacbd71","datavalue":{"value":{"amount":"+0.772115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$87855332-15C4-4849-A4C1-EA2BF9CB6DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1c58e62a81ad62f9c7e4eb2cf0cc1ea729c455","datavalue":{"value":{"entity-type":"item","numeric-id":1377555,"id":"Q1377555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f22fff8775fe3989fe0e8c60fbab58c999b47a","datavalue":{"value":{"amount":"+0.76573384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$FDA5D150-8680-4040-822D-A774D4F9918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604a7dc0b99a5620f2051963e637281cd357890a","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c0098a07d1deeb008c3a12e4afb1b38fee30c4","datavalue":{"value":{"amount":"+0.7595785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$202548EE-C8BA-468A-9867-1679105FE634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65952d90ef89d31e2f67cabfe177224bdceb06d6","datavalue":{"value":{"entity-type":"item","numeric-id":2120976,"id":"Q2120976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66759eb9aadf2c5f3cd669dffaa745b1df8fcb0","datavalue":{"value":{"amount":"+0.7552396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$35FFEB7B-4899-46F3-85B8-C1912547BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad93ef737236c095811cdb874d4696a52c8c9fea","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb3cc2d302bfa50cf25373f56919f171443933c","datavalue":{"value":{"amount":"+0.7505826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$63234067-B778-46C8-AF23-BC7267CC3ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ec4bfbc95c10f360e603638f93c52ba45e3d49","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51eebd4ad7b0f2acea744f8dceceb77ed25ca217","datavalue":{"value":{"amount":"+0.749143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$1142AD12-D291-4413-978B-87D8C9ED7A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ef57459221f7c5a0bbdd408e9d78f644dc8b52","datavalue":{"value":{"entity-type":"item","numeric-id":487218,"id":"Q487218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9332fb7c763d6eae89b893915e50d6830848b2a5","datavalue":{"value":{"amount":"+0.7479997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939397$E75BD275-B934-4589-B7E8-884B81BBE196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc83203d600b87500fbbaa7fa80557dd3790f21","datavalue":{"value":"10.1002/(SICI)1521-3870(200001)46:1%3C17::AID-MALQ17%3E3.0.CO;2-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939397$261AC37D-D773-4640-AAAB-D08141C0303C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a2e8793db7b6edc25c1507fc27e98538742d03","datavalue":{"value":"https://doi.org/10.1002/(sici)1521-3870(200001)46:1%3C17::aid-malq17%3E3.0.co;2-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4939397$C347C35A-8184-410B-9D12-9C71294177A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939397"}}}}}