{"entities":{"Q2908517":{"pageid":2919242,"ns":120,"title":"Item:Q2908517","lastrevid":51543743,"modified":"2026-01-18T17:33:46Z","type":"item","id":"Q2908517","labels":{"en":{"language":"en","value":"Correctness of program transformations as a termination problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076927"}},"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":"Q2908517$C6F22278-1E2F-4752-8C79-22F976D4AD25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"005d4db4b81e921657ee303720164ecda3b5e6e4","datavalue":{"value":{"text":"Correctness of Program Transformations as a Termination Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908517$FBE1CC7B-0133-4E45-BF01-57FC8BBDB6D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a04023a241b937ffcfde168bb042e29793c0e40f","datavalue":{"value":"1358.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$E7406B17-ADAC-4DEE-8C58-FA9B1F26C112","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb2a4328c8df98d5e0bc641eda2b0f3df0e11bb8","datavalue":{"value":"10.1007/978-3-642-31365-3_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$6B3143B3-B84C-46D8-8C82-F7F62D0017FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe3a4e1f2a5362788701d7212979576fb042c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2908516,"id":"Q2908516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908517$5A23D751-667F-4CDC-8EB1-D4BFFC71DF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908517$6E9AF8EB-7FDD-4FEE-8832-3C065B0CD72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908517$0CE5F3A3-B5D3-4D2B-BC45-43D3B93385AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908517$DDFDB93C-0B70-42C3-80DC-5E6654327DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908517$DAA2167F-A3DE-44C8-8471-07FE228970FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$6C554DE1-81E3-47BC-8D3B-C85CA51286EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$86C20B16-1299-4229-B092-7FEEF24950B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c94c44bd3577f54f7a84335325399587876278a","datavalue":{"value":"6076927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$4BA4BE7F-066A-4FE2-8607-2AA003E1EE7F","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":"Q2908517$9E253E79-56AF-4A3E-88F8-5C74D32B87C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2e29e83f0510122a8553e46507e563eafb430dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908517$E257EF23-4EE5-43E3-8251-0A7CC1168EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c2722b386b165c07a6e3856dff1949dc78b876f","datavalue":{"value":"W101983915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908517$BC7B3147-84CB-4BD7-826A-E6CE46CB243A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628374b6c98a60216e4dc977d50d100288fd83bc","datavalue":{"value":{"entity-type":"item","numeric-id":3608667,"id":"Q3608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9dd08b492afbf7e544e2acf76055e9673be383","datavalue":{"value":{"amount":"+0.7495025396347046","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":"Q2908517$7E08EC5F-3230-4491-88D3-4D4F11CA948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae248e52ec1e6a1c2d2d3267ed8577ed754f1223","datavalue":{"value":{"amount":"+0.7491894960403442","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":"Q2908517$705276CA-4052-4955-A80D-3B404E5ED332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535f8058a7015d77f43aa703cd379ac279a532e2","datavalue":{"value":{"amount":"+0.7433817982673645","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":"Q2908517$EFAE6FF4-0674-4856-89FE-B4E9D14770F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8fc3e24519a8981a6867a498b358525d816e96","datavalue":{"value":{"amount":"+0.7408080697059631","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":"Q2908517$3065ECD2-B758-4988-9286-C21D62042F46","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":"7ec284dc3585fd3df307ba76e0af0f6eb3b7e874","datavalue":{"value":{"amount":"+0.7222408056259155","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":"Q2908517$5BE8C484-E578-4FA0-8AF8-B6DE350CDAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908517"}}}}}