{"entities":{"Q1648888":{"pageid":1659629,"ns":120,"title":"Item:Q1648888","lastrevid":81774134,"modified":"2026-05-06T19:20:01Z","type":"item","id":"Q1648888","labels":{"en":{"language":"en","value":"Automated amortised resource analysis for term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6900734"}},"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":"Q1648888$14EA7C44-FDCE-436F-A1EC-F38F06D1B36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b798515ad52f30edceac2e55ca9b5b80afa651c8","datavalue":{"value":{"text":"Automated amortised resource analysis for term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1648888$61EDAC3F-09BB-462B-8631-9CB5893CB8D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cdd64f81df067adee06fa74f9fc56c5946990b7","datavalue":{"value":"10.1007/978-3-319-90686-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$A7E4D0B6-D7B5-496C-B748-C425E2DB8071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648888$40CFCADD-8D25-4CA3-9383-4439EB6ABA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d3eab85f205eaff7fa1def43514b8fb14885bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1648887,"id":"Q1648887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648888$60E10F1E-36C1-4B19-BBAB-1875CE5F312F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-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":"Q1648888$C088050F-1070-42B9-8997-337E8E0E4180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ffe6aca6e60e77539cf40eebfbd729d969bde43","datavalue":{"value":"https://arxiv.org/abs/1811.09071","type":"string"},"datatype":"url"},"type":"statement","id":"Q1648888$29B6C05F-BFBF-4E4C-A1C1-A0F0F54C7739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$48C6112C-B0BB-4D13-96F8-61F49AE645E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$DA1E91A6-E79D-499B-BCB5-1C592224E31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$AE08FC47-B66B-46C6-8BC0-53266EFFE5DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2ca3b23ec5e59eaae8d55b33bc1d02236e4ef62","datavalue":{"value":"6900734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$740DC860-1AAD-4C7A-A949-0F4AEC8E9A65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648888$DDCBED50-7F76-403D-953D-D6AC903E7053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83dc2f08999872f8c784c55bab90cfab9cb92e7e","datavalue":{"value":"amortised complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648888$A6FC91F6-71D1-43C3-A0FF-67EDF5C61D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648888$F6AD5B3D-B8E9-49A7-B1B5-10DF26A8CE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648888$0E40245F-6009-49E1-B091-15CF77DBC3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648888$E0B69D90-5D23-4184-A382-2757570E986D","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":"Q1648888$35D08714-33AE-4D0C-A1A4-5B9CD27E3362","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68420fd23c2f116eb7d7eee6de70cc61a2fa45fb","datavalue":{"value":"W2800604894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648888$A6B905D4-6963-42D7-AF0A-292972B3CF7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7000a69d0abafe3ed3bed24f66eac4af8570989d","datavalue":{"value":{"entity-type":"item","numeric-id":5277843,"id":"Q5277843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9198560132d9733283113948e06cc9a22efdc479","datavalue":{"value":{"amount":"+0.916149079799652","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":"Q1648888$4CCA198E-6165-468E-AFD0-B05E5C8EC372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1643af3318eb78ff9bcf4d64841dfc459d172fea","datavalue":{"value":{"entity-type":"item","numeric-id":5170822,"id":"Q5170822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa59d9ea9f5ef993200a2718917f9df7ca9de4a","datavalue":{"value":{"amount":"+0.856726348400116","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":"Q1648888$BF486E80-65FA-4DDE-82E4-74FCB26BD127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129504732a95b622055aa15d1df2d553e7bc39eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efa8280303076ef84c0325c57f7172cd5a4d880","datavalue":{"value":{"amount":"+0.7762945294380188","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":"Q1648888$C18A25E5-3D79-4B7B-AB7C-0EF7AB9D71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7ba9574f939b0ea6f9abfcd9ee7057ffbba68e","datavalue":{"value":{"entity-type":"item","numeric-id":4645739,"id":"Q4645739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac6aa04bf45cbc1b4f9b7f12f6eff78a21dbb36","datavalue":{"value":{"amount":"+0.7690812945365906","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":"Q1648888$26CDF628-6939-454B-94A7-58A017319AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a112bf71c98496872166972a8018fcb236e18e2","datavalue":{"value":{"entity-type":"item","numeric-id":5170821,"id":"Q5170821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f14eee439a1f532ffb6ee26173d43abc4d9e20","datavalue":{"value":{"amount":"+0.7663978338241577","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":"Q1648888$C22E59BA-975B-4C87-9D59-9945087FC152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated amortised resource analysis for term rewrite systems","badges":[]}}}}}