{"entities":{"Q2866312":{"pageid":2877032,"ns":120,"title":"Item:Q2866312","lastrevid":51890348,"modified":"2026-01-20T11:54:13Z","type":"item","id":"Q2866312","labels":{"en":{"language":"en","value":"Modular structural operational semantics with strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238167"}},"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":"Q2866312$543E8353-BBFB-411B-9FF2-4DBD21BEBFF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d2c96162dc6efaafe603441d326f33e4084c6ba","datavalue":{"value":"1277.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$68925A82-05C2-4400-9F22-9BF9DD42E380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"071cd415babb9a434cbc5fdeb0bebd88c881b91e","datavalue":{"value":{"entity-type":"item","numeric-id":2798045,"id":"Q2798045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$5E39E1E4-17DB-49E3-9BD7-4ED7FCB9EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$A26BC54C-AD2A-4C62-907E-4E8833F0B95D","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":"Q2866312$59C7D930-EC9C-41AA-A85A-3E3EFD3D9ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866312$4098596D-B9D4-40C6-990E-AF4249C1582A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$36A60C30-3915-4B0C-9AAC-FC0CE3B1B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$0D8B5286-FB91-4630-B2DA-4201DABEEDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$F884B0D2-3C9C-4A73-A6A3-B40B8E8CCD52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd9e967cacce2ccb3b909c322defa128533b49df","datavalue":{"value":"6238167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$0A31E453-CF9A-45CA-9D7F-8022A276CAAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf04286060612dd596abd3e159e4c57ce11a537","datavalue":{"value":"modular SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866312$9C09349F-C1F3-48C6-A32A-7DEF28800E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866312$8A91A5A7-E034-4CF1-B2F4-F9AB2714ED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e2547fd69c58cff34c6010841fada2413c78c2","datavalue":{"value":"ordered SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866312$FA3C08CA-6BAF-40DB-8606-1B576B23B2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ed11322fd4eb4e5dac6225d5b3ecbe7b064625","datavalue":{"value":"negative premises","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866312$96613118-F575-43E4-8BEC-9B32C44F926C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$FC0E3793-BD9F-419F-8E56-D23003A2E5C4","rank":"normal"},{"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":"Q2866312$28B1C3C6-BD1B-4065-85AF-859D4384AC77","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":"Q2866312$2823EFE2-F046-4982-A520-0B7BC8BFFEC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343fc522a219d6854492cc47f38010d1923dfe91","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866312$DD51D216-D1ED-4B1A-BE9B-4A899AB50411","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f0177e42116ce024febca58f83d0afbe492f079","datavalue":{"value":"W2115003019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$EDC7E39C-8C18-4531-8401-AB5E190A5F00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab0340c0005c68f498e3451d1ec6cf3d32bacd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312993,"id":"Q5312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$2164B029-3863-42B8-97F9-A60B6F83FBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$4A557D5A-645E-4FF9-AEA6-BA8CD14DC612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e6dbd3dd4f91b47812658f89dd65e2da5d4b06","datavalue":{"value":{"entity-type":"item","numeric-id":2852099,"id":"Q2852099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$AE2BAF91-035D-4CE8-BB40-4ADDE03F0837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4446c1984946834f0f409db34ae5e3406f01a37","datavalue":{"value":{"entity-type":"item","numeric-id":2863877,"id":"Q2863877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$6E6B4563-BA79-4EF3-8ECF-2325EE44F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$8F2A7C7A-12E1-4D86-A76F-93BBB4C03978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6162c349ebc1556b23372601241db714d15b970a","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866312$12BF046D-4742-4740-8302-C933FDF5CD04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"272ee386086321dc3b9f17e6b75a17cb9162f81c","datavalue":{"value":"10.1016/J.ENTCS.2006.10.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866312$9D67285C-921B-41D7-BD40-91AE38776944","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfcb0945c5ec4d572859fa63a9e27ee09ea7403d","datavalue":{"value":{"text":"Modular structural operational semantics with strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866312$EE8CB5C3-A88A-44C3-90D9-65FCC12384BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fc17adbd43b0e8eb3e7efdf6e88c43eb83f7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5429558,"id":"Q5429558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62678f88e469b200d1dae74a14fc067a7a4103b","datavalue":{"value":{"amount":"+0.7741087079048157","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":"Q2866312$166B37EA-67E0-46A6-9DDD-0E31C9FA5E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565518bce65fd3d31eeeee331213c31f30a36b41","datavalue":{"value":{"entity-type":"item","numeric-id":6487295,"id":"Q6487295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dab5a761914bf1fac00e999a65babe2b29760f","datavalue":{"value":{"amount":"+0.7604706287384033","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":"Q2866312$5BCC6E66-9F33-4DE5-A421-4791DB8BCE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7cb7b2052e3ea7e556ceee518dcffffbdbb659","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c9d6446bae86d89640a3d89539585b59436f0","datavalue":{"value":{"amount":"+0.747378945350647","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":"Q2866312$60F811AA-B32A-4DC2-B58B-FBEF249BE4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acd815f648189c2e0e881e551e56ed9067da1e1","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf21bd1bd6e914a6025e0574701c4393432b779a","datavalue":{"value":{"amount":"+0.737549901008606","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":"Q2866312$20B12A25-FE3F-46A3-9248-69FB51647BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0eb6eac79decf19441c43d22f7d7f31912c323","datavalue":{"value":{"entity-type":"item","numeric-id":2185882,"id":"Q2185882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909315e7df4f9c9aa9858411106489a79c40ee45","datavalue":{"value":{"amount":"+0.7316515445709229","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":"Q2866312$D3E3031B-AE74-4071-9A4D-2567A41F27D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866312"}}}}}