{"entities":{"Q3981457":{"pageid":6011331,"ns":120,"title":"Item:Q3981457","lastrevid":46243159,"modified":"2025-12-24T09:32:57Z","type":"item","id":"Q3981457","labels":{"en":{"language":"en","value":"There are reasonably nice logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 21875"}},"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":"Q3981457$726A1062-033D-4A74-8B44-AFAFBE9F6F42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e41d6d974fe66cf83a88849157e1ec5381e25bf","datavalue":{"value":{"text":"There are reasonably nice logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3981457$B8B476F5-D7BF-494C-9E79-9438B0AC392E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7dc4c5b20f774bf3455717cdcd473926228e22c","datavalue":{"value":"0744.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$2D908CC7-236D-47F1-8D22-A1377C5B6D5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b595fcb4fc913150cd4ddb7db370c262a03fa292","datavalue":{"value":"10.2307/2274921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$72AA0B0D-6429-4CA5-BD24-F00BC6FA891D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$3F2DDD31-0A19-4C8C-80CA-03B2FC1781B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$193C39BD-1FF8-4185-AC18-28ECE1F40E19","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":"Q3981457$A7D8C42E-A267-41BE-AB84-BFC1C1CF9C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3981457$BB6D187C-084B-4991-B684-8A3A859F2F22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$9D77A225-C558-4B31-A071-74B4B291A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$A5B5CED5-728B-4E25-A94E-C263E251C551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"776f4f7d8e5f4dc49d6bec686e6148cff27a9283","datavalue":{"value":"21875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$62FBB656-9547-4BFF-AC3F-C12BDE039115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$11F53D2B-B20B-4A50-8042-448C56263908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d0fbad2014c6540927dd3114931c5372f302bb","datavalue":{"value":"uncountable strongly compact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$2D90E628-690A-4461-8BB9-CA1A2629C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0881dea9d318584ed3bb47eb5bfdcd2f2d1aaeb8","datavalue":{"value":"Robinson's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$0946BC73-3BB2-44EB-BBF1-6D2059833559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2335a304d042b5f0d3e3bb5d1853fc09b41e5545","datavalue":{"value":"pair preservation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$CF1ADFAB-3226-4766-B030-BC86B9C285B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be4a970e248f14e51758eac3a983168e2752ffa","datavalue":{"value":"elementary chain lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$311955BF-DACB-4D24-9618-2235756F175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6ced89d7772cb7039d156c477edf5cc1acbcb3","datavalue":{"value":"ultralimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$67E3E4CD-7C93-4DFB-BB5A-4FE8CC684450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9394383ad1e62581536a93bf1343e7d684c9400d","datavalue":{"value":"Magidor-Malitz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$44E6A2C8-34E3-43CC-879A-DE2E36C2110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f83b9a23f9d3a7b28b00abcc573d8cf2f8182af","datavalue":{"value":"weakly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$9FBC604B-1D88-487C-9E91-0BC724387D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9c42e7a75f4767984df7753eb1f240ded3bcfe","datavalue":{"value":"Lo\u015b-Tarski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981457$F78BDA82-93ED-4467-8743-9CE3FBA7110E","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":"Q3981457$476A9BD5-2A38-4F56-8590-F8BB079537F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f25cf2a0f44ea0e24529e80aea1f6e0270458eb","datavalue":{"value":"https://doi.org/10.2307/2274921","type":"string"},"datatype":"url"},"type":"statement","id":"Q3981457$14CFB99D-D225-4C70-A28F-B07B344635F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fe0884e5739b512cef472da4bf2600c29948141","datavalue":{"value":"W2136001726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981457$93755AEB-CF36-41A2-A3CC-1F42EE3EBE0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092be92e7b599902deb7b1af066f9095dbab8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1233865,"id":"Q1233865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$43EAEEC3-DDA0-4E17-86EC-1CCD317988CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5ad50eacf3932bbab475400ff52c77bdf5c8df","datavalue":{"value":{"entity-type":"item","numeric-id":1820771,"id":"Q1820771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$06429D9E-8730-4552-BD32-3653EC899AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a8e7e419634b197c754bfe8343e2564ba992e8","datavalue":{"value":{"entity-type":"item","numeric-id":1080418,"id":"Q1080418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$69CBC7BD-B8EC-41F7-9D66-B49A09F42235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d8df2be3656b2fa9928f7007b269a0d6864e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4152533,"id":"Q4152533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$7ADEC6CB-B5FD-4747-8DC6-DF189F72D75E","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":"Q3981457$9C65BD20-DCF1-4414-A38F-7D180EE298AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ef63b0bd6d5d6a89d22bdd29fe6e9d7c4e78dd","datavalue":{"value":{"entity-type":"item","numeric-id":3966110,"id":"Q3966110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981457$D1D6381D-43BA-49D5-99FE-B818E580284C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198ff9a90c8b1903f6c41dbba5534db86e314309","datavalue":{"value":{"entity-type":"item","numeric-id":2879888,"id":"Q2879888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6083bb835fe0e8be8a16b6980ba47eaa66d58dc7","datavalue":{"value":{"amount":"+0.7995609641075134","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":"Q3981457$FA4B8CF3-F964-4F6F-AC73-CC5A810E8969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9113990c792cd782d7a42bb5390ff5445e205915","datavalue":{"value":{"entity-type":"item","numeric-id":3720575,"id":"Q3720575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826a7cc0c5ddd0d5b6bb072be9f698350b5f361f","datavalue":{"value":{"amount":"+0.7840448021888733","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":"Q3981457$03D5A4C1-4BB5-4406-83BD-58BA7983EBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a433f92e2587bd2e8caa6c1ff2f546a2adbabcc","datavalue":{"value":{"entity-type":"item","numeric-id":2366456,"id":"Q2366456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cada8d6119a4570b265a1ffb62d885f4ead27e","datavalue":{"value":{"amount":"+0.7790705561637878","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":"Q3981457$1652D1C7-0DBE-4508-982C-60923E624210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc3e36ff911e13acc4b8c1902dc3dd0bd5f37","datavalue":{"value":{"entity-type":"item","numeric-id":1908819,"id":"Q1908819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291abdccc10815b6f3d254379454d104d476dce9","datavalue":{"value":{"amount":"+0.7754045724868774","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":"Q3981457$40063D9B-A106-4BC2-A549-819483A42C72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3981457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3981457"}}}}}