{"entities":{"Q6045024":{"pageid":13179180,"ns":120,"title":"Item:Q6045024","lastrevid":40726329,"modified":"2025-04-04T12:00:58Z","type":"item","id":"Q6045024","labels":{"en":{"language":"en","value":"Inductive termination proofs with transition invariants and their relationship to the size-change abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689294"}},"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":"Q6045024$492BC8CB-6C00-4D9D-A445-4943FC2D8071","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cef1fe4ea5f1695b4b76c278c0e5d9400f8fe662","datavalue":{"value":{"text":"Inductive termination proofs with transition invariants and their relationship to the size-change abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045024$7043A3ED-3661-4CEA-B1FC-6A5FF09EE497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfa673be0120f68fbaf48088af22ea8d601aa298","datavalue":{"value":"1511.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$690B3710-BAE8-4DD9-AC1B-31A523B8C91D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22c96579fdf9cb14e89f7e41f9559be4d9c872bd","datavalue":{"value":"10.1007/978-3-319-99725-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$3BEB801B-490F-4BE0-893C-0DF92FBD8F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045024$FD1B8E75-21A1-4751-BA67-BE7C34F93CED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045024$A2334F22-DEA1-4394-876F-ACEADB01CD29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045024$6BC075C6-CC98-4841-9A3D-CCB49701878E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$2CEC7F5F-6B7E-46EA-B062-44FA96D241C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$372C48EC-EC2B-40D6-B9D8-84443637880A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9883777dd7482ce09f18f8c4619927f7508ad41d","datavalue":{"value":"7689294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$963608EF-696E-4A09-8039-66849BFC26F7","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":"Q6045024$14E56C43-F018-47C2-B33F-1BAE81DCD160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"120aa80e9d26a9d23e8ec87b327f2a59701d0262","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045024$177F84A7-4C18-404D-AC41-54922580649E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8eded59a80310ed6d7210c444eba5f0d1f19ef2","datavalue":{"value":"W2888872027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045024$9E5700C5-D4AC-4997-A3AC-3E9A6C2331E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038ad9686f1e02074438b3f6def574bb4342285","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d004f01c1d1fe6dc195978cf0ff7b17b26243074","datavalue":{"value":{"amount":"+0.9182812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$65D53ED5-468E-4606-BC99-6009D5073BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021e916e9abb7e80428c41fadb5cf89f61c7ee29","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7e4c255b72c9cbd3a01aa74c06d63c9532f8e7","datavalue":{"value":{"amount":"+0.9158732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$5FC0AC95-A005-4C61-B56A-C1305D56001A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71a419989158c716a68ff35dd0ea8c2504cbab9","datavalue":{"value":{"entity-type":"item","numeric-id":5277982,"id":"Q5277982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72100f9c0dd67ca2dd98f3485875d47b66b8f185","datavalue":{"value":{"amount":"+0.8969133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$9D037060-8593-4833-9D62-6AB12F764621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0957955259f03a55827104a1f8b6247fa0afed34","datavalue":{"value":{"entity-type":"item","numeric-id":5055748,"id":"Q5055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4438a98a359246814660fa6e4d55b140b14056f","datavalue":{"value":{"amount":"+0.89382386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$C4E8E715-99CC-41DF-96AA-1C52819A175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8018c6f74b2f1cf9a2ebbe1617c39bf5f11df9bd","datavalue":{"value":{"amount":"+0.88882804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$54A56D5D-705F-4B14-BBA2-4DE50061AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c7583c01e9fe4139dcc69b9fbdad5a9dedebd9","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7c1ea6e189f5036044a2841aa7598cf78dcbd2","datavalue":{"value":{"amount":"+0.8844652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$D886C4AB-2714-449D-B7E1-6980D0C3E8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc811b101b3139e24e105855956a7a0d474c06b","datavalue":{"value":{"entity-type":"item","numeric-id":5089296,"id":"Q5089296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed679dfaf04ae8c72c4e0b6207afe25b214ea5af","datavalue":{"value":{"amount":"+0.87894654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$CCFFA388-F380-477C-AB48-7E45EB664A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc94be127ad7233f91f80318749e753bfda9c14","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d770a7c151cfb7fce72af27264c684a9ce307243","datavalue":{"value":{"amount":"+0.87425596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$BE1228BC-5E7A-4DD3-9A23-4B98EAAF3A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9e6c04f5064e2fff25e0425a6d4fdd0f6fca91","datavalue":{"value":{"amount":"+0.8738061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045024$7A4CD52C-AC54-4973-8862-F50724C5513C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045024"}}}}}