{"entities":{"Q3953757":{"pageid":5983662,"ns":120,"title":"Item:Q3953757","lastrevid":55090867,"modified":"2026-02-03T14:28:22Z","type":"item","id":"Q3953757","labels":{"en":{"language":"en","value":"On the role of Ramsey quantifiers in first order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3773578"}},"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":"Q3953757$A2DACF51-F3A7-4DD5-B80B-A9CEED6CA621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b38b7369abcc0ac1d6545bfa70598f7c61a9b6e6","datavalue":{"value":{"text":"On the role of Ramsey quantifiers in first order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3953757$7F1F28DA-5C1B-4B5E-AAC7-1102093ADC23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b56cb60cc3309e43decc6f963ba44e31e78d3fe","datavalue":{"value":"0492.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$0D3D053E-9CF7-4D3A-890F-68A386458E16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a5a477d20a61579817cce5671c2b2df50f22455","datavalue":{"value":"10.2307/2273152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$FD9DF1CF-7226-43C8-AFA9-AF1BE5AFB860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$2F3E8626-35B7-43C0-95A9-D5F5C6146B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$05DB7A59-0866-4CA4-9E7E-D48C12010411","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":"Q3953757$6E776816-D6EE-444F-9BC6-D1A0A9A03967","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":"Q3953757$E179E79C-A955-4B0D-B19C-40D4B261F419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$B7121D3A-7F67-4923-87CB-F521BDBCF8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$98257179-745D-44D4-BB23-69E6D653AEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$F20CCE94-6364-49F6-9FA3-6812A42D229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$BCDC44E7-3B30-4C8A-8B32-BEB66F7B6F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$E12554FD-B9BE-4162-95B4-EEE67438E114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3158b42576bf8afa6d680ace596ed509dbf7df","datavalue":{"value":"3773578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$C9CF198E-4DF3-46BB-A255-C1F7B557CCED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$CF919D61-3B5F-430F-9BE1-02FF325C746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d52e995d481fa3a2af81039a1738d305b661b9a","datavalue":{"value":"strong model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$77DB8AEB-E1A1-46EF-9D0D-AB72E0E48175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$E2E66377-A55B-4E17-9166-56A0635CB92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$974E4601-0DCC-4A5A-B45D-9DD3DEB25D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6bb23309d78540925c2d7d0414a3afe9a63287","datavalue":{"value":"Girard hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$D5F7EBC9-A71D-459C-BC57-D88791C33AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ede5d1c8351a56bb5f7d242d1e05cf5fbdd12a","datavalue":{"value":"Grzegorczyk-Wainer hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$49D7EF97-DB46-4F88-B07F-52C16A615E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953757$A9D3CF39-09B0-4EED-B1CA-87D21876B6C3","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":"Q3953757$881979E1-CA0D-4FC3-ADC0-20018D18A64F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1445888476f19dca9001c8edb9a73fa1abf6e4e","datavalue":{"value":"https://doi.org/10.2307/2273152","type":"string"},"datatype":"url"},"type":"statement","id":"Q3953757$71E79A30-6F6E-4F3D-B5B9-E6A9B8090647","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cdae00bd0ab97832694f792fd81cd662853abed","datavalue":{"value":"W2011178105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953757$5F05E217-33EE-4C8F-AA0F-E4EA417B8E59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2003cf2c4645e7cc4c5af62b21819a39338ba5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2562079,"id":"Q2562079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$C502D70D-BD89-4287-A857-1E9960EBA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13033db2de2bcf3d25f5f29ab4635f0452a19004","datavalue":{"value":{"entity-type":"item","numeric-id":1157322,"id":"Q1157322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$2DF2A416-2DBC-4831-8E27-E60CF2CB02FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5884e5c6bce29bf8a400559b80d3e998d77dde39","datavalue":{"value":{"entity-type":"item","numeric-id":3863890,"id":"Q3863890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$A7A1E7DC-AC2F-4CF2-818A-9DB7EA8BC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53049bc2c5e709c5bdaebbb2dfcdc24aa07e420e","datavalue":{"value":{"entity-type":"item","numeric-id":4128785,"id":"Q4128785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$4BCABB3F-B7C6-402E-87F9-B73E78CD3D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7737d82565a721a9fcb7362596a6c785355cf82","datavalue":{"value":{"entity-type":"item","numeric-id":4100082,"id":"Q4100082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$9C84AE8C-AC69-4285-A68F-4DAE1E40B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953757$D1E7B24C-C38F-4830-BF5B-2DCD5EC9C6DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3953757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3953757"}}}}}