{"entities":{"Q5389149":{"pageid":7418723,"ns":120,"title":"Item:Q5389149","lastrevid":51453758,"modified":"2026-01-18T07:44:52Z","type":"item","id":"Q5389149","labels":{"en":{"language":"en","value":"Automated termination analysis of Java bytecode by term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027904"}},"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":"Q5389149$28B7B3FD-EFBF-44EF-9616-EDA0669DFD16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"638988318dea7a154519de86a3d600f5049624bb","datavalue":{"value":"1236.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$FFF74943-9E56-4871-BA34-04E9DBC9D3B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d86bc6e3cb9a9ef0ecbf0cb26255c4eae3e462","datavalue":{"value":{"entity-type":"item","numeric-id":2362490,"id":"Q2362490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389149$AC6F9634-2B21-4815-9B1F-1A73362701B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c620a21f59c0f5ba6bee7b541d3dbc342d398449","datavalue":{"value":{"entity-type":"item","numeric-id":1687547,"id":"Q1687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389149$63F22D20-1D19-42F2-9BED-C5AFBD309D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbec85a56b2cca57908b850e85939317ace6d7f","datavalue":{"value":{"entity-type":"item","numeric-id":746768,"id":"Q746768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389149$E05CD90D-370F-4709-91B7-061712EECF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389149$269ABCDB-5110-4B94-A77B-BDBE1CC60DB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389149$37975E1D-CE49-4998-A254-FCBBBD288EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c7d3afe3392b612e3be980cafd93e1d01479758","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_f283.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389149$751DB9EF-CF1F-4BE6-A780-EB843A7D5616","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$C2291919-BB90-4D03-A28C-7B928ED6049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$588B4975-4E26-4CD0-AFD7-310DA9EFEEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$7DF13068-7647-48EC-8402-9429B7C04FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$EF430CC5-743C-4CC6-BA7D-C08AD84647F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce51ba02d99e04b3ffe0fc13997df82061c18e8b","datavalue":{"value":"6027904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$D1B7E43C-6502-43C6-A8ED-06AE777E1B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1356ecc90139ae85d3331a25e948595be7dcbc58","datavalue":{"value":"Java bytecode","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389149$BE88E83D-194B-4338-8287-D2C539511214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389149$6E4FA985-7236-4E36-B3A0-1D4CC5F344A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389149$BD323C69-DD4D-40E1-B5E1-E093355B1276","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389149$95E17930-7DB3-4215-8C14-1CD8C12390FA","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":"Q5389149$7F11002A-F050-4386-9B9F-7B31B3A4D991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e645b4beb62c3653620221f7c89b2c8025a9b0b4","datavalue":{"value":"W2124765047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$A28EB883-8C05-41DA-A836-530FE558E1D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"775ce1d86e113a2112d9a20e012db5c120fb63d6","datavalue":{"value":{"text":"Automated Termination Analysis of Java Bytecode by Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389149$213A78E5-48D4-4DB5-97F5-9E352C5874A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f5b6dcd2391d768df03f5daabcd4149da8ac026","datavalue":{"value":"10.4230/LIPICS.RTA.2010.259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389149$BE1E19D9-1290-461C-9BDE-CC86DD1F8A50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f056de6083db7c1bcc5be81def3768c6d2f2e9f8","datavalue":{"value":{"entity-type":"item","numeric-id":5389079,"id":"Q5389079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d17c1e7b70f0430fc0bd685a7c1b0194a441a2","datavalue":{"value":{"amount":"+0.8933786153793335","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":"Q5389149$1801942E-BF9C-4DD6-9924-8B634FC50FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcb86527f565d62693dfcc8910c1cc09b1458ae","datavalue":{"value":{"entity-type":"item","numeric-id":3058449,"id":"Q3058449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8170bc7fcab1c7ed41f8c6da4b590119e517015","datavalue":{"value":{"amount":"+0.8723387122154236","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":"Q5389149$563F951D-FCD2-428E-BA13-1711F262AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ff85aedf7bcb3290bb1db613ed687a81ba89ae","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e853bf751f1178694ca11f970bb049f17b4d4d1","datavalue":{"value":{"amount":"+0.8103758692741394","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":"Q5389149$05772CFC-959D-46B0-9CF2-C8A8D067D58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf38738d3b1727a1a97e4708b579d6859fdab50","datavalue":{"value":{"amount":"+0.8030227422714233","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":"Q5389149$5AC5E196-BD44-4027-AFB8-1157C92D8CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292eacbadd714be4b51d9e1ff0178020dc7b69fd","datavalue":{"value":{"amount":"+0.7750585675239563","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":"Q5389149$52445FA4-4A1A-437D-B949-FD1F6FD07D57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389149"}}}}}