{"entities":{"Q5020361":{"pageid":7049938,"ns":120,"title":"Item:Q5020361","lastrevid":54192806,"modified":"2026-01-26T10:52:30Z","type":"item","id":"Q5020361","labels":{"en":{"language":"en","value":"Boolean negation and non-conservativity. III: The Ackermann constant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452350"}},"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":"Q5020361$14D794D3-4A8E-4A57-8141-77D3281E51F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc4352d9dcdd7a411061afd944017b445c88653","datavalue":{"value":{"text":"Boolean negation and non-conservativity III: the Ackermann constant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5020361$63065019-A8D1-49BC-ADD6-78E410EE9873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b9b4a33c9a23b0d6e17f74ab54b877d93f6b7dd","datavalue":{"value":"1494.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020361$BA0CC8D2-8273-4442-871D-5C0241A17217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41cd12ea5056899ba4b8e0dcb146bf124736e676","datavalue":{"value":{"entity-type":"item","numeric-id":300831,"id":"Q300831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020361$61671F42-5230-46B2-9515-BFA0732AF5B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020361$A4A62FE6-BCAB-44D3-B9D1-83A19C97A4E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dcc7e1e16f9d2701c65651f7e2cba769daf1f618","datavalue":{"value":{"time":"+2022-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020361$42EEDA39-A851-414E-81B0-3AEF2A7C3093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f87544998564fab0f48d445f7854bdf0a0c5ec1b","datavalue":{"value":"https://hdl.handle.net/11250/2739126","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020361$2B60947E-2D96-4473-BA82-F693917F833E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020361$C8F527CA-D018-43C9-8E94-E63575448268","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6038547a257b7608c3335fd6cc83b82a8d10370b","datavalue":{"value":"7452350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020361$B3818E42-9CAA-40FD-9573-97A3021EE362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47dac5a5c19e4dff1f2f7e3635a8f3b9fe1d94ca","datavalue":{"value":"Ackermann constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020361$29032879-E440-440D-8F0E-044915EFD2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ea97f96b13e4f9b65bc3c2549492770abae51f","datavalue":{"value":"Boolean negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020361$31E4C73A-9208-4B66-898D-8C4ED1B847B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1cfcccac5b84ce7b783fe9a8a6675355856b39","datavalue":{"value":"non-conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020361$D0E6B6A7-036D-4605-9BBB-17E011B071E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020361$E229A6C5-FE3D-4C40-A50B-D05E25991E04","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":"Q5020361$65A1CA42-F2E4-4E76-8622-15FF831398C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63738ababcccf1ed871d35837aded90bc4af2ef7","datavalue":{"value":"W3043269845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020361$A2F65258-9817-47FE-A525-012EA83AEB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06a7acd2f948bd126cd7f9ddd08eee8b498dc7bc","datavalue":{"value":"10.1093/JIGPAL/JZAA021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020361$EE6C2873-73A8-46BD-9D86-D741D61F2EA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0c6f80df2c7e64641051a3d63993c29f680fb8","datavalue":{"value":{"entity-type":"item","numeric-id":5020359,"id":"Q5020359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc14b37fa2bb34635878b6ba8d2f021db36ec30","datavalue":{"value":{"amount":"+0.8164842128753662","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":"Q5020361$BAD31D94-3D4E-4A0A-B7C7-2C6FF75E9960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e28e64f2d0971042b62dc3c5d9b1dccb9fdc88","datavalue":{"value":{"entity-type":"item","numeric-id":5020360,"id":"Q5020360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4677428d239fee2f5a5e56f714a6ff9a0b26f409","datavalue":{"value":{"amount":"+0.8023589849472046","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":"Q5020361$3CEB8057-F290-4186-992A-9393386ECD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697ad0ba4587516712819751a3169294e80c0245","datavalue":{"value":{"entity-type":"item","numeric-id":3367504,"id":"Q3367504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42bd9077a9181edab20b7b1db51811dd1fa8ce0","datavalue":{"value":{"amount":"+0.7703505158424377","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":"Q5020361$C34794DB-62B5-4E0D-A497-1E4BBEA675DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc369d36c08637e7da0edd6a2f46a28004b708c","datavalue":{"value":{"entity-type":"item","numeric-id":908897,"id":"Q908897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ef422d535d0094658ebc7e541830b438dd2245","datavalue":{"value":{"amount":"+0.7638391852378845","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":"Q5020361$DB8D7D00-7DEF-4EE2-B5EF-F5AB7A06CC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773ef69573188ec71ec45fd62605e8e75aa4f1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1092033,"id":"Q1092033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b163249e6a9d69d501b62bf8a32129f81393a4","datavalue":{"value":{"amount":"+0.7617111206054688","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":"Q5020361$433B0C11-08A5-47C9-B1A8-B57CD3E5E679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020361","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020361"}}}}}