{"entities":{"Q5055894":{"pageid":7085471,"ns":120,"title":"Item:Q5055894","lastrevid":47786125,"modified":"2026-01-02T16:51:37Z","type":"item","id":"Q5055894","labels":{"en":{"language":"en","value":"Implementation of a UU-algorithm for primitive recursive tree functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631334"}},"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":"Q5055894$D47590D2-D6B2-46C5-8FEB-C26A8946BFD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a7ae59bca90e82b95101f6f48de8975fa2ef8e","datavalue":{"value":{"text":"Implementation of a UU-algorithm for primitive recursive tree functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055894$065BD7A2-5B42-444B-AE9B-139F4FE753FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7fb89e8b6e8acda45eb8cf30cb37c77d404e46e","datavalue":{"value":"10.1007/3-540-60249-6_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055894$62F6F031-676F-43E5-94A2-2647BFF921CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dfe900e6a54d5aa64479760075e0641b6ce9ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1194206,"id":"Q1194206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$F82BC00F-1E43-452C-A1C6-A42E1A5FC80E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$5EE6230A-90A0-4F4A-91AA-A2FC625E6C4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055894$EECC53E3-C749-45EF-8913-D96F9F70DC97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055894$874D8150-FDD7-48B6-BF80-BF9F28B3FA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055894$152625CD-4473-40DE-916A-00D5585710FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fb83edd44ca61fa3c073b5f829745bac1405057","datavalue":{"value":"7631334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055894$8DF49762-0F57-47D2-8BCB-E84F0CAB4C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab0b1d51c0ad672aa6b905eba2f6cd83de5ebd0","datavalue":{"value":"universal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055894$A6314F47-220C-4CC8-8C9E-6256545C6436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055894$7EF05493-113D-4615-B96E-21C52797CC7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$698FD1CF-5BD8-41EF-8241-2E89E6D233A6","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":"Q5055894$DF69B96A-9277-4CC3-BC1E-02BDF17ED99D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8c563c9b9f32f98613faac6cb62c953afc0b0a1","datavalue":{"value":"https://doi.org/10.1007/3-540-60249-6_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055894$0085996C-FE8B-4DD2-84E3-902C883365B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9fa072455b65707178eb1c9311fef57aeaaff10","datavalue":{"value":"W2129214905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055894$4EA0E698-76DE-4D58-A6EA-5883064F8C26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b25083c9eb5fda15c72e5f4d7ea7bac8c0309","datavalue":{"value":{"entity-type":"item","numeric-id":3789062,"id":"Q3789062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$DFBC2443-B07A-4493-AB03-38835B79F001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecab7f463bf076a9d7c49913a50d25f8d97973f8","datavalue":{"value":{"entity-type":"item","numeric-id":807012,"id":"Q807012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$ECA603ED-C0CD-42DD-8CFB-F9520D23276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b9a38692d527b91a4fba55796137bccf2ebd1c","datavalue":{"value":{"entity-type":"item","numeric-id":4311194,"id":"Q4311194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$AA647047-F6B1-4211-8F5D-7BBDB9CF6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$5D5F9B54-D177-4CC1-98AB-4A823F384888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$4F02CC6B-C86E-41F8-8256-C005A028EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$D45B6F72-1C9A-444B-9D23-80EB92ECB3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41900839a0c3b2b417be2604da24b7f1f47cb5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3992229,"id":"Q3992229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$3927900C-5C1A-4473-8C37-541F87C7A860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055894$C994DA6E-5279-4D9B-81E0-8DE27A406420","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0086082e5504e9bd0c069b318ba0d5d1f5cb2458","datavalue":{"value":{"entity-type":"item","numeric-id":4284243,"id":"Q4284243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c676a59d54c3b3f8a73a3f29f10a0fd991f635a2","datavalue":{"value":{"amount":"+0.8355880379676819","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":"Q5055894$0E659BAC-2829-40C1-B58D-537B78DB5380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fbed6d0b7d509ab5670bed234fd2d6f33baecc","datavalue":{"value":{"entity-type":"item","numeric-id":4259952,"id":"Q4259952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca19ed9499106fc9bf3d62bda40df9bead512fb7","datavalue":{"value":{"amount":"+0.7884349822998047","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":"Q5055894$BC8E0401-84EC-43E2-AFFD-6E72BACC316A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b41343220dd879be7c3338b54cbbbe4c25d880","datavalue":{"value":{"amount":"+0.7614421844482422","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":"Q5055894$E7890B3A-5E55-4D75-BD08-89096A5A030C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83f29f9a483abe64a14683160d645afde46e40f","datavalue":{"value":{"entity-type":"item","numeric-id":4311194,"id":"Q4311194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988c9f76f575ce9aae275eb6957e58d3a44e060b","datavalue":{"value":{"amount":"+0.7573961615562439","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":"Q5055894$57AC914E-C95C-4493-ADE1-49BF9B38D524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ebe046153d602edbcd525f0f697729c1eb75a9","datavalue":{"value":{"entity-type":"item","numeric-id":3991208,"id":"Q3991208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6bf28cd269cb49b2c9c88ca00c4267497cb84f","datavalue":{"value":{"amount":"+0.7567121386528015","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":"Q5055894$987C0E85-46EB-438A-8C5C-ECDAC50C8B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055894"}}}}}