{"entities":{"Q3561031":{"pageid":5590935,"ns":120,"title":"Item:Q3561031","lastrevid":50983478,"modified":"2026-01-16T02:07:00Z","type":"item","id":"Q3561031","labels":{"en":{"language":"en","value":"Transitions and trees. An introduction to structural operational semantics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5708794"}},"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":"Q3561031$EB796FCD-5706-45F2-A88F-520AC5144E25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"360c479bce4050f66142465d2d3e681d2d35aeb9","datavalue":{"value":{"text":"Transitions and Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3561031$9EED642A-756D-46EC-89C4-0EB1D4BFECF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c48df926eb1f0f420c69fb2a9b92d245c244021","datavalue":{"value":"1197.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$F23DC49A-6C86-4D25-8AA2-3E4E6FF21A1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c25644cf94b8b4c5859390a5b6700d934e53b04b","datavalue":{"value":"10.1017/CBO9780511840449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$4263FB8B-3232-43CF-A6CE-4471D4AD11E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561031$17F79ACE-11D8-40CB-B842-6C7DCFC4B8D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca30e354967714e069ba1374b985a5b5e66b940","datavalue":{"value":{"time":"+2010-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3561031$851B7C41-060B-426A-9A16-27371638BF5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$A74D8C37-E259-4718-AC04-69A667523BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$E12E61DC-E3DF-4A5A-9589-8D99F6A5A4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$89CEB3EB-E8F1-4ED0-A43C-F18611586B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$47A9F8F6-C37A-426A-94C9-BB20C5D9E113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$C35AC75B-3FAA-47A4-9C34-B353ED5EA7C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea89163f6c80f6638699c63917f3e2fdf351f3c2","datavalue":{"value":"5708794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$882D58A6-B182-45F0-8EDF-8340E998C06F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561031$0514F3E9-BEE5-4733-A69E-243AFCF08D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561031$55595358-2745-4292-8108-69C54B03200F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c84a95fccdab14533447d10553494c021eb7f89b","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561031$C7B6E3EE-B420-489D-A74A-8E8B1550A028","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":"Q3561031$08B2D6A4-5554-4CC0-A5EE-898565F7E92C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8addafb00ba11b23ac1bc3625958e8eddd9a661","datavalue":{"value":"https://doi.org/10.1017/cbo9780511840449","type":"string"},"datatype":"url"},"type":"statement","id":"Q3561031$8B0287AD-E86A-45EC-B630-E162E77BA1FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c703073753bb806f77bf54cef1db4df1f7e44a","datavalue":{"value":"W4236511489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561031$6D2D4B8D-6F45-4519-A109-64430052FBAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0f891dd548e209094558d42ec290349c4e9caf","datavalue":{"value":{"entity-type":"item","numeric-id":3571954,"id":"Q3571954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f73634206658ef99b4d01d216e7cb25eff808e","datavalue":{"value":{"amount":"+0.8345528841018677","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":"Q3561031$B8FA8162-4BEB-41C5-BA79-E6B1FEE27077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0dc7500a5efc0a604dfe1470b5f1f00d5c45de","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcedee351d15baba95eae67522a51c42975b8510","datavalue":{"value":{"amount":"+0.8199247121810913","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":"Q3561031$DD4E96E0-76EB-4AD5-9A1F-5DBBCC8C5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa060adce41ef78a76576a266dd3705ad59dab61","datavalue":{"value":{"entity-type":"item","numeric-id":405750,"id":"Q405750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c427e02b795cca8f039dc11430e7b63bf015f1cd","datavalue":{"value":{"amount":"+0.8002672791481018","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":"Q3561031$AEB3DA64-91E1-4528-A9B0-B2673DA858BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5017b5aa883d48406f81cc414dd2a8a60c190b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4323307,"id":"Q4323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17f5408168dabc875a8f10f031d0d2e27208390","datavalue":{"value":{"amount":"+0.7809227705001831","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":"Q3561031$23D8B01E-5D60-4267-B579-99A1B3DB7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94bf866516dd2f7ba57c29638658a875d90074","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e63eacc1d61e498c7d7e414a2b351fc7006cc95","datavalue":{"value":{"amount":"+0.780899167060852","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":"Q3561031$DA1D9491-2DD9-4B90-83F3-9069E6714EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3561031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3561031"}}}}}