{"entities":{"Q3976993":{"pageid":6006888,"ns":120,"title":"Item:Q3976993","lastrevid":47044966,"modified":"2025-12-31T12:09:38Z","type":"item","id":"Q3976993","labels":{"en":{"language":"en","value":"On the strength of PA with a non-principal ultrafilter quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14510"}},"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":"Q3976993$95E564C4-8578-410A-8294-B6AC8A2F2B7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b9175a6bcfeb06e9d290cdbb77297de612c88a","datavalue":{"value":{"text":"On the strength of PA with a non-principal ultrafilter quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3976993$30369DEB-4BA4-4740-A08D-1BD971420CFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"967faba368831e97bede9ec993ffd30d12f3bc8b","datavalue":{"value":"0745.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$DC9A27DA-38C4-4AF6-8B04-59FFD74277C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678f9d8722da2c449efa0fd10df3f6f4cb5bcc23","datavalue":{"value":{"entity-type":"item","numeric-id":1208112,"id":"Q1208112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976993$B8CCD754-35D8-4BF6-8275-CA28F78C9E9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976993$2A6736FB-227E-47A9-BBB5-A89560349707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q3976993$912EF5F0-49C7-4621-ACEF-46B9C0C4530A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$C26C7D12-DC43-4C50-B91E-5235DEE24580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$324A0DAE-C5F6-4997-869E-33897E86C031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0a01e47dc49c9c690ea19f2fe8225ee97ce666f","datavalue":{"value":"14510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$E3B5CF34-2C6C-4359-9C3B-232C4486C7DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26187628399ee7f27c8e34893fd3ab3949b4e028","datavalue":{"value":"non-principal ultrafilter quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976993$B63572CD-8031-4335-9CD3-05666C52C4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976993$FBFC0567-F05A-4DFA-B41C-9643C6132FE6","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":"Q3976993$2A4EF47F-573D-40AE-9F3C-6726B073373D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4495780499d1bdbaf7ec104efba3857c8704e89","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.8.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3976993$F2EC82F7-0066-4818-824F-7320E01B18D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d30aab8614a67fd5f8a9c4cb0182ffec7a91353","datavalue":{"value":"W2087903911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$7D298837-7BFC-4E24-8829-1B38516C35FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bc9a94ba739cec2c9cdc25504967b955a2ad18d","datavalue":{"value":"10.4288/JAFPOS1956.8.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976993$9F7E3AAC-7073-4EFA-95D4-289C74999B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c318218f9656536c8053c984cb2aee72deb75","datavalue":{"value":{"entity-type":"item","numeric-id":2878778,"id":"Q2878778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a79d7128cc33dacfef0346c7e5d0b2d12a6bb6e","datavalue":{"value":{"amount":"+0.7513402700424194","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":"Q3976993$C68702BC-0B58-4323-B91C-993D9780F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca27521c762d67f2e07cd6631a9df81801b06ad","datavalue":{"value":{"entity-type":"item","numeric-id":5295635,"id":"Q5295635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d792ebcb89ba1d80535c2ec98b9acd526131d1","datavalue":{"value":{"amount":"+0.7475965023040771","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":"Q3976993$B66375D1-56F2-4CCE-BA52-79D41113E6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971b942a766aee6834ec8a3109bc12c219af4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":4939397,"id":"Q4939397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8888311a323193be65a5a007fbb42ec1a21665fe","datavalue":{"value":{"amount":"+0.7351635694503784","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":"Q3976993$DAB58290-6D09-4DB2-9527-D329931B04E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857fbb1a62c9ca48e4c3976d2f95cc661dc9b793","datavalue":{"value":{"entity-type":"item","numeric-id":3762318,"id":"Q3762318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5dd86f1e8fc43ed56c5e3c5b230806b67bdc33","datavalue":{"value":{"amount":"+0.7321298718452454","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":"Q3976993$F5B2F2E6-478B-4CC0-A782-9CD60B0B0917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673cd44da59237ffbe9d8d924e3e00c2524b189c","datavalue":{"value":{"entity-type":"item","numeric-id":5379655,"id":"Q5379655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe97eab6eca56783f08c81b8a3f1f095f62a9340","datavalue":{"value":{"amount":"+0.7175084948539734","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":"Q3976993$0D4A8256-3EB3-4EEA-B8B4-65DE3E3C6C2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976993"}}}}}