{"entities":{"Q754662":{"pageid":756511,"ns":120,"title":"Item:Q754662","lastrevid":42677624,"modified":"2025-07-08T09:46:31Z","type":"item","id":"Q754662","labels":{"en":{"language":"en","value":"Correctness proofs of syntax-directed processing descriptions by attributes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648156"}},"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":"Q754662$91A1DC44-364F-4D28-998C-88C91D1BC6F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3bf2528c144d3b7764f75e2efb57a1965ad4db4","datavalue":{"value":{"text":"Correctness proofs of syntax-directed processing descriptions by attributes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754662$0E6C2FEA-4CF2-43AF-9CA1-84B1F1F885DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"704e72e2d855dc46d91cf8c5ec8b18cee844ba7e","datavalue":{"value":"0416.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$5188CBAF-7424-4616-A183-1A57C7A9ED85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e332d0f43e66fed8a1e39062da881c61fe3f09","datavalue":{"value":"10.1016/0022-0000(79)90009-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$9D15EDB3-21F3-40B3-9096-6B8B3E038F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73cb539f2a987dbf973565e4e02bcf677117e363","datavalue":{"value":{"entity-type":"item","numeric-id":754659,"id":"Q754659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$C206501A-CEF5-475D-9B1C-3BCF6A4790A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbd183b2f87b6acb4f89aeb57db31a0aaf55760","datavalue":{"value":{"entity-type":"item","numeric-id":754660,"id":"Q754660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$5CC10602-8C2F-4C42-8C2D-4A18CC53EB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081ce89ee7f9d67ead5aab15008db59588ce398c","datavalue":{"value":{"entity-type":"item","numeric-id":813436,"id":"Q813436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$72A82088-D1CD-47B4-8067-8B0203561BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$81BB7186-3FA5-457E-93CE-DC24BF46FABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q754662$F553F3DB-27E2-4D2C-9EBF-EE9EFFCC1CEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$5E54FA7B-702C-4FFA-A761-E9E3C586F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$738C82F5-7A21-4121-825E-D92C95734D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$302D821A-29E0-478A-B8D3-AE1DA1C64144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"743b8e9ed0eeb284a2e67bb430326973e35e8ea2","datavalue":{"value":"3648156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$DA6FBDD9-D13B-4D0E-B40A-31ECF948706C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72aa32c3c427bce911e022f36405ebcab9e7ae6b","datavalue":{"value":"syntax-directed processing descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$D518F4F6-CC42-4EA2-ADAC-537CF1CD9E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fba238678cfb9af341e01675e68c99fdab08479","datavalue":{"value":"text processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$9C082045-5DB4-423C-AD03-C15C227F44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$4B874E4C-4FCC-40C3-AD57-6454074A343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$23E475FF-FE85-401F-B657-40C28B2A7D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fdfa29fbc12a86bb84e25b761e7aaa4d7ae231","datavalue":{"value":"attributes semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$551BCB09-2E0F-433B-96BC-B600FB4775F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07211cbeccf923f58b5c1e5c57fec32b5bad94e9","datavalue":{"value":"compiler optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$1A7C823E-24BA-4379-999C-42A48E61C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bc617b2928c392f097fc13c3788bc6e1efa92e2","datavalue":{"value":"finding non-executed statements in a program","type":"string"},"datatype":"string"},"type":"statement","id":"Q754662$CDD161CA-8514-43B8-AF7E-F89796A5E600","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":"Q754662$D4AE15EE-DE9A-47BA-9FAC-FE698C7143D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"381bf1fa2f179073ada7f78d546f74bbd19cea59","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90009-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q754662$A9E0A3B4-4ED7-459C-949F-EF58C7B475A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de823b2f14d3bb9fa0a734bd7458853fe42bb86f","datavalue":{"value":"W2069800771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$105BDFCD-3493-45F3-80D3-D7BA055C0FA4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41ba3e7fd8f5fc1afd497885bd79f16f90989a78","datavalue":{"value":"Q111465599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754662$F6E5F374-6D25-4B65-A5B9-D1A1815E3EFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"081e2a769aa646004eecd74b51afcc2dce55ea71","datavalue":{"value":{"entity-type":"item","numeric-id":4144162,"id":"Q4144162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$53A59728-7B7E-43F8-83DB-129B0F1F8F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cafb812021e36a7ead01e2f4b29c80707eae90a","datavalue":{"value":{"entity-type":"item","numeric-id":4057550,"id":"Q4057550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$B1933051-31D8-4471-8013-5FCCE554EF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf1b7e9c7d176c3d41d79d74f52134bb9839e43","datavalue":{"value":{"entity-type":"item","numeric-id":4057557,"id":"Q4057557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$F28FCF6F-7AD6-4463-AB5B-0AEC1BB1A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$255178E9-EC45-4948-9BDB-29CCF0C4334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$C50086D7-7CDB-425D-8D25-E014F47B25AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$4285347D-D4BA-41D8-B49B-9075B264646E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bb7acdde05fdf6ba90e6e40bd3e259cc99dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":4058103,"id":"Q4058103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754662$A8D87389-1673-4DA7-A0C4-4E7777187159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:754662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:754662"}}}}}