{"entities":{"Q703525":{"pageid":705374,"ns":120,"title":"Item:Q703525","lastrevid":63744915,"modified":"2026-04-11T15:15:21Z","type":"item","id":"Q703525","labels":{"en":{"language":"en","value":"Category theory for operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126099"}},"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":"Q703525$7182AF9E-5370-4E5F-B6AF-C264D38D1339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e50a32f6aeecbcc6e39bae1a477644fc7b691c3","datavalue":{"value":{"text":"Category theory for operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703525$054FF5EA-32CF-4EA9-B947-D0B450F02A8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3208f210a2f936efe7f20b52137189f41c21ac9a","datavalue":{"value":"1071.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$E2A339DC-CB6C-479F-A6D6-64F9987F9FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$F71F294B-E448-454B-8713-9AB2F60ED3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b93d188838f0a19c9265187eef4c671ea0c962e","datavalue":{"value":{"entity-type":"item","numeric-id":703524,"id":"Q703524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$5B1FE893-EA56-4B47-B741-3EB5BC1AD256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$F5183A1F-6940-4A66-ABA8-5D99DC1F244F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$B23E3827-5323-4950-90FA-DDA7DAFB4BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703525$36A002DD-A691-46E3-AAA8-2C1C82CD6D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$4940E8DF-1B4C-453B-A85B-E2A62ACFD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$C3989E92-9BD1-44F8-AEE1-54DEFF53D4F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092088acf2ab1e458951cf6056033c7a16c7f117","datavalue":{"value":"2126099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$D46A3F4F-E4EE-4C94-86B6-6DD41EF97AF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72dd1c4153e567feb08277f0a6aac615a958e8d","datavalue":{"value":"Abstract operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q703525$3442A84E-2F06-4F0B-AE62-11A6D7B2CF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d444a8793db90dce55269bbeabf4a5f9417226","datavalue":{"value":"GSOS-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q703525$F1471B21-6A89-4E1A-A083-683A69109B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72cb52edddc8f598aad6b3053d7d68e8c1263932","datavalue":{"value":"Distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q703525$83E7FFFE-5895-4F8E-8811-D134C218C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ea84d16afe54bed9ec649667edbb88043b21d1","datavalue":{"value":"Initial/final semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q703525$6A43FF54-D596-43D6-8980-5C180BBF3196","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":"Q703525$997BDEC0-6CCD-4F9F-8744-3E92FE725AD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afd42b739d8ffcc0b7a6c53b8828bc3edb87d8c2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q703525$269E5CA0-2F60-475F-BB72-B83B05DEC99B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d14650960cdb59d54b3ee4c6d1d51807e857eae1","datavalue":{"value":"W2026552167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$7ADB9BD1-F7C2-4C96-98D5-C5EB1F9527DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$04965EF1-6B3F-43E8-9BB7-75C9FFD14BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$4EE09879-4D3E-40D2-A3A7-7ED7F4F5B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$5F971058-2F7E-4358-951C-14A47D6CFB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$F285246E-3237-4783-816C-DFD36180AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c12d0a14a108925badd4fc4c2dbe21d1b38f98","datavalue":{"value":{"entity-type":"item","numeric-id":4256315,"id":"Q4256315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$8EC18C0B-D9BB-4C1E-B8F8-D66B04EC0C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$9C138571-5E67-4231-B5D6-A56224676713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$B369DDDD-6770-4033-BCF0-75A59038FC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$7E9E9E5C-7980-4CCA-8D35-68DFD110879D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$AE703287-0220-44D2-A6CC-11E835F57566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$57787603-8549-430C-952E-7A86A3F8F5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ff86ad23108d9d6f16f4db17263b647142c02","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$25232DB1-0B94-495E-AE4C-6291E50A8E24","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":"Q703525$B104BBA7-9382-430D-A9AE-87080DB56AB5","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":"Q703525$FCC0EEAA-324A-44A2-BB67-BE5CD12CEDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$BD00A910-D127-4234-B9CC-1CE413F35B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c775522a7e38666b34a079c4a0043763d7c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$CA5B67F8-01C6-4B83-B51F-E5F73DA0836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$F910DC78-9C63-4B6F-B51A-07F15F0664CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20970ecd5ca04e25c3f9d7583e87d1d4c86d0bc","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$72252C7C-F589-4CA6-98CA-8F2AA8B8B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703525$EC3C80DB-C490-4DC3-AF6B-2D4B88B09A95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cb0e37d31c181f9b7070b3ead40703d538d0ef9","datavalue":{"value":"10.1016/J.TCS.2004.07.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703525$81C758B6-1DA5-4736-9E23-B196DFC59B01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9435aed126ffff79b1ddc12736d828627312152","datavalue":{"value":{"entity-type":"item","numeric-id":5014802,"id":"Q5014802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e778ef7f0ea16ceed4034da9f247c21d0abc1085","datavalue":{"value":{"amount":"+0.8193216919898987","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":"Q703525$43A4BAE9-B902-4135-8325-1B5DD0E5FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8823e911df796197fc9bfb254830998730edcc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2329307,"id":"Q2329307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c86c9aa351f0357221efbcf31abd827cbc87839","datavalue":{"value":{"amount":"+0.8130691051483154","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":"Q703525$A6F43A16-19BF-4078-BCC1-E7046F54885C","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":"6bb0d200bd85e356ac19982cffe49a8b80ec0341","datavalue":{"value":{"amount":"+0.78499835729599","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":"Q703525$D5BD4BF0-1AA9-49F4-94AC-48CA4E578A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630f1265962c505d98298b7ed7d0eba17d8fdb21","datavalue":{"value":{"entity-type":"item","numeric-id":4256313,"id":"Q4256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b4410cdbfb7501e2fb1303878142bd86ee9179","datavalue":{"value":{"amount":"+0.7808891534805298","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":"Q703525$DB15B3B7-1FB2-476F-9FB2-1F0B8A9566B2","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":"853bcf1f07f6f2592d039a5b4d64cd461a781d0a","datavalue":{"value":{"amount":"+0.7750998139381409","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":"Q703525$D57CE684-F38A-4073-B6E1-CBA222F9DFB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category theory for operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Category_theory_for_operational_semantics"}}}}}