{"entities":{"Q797272":{"pageid":799120,"ns":120,"title":"Item:Q797272","lastrevid":64407981,"modified":"2026-04-11T19:39:55Z","type":"item","id":"Q797272","labels":{"en":{"language":"en","value":"Warum abstrakte Datentypen?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868592"}},"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":"Q797272$F95E455A-5C14-4486-A971-5FAE81C1C4FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff24aa6b7e0fad33af5abb7fb69bf11d206673e","datavalue":{"value":{"text":"Warum abstrakte Datentypen?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797272$CF03C2A9-9BCD-4940-9CE5-A117BBAD693B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6666307c004c02e81393547eefb6004ca1572bf7","datavalue":{"value":"0545.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797272$EC4E65D2-33C8-4D08-A8AB-938292F6223E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"779dd450fbb3bec7b06692b98a0285c659102cc1","datavalue":{"value":{"entity-type":"item","numeric-id":768017,"id":"Q768017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797272$32F73FFE-5A9C-46D0-8BCD-59D6F1D5F3F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e5f365e0d84c5fc6f786e7d13714a3a579cef05","datavalue":{"value":{"entity-type":"item","numeric-id":594597,"id":"Q594597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797272$E93DC2BD-A5C4-41C7-A820-942AC5E842ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q797272$A8C6D38F-972A-4853-8FB6-D7E4917D10C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e12a8629afc0c43a037f188cfd6662d59547b4a8","datavalue":{"value":"Die klassischen Hilfsmittel zum rekursiven Aufbau von Datenstrukturen - Tupelbildung und Variantenbildung - sind unzureichend, wenn nicht zus\u00e4tzlich Kongruenzrelationen eingef\u00fchrt werden. Dies f\u00fchrt auf nat\u00fcrliche Weise zu abstrakten, algebraischen Datentypen, deren Modelle ja gerade gewissen Kongruenzrelationen \u00fcber beliebigen Termbildungssystemen gehorchen. Es kann nicht-isomorphe Modelle geben, die man durch verschiedene Homomorphismen \u00fcber der Term-Algebra erh\u00e4lt (''Rechenstrukturen''); dies hat den Vorteil, mehr Entwurfs- Freiheit zu lassen. Die Konstruktion von Modellen wird f\u00fcr einige exemplarische F\u00e4lle diskutiert. Es wird gezeigt, da\u00df f\u00fcr gewisse abstrakte algebraische Typen durch Tupelbildung und Variantenbildung allein keine Modelle erh\u00e4ltlich sind; die klassische Theorie braucht das zus\u00e4tzliche Hilfsmittel der ''Zeiger'', um solche ''unendlichen'' Objekte einf\u00fchren zu k\u00f6nnen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$B20EB659-07C4-439D-9575-68429BD33DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797272$163FDF9D-804B-4D22-87BD-C4A456D60337","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73f418875b9bcc4c62ca73f6ab3e0cdaefd94108","datavalue":{"value":"3868592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797272$E35EEB43-DD4F-4A2B-AF05-1E5F7FBEBA67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56627ab52b0492990085119ebf3f14c35de5915f","datavalue":{"value":"abstract algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$274A8693-9C03-474D-9CE2-2C2F2409F37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"758e738ea1d65b666b99c670128652b12a67c96f","datavalue":{"value":"computational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$D98E0D6C-7ADF-479E-911D-582D35DCE634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54afe5f37d58eff25c3985d2be694bdbc7d2012e","datavalue":{"value":"formation of tuples","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$DC84E287-74CB-414C-B864-3CEB124B1D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f4441135d7e27a22ce7c02651b7fba97769dc3","datavalue":{"value":"formation of variants","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$71A62B17-0E2A-45EA-A493-105F8FCD45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9e776425eff5226b6380ef948d4d0c0f58d603","datavalue":{"value":"generic data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$53C4DBCD-1626-454B-817F-361DB1F1DFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2547c7adc5f6585508de8e58ad706967ce8dab","datavalue":{"value":"generation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$7F983C55-B7CD-41E0-BC88-AD92D73F9D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q797272$A2D1353A-5975-47B9-BFB9-5193D1E53FFF","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":"Q797272$931C73F8-A9B6-4CE5-A1ED-669E71B3173A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Warum abstrakte Datentypen?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Warum_abstrakte_Datentypen%3F"}}}}}