{"entities":{"Q6895006":{"pageid":20866564,"ns":120,"title":"Item:Q6895006","lastrevid":84188438,"modified":"2026-05-13T09:13:15Z","type":"item","id":"Q6895006","labels":{"en":{"language":"en","value":"Tail recursion modulo context: an equational approach (extended version)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8126661"}},"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":"Q6895006$413B4F12-001E-4248-904E-CE227E3C7B76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12fe97b5d1bb0187377baf1008a77b08ef2573f","datavalue":{"value":{"text":"Tail recursion modulo context: an equational approach (extended version)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6895006$8B759788-6315-4048-81D4-7EC83FEF0577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a5bbcfccc9e498f22b4932a934a5236af863b02","datavalue":{"value":"10.1017/S0956796825100117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895006$2E6959B7-5605-4A45-9CE0-C768EC94D2E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27f36de70590d4de7c5b1b245f4e3dfeb746f76d","datavalue":{"value":{"entity-type":"item","numeric-id":2892720,"id":"Q2892720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$CE37EE54-E4EC-4A9B-A502-4D90DA87258A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5450b1a5c3ce909e8f5dc9d23504050be5c4ee","datavalue":{"value":{"entity-type":"item","numeric-id":6895005,"id":"Q6895005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$895E70BC-87D7-44F7-A2BD-8E471F81F4D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$899ED1D5-77A3-4D18-AE1D-E9896C481C08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6895006$508A34D6-5CAA-416E-8D48-E533D2BFA3AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895006$93CB0113-9C4A-44D9-88E0-1B179597C20D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70964a4d6dc220fac5c85fccbf1ffe0464628120","datavalue":{"value":"8126661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895006$B2CAC75C-608F-479E-B7B2-6B899C01958A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$80058E09-719C-40E1-8FDA-586255D6EBBA","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":"Q6895006$15CA22A1-067B-4E9C-B2CC-8F1493AD2695","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$490BF6F2-5C17-4E03-807A-9A5857DC09D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$81AC951F-DA48-4427-9FD0-2ADE69BB8548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc4684ef7c0d101acaa59e50b2d0b3cee277ef9","datavalue":{"value":{"entity-type":"item","numeric-id":5348862,"id":"Q5348862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$6481555A-B57F-4084-B2F3-A553B2AC1E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$7A2A50DD-3845-43F3-AB7A-81405F89F618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f1869c19dff016cb926d6baaa8f929f7c4eddb","datavalue":{"value":{"entity-type":"item","numeric-id":4138099,"id":"Q4138099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$6B64E95C-ABB1-4224-AD81-4EC29577BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149c6701797bc70b9623feda8cb44be3225ef16c","datavalue":{"value":{"entity-type":"item","numeric-id":5746216,"id":"Q5746216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$6B42F18C-728B-4B8C-9E81-F1858E1A2CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead40ae1c8523884944082e811eaa39598a65162","datavalue":{"value":{"entity-type":"item","numeric-id":1316660,"id":"Q1316660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$3743120F-D525-4951-8186-C0B2FB3E91BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$DE7C3334-B94C-4137-8115-96E931F0A6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$845B619A-C5E5-4A53-995B-157F1A662A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681a65ada81de2ed1c1487277cf09c6c785f330","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$1AA18354-70A8-4FEC-9992-AA4A589C5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f695935d72d9608afe5679221034cf82ac91a","datavalue":{"value":{"entity-type":"item","numeric-id":4995164,"id":"Q4995164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$4E368634-7D58-46B5-9A48-B727477B9652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4946b1d4ea77937f8f8904200f77616ef576d1","datavalue":{"value":{"entity-type":"item","numeric-id":5370883,"id":"Q5370883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$CB172D27-E83A-4FE7-AF80-0151988F93DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a523b7cbb0aa1180e62f02172f23674d20d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$AEDE9251-587B-43A8-BA25-F6327F086520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$4237495A-AC3C-4FCF-85D5-BB9C8AE23F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$E4980DC0-94F4-4DF2-8D51-2FA211B758F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$09D87049-A154-48C5-B417-5302365885E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204229c443ef4f1f44e3e252b5a2309c2d45862a","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$31982FA7-B492-4B16-8BF0-3F599F16274F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$3CF7A106-0B83-42C4-A6AF-33E91B4CF141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0067755a436d0be7fc57aa438fb642bf9ffefbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2464731,"id":"Q2464731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$C6E717BC-E5C1-42F5-A023-2062C7D5CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4078080aa036353542f13f5901702ffa6736fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5348902,"id":"Q5348902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$BBFAA579-D42A-4B16-AAB6-1699DE0FC071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f4715827fe248126bedcca1c5f5358916260d0","datavalue":{"value":{"entity-type":"item","numeric-id":6993538,"id":"Q6993538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$1B76E6CB-5042-4F5B-A7FD-E2700BE03AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b94cf2f6beddfec79364bce470484328c6578f5","datavalue":{"value":{"entity-type":"item","numeric-id":4236884,"id":"Q4236884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$0DAACFFB-8DCB-4CCE-B4C9-28DA139BEE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$B7F4CD8A-22FE-46EC-9D12-749EF17ED449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce18fdb6050f22c7442e84a757c8a261022bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3867165,"id":"Q3867165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$101B39F4-68DF-4BBF-86D2-F2AD138E15B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e286d6f39d2a3d0e9f207af1139ecc6eef3efef7","datavalue":{"value":{"entity-type":"item","numeric-id":4166205,"id":"Q4166205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$56066FFB-04EA-44A2-8A72-436195B23E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895006$3119BCF6-D1F3-465C-9835-BB98CD9F36E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tail recursion modulo context: an equational approach (extended version)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tail_recursion_modulo_context:_an_equational_approach_(extended_version)"}}}}}