{"entities":{"Q5225855":{"pageid":7255424,"ns":120,"title":"Item:Q5225855","lastrevid":53489972,"modified":"2026-01-25T01:13:58Z","type":"item","id":"Q5225855","labels":{"en":{"language":"en","value":"An analysis of the Podelski-Rybalchenko termination theorem via bar recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086667"}},"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":"Q5225855$5C44F0FC-871A-49E4-A931-CF54F8B516D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c2f2aa4a799b232c38e94e0aa6f9318f605d5f","datavalue":{"value":{"text":"An analysis of the Podelski\u2013Rybalchenko termination theorem via bar recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5225855$0DBC77D9-1EF4-461E-B6A4-AD30777EB825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e20a6bd6bf8a74409a2f2f9cd06ca160f5524ba6","datavalue":{"value":"1444.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$12CB088C-2661-4F6B-8003-930FEE17B155","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":"Q5225855$8C15FD37-E5B2-4797-9867-E1307F4CE40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225855$B0A903A7-6017-4FC6-A6ED-EBE5B31B0C27","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":"Q5225855$C9536BB0-2096-49DF-A228-B9409AE6349B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65843a761d7cd8faa1ccfb53922c8c359453598b","datavalue":{"value":{"time":"+2019-07-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":"Q5225855$8106A1EF-74AD-482E-B634-44D505AC5C7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$B9D70B22-C39A-4B44-AF16-4659923F72F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$046B957D-7E36-4E71-94EC-87F072C913EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$E22A6531-43B9-430B-BCAD-F35EA0444B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$631A1E64-A7FB-4097-B8D5-A7CE3EEE3697","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04872f13fc882e5c2ac78c28f0f2e8e405fd0e4a","datavalue":{"value":"7086667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$7EA05FB6-720B-42E5-8621-FADB840C201E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225855$9F8FD860-826A-4E6A-89A7-827A86AB45B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f2f11948786546c9218cee446ded3bb16379c9","datavalue":{"value":"termination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225855$F0101BF6-7339-4B59-9CAA-C7EBBC090ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225855$4F83D976-2886-4CA3-B4A3-66222CF29D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225855$C9122CA8-1165-4E77-9B46-C294D75F410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225855$09192875-75E2-4A68-8248-8AFE9B306092","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":"Q5225855$35780DDE-8EE1-4045-9530-C97E2D587129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"743fc9592653ffb0840ff81aae6dd625b90be05a","datavalue":{"value":"https://doi.org/10.1093/logcom/exv058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5225855$B4A2772C-E82A-4394-B5AD-3D7402490FB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b7e21e3e2c8cf4898f09177e5295348c349d5cb","datavalue":{"value":"W2563354002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$334DA6FB-E72A-4225-AD62-7F077CAB0AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b2141cb0ca0cb33908267f6e03fa8f91c6a220","datavalue":{"value":"10.1093/LOGCOM/EXV058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225855$3391A2FF-DDA2-4F2D-AA67-3847B49BC213","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225855$7E2806E9-C072-4549-9582-62EF9A32FCE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c883b04577bafa0ea2bb53d9a736bb9ff2bec0","datavalue":{"value":{"entity-type":"item","numeric-id":324248,"id":"Q324248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09db060266734f3df866b3db7c27fca60d078089","datavalue":{"value":{"amount":"+0.8403258323669434","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":"Q5225855$D5388D0C-ECDD-4E75-BAD8-CC633785FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb49a3e5ac3e6ab800ae2258beb73457ac2c5a6","datavalue":{"value":{"amount":"+0.7635020613670349","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":"Q5225855$6099F9C9-A6DD-4E66-B1F8-E6C489B4B3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea4fd2b59b75be3ff374cccbcefc3b34af9e0f3","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec83a035763e38b2f9edf3f90c2dc4c09e04722","datavalue":{"value":{"amount":"+0.756033718585968","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":"Q5225855$9A17EFED-86B1-4D53-A79C-24D5596E0349","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":"9dfbeaa0188d371d20ccc275c81ff37911ad71c7","datavalue":{"value":{"amount":"+0.7447485327720642","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":"Q5225855$B2B8D364-FB68-4038-BE20-12778833D49A","rank":"normal"},{"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":"0a8f0e485850b49f251b39f43c0919015543edb8","datavalue":{"value":{"amount":"+0.7441656589508057","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":"Q5225855$A5203D4C-D7B8-4626-A412-48216EE1A5CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5225855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5225855"}}}}}