{"entities":{"Q3557098":{"pageid":5587002,"ns":120,"title":"Item:Q3557098","lastrevid":50969033,"modified":"2026-01-16T00:02:30Z","type":"item","id":"Q3557098","labels":{"en":{"language":"en","value":"Fast and accurate strong termination analysis with an application to partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702272"}},"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":"Q3557098$2EEFE8D8-6F7F-4D98-8A34-7ED37D75E492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a35342f2d52bec8add221ad51b6386d9a1b723e","datavalue":{"value":{"text":"Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557098$9AD8299F-40E7-4797-A2D1-207C6E0D48AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8643b958ccf6b51857dcb8ef0ca1490de32c6d1","datavalue":{"value":"1274.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557098$F68B3023-C17D-4693-9D6D-3F4FB2608EF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9944756982c88cd7ec1bd32e778bc4bf0ecbe382","datavalue":{"value":"10.1007/978-3-642-11999-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557098$A61C3861-85B0-4150-9DD7-50286FB16130","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$56A783BD-A9B2-4101-A05C-E11EDFFB9876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd4cb8479904681a4194bbbdb537abc2f51d9a","datavalue":{"value":{"entity-type":"item","numeric-id":418184,"id":"Q418184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$84D273B2-86B2-4953-938D-CF5D6DA7FB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$521E6200-BE19-4065-91AA-BA92AF95064E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2be33655de324dde0358c2fdcfaa54a9a81e5777","datavalue":{"value":{"entity-type":"item","numeric-id":3003510,"id":"Q3003510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$9025B063-DF8E-46B9-BADC-4D55F0F27C80","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":"Q3557098$B4622F1F-E998-4747-9DA3-1EABE1198F51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557098$7473579A-7A59-4799-BB04-8BA04034FEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44a0fdeda4e37c183ba690eac513bd0097c6546","datavalue":{"value":"5702272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557098$1C2E4316-A87A-40A2-B7C8-DEFA579BDBFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"970e99c9bc3dc9625d7c5e330adbb28ce852057d","datavalue":{"value":{"entity-type":"item","numeric-id":21863,"id":"Q21863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$DBE696EA-E6D5-4D6D-ADDA-2054EAC3C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557098$BB0A6088-4685-43CA-B031-88F18C3A8D69","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":"Q3557098$3E3A7AF7-DF13-467C-875D-546012736996","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22b9c1c65713886eed7880769426b0afab812c36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11999-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557098$8E46583C-8C4D-4223-BBBA-5BA5204F985E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe7e6e97f15bddd3ec560063b2c7cc5f65c661dd","datavalue":{"value":"W1485994731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557098$DE3060F5-C138-46A1-A538-95A4991B610D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fce69603a4eb3372a159e6640ce685584cb231","datavalue":{"value":{"entity-type":"item","numeric-id":2437798,"id":"Q2437798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de4b80b3fafbada9db3a4d14dfef6cb2fb5903f","datavalue":{"value":{"amount":"+0.8666861653327942","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":"Q3557098$F3141211-B437-4264-8054-92BE1359708E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81991e32bf8687bbed683e4a92ab08fd5d66b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9532b573a3d62c9bd670cfcc81d6f695aca8aef","datavalue":{"value":{"amount":"+0.8187586665153503","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":"Q3557098$D0150989-4037-4470-87E2-5D536D4BD4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3089a0679c49f70ea5dcd4d777877ab289af462c","datavalue":{"value":{"entity-type":"item","numeric-id":3617434,"id":"Q3617434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395725b3708006c58160514c7e276ab16c952ed0","datavalue":{"value":{"amount":"+0.8020254373550415","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":"Q3557098$C1EBD94F-E9CC-4C78-A774-C97A1AFC95BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddbccf58306fc150275ae477d54c3948e516264","datavalue":{"value":{"entity-type":"item","numeric-id":4808812,"id":"Q4808812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a0289303e12ce60c7e822cef87528a28495c44","datavalue":{"value":{"amount":"+0.7935579419136047","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":"Q3557098$DAD58F56-6D0C-4C89-9D11-C0CFAC0BA64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189082861caa2c483c4b956c1e93dc697a04b10","datavalue":{"value":{"entity-type":"item","numeric-id":5191484,"id":"Q5191484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbb5017c0bde8478c63e7ff952890356ed49f83","datavalue":{"value":{"amount":"+0.7780905365943909","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":"Q3557098$F563790E-46E9-4586-8992-32BC638876FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557098"}}}}}