{"entities":{"Q1904403":{"pageid":1915145,"ns":120,"title":"Item:Q1904403","lastrevid":74254431,"modified":"2026-04-14T19:12:27Z","type":"item","id":"Q1904403","labels":{"en":{"language":"en","value":"A Ramsey theorem in Boyer-Moore logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828196"}},"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":"Q1904403$46DD72A1-0015-42F5-B503-C2D7E3988140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00c8b4903cf05e94cc613c118ab2806fb6e0dbb2","datavalue":{"value":{"text":"A Ramsey theorem in Boyer-Moore logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904403$31572EAE-0E65-4359-9315-BC5578150A41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"881bf650a972f61400f9bda4b0c5f009161101ef","datavalue":{"value":"0836.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$39345351-A550-4153-8A1C-F791EA7A789D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a16de69154c957ca2b8ba7b66ecf229b80e03cab","datavalue":{"value":"10.1007/BF00881917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$C38B2CC4-8B01-4298-ABBA-D0D1E3E5140D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dfb6f44f92015b009380f4101146dae8d33fba","datavalue":{"value":{"entity-type":"item","numeric-id":438808,"id":"Q438808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$EFFFB7E7-CA96-47C8-B8D7-E42E811AFC05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$59B34EAD-05A5-4420-B40F-3608F8D965F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6a4059c7dcb0f47b5fff19f8c6a086d332c3ac5","datavalue":{"value":{"time":"+1995-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904403$79316C4D-BE51-4F18-A65B-D9BBAA17418F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$71BA9996-864B-44CB-A2F8-598F28D5B260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$691FFCF2-A79C-4D3E-9015-C44EC726B388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$A10E2211-B91F-499C-AFDD-FC4CC4B32155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1485416bdb62bb8606a2b1de5cebdfbaf527540","datavalue":{"value":"828196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904403$45EFEC80-E97D-40AE-B30D-2B74A8B2744C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9b69c81ac27f61c76787df9413bf0462ef508c","datavalue":{"value":"Boyer-Moore prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904403$1B751F60-F210-47D2-9136-393E8CAC1AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c7f98878a51101fd45503b5e7d8f9194341341","datavalue":{"value":"ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904403$DAF1F349-6A51-4DAD-97FC-BFF7D8D5B160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904403$9A390C4A-C183-4E2E-A1D2-C9C4C6C183A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4414e92bde063b5135a0cdde3a152e26ac08e511","datavalue":{"value":"Nqthm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904403$41DD259A-EA74-4030-9104-37821DAB17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea39d9fa991fc6d8fed0eab73710d9493af60b1d","datavalue":{"value":"Paris-Harrington version of Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904403$74F43205-F0EA-4F52-97BA-9C140C0DDB17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$1B1D0D7B-E623-4D90-A16E-EFED0DAFB788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$9862162B-955F-43EC-BC3A-4D6AA460F6E3","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":"Q1904403$D4DE0C91-D7FD-486F-A8FC-D424E5DF45C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"804ce03be7531b05346ed40bd30dacbbe0cf6de6","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$0AD7027F-7E08-4226-9179-8513EE0087AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$C042360C-2141-493B-B064-815CED730008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$5FA8227C-51CD-465F-BEC1-287525C9077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904403$FEA12BEB-7714-44FC-98E1-79E96DDD2F3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fef0194659ec0a8fb9dce1a61b90bff6bf8e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4031465,"id":"Q4031465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d511c73b8f30d05bbd614a3dd6037d76799f37","datavalue":{"value":{"amount":"+0.8125780820846558","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":"Q1904403$096C70BD-7EC7-4049-A32C-34C82F5A757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82324124f0c43d66d25fe0208509e674492f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2789881,"id":"Q2789881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e67305be2b78b578c98f3100a2cd2f2eb5a7a2","datavalue":{"value":{"amount":"+0.7819381356239319","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":"Q1904403$9679DB4C-01C2-43C0-82CB-4F651267DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bf37f167b11522375baff47f1cef500926ac1","datavalue":{"value":{"entity-type":"item","numeric-id":3035275,"id":"Q3035275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ab0604e9607352ae2d44562dda4872e91b2e8e","datavalue":{"value":{"amount":"+0.7818345427513123","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":"Q1904403$FFA2D597-CE48-424E-BFAA-2D071BF7E02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64115a35201e30082f7c85495bb99735fb69ff49","datavalue":{"value":{"entity-type":"item","numeric-id":1353938,"id":"Q1353938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e564906cdf1731fec9c45e30e4310c243bd4bb","datavalue":{"value":{"amount":"+0.7752009630203247","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":"Q1904403$612DB29A-E99B-453E-A5CC-DF30C84C0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edf7a3370731cd9f51a6356849119e9d04b7298","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f394babb78eab7863691e4587206e8089e28d13","datavalue":{"value":{"amount":"+0.7659382224082947","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":"Q1904403$806563CE-57ED-4EBE-906F-297A45D7FC02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Ramsey theorem in Boyer-Moore logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Ramsey_theorem_in_Boyer-Moore_logic"}}}}}