{"entities":{"Q5096140":{"pageid":7125716,"ns":120,"title":"Item:Q5096140","lastrevid":94266275,"modified":"2026-06-05T06:22:57Z","type":"item","id":"Q5096140","labels":{"en":{"language":"en","value":"Unified algebras and action semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571913"}},"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":"Q5096140$BD9B72DE-BE21-45D5-8BBE-6F9821EC671D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f3dbee0324e7cdce83726555be0728ab0de3d1c","datavalue":{"value":{"text":"Unified Algebras and action semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096140$1133E748-C5BE-4B10-A7EC-E9B13EB4F61E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9656e7aecd4d2bf7f6ad1592791dc2bcfdcb98f4","datavalue":{"value":"1492.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$9398903D-D4CF-4039-B75D-837F57988B43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$B814F4DD-E7BE-4780-B20A-1015CEA0CE94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b060475a421a23318c909b1beea7e63f4d8ea20e","datavalue":{"value":{"entity-type":"item","numeric-id":5096138,"id":"Q5096138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$A01B0D36-9ACE-464A-8841-2F53A4AE0663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096140$74DB2306-D0BD-4B5D-A5F5-F58FCA4D1D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$C8BDEF09-EE90-40D3-A2AE-E5378E1390FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$ACB34B92-1D4B-46F6-AD7B-8CA24FCBAB75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d92634abf09f44e0673e12fb0c6ee223b0c2b84","datavalue":{"value":"7571913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$23D8AE90-FEB0-43D0-A514-B761156882B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1daa56cc13e032c974b9c5e7f191454572c084","datavalue":{"value":"unified algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096140$4455FDE9-1D43-49B0-A27C-3E0A9F12A94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543bf8400f98f9e945a1fb4a6d773856ebd6d9fc","datavalue":{"value":"abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096140$F3B038CA-818F-41FA-89B4-8C3902A88635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945dc03b11fa339cd92e558d337b54cbd60af032","datavalue":{"value":"action semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096140$6E01F56F-F64E-4DF7-80D3-4A07B347FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096140$25D06B84-B973-4A15-8012-A58DFA5C995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e18aa3cd1221849b0fa5b9c76d737a201a45bf","datavalue":{"value":"concrete syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096140$6C0B7D36-3121-4169-BAE8-B931B2C7EEF5","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":"Q5096140$E58573BF-A2E3-4D98-8227-6245643E2476","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd6ccbf0050681cc0866e86b7fee1c64833e3d3e","datavalue":{"value":"Q57783641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$ABF24174-7ECC-4909-8A33-1A1B1E281BE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$6B29CEB6-30A3-47FB-B901-53BA7B9F7FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$E7025D40-AC06-4CE9-9361-FD0B6C95145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$AB9C39F6-224E-4492-BF88-97BBFD261334","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":"Q5096140$9D3A8011-5E0F-4206-93F1-DF0B16DE0C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$4278BBA6-2EF7-4C65-83D6-71D7D5E63504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53df5a0db0f8dfae3cf9d762bf0f64420ba10d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$BD333C43-654E-4FF0-A961-72D5DBE68F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$2AF3E49C-A39C-41AE-81F5-EBA4C72DAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$A70FBC62-9F47-43DC-9948-E902B4B8D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$FD7C08CA-B92A-41E6-8578-3DE548C3BDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096140$60CE779C-1CE7-4B0B-9848-76F7744FF9CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0667a198407e9e44b72719ee456d6e6282709ce5","datavalue":{"value":"10.1007/BFB0028970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096140$11E0ABFA-6B1D-45AA-8402-4ECB53699844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"445b215e22d71f6872ecf22ff5708d72afe93b97","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af09e8b9594c652e05868c0e3da3fdb00df67d8","datavalue":{"value":{"amount":"+0.8147842884063721","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":"Q5096140$9C021FFB-3B69-4E0F-8D94-0AE57CE1A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f268b10abe8a57182a823aa5a7f4c5d2eef761ad","datavalue":{"value":{"entity-type":"item","numeric-id":3455645,"id":"Q3455645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80aba6c9b566ee8858398d040b231f4bbe9a3b1","datavalue":{"value":{"amount":"+0.7434035539627075","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":"Q5096140$CD3283F5-8BE6-4B64-9336-3C2B8FA6B152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67fefd38c80533b458a11b26c3d6faf04a7bac4","datavalue":{"value":{"entity-type":"item","numeric-id":5901322,"id":"Q5901322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d62fbc74d1058838cbef7d4aa9863659058f19","datavalue":{"value":{"amount":"+0.73605877161026","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":"Q5096140$2DE6F34D-72CD-4CB6-B232-CEEABAD40BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8474efe9cdabb17ae2892899b653fc9941028a9","datavalue":{"value":{"entity-type":"item","numeric-id":4896923,"id":"Q4896923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6c9a338876a8b691fae8264051b426b437eae5","datavalue":{"value":{"amount":"+0.7288312315940857","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":"Q5096140$EE50BF05-3F7F-44E4-AFD1-D72E631815FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f8875fc45891253cc43b5a636f5733d9eb60b1","datavalue":{"value":{"entity-type":"item","numeric-id":2638792,"id":"Q2638792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2963cb9d2b5f4eb6c7f2b9abef3bcbccd3b44c8","datavalue":{"value":{"amount":"+0.7237112522125244","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":"Q5096140$4310B618-3502-4640-A7E9-FD1C52B20BD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unified algebras and action semantics","badges":[]}}}}}