{"entities":{"Q3457978":{"pageid":5237378,"ns":120,"title":"Item:Q3457978","lastrevid":90153896,"modified":"2026-06-04T19:25:22Z","type":"item","id":"Q3457978","labels":{"en":{"language":"en","value":"Proving the correctness of unfold/fold program transformations using bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517178"}},"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":"Q3457978$8D1CF0CF-64F2-4762-B33C-BC92D08BDCFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dec507fcbdf1231ca716f5146681f03cc9391c0f","datavalue":{"value":{"text":"Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457978$0F7BC2B0-4816-46A3-A4C9-A5D89909EB58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae3b11c212007b053a64f9d1ec909094829f747f","datavalue":{"value":"1336.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457978$C7C5EBD3-0507-4CF2-824D-CF70483077DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c32ece9a29ce83626eda3b78721962119da67326","datavalue":{"value":"10.1007/978-3-642-29709-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457978$4681BDD6-A317-42F9-A6AF-4797FAFD1C67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457978$24672E76-DC60-4BEF-987D-1FD48DB1C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cea638a098d7a4aaa246f10375f028359cab8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2289064,"id":"Q2289064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457978$6D3E7933-7C7E-495A-A4FC-C4D7237AFFE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457978$8969BE8A-4C91-4DF6-9966-7677C9653FE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457978$E7F0ADC0-F244-47FE-B43E-2EFB460803F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab3db4644423a081f94ae2d5a54ca4ff7f1ec341","datavalue":{"value":"http://hdl.handle.net/10344/2375","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457978$0B57E4ED-53D2-40E9-A5DB-1ACFBC41376E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457978$A8C593DB-7A10-4740-A436-3098F50D0D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06427003277753e9b4dd4ff9b9ae59faaeb7979f","datavalue":{"value":"6517178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457978$E398542D-5D64-43EF-B118-6E212224B739","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":"Q3457978$DB6F36F8-E8BC-43C9-93E1-236888749D1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cea75aea8cb4dfa102151e375c4be75466afe3e","datavalue":{"value":"W343586819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457978$C0DFBD5B-D541-48AE-B546-91D031066997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430fd0482eb849f118395adb9fd09baf288afd93","datavalue":{"value":{"entity-type":"item","numeric-id":3698293,"id":"Q3698293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b4be533034b05ee043269a6c65b711cb677ec0","datavalue":{"value":{"amount":"+0.7984094619750977","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":"Q3457978$ED5DD98C-64B5-42DE-B26C-99AE621D0A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae1740f4d4d478f5ced46590820064c16400368","datavalue":{"value":{"amount":"+0.768297553062439","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":"Q3457978$33EFB59E-8269-4AD5-BAD4-1991FD9C0D9D","rank":"normal"},{"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":"fff29cdc9849d7cf0f58670472bc06f02b213173","datavalue":{"value":{"amount":"+0.7503184676170349","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":"Q3457978$9B6FD4A1-39C5-4206-9FAC-4FE560BF2F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528e43eef8610b42912025a3bbad6632b4ed3fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5472882,"id":"Q5472882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752477a380d5e7fc5ddcca011fe563f1b905013b","datavalue":{"value":{"amount":"+0.749207615852356","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":"Q3457978$09A79831-B90F-4D7E-BDC7-23781A5724A5","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":"a3ef5da7837a1ae544a541a9911608394034ffa0","datavalue":{"value":{"amount":"+0.7475523352622986","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":"Q3457978$04430EB9-FEAA-4E1A-834C-34AE8E424031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the correctness of unfold/fold program transformations using bisimulation","badges":[]}}}}}