{"entities":{"Q4039897":{"pageid":6069615,"ns":120,"title":"Item:Q4039897","lastrevid":108782000,"modified":"2026-11-10T06:34:45Z","type":"item","id":"Q4039897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193025"}},"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":"Q4039897$EDE289A0-435B-436E-A974-C82E57F767B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a943d496347cede13dc4eba8897b3090bdbafc","datavalue":{"value":"0643.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$E31BE911-1B5D-4F3E-8C3D-59784D96952D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4a178ff6c1edcbccb2ac0c265348578728ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":1804198,"id":"Q1804198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039897$1AA14D17-DC46-4A31-8385-D6354B16F202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce58035a0413436d73419ac46f02edb848c41b8","datavalue":{"value":{"entity-type":"item","numeric-id":3473875,"id":"Q3473875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039897$682AE862-8D42-462E-9797-39CD7482A495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-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":"Q4039897$B6A44DBC-D715-4F16-B414-EF8A8C865612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$C480F452-F861-4C38-A912-6769CC77F9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$51BEE06B-3AF4-420C-8325-B87B598A58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$5F4F3933-4C69-4D34-88FC-D2F9B7913A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$875C8E32-B89C-4B90-850C-1886D3721463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f418bb60c565347f0bdc9daf4c325d6cc936eb6f","datavalue":{"value":"193025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$25DB537A-C830-4587-BAE7-F9567CC7A20A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$61D2A33A-90DE-4D31-9A87-CC493AD98C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$C7867CC3-03D6-4001-ACE0-A72E4C76F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634811a402ce627a7bf6d717e8f7d92a0b2fb82d","datavalue":{"value":"sorting and searching. algebraic data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$3EDD0332-CADA-41D4-8B92-E5774F18303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c63ae166079da87c4a71c41a19e3c0a472a2ef","datavalue":{"value":"Standard-Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$7F65C510-D842-4752-B2EE-13DE25CCB07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb901dcebf6650d0f4074feca8fcd6ffa79d541","datavalue":{"value":"computational implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$2F5CB29A-92C3-4FA5-9844-D14A966F4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$4E3F539B-4424-4402-977D-2F9979E8CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$D4186724-E005-472B-BED9-BF10900E5089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$84490150-A4BB-427F-8849-4E06C27A4060","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":"Q4039897$26905D88-9E3E-4327-9249-9FB3F264096B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791a8d72064d6511b3aa3d336fd9ca7640994b89","datavalue":{"value":{"entity-type":"item","numeric-id":3996206,"id":"Q3996206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1215f60e37bc2343cbccdc742ed16205caca07b","datavalue":{"value":{"amount":"+0.8082984685897827","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":"Q4039897$587D010B-222A-4B93-9D88-027E0D7E2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fcac71626b201e0bce485fe8df754b5f8b2e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4040015,"id":"Q4040015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16edcff1af5f75c803b617afd8886a68dcf76900","datavalue":{"value":{"amount":"+0.8033803105354309","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":"Q4039897$EA6C2B6E-35D5-4F4E-B6C7-A4483987011F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817af586ba100baced2833974a5452a170bb2a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4940744,"id":"Q4940744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c7a461e1bc8a91b5695d09e35ae7c594b87a69","datavalue":{"value":{"amount":"+0.796778678894043","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":"Q4039897$A8E96322-5F58-4774-8273-792A713C2763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a866eba67af079cf31c7d20d4e8a6b647c62c198","datavalue":{"value":{"entity-type":"item","numeric-id":3756496,"id":"Q3756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c7a461e1bc8a91b5695d09e35ae7c594b87a69","datavalue":{"value":{"amount":"+0.796778678894043","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":"Q4039897$1372EEE7-D2BC-499E-8294-341A80EE9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59c10fc069ecd79845cceced1253948a7162964","datavalue":{"value":{"entity-type":"item","numeric-id":4680533,"id":"Q4680533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f480ca90593618fd3d2964e9190cb9ded82115b","datavalue":{"value":{"amount":"+0.7965328097343445","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":"Q4039897$98F1714F-BA30-41AB-B7E5-82F7151C93DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a37e46680a534ebaa81f7a808a76d3907f9de34","datavalue":{"value":"Das vorliegende Buch ist die deutsche \u00dcbersetzung der 2. Auflage des amerikanischen Titels ``Oh! Pascal!'', wobei - laut Vorwort der \u00dcbersetzer und Bearbeiter - ``st\u00e4rkere Anpassungen an den deutschen Leser und seinen Erfahrungshintergrund... in den Fallbeispielen, den Selbsttests im Text und in den reichhaltigen Aufgabensammlungen am Ende der Kapitel'' vorgenommen wurden. Es wendet sich an ``Einsteiger'' ohne Programmiervorkenntnisse und f\u00fchrt in Standard-Pascal ein. Nach zwei einleitenden Kapiteln zur Pascal-Programmierung der Eingabe, der Ausgabe und \u00fcber Programmieren von Berechnungen werden Prozeduren und Funktionen, die For-, Case-, If-Anweisung, bedingte Schleifen, Verarbeitung von Zeichen und Texten, Ordinaltypen und deren Erweiterungen, Gesichtspunkte der Software-Herstellung, Arrays, Records, Textfiles, der Set-Typ und abstrakte Datenstrukturen mit Hilfe von Pointern behandelt. Die Kapitel werden, wo angebracht, mit einem Abschnitt \u00fcber h\u00e4ufige Fehler abgeschlossen, die (erfahrungsgem\u00e4\u00df) im Zusammenhang mit den jeweils vorgestellten Sprachelementen und -konstruktionen auftreten k\u00f6nnen. Das letzte Kapitel beinhaltet Algorithmen und Programme f\u00fcr Sortieren, Suchen, und Vergleichen (von Strings). In einem Nachtrag und in 3 Anh\u00e4ngen werden einige in den vorangegangenen Kapiteln nicht erl\u00e4uterte Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 598- 607 (1986). [For the entire collection see Zbl 0598.00015.] A new approach to the computational implementation of a theorem prover is outlined. Its main feature is that the logic is defined as a data type within a purely functional programming language. Its principle advantages are the brevity and simplicity of an implementation. As an example, the program to implement a polymorphic, higher-order logic is only half a dozen pages long. Such a program can very effectively serve as a formal specification of a logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$961E7330-D692-4641-8E45-5AF3C924E2D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4039897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4039897"}}}}}