{"entities":{"Q1878712":{"pageid":1889454,"ns":120,"title":"Item:Q1878712","lastrevid":69065172,"modified":"2026-04-13T04:19:26Z","type":"item","id":"Q1878712","labels":{"en":{"language":"en","value":"Modular structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099286"}},"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":"Q1878712$A4193180-C8CD-4446-95FA-8D27237C2BE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e9fffa1f6fb383f00b8907a3046166d678f1f1","datavalue":{"value":{"text":"Modular structural operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878712$CCDC0098-F759-4725-92F5-E123742A8814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d2ea0bf79347a3fd1e9b7c9cd146d17b2baf4e4","datavalue":{"value":"1072.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$6A24F77E-2E24-4CA8-BEA5-9F4E7C6A2EEF","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":"Q1878712$7F37DFB6-905B-41D0-A095-AC05C978CA0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$4A72BA45-A770-49F4-9F45-E48279F64C63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878712$A13CDCAB-A1F5-4A45-AB14-8CC5B0EDA4E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$EF9D2BD4-D589-4944-B855-AA980B025385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d3a8e6a63b12ebea120b9a24f31cf21757cdc0c","datavalue":{"value":"2099286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$32B48E89-BA40-4EC4-9D0C-4910B28F8FB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d47ce58e0b06e856daaa5c3f626e1e28b96bcfc3","datavalue":{"value":"transition rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878712$E5BA8697-572C-4D8C-B878-7FD37A300BAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$B1B16EF3-284D-466D-8336-7F952D78B585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$F2ABA4E3-B029-4F2D-BA60-E6D6C052D2E0","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":"Q1878712$EDCFDA14-45B1-41A8-8095-48AF71D231C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6e0693d9de66e7e9a2e50b08d75c14d65a9fb4e","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878712$3EA5D8DA-FE9D-48F4-9AFD-17392EF08992","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79e72892d9d1a630095a6f41b52599b4f3a9322f","datavalue":{"value":"W2016799432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$D5C694B5-9FF5-4691-8FB6-1EC781FAC74D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b1f208452d119fb3afce431aba5ee5c3eef208c","datavalue":{"value":"Q57783484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$0CD2DE95-DAFB-4D4E-BB09-854BCD4F55AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$10408190-80FB-4DBC-AB79-0DFA06AAB81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40404716a12d90a16b901c97377966fe1558fa17","datavalue":{"value":{"entity-type":"item","numeric-id":4002146,"id":"Q4002146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$07FC2888-043E-438F-AE31-5B007F2E6186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$F7DFD24B-7F1B-42E0-AA69-510F0B349ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289bc7c106a433c13ca76e250b80af3d3cca1367","datavalue":{"value":{"entity-type":"item","numeric-id":4490731,"id":"Q4490731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$EAB45295-1F7B-4036-838E-DB4DF4FD9C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$B0C77571-5954-428C-A034-0C1D7DFEB0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$DA4C1505-E557-4BC6-9389-71FC9EE1B9A6","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":"Q1878712$6814042B-4132-4A3F-8DFC-FE5BD5D76752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$7AF3B762-DB95-4324-AA4E-76D7A010B254","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":"Q1878712$A55841C9-846D-41C9-AD6E-2C6584F330F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$3C222F53-53E2-4918-8E76-A409155D76CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e81278a6bdcedcb58f2bf882772def3a728963","datavalue":{"value":{"entity-type":"item","numeric-id":1301515,"id":"Q1301515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$16C8E31D-A6DE-4391-B6CB-160E2BA3BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c25a2cbff6d2c34ade28db6b5c8907551191f8","datavalue":{"value":{"entity-type":"item","numeric-id":4945216,"id":"Q4945216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$0660A2DF-B2D9-4816-9BAA-A9B93DE8F2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b857eaafe9249ba9da76d983fc343ee915b0d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$10F53DAE-14F0-4765-B432-3A174ED34C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$A0DE4138-6A9A-4509-99D7-AEB52B453E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$1BCA0195-C3D4-49F2-A2EA-9D4D9BF29E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca56c8100a823695872d37fd629e46409982af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$9961F2E5-A318-49FC-8D87-CC2FECA8DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$FEB6547D-1651-4ACC-A432-7FFE2CA1F8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1f6c43af3c6d33fccaf941b2fb3b3adab4658","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$CE01BCD4-CE0E-427F-9AE1-2C968E104D4B","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":"Q1878712$5D0EF0A5-562E-4B24-BF50-657F7C8DF6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878712$9B14E555-1277-4A81-B9C7-82AB08DA5A45","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7db9d09207838357c2816f049401ebb5e9993bd3","datavalue":{"value":"journals/jlp/Mosses04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$DD165D40-8731-48AF-AF44-021730877D24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03268b6015a02d4b41d14a178aca3f79563e8a10","datavalue":{"value":"10.1016/J.JLAP.2004.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878712$2D4301FC-50F4-44D7-9F77-FB148109F368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cd431ecf7be871dff18420255b1f3bd411512","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348f8ae391ec7f0b00d04aefd5dda7d7239afcab","datavalue":{"value":{"amount":"+0.8626098036766052","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":"Q1878712$89DDB966-BD5A-4325-B043-2C955392FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76322f22f2cfc884ae34cbbda5d1c878fc2531d6","datavalue":{"value":{"entity-type":"item","numeric-id":4941890,"id":"Q4941890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c24cef8d58c3ac1efe095e2dc9758a652c2bd98","datavalue":{"value":{"amount":"+0.8182753324508667","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":"Q1878712$F4578378-FCB7-444A-901E-596DD8099AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853ddc88092ee2050a7d94b35d901d40cfce7e30","datavalue":{"value":{"entity-type":"item","numeric-id":3079927,"id":"Q3079927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375c79175a905bcb45145e022a377b622f8f687d","datavalue":{"value":{"amount":"+0.8045725226402283","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":"Q1878712$A94B27ED-AAEA-48D6-86C2-9169130CB744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24723129e383448b883fa7b53ed16c0e37319c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5312993,"id":"Q5312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7868263752938ada1a76d8bda1782a0aa93fdf09","datavalue":{"value":{"amount":"+0.7870270013809204","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":"Q1878712$73F3767F-BABF-4C60-A12F-92E7CD20EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c1130c536ff70d6158f62b484c5fa50f814bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4818727,"id":"Q4818727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd671f26276f7d6f757f1fbeffb37bc70b075f85","datavalue":{"value":{"amount":"+0.7847259640693665","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":"Q1878712$DA5CE828-D74E-4391-B2A7-3B0B42A7F256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular structural operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_structural_operational_semantics"}}}}}