{"entities":{"Q5166622":{"pageid":7196194,"ns":120,"title":"Item:Q5166622","lastrevid":100671473,"modified":"2026-06-05T22:44:28Z","type":"item","id":"Q5166622","labels":{"en":{"language":"en","value":"Modularity and implementation of mathematical operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309385"}},"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":"Q5166622$2F7B2F82-76D3-4414-8956-14C402C73BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88cdd82b50f7b4da661a589cf40b2d6e082fea85","datavalue":{"value":{"text":"Modularity and Implementation of Mathematical Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166622$68B7E2C2-0BEC-4945-A5D2-DF7FFAE2E013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0044bc1f2e2686162adbfa7c7d5f977683005627","datavalue":{"value":"1291.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$9085E9AF-2E30-413D-89C9-5F56BDE08694","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bcb5a091730863f75521175fdc3e1c8ef472b5","datavalue":{"value":{"entity-type":"item","numeric-id":615953,"id":"Q615953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$31B034BC-AECF-4284-8B3E-22B0330B2587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$873AAA47-4070-4727-918F-7C0A4FB5ECA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8622c8ee6ed76364e1c43c69cb8b509147e932ce","datavalue":{"value":{"entity-type":"item","numeric-id":1603475,"id":"Q1603475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$533E7855-641E-4338-8B72-9D87AEE9A11E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$BB5553FC-6354-4E9D-B38A-9A93758A3519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166622$D8ED9335-11D4-4B2B-A0E2-6DF176042965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$BA9A8AAE-F41C-4A64-8390-97BD50D67A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$82D761F1-840B-4EDE-8374-F17A6BA7FC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$FC0C9F11-0866-4B90-85E8-83B3A0DC5B81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d73aa30bed41796a3204488dbaa6508f349335ef","datavalue":{"value":"6309385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$A14173F9-1191-4E2F-BE25-4FEED73E0797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166622$CF57C17F-E39E-4CC9-84C3-174232F8E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166622$93DCD0A8-29C7-46B4-834F-B9623457D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166622$65ACD1E0-127A-4D7B-99A9-694FF07D987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166622$4C8C5551-53D9-4ECF-880C-9102BF1A421B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dd1a535dced296dcf51f1125dd78815ea2a3abaf","datavalue":{"value":"Q113318283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$8CAA6989-5B9F-45C6-A8BE-12986EA9375E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$7E296416-31AC-4465-A421-F3ECA323BC1C","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":"Q5166622$858E0AA8-85B2-40B7-9856-6C6FC418D5B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fffcf6f4574ca0dbbe6bdac68652973270edee","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.02.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166622$C29DFE22-32B0-4494-B441-1D88E4CB70E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f07b969b1124eee4a51fb63527dc7624a519ee4e","datavalue":{"value":"W2139628421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$A9A6F653-CC05-454B-83D9-0A05D0561454","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":"Q5166622$4314E363-4591-4B99-85FF-5AE4F483C895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$26201A88-EF16-4709-981A-D0EC34A1F013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b4eb0ccc00ef5c07fcd2755b80778305ba150f","datavalue":{"value":{"entity-type":"item","numeric-id":2847808,"id":"Q2847808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$1E4B57FC-B33D-422E-9A5E-99B380D573BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0482a745629093244d13fd1299cd347050c1fa08","datavalue":{"value":{"entity-type":"item","numeric-id":2949200,"id":"Q2949200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$7AED2C10-9DFD-4756-81DE-55B9194F7232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d77bbce06dee767b923dbce7a63e4752ff3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$87684E9A-B38C-44EB-BA26-3455BC53DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b6454dd2e6cb4f73858a28f62927c19908d867","datavalue":{"value":{"entity-type":"item","numeric-id":4659887,"id":"Q4659887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$E2FA2F41-4284-46C0-8526-44809CE21949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$05A39AD9-354F-46CD-9A36-0FD8004AA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9b2f3e9a885e2205a31b0b56e0a8e6547368a9","datavalue":{"value":{"entity-type":"item","numeric-id":5348904,"id":"Q5348904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$BF04998F-9BBC-4879-8C03-0D0A6CF548A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$12E8F57B-3769-4D2D-98B0-AF45D6D50051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fbb9f25385f282339d93cdbfd798a787a3b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":2847814,"id":"Q2847814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$B56545E5-127A-4D65-9931-F7107FC7F202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45878fd4eb67e5421fec78b7ae9befc0923926c","datavalue":{"value":{"entity-type":"item","numeric-id":1878714,"id":"Q1878714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$1D9C03D5-342D-473F-B99E-6BAE14D5F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$364B02F4-5D4D-4C0E-8072-C8600D309CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$0F6D3BBD-2B37-4473-ABBF-A34AAD0B7050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$67FBF753-1A40-49D8-8CD3-3464DA238A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$8545C008-9014-4191-A08E-648B540E76E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$B23DD1A9-0829-49A5-94F7-3144DB7FF48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$50909B91-F439-451F-8D1B-8AEC13E85012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74373b55bec6df4b935c511f0aa61279530718c","datavalue":{"value":{"entity-type":"item","numeric-id":3520165,"id":"Q3520165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$037CA1AA-1A80-40EA-8314-70D560FBC7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b85c54254a99d57525a41dec86a49f187bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166622$306F9418-A2D7-4BCA-8885-DBECA50818DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b64e0df51b331d4eff81d281f1299a7dfe88f789","datavalue":{"value":"10.1016/J.ENTCS.2011.02.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166622$B1CC849A-32D1-46F5-977D-92904990343B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc71ed7449e5cea924b241928f11d67c0b2a5d99","datavalue":{"value":{"entity-type":"item","numeric-id":3709856,"id":"Q3709856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a4e2453f22da658d59bd39694572f058586ade","datavalue":{"value":{"amount":"+0.7918687462806702","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":"Q5166622$107A4A2D-D3F6-4AA8-9F4A-315648068E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cf21d12e83bfe081c6b8272e8457d969f7444c","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2258fa63ffca328d2ce5483717aa9a3c84404c59","datavalue":{"value":{"amount":"+0.7906505465507507","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":"Q5166622$6077184F-A85F-4570-8102-2A7967D2553D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca33653633608d178b9797a364b19260490fb51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847814,"id":"Q2847814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfc1cdc6186b9234fa4aa290e1558cc3ac2d772","datavalue":{"value":{"amount":"+0.7905616760253906","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":"Q5166622$510951A7-DBF0-47BC-B5B5-A243CBA5450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128b3f8db1bf46c9964dacc99396474dea05345e","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc46e7ff512ae786edf6fb69b8be0e6772b3df6","datavalue":{"value":{"amount":"+0.7864362001419067","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":"Q5166622$D6A79AE5-2284-4DB4-A360-E92A5BB4886C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012dfb254777ee5d4746a87a991c5aa1b3a89dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4910416,"id":"Q4910416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b87e84ae939986cc3780a092b81a977ee7820c3","datavalue":{"value":{"amount":"+0.7772471904754639","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":"Q5166622$25DF6D7D-1156-45B9-AB8B-86727F61559E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity and implementation of mathematical operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modularity_and_implementation_of_mathematical_operational_semantics"}}}}}