{"entities":{"Q5208871":{"pageid":7238442,"ns":120,"title":"Item:Q5208871","lastrevid":100462043,"modified":"2026-06-05T22:11:56Z","type":"item","id":"Q5208871","labels":{"en":{"language":"en","value":"Gamma-reduction in type theory of acyclic recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7155167"}},"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":"Q5208871$A004F849-4A58-4C3E-9918-6B2A5C423910","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"609d2ace3647f17afb007c5a5c319cc364e981bb","datavalue":{"value":{"text":"Gamma-Reduction in Type Theory of Acyclic Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5208871$E8E4D0C8-D076-4A1D-8814-6A6ACF01592A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c97a36c0f27a81f1e579dbaaabc431a55d6401d0","datavalue":{"value":"1446.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$83C7E2FB-99AC-46F8-827B-5CD3AD279B66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb5952afefba730c7e5c5e5bc5b7a072b048090","datavalue":{"value":"10.3233/FI-2019-1867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$65A0027B-42F4-4512-A5A8-181A1FC30271","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447bdc154e8ac449f418a40c3e7ee039f4c0d2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2763091,"id":"Q2763091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208871$D10A86F9-21FE-4C9A-965D-8E739D99B92F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208871$019998D0-51ED-4A00-B65D-8F7FF811BD90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5208871$F138520E-5EF0-499F-AB72-1F3DF0EC365B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$22872488-B05E-4BF8-A667-C9184B755506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$DD404E72-0929-4594-965B-FB4F1B00EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$355B57EB-467E-4DBE-A03D-565173FD0CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7bc675b79877c3c877415f2767c618f8c9a7a1","datavalue":{"value":"7155167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$CC743449-6E47-4948-B141-B99FDB4AE073","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$5E3339DB-B5B2-470C-8E36-A46A08B70210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd43cb797ea4d2d9c8f7d1f185fb8bb18cce2e4","datavalue":{"value":"type theory recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$55354CC0-49C7-4318-8805-723FC90140D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69055ae3f9dcc8916904b5978ea10caf9098ed41","datavalue":{"value":"acyclic recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$179417EF-DEB0-45A1-B394-0A1F16E13F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb816b0f2b9b642bb9ac961679c1da68184208e","datavalue":{"value":"reduction calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$464001C2-ABA9-49CD-A3D2-C38DF84AA89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a05f9817f9efc6403a490ff69fbb7ebeb8703","datavalue":{"value":"gamma-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$57D66D4A-5C63-4370-B5BB-094C935F5EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a7531cf251d4944b7da7fef31a513c4154654","datavalue":{"value":"canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208871$9D926A53-71E5-4390-855C-F5F02FCC1CD9","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":"Q5208871$9AA1F154-BE8F-4719-B760-3346E2BAA145","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f83c36caa045f455c7d85ca8f8b2aa65b632f907","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1867","type":"string"},"datatype":"url"},"type":"statement","id":"Q5208871$00A6765F-55D1-444A-B4C8-970A7EF0C72C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c2a6e9f471f4f694f2e90fc8a5446b668a80874","datavalue":{"value":"W2981591718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208871$6DCC8E93-DBEF-4542-9726-234E1EA25F3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3192fdf3b81168d0edbcefb4d29e7e9acdfdaa81","datavalue":{"value":{"amount":"+0.7311895489692688","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":"Q5208871$2BA21370-0EFE-445B-BB7D-974506D550DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd77540e3ac3e7bc04c3d65dee877a360dfef298","datavalue":{"value":{"amount":"+0.7172867059707642","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":"Q5208871$A181C5FE-BB24-4D2F-8B85-CB908999E577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60f97cc9a58397c4fbdf8b961fb33ad322612ba","datavalue":{"value":{"amount":"+0.712695837020874","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":"Q5208871$3654E107-CADE-4950-9138-765AF93710A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09e4ab7f3782c37133c294f9cb9902550c4336c","datavalue":{"value":{"entity-type":"item","numeric-id":5395259,"id":"Q5395259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2edbbfdde0d615d5d845eb9d67c699f238294e4","datavalue":{"value":{"amount":"+0.7066801190376282","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":"Q5208871$A7BA6D71-77F4-4AAB-8274-EA016FA49A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748a39a009aea5cb0a97016592e2487c6771304a","datavalue":{"value":{"entity-type":"item","numeric-id":4409647,"id":"Q4409647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7d2e8c377f39610919a7c1a26af09458c4730a","datavalue":{"value":{"amount":"+0.6973217129707336","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":"Q5208871$DC86E183-B106-414D-A2FE-AED8EBC43058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gamma-reduction in type theory of acyclic recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gamma-reduction_in_type_theory_of_acyclic_recursion"}}}}}