{"entities":{"Q2919456":{"pageid":2930176,"ns":120,"title":"Item:Q2919456","lastrevid":42499493,"modified":"2025-06-30T13:53:16Z","type":"item","id":"Q2919456","labels":{"en":{"language":"en","value":"Structural operational semantics and modal logic, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089946"}},"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":"Q2919456$CFC824F5-1231-4BE0-BB97-92C7AF54170B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2db70c25cd452440d07f4fd6a6e8ba55e85345ed","datavalue":{"value":"1247.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$7CBE09C3-1F07-4F95-AB59-4C8966350E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$5664AA45-0809-48C6-ACA0-A594915B00DE","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":"Q2919456$82D97889-5346-4792-B832-28CD95D3CCCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2b18871b9dfe4cee59e4785688f95ef52679714","datavalue":{"value":{"time":"+2012-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2919456$EEA7EEF7-ECE1-4BA7-B36F-DC778015C315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$000E3DAF-792E-401D-AA28-A7C9DB8A93EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$FA55FD3B-AF97-4ED7-9F4D-ABB21A0E3DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$2664A439-2E9F-45E8-A3C8-F6A124BD8449","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38155ee2ade50eec7b875616d9b0afc6c2704c3","datavalue":{"value":"6089946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$9868FF74-47F5-4FD0-8C24-3E1BC0065A44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919456$64066E19-ABCA-4A44-9EE0-E46664D09416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919456$D3B70CE6-7903-41FA-B44F-3C80EBFADE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919456$935768C6-F9DD-48A8-A1B6-7211A94057D3","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":"Q2919456$F2054167-0F35-4F89-82CF-05D07E31A63E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"230de02cf3c4fb377f8850bb32884d03dd544be7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.07.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2919456$801CA72E-9C1B-4738-92BB-A55EC70E1840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"402be450814780e3d0de65fe0969b480dda7de93","datavalue":{"value":"W2170805715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$6E449E6B-7E07-4A55-B2AB-012F2FA0140E","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":"Q2919456$18AA88D6-4931-4AF1-9A90-36C44BCFE232","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":"Q2919456$7D316E86-F00A-4E90-BE0B-9F635D977596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$A1401DF2-F86B-4A6C-B25E-6B0FD444037B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fc53b330df65c06db898861ce0dd086aab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$7ACA224B-F98B-46F3-9415-D9E7AD2C3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f32daab0f23e9f4d2715874169a1d1ff021ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5900816,"id":"Q5900816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$374388CF-77AE-4FE3-89FB-921A9364C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85766aed5174f55a67db76084f9289f72d7c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$5139DD72-D178-4554-8ABD-A5B62CCD78D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$E8A6847B-3286-4ED6-947D-4DFFB3C970A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$2187BF0A-F8DC-474B-B1B6-4066EFD2A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$EA26C94E-A85E-4A5A-8664-BE7669B3BFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$2E761A22-B527-4E3F-AF43-AB09528599CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$A74BE827-59D6-4459-97AA-EA86D085E7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$DC1EA73F-4F22-4952-BB6E-9F7358A486A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc480f1fb47c7db3936fa934d6bed4ac48111","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$8AC2669B-A838-4709-9974-7C785449A55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faf6abb197a0facad98daf3e7c2ce18de194677","datavalue":{"value":{"entity-type":"item","numeric-id":3612499,"id":"Q3612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$A462CFC8-F146-4A7A-8708-CDD118F2902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cd48db52ca690752b9bbc8ac45a432b3065199","datavalue":{"value":{"entity-type":"item","numeric-id":703525,"id":"Q703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$25C86E68-0DB3-4469-8F62-82E7013765B0","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":"Q2919456$0FE83F7F-F949-4E4F-8EA2-DCD3EBC941E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$12621499-6846-4651-8ADA-E4534BB24A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$9DBB0636-10FF-47A3-9054-71BDA3176C8D","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":"Q2919456$771D1D44-6116-4D11-831A-30EDD4E29292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85567a3ec18e01004f7dbce9b3133b494c8d8b14","datavalue":{"value":{"entity-type":"item","numeric-id":1295426,"id":"Q1295426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$7C894E57-C3FC-42BD-A5B2-A0BA08A8C319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$C5926E3A-3B6B-4B55-AF11-686231079320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919456$7470DAC6-D339-454C-8125-81FB55DA1BAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c296d605bd260fcf55a530aaeee658270a9cf02","datavalue":{"value":"10.1016/J.ENTCS.2010.07.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919456$24B045C5-20CF-4222-891F-FA9403B7B885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ab37994179f5b2ea9e7f01206201ba9f4c2e98","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535aad332c445d42ccf8fe542725a5e310efeb0c","datavalue":{"value":{"amount":"+0.9360383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$71024B13-0B54-4FC7-8CD4-737B01F916DA","rank":"normal"},{"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":"e73a359ba91adad7a331ea06271a8d73b6429f86","datavalue":{"value":{"amount":"+0.91790664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$563ABB93-BB51-4E46-953D-A563E53246CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f7d4a96404f77fd35cca6d55a19fd2b38dca28","datavalue":{"value":{"entity-type":"item","numeric-id":4489076,"id":"Q4489076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af59455ebbbf86047d38618f4e9ba9d0d5f5f631","datavalue":{"value":{"amount":"+0.9171982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$3A746A9E-A363-4D7E-8D51-4B4133641545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6598419fae10d27112b2c5f6728432bf6bf69d","datavalue":{"value":{"amount":"+0.91442484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$1E05E16E-9C18-41A1-A2F8-0D67AB5E5C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e822807bb48d2fc457e368c5f31f8a0f69ec2d","datavalue":{"value":{"amount":"+0.90908426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$6DD9532C-6224-47B7-9359-39354ED34CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974765942d5eb1d2f1c8e6b105436b214689aff3","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6a1e633baa8d3b091634e3e268e7253426f6c3","datavalue":{"value":{"amount":"+0.9031637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$D090E0E5-C3F2-4E86-90BE-8609DA18CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5f35e28b566b011bc788f9a856c81a60bc004f","datavalue":{"value":{"amount":"+0.9028106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$EE824187-EB9A-4E2A-96CC-3F975566D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91328d5e73f889e1dcd53649d204a763e6ac3a","datavalue":{"value":{"entity-type":"item","numeric-id":3574465,"id":"Q3574465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2fab1a10ad6ccb4c47daad6086b48e0eb1ca98","datavalue":{"value":{"amount":"+0.9020264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$86828ED2-A951-4EB4-BBC7-4F3B97C05741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885ebf5a44791a4883bf60f889c5eb50093b1332","datavalue":{"value":{"entity-type":"item","numeric-id":4835615,"id":"Q4835615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8e5f710b585600ca5535d565d21ce71e52b4a4","datavalue":{"value":{"amount":"+0.90053654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$8BF64384-ADC8-4887-96B8-CF563A672327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42c42594a364191af9e152779c2089b864a1aa2","datavalue":{"value":{"amount":"+0.89970237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919456$41682151-E532-4378-9613-3A3466F2FFF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb3813924c46525b9a866c18bc78d0c5b8f9ffe7","datavalue":{"value":{"text":"Structural operational semantics and modal logic, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2919456$F51C85A1-1F85-41C8-8D80-3603A5D85C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2919456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2919456"}}}}}