{"entities":{"Q1355752":{"pageid":1366491,"ns":120,"title":"Item:Q1355752","lastrevid":46736643,"modified":"2025-12-25T12:07:37Z","type":"item","id":"Q1355752","labels":{"en":{"language":"en","value":"Equivalence of formal semantics definition methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014241"}},"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":"Q1355752$8B93AFAA-3138-49D0-9A8D-64B13FBAD0FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ffe5cd167eb5dc2b0da70e1cfd68d0358cdbf3c","datavalue":{"value":{"text":"Equivalence of formal semantics definition methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355752$216A1969-C385-4D96-8ABD-956BC13D4CB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b6a82698a6fe71a7971bd3cfb81124856bcf77b","datavalue":{"value":"0868.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355752$39060C7E-1F59-4053-9A13-F036FAA06F46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2758e08e8f26779e2a9526b9580acd8bf39c9697","datavalue":{"value":"10.1007/BF01212525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355752$4DDBA147-3655-44FA-B112-4E0E00FB039A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3654adb31f5b7c22e35d09978aedf9ae5a3843e7","datavalue":{"value":{"entity-type":"item","numeric-id":1355751,"id":"Q1355751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$8651E25D-848A-4A33-912F-2FBFA51109D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$01558238-017C-4734-BD94-3652170CB6BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e867b150d8a1bb758643b1fb4dd63cfc4c912853","datavalue":{"value":{"time":"+1997-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355752$A7E6C33C-38BF-41E3-9B48-ABC2A4B422BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355752$4CAE5D7A-620B-4D10-8466-2F54822124E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd5ee69693f465b63c6850a2f917ee4b5d24874","datavalue":{"value":"1014241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355752$CFA20114-A95D-4A42-BD43-26B820D423A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355752$7CF0140B-80F3-44AA-ACCF-80F249216142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355752$65D875AF-41AA-473B-BAE7-B829B4B27AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945dc03b11fa339cd92e558d337b54cbd60af032","datavalue":{"value":"action semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355752$0DAD9E64-5217-4E1D-BC66-80C8C8BDA97F","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":"Q1355752$4B7FCB54-D9A7-470B-8024-B2D3DAD52B09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c7bf54c504d79a2b392a1783a9955d11416d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3686024,"id":"Q3686024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$BF4B7FD5-42D4-4F91-B44F-F416734C0886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$5507E0FB-398E-41B1-BAAC-0210BA6AAE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$EDC504A4-33CA-482C-A8B3-404E3DBECBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cbcfa06e6d1ec9c617eca8a78724a5d0815557","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$6BFCF1F3-2EDD-4B24-A536-9607F33EE830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$FAB923A1-29E4-4B7D-B465-C4C013B592C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$574077BB-69A9-41C2-B583-7CF09E83AEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce2149efb7776ed100ced5cc608e13cc485228a","datavalue":{"value":{"entity-type":"item","numeric-id":4201911,"id":"Q4201911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$50CA6422-C936-4BB1-B1CB-2AF7A0C5AF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355752$0CA9597C-8F39-47C9-8AE2-3870015F5807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81aa5f1d3b5a9ad91db93d572b7c5f0cbddfa0de","datavalue":{"value":"https://doi.org/10.1007/bf01212525","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355752$A9368E76-9E02-49E6-9AED-14F9D911DE6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15b0c0fe4be9ed6e9fce31fe207907d3e1f3c10b","datavalue":{"value":"W1975908952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355752$69DC80FF-492B-4E67-BF81-DE263561F012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bd519a5ebfbb73d6276508e76925343783b16f","datavalue":{"value":{"entity-type":"item","numeric-id":6116566,"id":"Q6116566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612a487df971f739816c792d6f1c6c95d540fb12","datavalue":{"value":{"amount":"+0.7332587838172913","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":"Q1355752$871BC11F-0661-4C03-89C7-5630E7E82057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e475be0ffc34429b0bc25aad612959fb2631fe","datavalue":{"value":{"entity-type":"item","numeric-id":5402543,"id":"Q5402543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0a6c361a1c83432b128a00cd413dbdb518ae28","datavalue":{"value":{"amount":"+0.6882601380348206","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":"Q1355752$DF54F170-69E8-46CD-89FB-9EF5545993CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8a14beb6530e3f3324fe8683532b9231dc6f09","datavalue":{"value":{"entity-type":"item","numeric-id":439958,"id":"Q439958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c767605bbdd96451900fd6b43402826cc1bf812a","datavalue":{"value":{"amount":"+0.6880595088005066","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":"Q1355752$0C929B0C-4717-4328-A050-A77DF9C1AA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9000bfaa13360a59018860b46e9277f9cf6750d","datavalue":{"value":{"entity-type":"item","numeric-id":2994226,"id":"Q2994226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481e2b2ee854bc330777b25944b86cf6534edc2b","datavalue":{"value":{"amount":"+0.6870585680007935","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":"Q1355752$091977D3-1269-4509-AE57-A87D1AFB027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b7716c8be20d509ee56cc563ec551facaee4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2202012,"id":"Q2202012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042935907fc9f752be7906af552f259a2f455e7f","datavalue":{"value":{"amount":"+0.6808789372444153","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":"Q1355752$625AB83C-457C-40B6-9C38-A318C772A3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1355752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1355752"}}}}}