{"entities":{"Q5029019":{"pageid":7058596,"ns":120,"title":"Item:Q5029019","lastrevid":55947163,"modified":"2026-02-21T10:10:10Z","type":"item","id":"Q5029019","labels":{"en":{"language":"en","value":"Boolean-valued class forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7472616"}},"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":"Q5029019$EC5441EE-3395-48F3-9488-EF9C03A78771","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829680be422d9f18b3b7ed837eb59d734b9f56d6","datavalue":{"value":{"text":"Boolean-valued class forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5029019$368B8F54-4AF4-4787-A1DB-DF516B7A603B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531964976191ab516e59e42d16a4fcf8ef453d8e","datavalue":{"value":{"entity-type":"item","numeric-id":510713,"id":"Q510713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$A93E391C-72C3-4A64-B748-73471577E766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b305a5ef85fd84981f6c316a74538be082ff022","datavalue":{"value":{"entity-type":"item","numeric-id":412052,"id":"Q412052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$861B5990-B835-487A-8657-11AF91E8A3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$95DC285B-CEA8-430D-B8D4-B619E39242EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$CECC7D29-C6A5-4390-92BA-BC9003A50819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d1ee80fedd18ed506519a2ef8030c0d60d05ac5","datavalue":{"value":{"time":"+2022-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5029019$3A2C4FE4-BAA7-415B-8E76-C0CF7E7CA4DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$354C77B0-5DF6-4372-BBF8-E8203A9C5D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$140AAC5D-0BFD-40DB-9F23-645CD8BB6554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$7B16A6EE-3618-487A-B89C-B54B38C1D766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"116d2bf7edfdac6820d80584fa194f8815dd8554","datavalue":{"value":"7472616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$A38C13BC-2CB4-405D-A3C1-1941DBA63F33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$42CACC53-71DE-4E94-A94E-DC9870D01D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a8db61100debd64c8a11a999cadd0895ffac94","datavalue":{"value":"hyperclass forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$88499E95-29D9-4905-97E7-D5D67DB8CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ef3c7fc31420d7360fa2519d75549cdc0c25c8","datavalue":{"value":"Boolean completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$1BF53B9F-8836-4F0C-908C-951FFBFCBE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6d90525c37f3722556eb7f97b31fa8197fe9df","datavalue":{"value":"Kelley-Morse","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$538648C9-3B34-4C68-8391-A9146D14A77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc3f4aa5b9daf8bce9a98b9c45593d51f047874","datavalue":{"value":"second-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$B5BBE56A-09CF-4F1C-9AE7-03A6969213C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b521acff51a25e0c40d444dd00b048264fefa44","datavalue":{"value":"intermediate model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5029019$794A2124-E2CB-4CEC-89C1-7863A4BC7B22","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":"Q5029019$1C18038F-ADA8-4F95-B669-03242D081152","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79bb137b555aae764d8ce89185e23c26206de58b","datavalue":{"value":"https://doi.org/10.4064/fm20-7-2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5029019$CD9086E1-3986-479B-953F-8EA01EB9E757","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f0cf28a1f5aabdf0f0677e2a494883f15f9d57","datavalue":{"value":"W3205252421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$CF2C8A1D-44B1-48F3-8356-0EB8511F2808","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffc9110591c998b9d491a9491d567c0411543fc","datavalue":{"value":{"entity-type":"item","numeric-id":3305404,"id":"Q3305404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$ED328C21-D1C2-4756-A00F-03409F973837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830c88120e9c100a247c9a61989ab88fdee4f065","datavalue":{"value":{"entity-type":"item","numeric-id":4247805,"id":"Q4247805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$AF271065-2F7D-484A-826B-430A381755D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33b97b9a3baef4db9d0db9b383d7c3ec61ce052","datavalue":{"value":{"entity-type":"item","numeric-id":1575116,"id":"Q1575116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$5E6CA8AE-C79D-408D-A2AA-86870F0EB1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b8081a12c722c8a969a837cbc3ccf4406f595f","datavalue":{"value":{"entity-type":"item","numeric-id":5223119,"id":"Q5223119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$E9DC6C43-94AB-4D28-9517-845036451F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1636fa169df783c057aed630431e48fc3edd3399","datavalue":{"value":{"entity-type":"item","numeric-id":5351852,"id":"Q5351852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$0A898C1D-C3D5-4BE8-BB32-EAC5990E8179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522de9b458910fa3390f82ed59b3bc72b9056541","datavalue":{"value":{"entity-type":"item","numeric-id":5855740,"id":"Q5855740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$CD88FCE1-D2EC-4A5A-B701-350D39CB0D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d98436241955b6418d250465450f283fbea7e25","datavalue":{"value":{"entity-type":"item","numeric-id":1218423,"id":"Q1218423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$BACD62AF-45DA-4127-86B8-56951B1FAA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b0de39ff5d3c7ce33d52241338dc90e964cde7","datavalue":{"value":{"entity-type":"item","numeric-id":2976344,"id":"Q2976344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$5F7F0ED6-AEF3-44CB-BFAA-C91B231B2CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ca7a980f7a392d8a841bbe5d0f7117269c3ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2636530,"id":"Q2636530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$BF935355-DD1B-4A1E-BB4C-14B3A9E4C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$00D6DE6D-CCE4-4681-BCDF-E50DD3A19447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$A84DD399-4F93-4FB6-8B7C-1D76479CA46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed207326ec5f4c834fa050653882e901d0e854d","datavalue":{"value":{"entity-type":"item","numeric-id":2461186,"id":"Q2461186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$EE82C8D4-78F3-44FF-BF2E-6FA0F977599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4820991b13d103a61c4af122ba4a8716fcbf7684","datavalue":{"value":{"entity-type":"item","numeric-id":5181691,"id":"Q5181691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029019$40E2735A-BC50-4C20-B799-C5A2A923D54E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcafc5dea88e092dd49a5a7cbc45bff06b7599cd","datavalue":{"value":"10.4064/FM20-7-2021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029019$FE16DB12-160F-44A2-A5E5-98DB7BCA8FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b66ad156831614f80ef0f63f1882b2be4bc826","datavalue":{"value":{"entity-type":"item","numeric-id":2976344,"id":"Q2976344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d55ced7f61202ffee0fe5239bdfeab633dea4dc","datavalue":{"value":{"amount":"+0.83960307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$6745897D-FBDB-4867-9BC6-07E34C384854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8cc5b36cba2b7fadc6b7249cecd8aaaf26edf8","datavalue":{"value":{"entity-type":"item","numeric-id":4883943,"id":"Q4883943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4cf026d041086c2cac527048732af51ebe000d","datavalue":{"value":{"amount":"+0.8318769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$08FCDC3E-9ABC-430B-B176-DF3182C71C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57ecd7d2bf0200f2838555b86ec13e4e44997c1","datavalue":{"value":{"entity-type":"item","numeric-id":3305404,"id":"Q3305404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0014eaedd3871d12be7b729c900840019ddd735c","datavalue":{"value":{"amount":"+0.8272276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$5035A004-826F-468E-8078-A1CC3409E100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed338bf34837e02882fb09a446a10130669ea34","datavalue":{"value":{"entity-type":"item","numeric-id":1901668,"id":"Q1901668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8e2f4c2b6a85efeca7fedf040e9a1db2bac31a","datavalue":{"value":{"amount":"+0.82092786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$63130316-65EA-4D58-99FD-317184B02EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb7158841af6ad5b75e5d36391c41c9c4cba198","datavalue":{"value":{"entity-type":"item","numeric-id":5393766,"id":"Q5393766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b259453f50c36380f40abd48a29b0ecb157f901","datavalue":{"value":{"amount":"+0.8190057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$FEDA62D6-D0DA-4558-A311-4A93C9EE7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84d303d53095cb9f2421288e2dc1b10882722","datavalue":{"value":{"entity-type":"item","numeric-id":2119852,"id":"Q2119852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dacc6e6b762563e7b44e020b0df28574f969b6b","datavalue":{"value":{"amount":"+0.8180268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$88F29403-6D4F-43C0-A409-0B7DB1EB4564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a87f5a9d49ab5be09f9c83044c251249745d82","datavalue":{"value":{"entity-type":"item","numeric-id":1409080,"id":"Q1409080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be6dd77719a1f136ecdbc65f22cc068dfe18d6d","datavalue":{"value":{"amount":"+0.81461453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$096993F4-63A8-424B-AE44-920863D0AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7f8bb9c36f058aada9eef345f347a7722deb12","datavalue":{"value":{"entity-type":"item","numeric-id":4544374,"id":"Q4544374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe70ea2fd1b05d0ccfd64e952670324ea4538ce","datavalue":{"value":{"amount":"+0.8066184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$62960F56-4CAF-4D4D-B7A0-0B94CC5FA622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9aac74f3b981c79004ab8e74bd7d4c3098ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":4527191,"id":"Q4527191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e1ddffb102a6b7bcdc51325f2636e2debfe164","datavalue":{"value":{"amount":"+0.80646414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$3A0E3177-A7ED-4E99-80F1-58E78EEFE1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bf965704c194a413d5e5441d66b50f7b2f2af5","datavalue":{"value":{"entity-type":"item","numeric-id":3421470,"id":"Q3421470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aca3aa46e371e2a8d0b59b0507e55f591186c68","datavalue":{"value":{"amount":"+0.80584276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5029019$C66719FD-1C82-4B38-91C5-79A6EA15B0AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5029019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5029019"}}}}}