{"entities":{"Q3657447":{"pageid":5687353,"ns":120,"title":"Item:Q3657447","lastrevid":49842796,"modified":"2026-01-11T05:40:55Z","type":"item","id":"Q3657447","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808967"}},"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":"Q3657447$EE579142-38F5-433F-9902-5704F316F5C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2243dcc0d25d23ec1123df4c809094848c4fcf1c","datavalue":{"value":"0512.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657447$A208C885-BFA0-464A-BB16-E673F2840B90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c79b2b6dab6c3156906ad008e5402503573955f","datavalue":{"value":{"entity-type":"item","numeric-id":3126161,"id":"Q3126161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3657447$A30D5272-87C2-4226-BAFC-0A0C8D504DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3657447$CFC2B030-6D0D-4BCB-8059-2C33FB202A6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3657447$D466B816-6CCD-448E-953A-9F436C845AE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657447$68FED8DA-B400-4F81-8F6E-B7AE76583857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657447$6797B9EB-B5A3-40CA-9433-88A7484260C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657447$4CE3819B-9FBD-47BB-9613-0DCBCA11830B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"578454ef915b53bd21296e427b56c59b9981ba80","datavalue":{"value":"3808967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657447$C244AC1E-8A8F-4389-A660-7B2B4BF8DFFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$54EB716C-EB15-49DF-9A5C-B542409FE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac3f939ed5b774802565a27d84196c44bc801e3","datavalue":{"value":"syntax and semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$0A46DB52-2987-40F7-8829-A063611FDD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6229f6916e59e206ac6fcedfe403aade2bfe7c5b","datavalue":{"value":"context- free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$40311906-77E4-4607-9664-A82E10788355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5ecde013c6689ade9b58b7ac3728734bf12a06","datavalue":{"value":"two-level grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$CC8DF928-DEC1-4498-88C9-A0CEE5398D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543bf8400f98f9e945a1fb4a6d773856ebd6d9fc","datavalue":{"value":"abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$EA33EFA5-6FBF-4007-BD00-BB92933C8233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6341e5fa1e37d58cd9fa3ece440a8198ef9f65df","datavalue":{"value":"Vienna objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$BA4C1C80-40D9-48D1-B572-080445DC022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780acb837314c23bb0f19acde2fd9c0a176a427a","datavalue":{"value":"attribute technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$F2D28AF1-9619-4052-8639-2A3A8F5A683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$8EB4612A-5B92-4830-BBDD-7E63CC2C684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$DE5AC44B-2807-4D09-9618-B2F0B88E9FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$9916304B-E582-4A60-93E3-701D579F682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fdfce6d20a9a0b1de8bdb31e92187177cb2ead0","datavalue":{"value":"heterogeneous algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657447$91B1EEFB-3283-425D-A0B3-9715C632E220","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":"Q3657447$100835C6-1CAC-41BF-A901-4D650EC85015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3657447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3657447"}}}}}