{"entities":{"Q5389079":{"pageid":7418653,"ns":120,"title":"Item:Q5389079","lastrevid":92633441,"modified":"2026-06-05T02:14:35Z","type":"item","id":"Q5389079","labels":{"en":{"language":"en","value":"Modular termination proofs of recursive Java bytecode programs by term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027836"}},"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":"Q5389079$5E11F575-F81F-4E12-9891-79E866EA5F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc3121e0cc48bf8a8e9c3514a00aa8af994acad","datavalue":{"value":"1236.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$B0342BF6-0F56-46D2-A676-2EE313A2E911","rank":"normal"}],"P16":[{"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":"Q5389079$12DB0295-F35B-46B4-B7B6-BFE4AF68D50E","rank":"normal"},{"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":"Q5389079$FDF87943-3965-4CB1-B410-4255EAD87AEA","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":"Q5389079$36CA2503-6535-4C8F-B448-1819BEDF9A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389079$9EE27DF5-B7FD-4B2B-A508-8D7CC27481DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff290d8cbeee21f5aabd483e09cb029b276e90ec","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_3df8.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389079$15F754C8-9CA4-460B-962C-29F6793534C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$2922D1E8-AB10-447A-A58F-292A94E00B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$6E87A42D-29F9-4363-976A-50BD6B44861A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$FC7826F6-167A-4E77-8761-A0837B74587B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e04f51605370f3792b314455559fdd33dba1634","datavalue":{"value":"6027836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$57F154F5-D0F0-4BDA-B662-7253B9A70652","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389079$FE04CEA8-FF48-4ED2-BACD-75C506BCBB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1356ecc90139ae85d3331a25e948595be7dcbc58","datavalue":{"value":"Java bytecode","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389079$68E9E67A-3FCC-43D7-8A1C-706DF9CCCFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389079$8CFA22A4-7F7F-4327-905A-195A33AF4C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389079$A3B224D8-408F-4477-B4A7-04CCCD652D8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389079$C2A82227-0765-4BC1-908E-F120F22B5F1B","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":"Q5389079$D185FD42-47D1-4D0C-85B9-C19C3B4CA318","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db2cb861c011c9b50e498add1cf768ac3e6ba905","datavalue":{"value":"W2160568515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$BAC1F5FC-46A3-4BBA-84DA-71E818BD035E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"790e4b6642ee669d40c5b03762cb163cf02502d1","datavalue":{"value":{"text":"Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389079$B75915E6-B2D6-44A1-A095-F25BABF4BA64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec21434e20efd89c3de878ad18e4f9892650ea11","datavalue":{"value":"10.4230/LIPICS.RTA.2011.155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389079$4F35FE00-3059-4520-810E-3DC78FD1914E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a65de170ed7221695048af1bed30ea3804d15","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"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":"Q5389079$7651A0F0-F210-4F61-AA0E-69FB59BFE990","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":"5403bccc41be1b0fa61903efecc4af7bf333316d","datavalue":{"value":{"amount":"+0.8931207656860352","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":"Q5389079$3F0E0D09-2D15-4757-8762-15AC0AD906B8","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":"0383d51dfec184510ab829c7d8ffe6eb7bf030c9","datavalue":{"value":{"amount":"+0.7968565225601196","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":"Q5389079$F76DDB90-A46D-4C6D-A25B-9037F25BA0E4","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":"9b0b391322a4ef143c9b5c63a981d6dd03b8d2a4","datavalue":{"value":{"amount":"+0.7786998748779297","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":"Q5389079$60081601-F05C-49A1-B701-8538B2716A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfe9a178ecac9ef9420a734b1750605a2413d3a","datavalue":{"value":{"amount":"+0.7556504011154175","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":"Q5389079$3685466F-18EA-42E5-A2EE-379344D5C4F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination proofs of recursive Java bytecode programs by term rewriting","badges":[]}}}}}