{"entities":{"Q2640347":{"pageid":2651090,"ns":120,"title":"Item:Q2640347","lastrevid":49462939,"modified":"2026-01-07T05:06:53Z","type":"item","id":"Q2640347","labels":{"en":{"language":"en","value":"Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187115"}},"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":"Q2640347$397D8EE0-CFCB-4AC7-91A6-50919E8D61FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef6c06809af94c1c54c83fe62abf492d3a1f17b4","datavalue":{"value":{"text":"Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640347$D5376F3A-C399-48C0-8BC3-D5489514DA1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f43be391c8f50afe337f448d6beee42c807f90f5","datavalue":{"value":"0719.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640347$96A71B95-8805-425B-AD17-CDAF56408B0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50a5ee17def1f88847fc3556c74bbed545c8dc9","datavalue":{"value":"10.1016/0890-5401(88)90002-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640347$2FBABF1D-145B-40E3-AFFA-5B38FBBB9A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c020a398267f1b5d5c69e41a26485d79cbb396dd","datavalue":{"value":{"entity-type":"item","numeric-id":685394,"id":"Q685394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$0DF35898-5BE0-443D-BBCF-E7D1C1ADE52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$4D9A7CEA-428B-4672-82EA-AC7307C9619C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$9BAC5DBE-F75B-4EC8-A39F-9B841D7F08DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q2640347$0F021C2A-7511-4552-93E8-86CB9983DCB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f58affd9b955ad2ca8c345bf2d0cf96dd21889d9","datavalue":{"value":"The authors define attribute grammars and show that they can be used to give an operational semantics to recursive program schemes. They define a notion of partial correctness of an attribute grammar with respect to a specification and give an inductive method for proving partial correctness. They show how this can be applied to prove correctness of imperative, applicative or logic programs. The paper is clear and includes numerous examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640347$6A337CE0-5DC1-4AB7-8C5A-44764680E63B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640347$55000006-51EE-4563-97A9-AD8B50292976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c7120a32237dfe963888ba1531e30a659f2661","datavalue":{"value":"4187115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640347$075E32A2-83EC-4A51-9D30-9E92A85C2B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982750ab9bba5d12f516767283dcad37e368d8ae","datavalue":{"value":"attribute grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640347$892C1AD9-8D4F-486B-8472-0023507D76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640347$3E300889-4AF6-494C-855A-4D1125ED67F0","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":"Q2640347$C938C177-DF6C-472C-BA09-2A3F8502D301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9239b3bda6cb2be483070dd5c237db63850364eb","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90002-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2640347$6899DDB6-63E0-41E5-9F9F-3B760656DF9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"409301b1f47b8f5a49ab6cba62245b5d4ad189c9","datavalue":{"value":"W2033188125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640347$114A9E79-1943-46AC-A7B2-43A36E1C9B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$D6ECABF2-1D7C-4013-8A8C-B4253779B5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74f3f8179cf5ebd01539721ee5b9427be270676","datavalue":{"value":{"entity-type":"item","numeric-id":4181304,"id":"Q4181304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$E2AC380E-ED37-49A5-990D-BFFCABD1CFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38abbcbe7967bc27f3df504ecabdc1246d5071","datavalue":{"value":{"entity-type":"item","numeric-id":1162363,"id":"Q1162363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$4F342C97-B541-4BAD-8437-ECE6BEC4C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6952c964346571cc46d55c2182e9c31b3abf5e35","datavalue":{"value":{"entity-type":"item","numeric-id":1236426,"id":"Q1236426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$D6671557-3B04-492D-A8E1-6E17989E19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8c8a6f52c064424777c0ddfa13d8078a2df774","datavalue":{"value":{"entity-type":"item","numeric-id":1052103,"id":"Q1052103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$28BE698B-3E3E-4F57-9834-EBC3F140CEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094f75834ec2698d4c23148de89082e769731a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3711779,"id":"Q3711779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$F9281CFC-2B14-4081-827E-57B5999C5FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f9d4f8670cb4c2109cd276abcc4695648016a1","datavalue":{"value":{"entity-type":"item","numeric-id":4144217,"id":"Q4144217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$C1A55030-9BC0-4865-AE19-26689C0E950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88317236671a21a949221ae5825c466dec4d458d","datavalue":{"value":{"entity-type":"item","numeric-id":1157968,"id":"Q1157968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$2C21C308-F1C1-4353-89BE-A244C1AC147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a3a9af33dc7463edd8dfe1cc44e271e974ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":584934,"id":"Q584934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$3A6D7B72-D207-43DB-906D-ECDBF58775DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$7C0C7403-2812-43FE-9BB1-976A66053A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937e275c0ef0a9272c03bc291064d4ee3838679","datavalue":{"value":{"entity-type":"item","numeric-id":1152704,"id":"Q1152704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$AD9E4E27-2EED-44F4-A815-FAA047F484D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$B5103C15-8A77-49A2-9302-9E4B748E23F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$318DF4E0-F5FA-4B54-96E0-3D7EEC9B9950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$E091D72D-5A1A-4F35-8FEE-4AA15F0DBA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$96726D06-ECF1-4F7C-90B3-96A9E1C6F962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da39c2a7676be69e57d6458198fa98b4a1f16cad","datavalue":{"value":{"entity-type":"item","numeric-id":3912056,"id":"Q3912056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$1F7F5704-C169-4BA0-AE87-96581BEFBF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c382cbde3a32d1c6015f5a44b3be6d39301acad","datavalue":{"value":{"entity-type":"item","numeric-id":754662,"id":"Q754662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$08190C65-1A79-4D44-8642-4CD55C8CBBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b708b22d72c3975cf34ae3e34c8628d2afc625","datavalue":{"value":{"entity-type":"item","numeric-id":4092932,"id":"Q4092932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$519E3332-F914-416E-A1E4-6D6D5CBB0975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$3BBAF229-B921-4E61-8C22-9A225817F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0be8e1d2c4d6108c57a8ec3f3a85d50e636b12","datavalue":{"value":{"entity-type":"item","numeric-id":3657448,"id":"Q3657448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640347$8FE76E35-6484-4D47-98E3-57FBE97F1E7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae5a9a2fed4fbebcdc84784e5fde42ed5f718be","datavalue":{"value":{"entity-type":"item","numeric-id":3776661,"id":"Q3776661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8446b06c63084cb96c70bf50209c81f16d771280","datavalue":{"value":{"amount":"+0.7986147403717041","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":"Q2640347$FE609CE5-1D11-4176-A8B4-4936885CBDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800a74259bc341bc93d4703aa7e72182eacf0d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3711779,"id":"Q3711779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45eb2ecafc92af3c53bcffb195b7888a1180838","datavalue":{"value":{"amount":"+0.7924426794052124","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":"Q2640347$8930B61B-FAC9-43A2-9EFB-39A8CECCD320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8def3cfbb755e4742ba9eecf0b70a4312ae70767","datavalue":{"value":{"amount":"+0.7848307490348816","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":"Q2640347$26CA2F79-B9DA-4937-AE9A-AFCB46EDA511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a1fb8055a298b3eb27d1846216ad45d95525de","datavalue":{"value":{"entity-type":"item","numeric-id":3773307,"id":"Q3773307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b8d0be941e7ef9b015dbce5156003f65c9e09c","datavalue":{"value":{"amount":"+0.7821174263954163","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":"Q2640347$9D69EBF6-E4B4-4784-A3DB-693A646DBBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10b371ddb345813d1fcb55197f89dc5523e60a8","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd54c4284b35fe0f25b735012e56d00f117f521","datavalue":{"value":{"amount":"+0.7779291868209839","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":"Q2640347$F8B0AAE3-5201-433A-8A92-051D8A49B7F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640347"}}}}}