{"entities":{"Q1870296":{"pageid":1881038,"ns":120,"title":"Item:Q1870296","lastrevid":48095215,"modified":"2026-01-03T15:11:54Z","type":"item","id":"Q1870296","labels":{"en":{"language":"en","value":"A generalization of short-cut fusion and its correctness proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1908586"}},"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":"Q1870296$219BBEA9-5665-4E99-A5F7-DD3C6B70FC03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"425b3776b22168dc9d3412f45bc60b726a283046","datavalue":{"value":{"text":"A generalization of short-cut fusion and its correctness proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870296$CE5D3DC2-1277-4B53-95F0-88376F14603F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5fa86021ad1b1eb83a54a45c029be62c5f06bc7","datavalue":{"value":"1020.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870296$3F237C89-10C4-4567-ADE5-DAB45677A0B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9bdb62db72380d1a270b89971ea37efa8051423","datavalue":{"value":"10.1023/A:1022982420888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870296$232CB277-C4D7-422F-8CD1-510556EAF2D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870296$6CCEEEC2-F1CC-4B40-9C5E-9EB165C460B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870296$BFE70D7B-B438-4003-8852-ABB367C02442","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947c49c6dc991ad4ccf38c0cba49a099db39b9c3","datavalue":{"value":{"time":"+2003-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870296$7F34EDF6-744D-41E6-A432-4922FAF4A10C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870296$B1F239CF-DAEE-4E5B-BBA5-6E2D42ABC19F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"360d96412e882d693a1cf101ac4437ed1069f16f","datavalue":{"value":"1908586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870296$8AC7FF31-841B-4D65-8346-973680BAAB75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$2A7144B6-7FBE-4592-97F7-043761AE808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$00A23E86-DD2B-4353-BAF7-980CB7DB0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$141C4A53-9296-4EE4-9550-8CD79D56F2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$8D202C13-0BFB-45F1-97A1-FECF82053419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$354AEAF1-CA77-4B32-A2D7-9B42B6C0862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$C828D1CB-E749-4EA0-9A45-AB3068A02AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0594c2979354f55a31c2afd8b573c1fd924fd6f","datavalue":{"value":"short-cut fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$9BED0D22-F92A-4487-B3BC-C391E61CB841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b597593329c9e3a91e75822e54d2346a2f604bf","datavalue":{"value":"theorems for free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870296$9C45D647-71B8-42DB-A844-61C89200C1D0","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":"Q1870296$2875D2D7-EF2A-4556-A660-B04DCE28DF61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f323911ff5838f0577928f544616a9f2de22ca99","datavalue":{"value":"https://doi.org/10.1023/a:1022982420888","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870296$F3A7628A-6C32-4F9E-A4D5-80A5A0A1814D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fae2fb095eb3403a3c08234e36d7c9c090dc0dc","datavalue":{"value":"W1486010533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870296$7A69BC4E-4615-4649-B855-15C3613B9F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b679b12cbe62e52cb5411d29eb7c3c1d8dbb4c56","datavalue":{"value":{"entity-type":"item","numeric-id":4445767,"id":"Q4445767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ac0406dc5616d11eb0691a26404e2bdc595b5f","datavalue":{"value":{"amount":"+0.9698736667633056","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":"Q1870296$AC5FADBD-B74B-429A-9953-F961E5A4AAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93743514bfa9b9baa1fb92fc75fa65caf8902fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4461770,"id":"Q4461770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3afa0d1b18618d0b248e87b5a97250cf08304e8","datavalue":{"value":{"amount":"+0.9254024028778076","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":"Q1870296$DF7FCA28-3F65-4F2E-B404-53D215FC2608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cae8f1ade6a541437ef7f4dea180944b85f383","datavalue":{"value":{"entity-type":"item","numeric-id":1929359,"id":"Q1929359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de291024ef7987fc070594f2e70d4e30a5b6deb","datavalue":{"value":{"amount":"+0.8156141638755798","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":"Q1870296$1C287C73-385B-434E-B208-C06C55896CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9e89dcebfc9eb8eb1a61037fa7b92a24f3cfa5","datavalue":{"value":{"entity-type":"item","numeric-id":3395336,"id":"Q3395336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fc6c582b79927c359feb66cfd5176e5bc0e7b3","datavalue":{"value":{"amount":"+0.7995511293411255","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":"Q1870296$54B28DEA-0D87-4361-A72E-54B95B226DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536c7469735cd4db969e77e2c74ebf68480e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":5428372,"id":"Q5428372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9044f65dba769aa05ad8ef380fb109d514ae3cf","datavalue":{"value":{"amount":"+0.7948954105377197","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":"Q1870296$6E4B810C-A5EB-4890-B227-18EF3364F075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1870296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1870296"}}}}}