{"entities":{"Q2804943":{"pageid":2815681,"ns":120,"title":"Item:Q2804943","lastrevid":52524974,"modified":"2026-01-22T21:14:38Z","type":"item","id":"Q2804943","labels":{"en":{"language":"en","value":"Reasoning in Abella about structural operational semantics specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578011"}},"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":"Q2804943$627D8E5B-D82A-4707-83C9-FC924AF1CCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e8e1c33994d99bf66119007d53ec1875d09ef1","datavalue":{"value":"1337.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$E249BAEA-50F1-44B5-88FE-F250F2A8D312","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bef8972131bb2d404ab73f1778b26b1f419d104","datavalue":{"value":{"entity-type":"item","numeric-id":617713,"id":"Q617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$7F979D32-AA81-4875-ACC8-7ADD3AD2559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$E6CAA09B-0DAE-4EAD-B842-ADEB052BE5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$BF699499-32AA-4AC5-84D2-EE76856090E2","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":"Q2804943$D9510541-C315-42CA-AE19-3F9C8437E8E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-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":"Q2804943$1FB41B13-9E81-4285-BBB9-5F158E42D694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$548CF652-16FB-4E88-A0A4-31BA65584B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$6CC63E23-7166-479F-A574-D82859DCB356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$97575A2B-A7CF-4A0F-97A9-030593D41569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"494f1feed62e12a7aeceb00a4eb0c598911f8804","datavalue":{"value":"6578011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$8599BF04-1E40-4677-8716-BA350B56C7BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804943$6FCC1085-3257-473A-8830-87E09690BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8406968025e0692654c0c5f96b5c915be553a42","datavalue":{"value":"Abella","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804943$C37D5909-ABD1-4F6D-A905-17378065C7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6237db3e6bf9b8eb6fbd015d8ddaaf4e2dbffdd8","datavalue":{"value":"\\(\\lambda\\)-tree syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804943$ACCFF2B8-9C30-4DE7-B815-274D4DC2501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68a10651e8e0a2be277fa6138e1752f96d90345","datavalue":{"value":"object language binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804943$D96F7736-E21B-4BED-954C-020D15A818D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$D2E2C05C-29B5-4AB6-93C7-C4FAC40EDC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$7B3ED763-0C75-4655-8CF0-2BF0FA5EF69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$0A128A9D-9A00-4C2C-B0B7-B2B8CAC17050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$C1C21FB1-302E-403B-9BF8-A60FA8D625CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$766AA7B4-5A73-4221-A34A-235F3C2F9D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$77220FB1-CE66-4366-93CB-35B414212F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$7CD77E36-F209-4EA8-9D82-921AD17A1A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$75C80657-1420-40BD-8050-75A352E04FC9","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":"Q2804943$653F9BD9-A3A6-4A1E-BEBE-7154F05A829E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"903f6cdec2c163bfc4d2e3b1064ea2485020d89b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.118","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804943$2AFE9F4D-83B1-4ACD-92F6-82FDD2BFDDFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48d84f5fe9e9382735151903d77b7a24e2e24409","datavalue":{"value":"W2119790470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$91FE8DF6-F853-4760-86F9-4C0E3433D65C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$420E0ADF-6511-49B2-B66D-24261466B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$675F9CA5-A051-4217-949A-98D996DAB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$5767CD23-64B0-4880-B773-60E2669DB20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$D9FDC89E-3E07-47D8-ACD7-B3216D1C82AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$21EE8FAB-8EAC-4F62-9A7B-6AB3B3B3A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$B2EEA6FC-4766-4EC7-A22B-E8B917A9AE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$98F27D16-B38B-44C5-AB70-CF8F1385498B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$AE5785B3-2E43-445B-B696-835EE89A0622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$F6D96698-B69A-43B5-9DF0-56DE6B4C47CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$1AFA7AC0-6F66-4E41-9FDB-16893BD2AF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$87ED7827-7414-4E86-BFD9-DB2E1FB67728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4cd72d2df0d5e232e935ad9628f5293ffb8055","datavalue":{"value":{"entity-type":"item","numeric-id":2871867,"id":"Q2871867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$FBCE94CB-1424-4FED-96FE-CCFC16F53AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$5A2411B1-7783-460A-A137-DA7AC80DEEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$DCC3BCE1-0EDA-4AEB-8FE0-200828F5C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$18B46451-A66A-461E-BAB4-3E1CED00ECFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804943$6670F7D2-7554-4890-8A45-3D044E110669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"698af50d959dfc9022814efe4b153bf7dd051e50","datavalue":{"value":"10.1016/J.ENTCS.2008.12.118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804943$B30674B8-A9D7-43EC-AFB7-D96AE79690F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2a0f1c8617ed54022a86c9ec8bb8abbb145bdbd","datavalue":{"value":{"text":"Reasoning in Abella about structural operational semantics specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804943$31FCDE47-832D-4307-9521-3A5DCE4B7ABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf69938f651f2e1448309b589db785d235b62b8","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7facbe1c5c52909fd693b5cb7927f10f6a8392","datavalue":{"value":{"amount":"+0.7795580625534058","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":"Q2804943$3C40C52A-C270-4282-866D-907ADD27C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12959d454dae1aeee12bf8799252bd1124320f9","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e71ddb3f155fc2bd180914dc924a55752f135e3","datavalue":{"value":{"amount":"+0.7534629702568054","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":"Q2804943$480DDD07-BCD6-4917-800C-51A1BFED870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23915a8e6887120cb73d57870fe2262b5f12ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2914731,"id":"Q2914731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b903349ee950cb76d44ac602e7b50c3749dad38","datavalue":{"value":{"amount":"+0.7416513562202454","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":"Q2804943$F87678FA-C674-42AA-8C6B-DDF177E5277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33503c969af746f93c29b2fc917a0814236eee25","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669ae45a5f217d2f8d165b2f49c94d06dd18c56d","datavalue":{"value":{"amount":"+0.7351922392845154","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":"Q2804943$54ED87EF-7656-421E-AA50-0309385093E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af30baf1f071f74b13783131febbb549f2ba314","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7a9593ac2f45a058cb06f51fa97660ba0a51ca","datavalue":{"value":{"amount":"+0.7132861614227295","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":"Q2804943$FC3A8D6E-8D85-4B87-8638-DBA1E4A28D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804943"}}}}}