{"entities":{"Q5144689":{"pageid":7174260,"ns":120,"title":"Item:Q5144689","lastrevid":58448784,"modified":"2026-04-05T06:41:18Z","type":"item","id":"Q5144689","labels":{"en":{"language":"en","value":"Lean and full congruence formats for recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297890"}},"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":"Q5144689$A36437B1-BC3E-4C7F-AAFB-B5DB1EC65964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42eaa0faaffd27b1023923fc445f875c685c5bf8","datavalue":{"value":"1458.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144689$12A709A2-CA31-4E15-A22A-8148EC4847DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144689$48EDE454-C06E-4335-8401-FDDA078A5398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a36215d83210ac8a7a4b97f73419239175a1b37","datavalue":{"value":"https://arxiv.org/abs/1704.03160","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144689$46AA74AE-DB16-4A8D-909C-298940473F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2160d497b8d9eab22480e8d48e736528dd122300","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330077","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144689$867B43BC-FD21-4603-B417-57A0F4F014EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144689$C6CCD60E-B946-465C-AB35-21923F3CE7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144689$04811DED-AFB9-4DBF-A90E-C8B7B6854963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"996246b6c635fa35a72b1ce6c4dd8136981a3f4d","datavalue":{"value":"7297890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144689$21CD5997-5BE1-45D9-AD93-9F9D27CCA9CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144689$4D832B76-6AF5-4503-8FC3-FDA7BAE3E214","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":"Q5144689$D3C448E4-B348-453A-BCDF-30D7609D20A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2272b1749e9d5c430fd3a4e52faf64c57781fcc","datavalue":{"value":{"amount":"+0.7635961771011353","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":"Q5144689$35212D50-C1F9-4DEF-933B-E2F0533FF70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadca66d5e1009001903063ae09191965bce4e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5395109,"id":"Q5395109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733def86b60b193d3b796030147cde1a7648ef5c","datavalue":{"value":{"amount":"+0.7628618478775024","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":"Q5144689$2BE050A8-42BA-4E24-BB08-B021F9281BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1539b8d0dfedefd5d6d0bc4f528c4655dfd0ffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445cdf193f24cd103d928e35c6c6fcdd290721e6","datavalue":{"value":{"amount":"+0.7555626630783081","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":"Q5144689$3429B99B-837F-49E7-B3FB-E6778D268AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7caaf91d85e0ef4b1f4769eb8a5bc387eb106c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1575654,"id":"Q1575654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcddbfd6b93908c29ea4f902106b9542aac30918","datavalue":{"value":{"amount":"+0.7407994866371155","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":"Q5144689$9900F29C-DEA5-4F6F-A099-C2ACA94CDD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1718ba35b23c682b9f0af9f9203843aaa0f49a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5900559,"id":"Q5900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6f9560f89c90db4f0fa2885a4a556b2e226c13","datavalue":{"value":{"amount":"+0.7381006479263306","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":"Q5144689$73726EF9-6B1D-4BA2-8D4F-2E9B68BFD9BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144689"}}}}}