{"entities":{"Q3191150":{"pageid":3201858,"ns":120,"title":"Item:Q3191150","lastrevid":52094570,"modified":"2026-01-20T22:30:07Z","type":"item","id":"Q3191150","labels":{"en":{"language":"en","value":"Slicing the truth. On the computable and reverse mathematics of combinatorial principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6347360"}},"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":"Q3191150$FED7D10F-9BDB-4A83-A6FD-B1101704AF86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe88b18f652f31eb3cc8a2a7a6d84ef8de58e46","datavalue":{"value":{"text":"Slicing the Truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3191150$B390087D-F274-47FF-8F49-631F3548B62F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e54000b01cfa493cee1dbd91069682fce2b25d03","datavalue":{"value":"1304.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$ACB03B80-81E6-4A94-89C0-31BFC29B7AF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"501a5cc02360c5d0c675199b6e74684f2ebf049e","datavalue":{"value":"10.1142/9208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$C229F457-31AC-4C5A-AD1B-BD503C3AB336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191150$F4A122C2-9EAC-499F-A792-38564377C498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"010b3de6e7d055c4f40b4aeb60dbf7f83693c1b4","datavalue":{"value":{"entity-type":"item","numeric-id":2802918,"id":"Q2802918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191150$17559AEC-9EBD-48DE-A196-DF684D4CCF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60e09a3d7958a10f59b9f0869ed67b1defbacb7","datavalue":{"value":{"time":"+2014-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3191150$CBF1C27E-A4BF-4D89-8FCD-3D5E4BC98702","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$632A2955-5BAD-4996-BC1E-5081D2B1BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$1E1CEDEE-0A86-4562-884B-43D5B1116566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$9B901169-0263-4C25-9FCB-1503CE1A353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$E026EA39-59DE-4924-AFAF-6FC06625F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$8CC4B002-F823-4713-987A-B0E389AB061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$3939D6A1-1B67-4988-8D34-09A44A35B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$30C4515F-EA50-4C1E-AAD5-37E50C3B1565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d8f6f6d7c7895343c4dde93428f962f49ec8df6","datavalue":{"value":"6347360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$3E5DD005-3EF5-49F9-8F7B-74FE3C039853","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004c0885519fc9d672dac6f7a08f4a1925ea562a","datavalue":{"value":"computable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$FFDEB3E2-CC51-4C15-8E20-AF56D55FA5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d9274cbab44b30312fd22862d18c60a30b38ca","datavalue":{"value":"recursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$7B872B45-7E2F-4005-8705-AFDBC9832FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$A7A577D7-1DA8-4497-9AAD-028774D7C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$A2F18B54-C92C-44FB-AA68-B83D1D6DD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd271b779b62c7cd432d9f98fc97aaf6a61067e8","datavalue":{"value":"stable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$F8ADA269-4AAE-492B-B429-C5D1F8916EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341e132c251f85cf9c2e14ebbeee36aeadcd5d45","datavalue":{"value":"cohesive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$B8DA3570-574E-494A-B27B-F71EE07D9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$2ECBA957-EDB5-49A3-8FD7-790AEA1295A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$7085E902-DB0D-461B-B9F2-0EA3FF221E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$4ED87F5A-3DA4-4F58-A77B-C648A6397F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0e004ef5d9100b30c5abebcec9ed563723a2ad","datavalue":{"value":"ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$5C33A4A2-B4A0-4FDB-852C-34250049AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b43ae0f190acb8d132b00fab08bb35283981fe","datavalue":{"value":"chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$76460536-EEA8-42F6-A881-5DCA2479E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db92bc7601eaee178ffaed0103e4107bc22c468","datavalue":{"value":"tournament","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$457C0B1D-6316-48F8-B9A5-A7EB90438677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3dc11a3d3149bae3884d645d31dfcb1acdc649","datavalue":{"value":"free set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$69DAF9DC-68AF-4EF0-8580-4DFC5FAE542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd96a40b41baa2ca51aa307f7438b7f4ffaceb9","datavalue":{"value":"thin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$80AE5652-D31A-44A4-B4B9-C8730E20CA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401ac50cc3a836f22d5e707390eaf8bc659253a8","datavalue":{"value":"generic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$063EABBF-ADC4-408C-9FCD-A7B5B018D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$394EAA75-1A4D-4AFB-92F2-6FF22F40FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308cf63ea8c077f8633f0af8aef370fde0dd7b99","datavalue":{"value":"degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$BE04466D-BD27-4A6E-906C-984F1DC76378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3191150$62E16624-CEDC-42BB-B7B3-754756843C58","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":"Q3191150$415095E2-CF0A-4C16-8B2C-DFE89FED5AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d680f0d5a1cd2925ffc439acd1dcbfddd4ac500","datavalue":{"value":"https://doi.org/10.1142/9208","type":"string"},"datatype":"url"},"type":"statement","id":"Q3191150$184265B5-493D-4542-9EAF-7E0FEAA34F9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"747311b0b1b4e5a98f4fe2c9d0c8672a340b8afe","datavalue":{"value":"W4238689220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191150$AC5B4972-97E6-4F24-A4E3-8E71D0DA216D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3562ff9692576c170312d720e6e1f8f678dd7ab1","datavalue":{"value":{"amount":"+0.809283971786499","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":"Q3191150$F75A86E2-9E03-4109-93A9-647CC21B0D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d54a2ab5ba353bac63519ce2425c7930bbd271","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e9aef83de509f60a8f934cf027fe9cfab6db50","datavalue":{"value":{"amount":"+0.7910661697387695","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":"Q3191150$BE6D62AB-9AA1-43A3-8209-6B7226B76A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e6bf5ef9287ad6174bea0bf25225e8573b6edb","datavalue":{"value":{"entity-type":"item","numeric-id":3188256,"id":"Q3188256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fb5ca683f28a4c87e962865f850786aa1d42da","datavalue":{"value":{"amount":"+0.7743293046951294","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":"Q3191150$0D86B362-2A4F-48C4-8E6B-184CF4ECEC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54dd21c06bb5169b7c849bbadd6c758ef222b14","datavalue":{"value":{"entity-type":"item","numeric-id":4249726,"id":"Q4249726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e9f7743057ee27fdb62d7ff9e1c0f6868b39b3","datavalue":{"value":{"amount":"+0.7712740302085876","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":"Q3191150$C33A049C-A249-4AC4-83EA-2DF15F7D2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e4df56d75e71496ae2fc7a585d83a906c206ca","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50075d4795e1fc3deb6af5a81d386beb18e5d696","datavalue":{"value":{"amount":"+0.7685132026672363","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":"Q3191150$682655E4-99F6-455D-8FE4-3F120B212D6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3191150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3191150"}}}}}