{"entities":{"Q3557079":{"pageid":5586983,"ns":120,"title":"Item:Q3557079","lastrevid":80712137,"modified":"2026-05-06T16:49:46Z","type":"item","id":"Q3557079","labels":{"en":{"language":"en","value":"Automated termination analysis for programs with second-order recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702243"}},"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":"Q3557079$DF174431-CD17-48A8-BF16-B95867A1BB7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e2131c823fe9eaf66caaacee62be03437cadf3d","datavalue":{"value":{"text":"Automated Termination Analysis for Programs with Second-Order Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557079$CC7E4A7B-EDCB-47DC-8A6E-EEAE37BF632A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"625b21fc40ef2559723112d1a8074ea7a8242d4d","datavalue":{"value":"1284.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$7722E02C-444E-4305-8EDB-4D7045895719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23096a61b63bc0a292b08faf7845072cd02f8661","datavalue":{"value":"10.1007/978-3-642-12002-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$BB14FC8D-4862-4138-B93A-89BE425637FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"776c5611605b33995b265c521cf1d553220a628f","datavalue":{"value":{"entity-type":"item","numeric-id":2866335,"id":"Q2866335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557079$AAC8EB65-9F67-4A6A-9BBB-4291D461D552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557079$3A688510-3D29-43C0-9E95-7BE87CB52410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557079$32EC3C55-5AC4-4029-8FC1-BC9978FA4034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$44A6C4B3-AFE1-4D5A-9A46-A2FE3C5300BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$0E3AFABA-2EF7-438B-AE63-EC4BD461E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$6F7F0A37-F43E-4DF9-9751-B9287817F896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c70e3e72c7f9920d4aca53abb1b67e598a5ccfda","datavalue":{"value":"5702243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$5B836DE1-8EC4-4484-AC26-BEC1C591382B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557079$DD4EEE68-1A80-49DE-B897-3E99105E04D5","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":"Q3557079$D687DD89-061D-421E-BD6A-466471A07F48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e18559b342c8981b9c3994e5350f4e1bab56e5d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557079$DEBD9BF5-5F40-4FB5-8E7F-384A5F1813A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8832c1f062404db6001acb3d798ff62225dbb964","datavalue":{"value":"W2131321020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557079$554CF2B9-18F6-470E-82CA-840498C1B065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85dad8fd9676e26988c42cd7ceb737380be5b65","datavalue":{"value":{"entity-type":"item","numeric-id":5747766,"id":"Q5747766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a860fe9534528f70c12e307429619ee21069b01e","datavalue":{"value":{"amount":"+0.7994268536567688","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":"Q3557079$F635F7A6-2225-422B-9373-B75940DF231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d9e026b6ee643cdea93c57f071c07dd3087f64","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26cbbb68d5357269a92c8b011147c5b1bca6a523","datavalue":{"value":{"amount":"+0.783416748046875","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":"Q3557079$BBBD16CF-5CE0-4629-B396-005C25B3944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70ee40a0a0a652525072c882792a347c1041b50","datavalue":{"value":{"amount":"+0.7749480605125427","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":"Q3557079$23FB5CED-D54F-4536-8E36-6600DDC84F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4edc7fac4c2c292546f9b40e9603263d196130","datavalue":{"value":{"amount":"+0.7742068767547607","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":"Q3557079$6273D11E-8FE2-46C0-A137-4517AC2AD836","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":"e620ce56e2db2c6c86982bcfba021fee842c531e","datavalue":{"value":{"amount":"+0.7704300284385681","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":"Q3557079$7E8CC943-F699-4BE5-8D54-0BEF6179F0EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated termination analysis for programs with second-order recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_termination_analysis_for_programs_with_second-order_recursion"}}}}}