{"entities":{"Q499082":{"pageid":500849,"ns":120,"title":"Item:Q499082","lastrevid":62333991,"modified":"2026-04-11T05:22:23Z","type":"item","id":"Q499082","labels":{"en":{"language":"en","value":"An intuitionistic version of Ramsey's theorem and its use in program termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487142"}},"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":"Q499082$D5A08403-CF5D-40E2-92F5-BA890764C654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a3a4737ab207cd61d3b6e50b32bca9c5908080","datavalue":{"value":{"text":"An intuitionistic version of Ramsey's theorem and its use in program termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q499082$CFA7804E-7555-4521-93FC-CACAC2C5EAF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2f417f2c9057ed335ea2b847e437fd0b80da54c","datavalue":{"value":"1378.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$A49331A0-6613-4810-B411-BF2D4368F848","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$7BD10E59-3F36-4B39-9D75-5913F85B9F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd82a286f91886831e771d7fa217c07b3dd41bd","datavalue":{"value":{"entity-type":"item","numeric-id":324246,"id":"Q324246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$0E750B1F-6EB7-4234-9528-41FD41D934AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$13D8F9D6-AA1F-4890-B6BA-6B13EF8BD9A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q499082$686F364F-3947-4A0C-B7C3-9D3F885B3637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$065359CA-9938-4E30-9525-3A83435CC770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$F09FFA50-0944-4139-9F4F-602D37D28532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$9DA6189D-7D43-472B-9477-B24EACA00DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$326AF945-FD59-4B20-9ABD-1093C0CA1BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$A423C1AD-92A1-487A-9F71-F5225190637C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b188e6d752e6c4f6d6c385326123e9f9ffa54533","datavalue":{"value":"6487142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$14760B76-409F-470F-AFF1-1F328DC422C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q499082$86EC237F-FB60-4B8C-AA31-BEFCF9C2C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q499082$378DA13C-84D7-4DD2-9004-D160348FA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q499082$DBD51990-65D9-4FA4-B063-5CA2BE38F608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c45b8f045df49bce533835a0bb743e635aaf5f","datavalue":{"value":"termination of while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q499082$668305D5-B520-48F4-8616-2BE767931A71","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":"Q499082$E87F3AA6-BDAC-4AE8-845C-1EFC35B0D47C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24a8c58144d95b7deba49dd1afa9820fc5937d99","datavalue":{"value":"https://doi.org/10.1016/j.apal.2015.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q499082$59C5C0A5-A621-4D64-ABD0-8B1785A64FFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"693e7b5edb00fd50437511984c46fabee6daff94","datavalue":{"value":"W1138927884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$6385CDA0-4844-4F6D-A54B-B95A2203993C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$6FA725CA-DFFF-400E-8F8E-4B6D06A63DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40edb9c89b5d712c5c96f6015314571961bea6da","datavalue":{"value":{"entity-type":"item","numeric-id":3035275,"id":"Q3035275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$29309074-ACF7-4B30-826C-224955A9111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a09ce1ae44b7a833baaa2a4e3614e222df45529","datavalue":{"value":{"entity-type":"item","numeric-id":2968410,"id":"Q2968410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$10AECE37-D3B9-40A8-B1BD-FC81CF14C1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de2a1ca71ab217419a6aa406375647763aad33f","datavalue":{"value":{"entity-type":"item","numeric-id":5170810,"id":"Q5170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$FC3B5BE1-4910-4D8E-B5F3-843E9B1689C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7b88255d19d24a9c08c861e8270ad6cb0b05ff","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$9BE9A1C7-B122-460C-8E26-268FDB5AAB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$86EEE6CF-97D6-4595-AFF4-1C79BF5553C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$164E7886-B726-40BC-9FAB-83CA647E2B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$E620D400-A678-4EC6-9C66-9BDE2F18FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be334474433779ab8f5db8673e72d16cc283b3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1355781,"id":"Q1355781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$68BAC811-459C-411B-AF23-7D2290C0D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$99DB3835-141F-4190-8C86-52B6BD936635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$E6858777-9862-4C51-B5E6-671011CAF67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512392765a4a630fc65e161be336f2b7a1fee7c9","datavalue":{"value":{"entity-type":"item","numeric-id":987936,"id":"Q987936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$2059AB98-22E3-462F-8363-D008368AE62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$0A668E4F-55C6-46CF-BBE6-69575F8B9E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$E445E9DB-FF88-4907-874D-E1C667AB8B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3da221ef639195800fa999b5da3717f501950b","datavalue":{"value":{"entity-type":"item","numeric-id":5638282,"id":"Q5638282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$D493F62C-E770-4C71-BF65-016C81A31DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642b78d10012445a0642d4c6650ca4ad0e170076","datavalue":{"value":{"entity-type":"item","numeric-id":5740680,"id":"Q5740680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$225133D3-D70D-4E86-9956-B4B5ADC02B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$F491028B-9B7E-438C-93E3-B15329978F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f88db4db4ff3067bd759c8807bea327b3eccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1094421,"id":"Q1094421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$03775631-810B-45F1-92CF-D3D320878DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$2D61E1AD-E357-4DA1-A4DC-E7A76CD8D4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e63953bb751c560e44882c14c2582ddf6a30c","datavalue":{"value":{"entity-type":"item","numeric-id":5277982,"id":"Q5277982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$D91DE838-CDD0-4C4E-BC7D-CF3A1CC344BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac1ee249c73c16d45e6922836fb575790a28b14","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$6877D209-6008-4AE7-B763-F5BB48016613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b16e98f2ed75b6b2c580aaaf672acd628aa682d","datavalue":{"value":{"entity-type":"item","numeric-id":2914747,"id":"Q2914747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499082$27E10F5B-0552-478B-ACC0-8BE0D8C35B26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1aad3bd0f15f9d8d41e30fd6c9ae879cfbafe9c","datavalue":{"value":"10.1016/J.APAL.2015.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499082$D74BA14C-6271-41E6-BE7B-1BC3BD589D3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d069feff83cbf1bc24a362d89e7883ef992338c4","datavalue":{"value":{"entity-type":"item","numeric-id":5170810,"id":"Q5170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a685fe247437b2012d8863f57fd04157455db2e8","datavalue":{"value":{"amount":"+0.961942732334137","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":"Q499082$1F3E6637-BE57-43FC-B514-58ABEA406E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71a419989158c716a68ff35dd0ea8c2504cbab9","datavalue":{"value":{"entity-type":"item","numeric-id":5277982,"id":"Q5277982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71a4541c5c00de1b281fab1871ed129670d376f","datavalue":{"value":{"amount":"+0.8100423812866211","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":"Q499082$28BED56E-A065-4E6A-8697-2F53B606B53E","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":"ea591409e75fa1dec222b73e33b076d92a953b1a","datavalue":{"value":{"amount":"+0.8097563982009888","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":"Q499082$8241CB2D-C1EC-4BBF-90BE-E0164E58AD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47280d80c827abdc48a329b9a7dc594204c7bac","datavalue":{"value":{"entity-type":"item","numeric-id":5225855,"id":"Q5225855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea591409e75fa1dec222b73e33b076d92a953b1a","datavalue":{"value":{"amount":"+0.8097563982009888","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":"Q499082$E01A7CE5-8716-41BB-9E9A-D360360794C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd59e3f8af72e511a9a0b9081237c2b0aa7cc","datavalue":{"value":{"entity-type":"item","numeric-id":685402,"id":"Q685402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d94081cdc817e34e51311149be00e293f2ae0e","datavalue":{"value":{"amount":"+0.8085640072822571","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":"Q499082$9BCA4E89-DEC8-4A82-95F7-AC6A104239D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic version of Ramsey's theorem and its use in program termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_version_of_Ramsey%27s_theorem_and_its_use_in_program_termination"}}}}}