{"entities":{"Q840084":{"pageid":841932,"ns":120,"title":"Item:Q840084","lastrevid":64733130,"modified":"2026-04-11T21:51:44Z","type":"item","id":"Q840084","labels":{"en":{"language":"en","value":"Operational ontological approach to formal programming language specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601832"}},"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":"Q840084$401ED06B-F067-48F9-AC4A-778D147BCBCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b0471b6aeaa95dc2d7b5fc271d02efdc345674d","datavalue":{"value":{"text":"Operational ontological approach to formal programming language specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840084$224CEFBE-DB19-40F3-A35E-D4E64AC0BD79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10208732fb2025ccfb2a215c3ff6c4d7f465c336","datavalue":{"value":"1185.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840084$626A4168-0470-42F9-84BA-BBDCAA94D81A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36d55451481d630392dd5a60de3a021c140e390","datavalue":{"value":"10.1134/S0361768809010058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840084$AFC24A2D-07FC-485C-8D96-80A2CBE84DC7","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":"Q840084$0E7A2855-80F4-4BAD-B20C-9D07026D0210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$591E9DC2-D70D-42A4-974D-4DFEAE5713E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840084$931840E7-8778-4068-BCD5-5E3B590BA4C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840084$AC05EAF5-4E9D-47E4-8A91-E8D224A668B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840084$57251C96-DBD0-468A-B400-3D3C8B896594","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df01485e5ec7e2846d420fb92771de4b5bad970c","datavalue":{"value":"5601832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840084$1A7283FE-EF02-4313-8D20-64C7E96BE3D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684cee8c1302fb331a380ebb372d82373796b91","datavalue":{"value":"operational ontological semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q840084$064C6C3D-626B-48CF-AED1-6563B6A248F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2955eebc1461ace54302afff987ef7c5d27c55e7","datavalue":{"value":"ontological transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q840084$99BD6013-6CE6-4486-ADB8-F0B5EC913EDA","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":"Q840084$C9621748-11A0-4CB8-B6A1-AA24B2529B42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa92cfd58f790c6da34462c4a8ff10056afc4344","datavalue":{"value":{"entity-type":"item","numeric-id":5901857,"id":"Q5901857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$E9ABDE1C-438F-4554-88A0-655F7958B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$D62C0510-344C-4F5C-A368-90653BA88D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbdb4b906990b3b894ae8a75afe970db06bf4a97","datavalue":{"value":{"entity-type":"item","numeric-id":2882982,"id":"Q2882982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$3CDDAD8D-9959-4B20-97F6-7252CF9CF132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d750cefa93d35eee4a984f40b913ffe3263ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2882983,"id":"Q2882983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$0FAC7342-37D9-42D9-AA07-5365F7BF433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d03c749807f109d751e7a33ee19c908d6bbdd2b","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840084$8B536809-AF1F-48CB-BBF4-7A41C5757095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80619d36bab39f3016d3bbe85d1275dd6455ae93","datavalue":{"value":{"entity-type":"item","numeric-id":4553627,"id":"Q4553627"},"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":"Q840084$287AC2A4-5005-40EE-A445-3433264A0D9E","rank":"normal"},{"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":"f85aefa8777b93d3fa923382fa7afd740a226730","datavalue":{"value":{"amount":"+0.7711400985717773","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":"Q840084$E92B6455-9532-406C-8DC7-6E8081005571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e8ace3736243fc83e0e8edfce0012cc87fd79","datavalue":{"value":{"entity-type":"item","numeric-id":4520504,"id":"Q4520504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ded63c4acde2feddd929cb1c68cad61b77cc21","datavalue":{"value":{"amount":"+0.7483384609222412","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":"Q840084$CD9CAC66-2D15-4627-88E5-C2C13AA90AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a0a91555dbf756a64e5222e8404ac94963fdcd","datavalue":{"value":{"amount":"+0.7440035939216614","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":"Q840084$A2F70254-B6C9-47E1-905E-32427F33C5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f037857bb9198050e50962830410581a364a2781","datavalue":{"value":{"entity-type":"item","numeric-id":4233991,"id":"Q4233991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17da8e0a792754a820296baa1768d5dfdbb1c4cd","datavalue":{"value":{"amount":"+0.7429099678993225","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":"Q840084$192667DA-7D22-4861-958D-9FC36A093EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational ontological approach to formal programming language specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_ontological_approach_to_formal_programming_language_specification"}}}}}