{"entities":{"Q6658147":{"pageid":14269304,"ns":120,"title":"Item:Q6658147","lastrevid":42410596,"modified":"2025-06-15T13:10:43Z","type":"item","id":"Q6658147","labels":{"en":{"language":"en","value":"The logical strength of minimal bad arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7962881"}},"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":"Q6658147$E1A5EF30-79FA-4582-99D1-1F4F8FAB6386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d7b136632f54cbad69db614ea068d58a6a71be5","datavalue":{"value":{"text":"The logical strength of minimal bad arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6658147$BD52BF47-179C-44BB-AA08-39E0B218CD88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$BB2721E8-D324-4E80-8F4A-728931088BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$149B9BD2-AA3F-4961-A9D6-CBE0800E6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bda3ce7aa89447a73f945121d857cba12b74d42","datavalue":{"value":{"entity-type":"item","numeric-id":2104275,"id":"Q2104275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$EE0A3B42-1CBF-4141-8CEB-819077F88CC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$254A90F3-8B8E-4DEC-84EC-75FB1F7EAD14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65c8722c590dccb353ff76e73c66851fe39e232b","datavalue":{"value":{"time":"+2025-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6658147$827414DB-AA99-40F2-9DDB-B33996190EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658147$58CBBC3A-0C10-4CFE-81CD-F0A1E5E20F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658147$0320467D-9E36-4A9B-ABBC-BD5E0C771B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658147$7E6C06EB-D419-4BC4-B175-4454206AB34B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4b9f9526a3648467d9b646407fa5c85722e2e61","datavalue":{"value":"7962881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658147$658F5645-8E7D-436A-8AC2-B920490E813C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0769398179739656e63d773e07d9a623cc45c9c","datavalue":{"value":"better-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658147$413BD05B-6D45-4886-8695-83A132C0D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba6c2b87b391138a9dc930ecfb8d521fb8ff7b8","datavalue":{"value":"minimal bad array","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658147$A058C3CD-E0F9-44C5-B2F8-AA60F8069085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a079a99a25f1220078e38b9d632dfa70e0228f4","datavalue":{"value":"\\(\\Pi^1_2\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658147$0745DD75-F2B5-4E50-8CC5-E0FFE32F1917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658147$32DFDFF3-22B9-4BDA-BA0D-9CC4818599B7","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":"Q6658147$C040A137-372F-4765-B860-90CE070EF5D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3161a51f6044103cbe54cccdaaa7cb63c8a0f16b","datavalue":{"value":{"entity-type":"item","numeric-id":5311748,"id":"Q5311748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$44E9DE17-D281-4142-AC0E-F28766059AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225116f3b98655e4cbb084142670e8088acd17fd","datavalue":{"value":{"entity-type":"item","numeric-id":1076017,"id":"Q1076017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$F10EA34B-E4BA-4A47-AA64-43E048206108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$71430758-960C-490A-BC07-00AAE21D0381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$1B5A9763-3F79-4BFB-9E1E-0E06CE17A8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$B479FFDB-DE32-4551-BC91-47EC64592730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b82814ab5f06cad36771ed34c10c45fd26928fd","datavalue":{"value":{"entity-type":"item","numeric-id":3890740,"id":"Q3890740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$BD62F17F-FF3E-478E-91D5-14193CBBB989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be6574fc26b52a2311c45550696cb208d4db69f","datavalue":{"value":{"entity-type":"item","numeric-id":4316958,"id":"Q4316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$52AF224B-990C-4A78-8B00-C21EC0A0D7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dffc55f1a93c6cf3f7f56c1bd747358a0b606f","datavalue":{"value":{"entity-type":"item","numeric-id":3837736,"id":"Q3837736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$F0F3A2FD-0CF1-4660-9611-DE8F8DA3AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b24c3a6f99b04de23116c5fcf90b39e73a79f","datavalue":{"value":{"entity-type":"item","numeric-id":5711893,"id":"Q5711893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$F19E91D1-20A2-49B7-9E57-3CCB99DA0F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b147d222d5f41d2ccc0ce1556aedd90c6212b","datavalue":{"value":{"entity-type":"item","numeric-id":5472644,"id":"Q5472644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$6A754D55-295B-4B19-B6B8-107537663FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41125a252fb0a70c6c55f7ee4dce642415efbf07","datavalue":{"value":{"entity-type":"item","numeric-id":5520569,"id":"Q5520569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$7E101BE1-204E-493F-8D5F-42AA60E56F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0364f4776d4113b99ecb52ec67904d1217683c9","datavalue":{"value":{"entity-type":"item","numeric-id":5537629,"id":"Q5537629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$168DDBD7-28A9-4EB6-BF51-1FE133689D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946fe75cba65a37e6fd13330d9fb45514ceef908","datavalue":{"value":{"entity-type":"item","numeric-id":4881857,"id":"Q4881857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$23F06386-EB3B-46DB-968A-4F5070A3ADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d386d53a87bc23f25814956095d35bea72ff30","datavalue":{"value":{"entity-type":"item","numeric-id":5829880,"id":"Q5829880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$E0AE96AF-E77E-4344-9FA2-EBA87B3AC775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b188fe521513cafa07214dcf777ae791368c5e8e","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$62B7330C-A92F-408F-AD55-2CC7FCCE99FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$5080E946-2A81-4201-8744-5F5F8C69F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e507577b872166192dd1cdeb1349ab94c8de2ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1171568,"id":"Q1171568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$8EE51121-864B-4DE6-AE93-164784A4D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c493b95715c2e4dbb5a8c0041dd93593f1ae736a","datavalue":{"value":{"entity-type":"item","numeric-id":3801541,"id":"Q3801541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$8D7652EA-5CDD-468F-8D35-353D954DCEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$1C3C3BA0-6127-431C-A8B6-9BCF6DE86A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658147$955FFFC4-5FA9-45F2-A384-81EFCD36F6DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b12d2a2577f8e69ff572be7660e7a6378ac08b07","datavalue":{"value":"10.1090/PROC/17038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658147$5D66AD22-5669-4C8C-9CD4-2AA5525795B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6658147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6658147"}}}}}