{"entities":{"Q1028973":{"pageid":1030821,"ns":120,"title":"Item:Q1028973","lastrevid":66583728,"modified":"2026-04-12T11:06:21Z","type":"item","id":"Q1028973","labels":{"en":{"language":"en","value":"Operational semantics: concepts and their expression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576868"}},"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":"Q1028973$836F7B99-4BED-4FA9-A608-DE0B8706309F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c34b8ffa5637c249e85963cbac8abb1ed89a18b","datavalue":{"value":{"text":"Operational semantics: concepts and their expression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028973$F4A02D62-B1A4-4E7C-853B-0B3975DA2E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55276ef3213e65d8ea5f6cf48b8d6107dbb7fc36","datavalue":{"value":"1178.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$785599D6-E9F5-4C35-BFD6-2311BA483B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d3407991775413e46e7d2ec42c674d4dfa04edc","datavalue":{"value":"10.1016/S0020-0190(03)00383-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$2396DB63-33C8-4964-BD2B-8AA4EF7ECB79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab9d14b6e6a1decf0c3a30019cc307a4c867a39","datavalue":{"value":{"entity-type":"item","numeric-id":890477,"id":"Q890477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$6BD112C9-1FDA-4B8C-AC91-615CD1C6A5B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$E8C0EEE3-D76E-438C-AD6E-C79EEA26CDEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028973$B883B653-4345-4F4F-BC05-5B6BB2C0A0B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$58C7778E-0E9C-401A-A4E5-0E37CDFF2157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$765F390B-AAA1-4922-A61F-4A9B86EB9598","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"258b7b9db54bac08e11c84a4845785da2e909823","datavalue":{"value":"5576868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$E297029C-88CA-45FD-AF53-D84D15D5210E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028973$C2B8922E-F7ED-4910-BA30-CFE417AB16D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028973$1F521A83-6A19-417B-A94F-A49BF7533F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028973$66DF60BE-D770-4657-93DF-6629207E7C57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$74B17B51-54EC-48FB-9803-EC657E6C1D7C","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":"Q1028973$FF35B4F2-3C3F-435F-8F2A-ED3B3EE7B679","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc19feae7bb00446f154bc34e76d030615fc908","datavalue":{"value":{"entity-type":"item","numeric-id":3844650,"id":"Q3844650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$A8C281A8-04B3-4694-9833-D65AEDDB5E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2d5b3b619440a8688bc904c8977683133d0bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1244808,"id":"Q1244808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$C316A537-5693-465E-9CBD-7C3913607E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8c313fe327d52c6e5cbc31ca27fa299841d34c","datavalue":{"value":{"entity-type":"item","numeric-id":5626278,"id":"Q5626278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$655E0F14-00AE-4D85-A8DC-BE8149CDDA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7490d30dda98d7950da5244d2d3b970e8bc3a1c2","datavalue":{"value":{"entity-type":"item","numeric-id":2545843,"id":"Q2545843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$A1983C8C-787C-425B-91DD-BF365C20ECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1418aa91682f483c6b6321c87461dd33f792a58d","datavalue":{"value":{"entity-type":"item","numeric-id":4776857,"id":"Q4776857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$9D649C02-48D4-4715-AB32-2DF072EECB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5ddd0fdc7e50df53abfb32ae475ac4495b6549","datavalue":{"value":{"entity-type":"item","numeric-id":5626276,"id":"Q5626276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$359E97C4-02FA-490F-A4A8-CE223CA229AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea99bb4ea8aa82dee9a3885ad4b88ba9108fef68","datavalue":{"value":{"entity-type":"item","numeric-id":2755063,"id":"Q2755063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$0800BA0B-9B1C-4C37-8FF0-C1CA70144579","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":"Q1028973$029C4914-2C60-4214-9C88-9A2A90E3B1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f59670041eac4f525d06e2e108712662c3afd29","datavalue":{"value":{"entity-type":"item","numeric-id":3916034,"id":"Q3916034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$A8FE7A75-AB73-4ECA-9FB5-E94365A59F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f99474e815e9a58af5ecf38dae1b4c7e0a14b90","datavalue":{"value":{"entity-type":"item","numeric-id":5621937,"id":"Q5621937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$7AF367AC-4197-40DD-BCDE-2B6CD9CA6D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05d370e742db25d8daf3b0874c29af265906af6","datavalue":{"value":{"entity-type":"item","numeric-id":4023578,"id":"Q4023578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$C2A084F5-868F-4ACD-B52C-8CFDFABDC18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$257DB24C-BA4C-49B5-99A4-25FCE00F59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aae076fad27579dd47a99679b5cf9e3276f4125","datavalue":{"value":{"entity-type":"item","numeric-id":5531462,"id":"Q5531462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$8DF3B847-1B2F-4D5C-82FB-2006BF3A12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$C75D0946-41A7-4FC4-9DEC-86D4E323B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c0fde59d24497f026c6ba4ac70b6fb3edeafa6","datavalue":{"value":{"entity-type":"item","numeric-id":5578049,"id":"Q5578049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028973$53C1DFDB-27FD-45AF-A3AD-DBEB6B79732E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e348e73731f4d730d923b8db049a60e68caa034f","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(03)00383-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028973$CDCC76F3-2BC8-4BCC-87BB-A6EF903BC7C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29a951ad662f2c7334d5117af4d4021c15b7f377","datavalue":{"value":"W2000457893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028973$72A39B58-C883-4061-B650-1E1CC75723F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational semantics: concepts and their expression","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_semantics:_concepts_and_their_expression"}}}}}