{"entities":{"Q1209325":{"pageid":1220074,"ns":120,"title":"Item:Q1209325","lastrevid":66353337,"modified":"2026-04-12T09:31:35Z","type":"item","id":"Q1209325","labels":{"en":{"language":"en","value":"From algebra to operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167738"}},"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":"Q1209325$E7415E45-EF75-4A3D-BF9A-E58C6C4382FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5fe27ea1b1bfef6f33d396b5c5bea78d7910b90","datavalue":{"value":{"text":"From algebra to operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209325$509E1520-BEDC-46DB-B736-A301078A4702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d1f993d754a00638bba92af2c77f4fbf8deb4a","datavalue":{"value":"0795.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209325$1B8E4B2C-96BD-4A60-964A-F389FF3A697D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a3f7332eefae29c53b1519fc7f656e19c00c10","datavalue":{"value":"10.1016/0020-0190(93)90219-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209325$716D0E3E-4F9C-447A-9424-9F850429A08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$96C187D8-CBEF-48D7-BC0F-0A5996E92110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$B6B1D056-40B0-4219-8B83-8F625A37C9BA","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":"Q1209325$C46C06D8-266A-43B3-B07F-BA5ED7F0C522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q1209325$99B13033-15FE-46D0-95AB-85264060C50C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209325$7CAD8503-C1BB-47E0-BCBC-A5889C7AF043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209325$BBF3EFAC-A2D3-448E-BD23-B0776B150B6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97cc2a79c75c33138f90bf03656d1961d2443ba8","datavalue":{"value":"167738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209325$B093348C-5F26-40F1-AD2D-03A9439F48AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7d5c530870e97433d0a186425281df9a4182e3","datavalue":{"value":"specification-oriented semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209325$18E40FA5-EEFC-46E7-BE17-9E2E26053CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209325$17DD456D-331C-402F-A019-4ED86F67CFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209325$BF1EF017-920E-4B8F-BABE-90151623CE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bc66837a83c80d9b8ac5775b150f52c5bb2df1b","datavalue":{"value":"transputer language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209325$D232932E-DCF4-4C4A-92E0-2E2C1B9A2D18","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":"Q1209325$FF166411-1400-4E30-8E5E-174018DFCEC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$61DD431B-C803-4DF3-BF09-66CFA919DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f54373e21c3a90bb8e584f9473d863305fb278","datavalue":{"value":{"entity-type":"item","numeric-id":1067769,"id":"Q1067769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$7B451C5F-8456-4998-8537-7E46EA8E87DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$D9B1AA21-B79C-4906-9595-14AB2021A82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$3FCB1E18-4F74-4CD6-97FD-DA517BB87664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$367FED2B-5114-4602-97C5-0EB610854A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$F4723B5F-6D60-4E8A-A53A-3E2E01313484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$E4B2616A-D02F-431A-A1BC-676C8C038A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$60B40A90-5769-4251-912F-DB830C4C4C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5693785e784b1ca0867c84b42c239225e059d4","datavalue":{"value":{"entity-type":"item","numeric-id":4493873,"id":"Q4493873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$7156DBE0-5F4B-4163-9C43-7F8EF369A68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$1A3F27EC-7FFA-4DC1-BB20-E1BAE9085B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$24E157FE-B9F9-42EF-87B3-B9535956F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$8DB9D0F3-0F45-492F-8EA1-39ED3DE9B2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18d5035fb8e34a85e1a27c020bf6de7fdcd037e","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$F553FD9B-C70C-4204-936C-EF9AECB0D824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209325$A4FBEF24-7190-4964-BDC7-A38ECDB110CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a338038bb7c0163a09a97e703e6519269acb92","datavalue":{"value":{"entity-type":"item","numeric-id":4203830,"id":"Q4203830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e928e7a1c2f51a7dfde692766253d2d4567ca06e","datavalue":{"value":{"amount":"+0.7976911067962646","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":"Q1209325$18520B0A-5159-4885-BCE4-11BAEFF590E8","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":"853225cd0a87ab123b0499f2d9be4a3f1a131374","datavalue":{"value":{"amount":"+0.7758071422576904","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":"Q1209325$F05269B3-B511-4D45-BAB2-1F4A50A7E5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bbe022d4d8693173b8c388870da0cacceb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4029584,"id":"Q4029584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c26da081dd98f9289d7e8e5635b701a8e8969c9","datavalue":{"value":{"amount":"+0.7548540234565735","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":"Q1209325$704A600F-6FF0-49CC-9284-118CA1B50FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4784a6c5ec6fbca202f1f62bb317af08783e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c26da081dd98f9289d7e8e5635b701a8e8969c9","datavalue":{"value":{"amount":"+0.7548540234565735","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":"Q1209325$C25817A9-AAFE-4DEA-91B2-03EF1849A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9bb7de778545bcfa50d6769d6613f1965aea77","datavalue":{"value":{"entity-type":"item","numeric-id":914399,"id":"Q914399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedbfce98fb880ef08e75f5e946fa86d9c38bba0","datavalue":{"value":{"amount":"+0.7516305446624756","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":"Q1209325$7F624817-6DB3-49F0-9A01-D5AE956B8005","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From algebra to operational semantics","badges":[]}}}}}