{"entities":{"Q749197":{"pageid":751046,"ns":120,"title":"Item:Q749197","lastrevid":64046145,"modified":"2026-04-11T17:16:59Z","type":"item","id":"Q749197","labels":{"en":{"language":"en","value":"Data structures and program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172359"}},"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":"Q749197$4EF43AAA-F03D-41F3-A7CA-44577E01D104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4723516a4a2c6b9563be250eac4758cc1d14b4c2","datavalue":{"value":{"text":"Data structures and program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749197$EC15BF2E-6A41-42D7-9C57-AD4A7333937F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91c2d67197bd71b70a754425045007e58a06a4fc","datavalue":{"value":"0712.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$8C106F1E-7C11-42AA-9D2B-1E67EEAAC763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e07fa3c9e43cfbddb81e3c745d4def600f63476","datavalue":{"value":"10.1016/0167-6423(90)90023-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$766E214C-E96E-4387-BD26-2441C03A10B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70f6b46bb7edc841d8db870d75d38dbf2c15f25b","datavalue":{"value":{"entity-type":"item","numeric-id":749195,"id":"Q749195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749197$50AFDBA5-2E7A-402F-89DA-628758F994A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749197$9F90405F-3602-41C1-B74D-FC1C94F3609A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q749197$88DB1DBE-2931-46B6-BE24-688E1099DCD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fed39031880d350059b8556ad9d060bfe49f8010","datavalue":{"value":"An extension of the Bird-Meertens formalism for program transformations to arbitrary data types is proposed. The approach is based on the notion of initial data types. The construction of structure-preserving maps is described and a promotion theorem for proving their equalities is derived. Examples include tree structures and infinite lists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q749197$8E118519-66B6-490C-87FE-37E1FFF99773","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$68F82088-E868-4388-B6C2-D3BD0DB06524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$11E60606-0E7F-4293-B2AC-B64705E457F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$484764D4-8F47-4A65-93CF-923235973B7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8b9747334e717a73c1196087ea1791873200d8f","datavalue":{"value":"4172359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$B8C7858B-1435-4210-8180-24C7D9BB38A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q749197$FE11856C-24CD-47E0-9735-63EFF2C94D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q749197$236F0897-1AD2-46E4-9B88-F06956204EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q749197$4D516423-381A-435A-BFDB-B7005E7BE802","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749197$AE31864F-9C72-446A-99C2-B468014C8FFA","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":"Q749197$462679A3-752B-4624-B7E0-D3643100C6A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d7eac45291f65bcd405277fd4afc039e3399a8","datavalue":{"value":"https://doi.org/10.1016/0167-6423(90)90023-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q749197$1409DFBB-762D-4A28-8E29-6E348997B85F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b308259ac5def0073e9950e310c16655262fdbe","datavalue":{"value":"W2116908067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749197$25F4CD6F-B209-4521-94AD-ED605141BEA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940723fd7e6ea9f480a9accdd2cd50405f238aad","datavalue":{"value":{"entity-type":"item","numeric-id":3736891,"id":"Q3736891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a45e2115b6d041eb270d826ab074f7242ad08b7","datavalue":{"value":{"amount":"+0.7759096026420593","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":"Q749197$5BBE4A3B-3634-4403-9971-5424D9B9E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb76a85faf53ee91eda5535647d2635d97b23871","datavalue":{"value":{"entity-type":"item","numeric-id":3043812,"id":"Q3043812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7d36547122f6195270ff2ab0ed07275821cef0","datavalue":{"value":{"amount":"+0.7588393092155457","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":"Q749197$52D2872E-EAF5-4F71-A03C-159098502514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb9d15cd326feacb44c45d37dee42e1ed0ff0ae","datavalue":{"value":{"entity-type":"item","numeric-id":5472878,"id":"Q5472878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82063f41c3336b5778e37e5427f95f83686b92e3","datavalue":{"value":{"amount":"+0.7445999383926392","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":"Q749197$5C1692BE-88D5-4770-B92C-93CA87366597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7930b793b2b9c66b5d16571462f9cf7e55bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3314972,"id":"Q3314972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f43ee3d91314a7942c138818e62dc0ed6ce4682","datavalue":{"value":{"amount":"+0.7319516539573669","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":"Q749197$22D78C67-AA54-44E7-8C37-F8DA8CA18ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7b69faa6b08d8bb9198c0baf6eb0078497b82e","datavalue":{"value":{"entity-type":"item","numeric-id":3725517,"id":"Q3725517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3d7ec069721475bc55c6d9079edc55767d8b14","datavalue":{"value":{"amount":"+0.7264191508293152","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":"Q749197$7103C74F-D88B-4348-98BD-17952DA5B9D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data structures and program transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data_structures_and_program_transformation"}}}}}