{"entities":{"Q4553627":{"pageid":6583219,"ns":120,"title":"Item:Q4553627","lastrevid":53258849,"modified":"2026-01-24T14:02:09Z","type":"item","id":"Q4553627","labels":{"en":{"language":"en","value":"Method of the development of ontological operational semantics for imperative programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6969030"}},"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":"Q4553627$17DB6936-0F30-4CF3-9CE6-604481A43E9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55bab0490ccfc8b963366fc6da3079174e97c5c0","datavalue":{"value":"1413.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553627$6DE6B58D-22D0-4837-9104-3F1259848C3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553627$53127484-975E-4460-8E9A-EA95B401CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"928b9031de9cd2d614bef587ae4e4e3b54de2c25","datavalue":{"value":{"entity-type":"item","numeric-id":4553625,"id":"Q4553625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553627$D009B38F-D8C2-41A1-88FD-E08C1F494AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3bcf352aff7b91c06c471c005db532e33d987a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553626,"id":"Q4553626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553627$3401219A-32C9-4274-A9B7-3C5E75A9DC56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4553627$110B9BD1-A3DF-4A29-BC45-C9B205108D30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fdd527042a49adae68376e232179391369efb0b","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/anureev_bulletin_2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553627$B347EC25-E275-42AD-A99B-E2978C4B67B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553627$C1CADA13-1659-4B90-9EC3-7E4D3B36713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553627$60F54564-BAA3-49F6-A774-6751E1E8247E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42c6c49068b93c1a9afd840b76c80049c3b7ed35","datavalue":{"value":"6969030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553627$A7CA24FA-99DC-42B2-A3E3-8BE42B2AFD4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553627$D211263F-B209-4EF9-85B2-91FE921DAB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b437d7a1aeb72880a7a59c1f62bc053e69f29135","datavalue":{"value":"ontological operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553627$D7C6B5DE-F412-4674-B2D0-8B7C5A32AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f77ea44f3b3f62a09887295ae7f250322762bca","datavalue":{"value":"information transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553627$F7B3D6F0-B115-4FD8-933A-5F7AD1BC2196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e862f7fff81a5c52ba2aa7e8fa724b31cbecea","datavalue":{"value":"conceptual transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553627$4D76CDEF-3B72-4C1B-807E-370389B6B5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35984d75f96b8273ee58ad427140a23f29b8c","datavalue":{"value":"C","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553627$6C9860FF-A009-4171-A2DB-597294080B28","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":"Q4553627$81BA3CCC-874E-42C0-B10D-239319175340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0c9bad4d11cd90899abcd1a8b6afcc681f583","datavalue":{"value":{"entity-type":"item","numeric-id":2979881,"id":"Q2979881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5526254bb0d8b8765458a7c41c4c3b965f131f7","datavalue":{"value":{"amount":"+0.8662151098251343","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":"Q4553627$8E71604B-605F-4C33-91BB-B073345E9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aae5c30834403e688056701fe69970d162b965","datavalue":{"value":{"entity-type":"item","numeric-id":840084,"id":"Q840084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80246b129c64ada3a8d65ccaa14d53da59e45d72","datavalue":{"value":{"amount":"+0.8472528457641602","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":"Q4553627$DE0EA900-1D45-4333-89AA-AFF9D23E2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9032c0fdaeb6ac5b37aafb42522bf7bdf3f8ea42","datavalue":{"value":{"amount":"+0.7495562434196472","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":"Q4553627$18B75E8C-92A1-43AE-98AB-8510E3347D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00db27bcaee52a68ce12f1770f4c0b50042d8c44","datavalue":{"value":{"entity-type":"item","numeric-id":2864516,"id":"Q2864516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b88ba47c385d60b7868edd2ee8c3b5b56601ee3","datavalue":{"value":{"amount":"+0.72515469789505","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":"Q4553627$89FE9216-C90A-467E-B779-93E28BFEAC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bec3b64ec1c2860d8e83ff6d77e04da10a1b77b","datavalue":{"value":{"entity-type":"item","numeric-id":3525020,"id":"Q3525020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a81dd3602aa9310cf5b79fa3a88a2fd4e79728","datavalue":{"value":{"amount":"+0.7210556268692017","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":"Q4553627$0570693D-CECF-4016-AD0D-2D79522CE071","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4553627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4553627"}}}}}