{"entities":{"Q2864160":{"pageid":2874880,"ns":120,"title":"Item:Q2864160","lastrevid":51885674,"modified":"2026-01-20T11:40:44Z","type":"item","id":"Q2864160","labels":{"en":{"language":"en","value":"Structuring operational semantics: simplification and computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236116"}},"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":"Q2864160$5BDDE89E-A916-40B6-BB5E-5E356B5E5B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdfcfce4c15f97e82b78162a31a67249474dbeee","datavalue":{"value":"1277.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$43B1C486-77B3-47CE-8B9B-B7AAE82766D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$8839A1BF-7373-4D9F-946E-CE27CADDEE38","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":"Q2864160$E6FA1A24-3356-4E42-8FDF-A8EDB32CBB38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864160$BBDF432F-C171-44DE-958E-FE2156D5CF0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$AB488B56-B348-4E47-83E9-DF0866CC3C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$5B696F33-6873-45E5-8403-785195CDF46E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51facf4d1e0eeafaac0fd4dd559d64811dea3c2a","datavalue":{"value":"6236116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$2A9351D6-22F9-4569-8112-06A39AAF4BAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864160$816FE022-3599-4BB5-BA17-35E57FE1928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ac972cd626f64a20724195704976a650ecc690","datavalue":{"value":"confluent rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864160$98D0CD82-AEBB-429A-8DD5-CFE4A50BA29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff847663cd95b6a04821d35d3944252870a61bd","datavalue":{"value":"multiset rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864160$A2691D44-C22B-4005-B82E-FC5B8E78EE20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$AF85D21A-8F6F-4275-89FA-07A38CDF21F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$0E81BB5A-D05D-4779-A2AF-155D0F41041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$B63F9AF6-9449-433E-8640-BF6390F0E661","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":"Q2864160$573786ED-1CE4-45AD-BCC9-FB3B52506917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"101eea1672163e2a43aedf5bea227418fc013e77","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864160$A1B915E4-3D4B-4C8F-9633-58241B8AA2D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3141dca00e59d656eb9b0f66273d0ac6a9e1fc3","datavalue":{"value":"W2017867861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$A518BDC3-B08D-487E-8C9A-B35387AC3F30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$686A390B-3E26-4AF3-92D3-DBAA0F202C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aefc6f259bc6fc47cc73bac81df2168784d7553","datavalue":{"value":{"entity-type":"item","numeric-id":5897114,"id":"Q5897114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$9A627336-15FA-4F57-BFB1-EFF2860D443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc054749522860d7c2f7554f0d2a72e08e47179","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$FC078731-C4FF-4D5F-A465-98DA9D9D6AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$67AD558D-A4EE-45F9-BCF6-9A7F2E721C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$239A2C4D-E0F5-4386-8E20-8955736BBBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$B193CCD4-535B-4BB8-873C-2D33DE802014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$229E7101-E348-4399-B13A-0B19E4DD33E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$D3678D0B-8698-4C27-A873-366EE8B92145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b778cb5c4c68de8d6683fd399343475a87efee","datavalue":{"value":{"entity-type":"item","numeric-id":5308027,"id":"Q5308027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$7C3FEF32-EA7C-4DED-A581-05E7B6AE1DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$D733E7C9-9B85-44DB-9ABA-EC5DB0B35900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$4C25BAB4-32F1-45AB-96B4-0C1C1C2DB9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c8de240b93bea49306a907de47045da72c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4417870,"id":"Q4417870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$1D904CD5-1F3A-440A-A547-4EEB87EC4A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a78d3777336917fc3b776544d379b1b4edbf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4659889,"id":"Q4659889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$9F357E05-70ED-41FB-A0A0-B48F030FA5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$8FBAB109-09D5-406C-8819-C1BB2BECF005","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":"Q2864160$1F72AB08-9850-4F32-B972-20DF6796F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09004ede4a1cbb641b5507bc7222c782135c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$A91EB4E2-889B-40CA-970A-F20E0DD54EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$4CE38359-F2DD-46BE-ACA0-20073FE1F2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46efcf60c16a1251747d7d76ece6a2da9ae25264","datavalue":{"value":{"entity-type":"item","numeric-id":4282567,"id":"Q4282567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864160$9F992CDF-6B33-4008-9277-E401066D5B95","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":"Q2864160$604D7062-EE8B-4A4E-B792-7A31928ECB2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c999779df11f0d3576aeaa599cc3df1789a783a","datavalue":{"value":"10.1016/J.ENTCS.2007.02.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864160$587B174C-07C3-4093-B80C-1A1A23F19430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd76873de621dd034665e2f38555eccfb49e4f6f","datavalue":{"value":{"text":"Structuring operational semantics: simplification and computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864160$E236BC3C-A3FC-4C0E-89CF-6E40BCB60432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e945aad063b70c8526b66fc07273030f6f4500f","datavalue":{"value":{"amount":"+0.7490421533584595","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":"Q2864160$9170A0A0-A9C5-4FE6-BB8A-AA50A654751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85553446326ea397aa695b5e34f08e9e1a6f8f63","datavalue":{"value":{"entity-type":"item","numeric-id":5897714,"id":"Q5897714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20ad903bf3132ecb1b7e98a7f44680e5963cb2a","datavalue":{"value":{"amount":"+0.7452226877212524","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":"Q2864160$4BE1E196-C6D9-46ED-93ED-6D1E0AB8330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04647dce9a4de6bebf7338e36b337ef69c3e0a0a","datavalue":{"value":{"amount":"+0.737592875957489","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":"Q2864160$152A563D-CD05-41D7-AA42-51A2B34E2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d959cda4cedeed66599d578abeb0a76838cdbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ab05f6770649ffff0d22afd04345489db1947b","datavalue":{"value":{"amount":"+0.7370137572288513","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":"Q2864160$C51FC8F6-948D-4531-A8EC-AF47513308E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eeb00c5fe81099a0787b7563345deaea0070af","datavalue":{"value":{"entity-type":"item","numeric-id":2871834,"id":"Q2871834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec03c6b44cfcea34700ca0066a9d5127bb6e55d2","datavalue":{"value":{"amount":"+0.7355636954307556","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":"Q2864160$85725311-C362-467E-87C7-488AF1031DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864160"}}}}}