{"entities":{"Q3021959":{"pageid":3032675,"ns":120,"title":"Item:Q3021959","lastrevid":45274231,"modified":"2025-12-04T02:20:54Z","type":"item","id":"Q3021959","labels":{"en":{"language":"en","value":"AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177748"}},"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":"Q3021959$57884FA6-539A-4E12-BDB4-F0FCA44040CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193a89de22be99d14a740510032259c1a6ccd940","datavalue":{"value":{"text":"AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021959$1BEB00B6-070C-4C34-868E-4DC40076787B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"693cfe8202eb57bde825c4b0963bf9a640ed58a7","datavalue":{"value":"1066.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$52888B1D-8C5C-41F9-A16B-4DA738D4800E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8650c52ec26459be862bf59fb71915bbfc57945","datavalue":{"value":"10.1142/S0129054102001163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$079E3421-2924-435C-A925-85BD81E2E532","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$5FB2C213-39F3-432B-B03D-8BBB6CBE42AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69111b29da1a9ff727b31d3492d0ce1a50b7b942","datavalue":{"value":{"entity-type":"item","numeric-id":2576569,"id":"Q2576569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$0A7D5615-CE94-4A89-81D9-00411E390917","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$08600B6D-D4FC-4996-BA2F-FFF89323CEC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-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":"Q3021959$9780E4B6-7453-43BA-A971-CE222E40EE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$ADA837ED-FCAD-40E6-89D9-4CAA634A8681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$2AE87F09-0712-4364-AC24-83BBC10A8550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$D5A4A4F7-E9C5-4890-B776-EBC62BB9C92D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf199119590e95cde8ade0ef2eb67320f57317e7","datavalue":{"value":"2177748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$CB89882F-9A2E-45CE-BD53-86934EBF255C","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":"Q3021959$A857ED7C-F13D-4292-A5D7-104667FAF9DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$6E3A38D2-43F2-4FEE-AA4A-E36DA84AD164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$54F03479-B60C-4FD8-8488-F5D75B7ADF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$70288C01-70C7-4D38-B4EE-A4054132855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03daacb77e78cc082b4e44225e4d269536dd1b94","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$743DA992-322A-4C21-A42B-B4696B8189A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$1F005690-F6AF-4092-81D8-560E01DD5462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f62053c0da9e304f60e65a89efe6ab3bb050","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$4874E0E6-4D96-47A3-B75E-458A4AB06A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971ba2331f7aa9b95b29397d426f1fdd2e462a9","datavalue":{"value":{"entity-type":"item","numeric-id":5940917,"id":"Q5940917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$E4E491CE-6DDB-46F8-AE5E-8C7BC22E6376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$AA66C89C-524F-4A69-A239-B54D5A83DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021959$EFA51814-0F5D-4513-9BF8-8EC606C3C5DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6601f62096cf2f93409f5fde0cf13a47e3c39124","datavalue":{"value":"Q129356504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021959$6D48C75E-A346-49D2-B4A8-10D309E33755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b842f6c5c6f6cb13a80a9ee17335820078928091","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d302381701a7e709e1d87221a71370c6a65a7e0e","datavalue":{"value":{"amount":"+0.9182384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$5DF3716E-9797-4129-8AA0-FE0768CAED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6464788f6003c55eb5f1a99784db6dc33607560","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d74dcd0cd252e19bacf6a5cca9192cc34397ba7","datavalue":{"value":{"amount":"+0.8692579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$6F0F0289-D9F0-499C-B683-ACA7E3F1A8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c9a4844da43f7384fd44e0f9c3bb0986158932","datavalue":{"value":{"entity-type":"item","numeric-id":4501582,"id":"Q4501582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe4f9f0941d1f5f2dfa007353aa0e887c136861","datavalue":{"value":{"amount":"+0.8682952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$868EB989-32D3-471F-AB7C-B4F91908B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4073bb66133270012c54d19f440349e79b5f83e","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9533ef7c7e62acca67c2e85a9e091cfff1933ee3","datavalue":{"value":{"amount":"+0.8618522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$BD625935-D3B1-4C9A-9461-A6822B4A5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb35222c649334b2ba24b6186c164c7c44df0c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3557079,"id":"Q3557079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc90bf553a6c8bd437feec73a9616bb5936c377","datavalue":{"value":{"amount":"+0.85885257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$0A915C14-9B0D-4F5A-B164-24A126A8632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858e384f2e63d40b322ab6c0a011b61f447863b7","datavalue":{"value":{"amount":"+0.8553374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$C074AE72-F600-44B1-96E0-B82A1464571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da74598f1ec412124b63eef6de9e7a7fb39c6ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2814388,"id":"Q2814388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4481f814eaf7aecc9f066e9ecaebec3f439a29","datavalue":{"value":{"amount":"+0.8535452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$D3C71407-83C2-4317-A106-67B1AF7E9F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8945dd5ea8b23803758fedaea5e36aad46444f","datavalue":{"value":{"entity-type":"item","numeric-id":4494365,"id":"Q4494365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761e304db7269b3eceb636c95e39356ad09be750","datavalue":{"value":{"amount":"+0.85143083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$5CDA9B18-822E-4BB3-8A51-E51AC41A0949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efee5f0eb31aba68c5b1678b6bcbab9c5524fbce","datavalue":{"value":{"entity-type":"item","numeric-id":2767092,"id":"Q2767092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d5ead7ffb63c272a4bc953edf3c17baf8b763c","datavalue":{"value":{"amount":"+0.8500271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$39335328-41A4-4CE1-A7FA-40BC42241F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f36bc8c54965b1ad99d087f4810970e391298b","datavalue":{"value":{"amount":"+0.840976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021959$4D045E61-3066-4541-AFF7-6AC2DA90FA70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021959"}}}}}