{"entities":{"Q1353938":{"pageid":1364677,"ns":120,"title":"Item:Q1353938","lastrevid":70947378,"modified":"2026-04-13T18:25:33Z","type":"item","id":"Q1353938","labels":{"en":{"language":"en","value":"Proving Ramsey's theory by the cover set induction: A case and comparision study."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005801"}},"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":"Q1353938$DBC9398D-78A4-4851-8250-97D06F20376A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14c08404322d88f6b4af0466c18b2bf4f0d062df","datavalue":{"value":{"text":"Proving Ramsey's theory by the cover set induction: A case and comparision study.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1353938$F363C60D-9B31-446D-8FAD-82C6EA1CF14B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"932f9621e2141908e593470abd27e392a5d527e7","datavalue":{"value":"1034.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$CE11B4E4-9CEB-4F9A-AA61-4A70D8FADA88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b68d65d84c460b432b0ab82e843dd099db976a30","datavalue":{"value":"10.1007/BF01530799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$6E25970F-FA28-4D26-B5E7-8E994A73A6A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a36bb3b3b840a4add080211f46d599407760d10","datavalue":{"value":{"entity-type":"item","numeric-id":1353936,"id":"Q1353936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$9B6D68BA-5EA0-454F-9F42-84F037FB6144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$03A693DE-5B1C-4F78-AC34-8121121D1B2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$2D16F078-7CCD-4AAD-A5E1-85E5BE1F9F34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6c12cf0fa9e38f832c0f5cac78fe70e7e278753","datavalue":{"value":{"time":"+1997-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1353938$4F5B09E8-B292-4C3C-8B63-38FF976EBEBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$8BFDA7E5-46B0-4813-A8B7-DFEBBC9C81F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$B7883265-7F91-4ED2-8C9B-03611FCABE10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fe5033f8fae3e937920ce13dd70780e379c572c","datavalue":{"value":"1005801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$FB9994B6-92B4-4D96-9BD4-8B063FDE696B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353938$F186193C-A76C-445B-A4C8-7BD72E03CD16","rank":"normal"}],"P1463":[{"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":"Q1353938$FE201D86-EA05-463E-92E8-3E5553BBC244","rank":"normal"},{"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":"Q1353938$26CC0846-9449-4C56-AAD5-FCF8C3D7FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$AC4208A7-A41E-482A-BE25-AF448F0CA664","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":"Q1353938$F77382BF-DFD4-4ABE-9548-018C295DB4F0","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":"Q1353938$EEEFD0D7-E003-4A54-B2F6-C3A2737D32C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$37C32793-0119-44DB-A829-2644388476F2","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":"Q1353938$6C54A117-9EEE-4BB1-8D77-DBBAC133D1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$96C2A85E-A5E1-4904-B541-39F15B8F3720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$9B830941-DB5F-4D21-B2D2-D35C56A94DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$EB75217E-6201-4909-AAC1-A78355B7E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$B9D55C46-22EC-42BB-8F7E-576569F8E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$5E0967F5-6107-477C-8F58-084E574F42C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$CF6C0D54-6954-4385-BD54-A09FA86F2A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$A4AE891D-C265-412A-9C07-BE1D62157B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$957BA16C-0630-4EF8-A329-D8E9B05A2FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$B54E77D1-671E-42B4-94FA-83ACAE55DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$BCD4DDA5-A852-491B-B02E-AE110BD44365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37dd0d7065c9b670bbb4515aa85e156087c5fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4264706,"id":"Q4264706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353938$D39DF300-FD20-4207-A60F-3D0C91151D71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"767f48bf84e074cf533ddf290349e5485266f63d","datavalue":{"value":"https://doi.org/10.1007/bf01530799","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353938$8624817C-7B37-42FC-8285-23773218C139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9788f84a215d63ec610dcce2f43a8fbb1810bfc","datavalue":{"value":"W2038861555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353938$2DEDEF19-B752-40E0-B306-1D1F15107FFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c7b588e9e63c7de65c54b22daee5fd4cbd1d18","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02060a356e68af04f6677801ca33b72e62959b9d","datavalue":{"value":{"amount":"+0.8719112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$9176F5AA-E67C-4CFB-87D4-C34991D29E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effc6b6fc62f696e53c529324c22ad43d9fa4b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4282577,"id":"Q4282577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b586e8601b93a20f240d4a19d2865ae4de4b5a","datavalue":{"value":{"amount":"+0.86268085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$BB0431A1-992B-46DE-A50C-4D35385D0E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7fb0fc4880aba21e42585b3e4a583404e7e67f","datavalue":{"value":{"entity-type":"item","numeric-id":5148109,"id":"Q5148109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f624901f426623a9253761420178d63e12a3341","datavalue":{"value":{"amount":"+0.85928196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$82DEAAD8-9603-46CF-9187-95F27A565235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bdeef58811c1477fa276e9874c2771ac111565","datavalue":{"value":{"entity-type":"item","numeric-id":5240169,"id":"Q5240169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887aed7078222d062b15c079388a2307d8605e6a","datavalue":{"value":{"amount":"+0.8582556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$D96DFC11-6F4D-4440-95E0-E39E614798AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911abbc5b55221148c1518fe5b6deb56aa2f3d25","datavalue":{"value":{"entity-type":"item","numeric-id":1916438,"id":"Q1916438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c6a1c88d1056a0654c0131f66608785320d9c0","datavalue":{"value":{"amount":"+0.8571047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$9F2A84B7-A8FF-4970-8B81-ECB7A7256753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6fd8e06fbad6c5139dd6afa067d215e0cbb453","datavalue":{"value":{"entity-type":"item","numeric-id":5037304,"id":"Q5037304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1785af398f43d7beacddce20464f9f24b81d2c","datavalue":{"value":{"amount":"+0.85650474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$23958430-91D5-4AA8-9178-BA3AA94ACD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b8656f6181be1c517af9d561239c5cdb2d4888","datavalue":{"value":{"entity-type":"item","numeric-id":4317536,"id":"Q4317536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db90d9b6515c90707722207170d2420ee9c6db6","datavalue":{"value":{"amount":"+0.85594004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$D64DBA55-1109-4D89-A69E-784AB6A29DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b1796d9447354a7bf4ac4906469e25297d93fc","datavalue":{"value":{"entity-type":"item","numeric-id":1667206,"id":"Q1667206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88dd070d12d5db98358f88d58edfb18133e3123","datavalue":{"value":{"amount":"+0.85585797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$7C9AE023-A18E-4742-8F73-01627951A0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde3ad1cfcf4b7a0ccc73781e4b6aec33f103c4f","datavalue":{"value":{"entity-type":"item","numeric-id":897310,"id":"Q897310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990fce680cc5c2cb25260ad7c97e03c9d3e786ee","datavalue":{"value":{"amount":"+0.85367274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$37F171DB-2165-490F-8811-0AF316D5A0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1e2bb66674d4cb53ec86584ae661822e467186","datavalue":{"value":{"entity-type":"item","numeric-id":3691655,"id":"Q3691655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d4fa9d65943c52c830a1d1b1014645a11cc2db","datavalue":{"value":{"amount":"+0.85364777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1353938$4A84DC97-5E14-4D29-86C9-1030EB05E248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Ramsey's theory by the cover set induction: A case and comparision study.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_Ramsey%27s_theory_by_the_cover_set_induction:_A_case_and_comparision_study."}}}}}