{"entities":{"Q6156938":{"pageid":13291513,"ns":120,"title":"Item:Q6156938","lastrevid":57443064,"modified":"2026-03-30T23:13:23Z","type":"item","id":"Q6156938","labels":{"en":{"language":"en","value":"Session-based concurrency in Maude: executable semantics and type checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7697495"}},"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":"Q6156938$72FE9CE9-44E9-45C1-83BD-F1B0605E94AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eca85be78dd9e27520f7fa709b7a4926347f540","datavalue":{"value":{"text":"Session-based concurrency in Maude: executable semantics and type checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156938$EB3CF746-51F3-41C5-9877-3B3401AAC9AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ae1ac9d1463897e0af84d923c84325f1e4b285a","datavalue":{"value":"1512.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$823F934E-CAEA-45C5-98DA-BB1FB530A74A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0954b670b120145ed2257b1c85aa9bbf507311","datavalue":{"value":{"entity-type":"item","numeric-id":4994974,"id":"Q4994974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$E6E0297E-643A-4EFB-9D9A-F8441100D9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1abf01239ee18294eeb32242f1d291d78609b0d3","datavalue":{"value":{"entity-type":"item","numeric-id":6156937,"id":"Q6156937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$731C37D2-B5E0-4B20-B417-5417E8D11CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$0D1DBDF0-C13B-484B-8822-FD0BBD1AEF96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$3AFAB8C4-7879-467D-ADC7-07746C8B6426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1568bcdbc15a3da62bd02289f2e9e5d50d8fef1d","datavalue":{"value":{"time":"+2023-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156938$47F0F1A0-F1B9-4B96-9DBF-AB58F70D5C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$15DA923F-9A59-4649-82AB-A06CF8710277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$A7215485-C6C3-4CAE-B0A3-5F9D87C6A186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$C7022686-CDCA-4B31-860B-24979002C243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d436c62f67f1a857a563050675a9e7881fec6d9","datavalue":{"value":"7697495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$C18CD98F-5716-450B-944B-D547007D3734","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":"Q6156938$41600A87-6A94-42AB-8459-DA6BD2BFCBC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b3631fef1fe7beb748d311e30d48d828154bfaa","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100872","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156938$1E7513B1-16E9-4CAA-AC89-53F4AF18C903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd547bba70cc38ec21d8cb3f363f2e573406e4f4","datavalue":{"value":"W4362658939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$303A3C06-6980-4B3B-8B13-AACB27EE7889","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"573f4b13676257f05e5c837dd13f89e383edef81","datavalue":{"value":{"entity-type":"item","numeric-id":2945134,"id":"Q2945134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$9FF9D1DA-EDC2-4F4B-A250-7353BD89C98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972feee95cdda59ef953cc3c93f6e4d1af4c7a84","datavalue":{"value":{"entity-type":"item","numeric-id":347375,"id":"Q347375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$B75F47F8-5E37-4796-8DBD-E36527ED52FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bceaa3d9e9fea4f08d6857992bc67aa117a44e","datavalue":{"value":{"entity-type":"item","numeric-id":4963910,"id":"Q4963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$9BC41093-BD90-413C-A4BD-E365F681B9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$16E1D82F-C90F-46C6-943A-BC0E97FB7849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae72ca3eb9836c81238e2dc57e2e0c6f01268dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$2B009DB7-AE0E-46A2-BF6D-1B4A13FD1F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$35E727A5-6D73-4FD7-870A-4B921FA1A39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$3821F961-F7B8-47AD-9049-4700AAF99D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$891FCF76-46AA-4131-B3FA-5E6AE084AB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67bee3dc7d0fd9462e36801f620e48f935c59212","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$044C6C8C-38AD-461C-AA90-2F34BF801D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$1A10E405-474D-4C77-9BCE-299B93E79F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f846ab6e21c0945d1515060e899f12f8e5e07267","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$D1F3E18B-738C-4C6D-9911-7EC426CD40BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$C9B41DE0-F51D-4CB2-99FE-3BD0C2F70B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4bf3ce6484c398a3c54925a01879643a5097fe","datavalue":{"value":{"entity-type":"item","numeric-id":2357655,"id":"Q2357655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$69A17E23-BA18-4D18-8B53-3AEF4278DCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e695216db4ce1c57ce81e8cdea2b6bfdf027c46b","datavalue":{"value":{"entity-type":"item","numeric-id":2272988,"id":"Q2272988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$1093B41B-87D3-422B-AD8F-322AD046B0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$128BC022-F53E-4F30-BA65-2A090AF14866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e545f1adb45625b2fad19601bcc83d390e150b5","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$79D32727-B103-4CE3-8B13-0C9A404B45BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99307283c5f6df96c84ebfc816bd090f3855207","datavalue":{"value":{"entity-type":"item","numeric-id":5371999,"id":"Q5371999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$C46AF1FB-F539-4958-8C38-07FA8E0F2561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0992a9732d4c0a6122dab597921488e8c283dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421726,"id":"Q4421726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$CD806617-2B70-4F29-9711-EC8C9DBBA4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047bfcae18125ec23901e327e73ddc0f4c79cfad","datavalue":{"value":{"entity-type":"item","numeric-id":2703692,"id":"Q2703692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$169A3887-E8B8-4F16-8AF4-CA585A7CC3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7643293467287b538da53a9e92f70fbc16f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2851059,"id":"Q2851059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$1B86EEB9-766B-4088-8699-04E083531F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4d76cbfe7fbf4d6b09b329ce6cf6e0cc0fb6","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$92C2FAB4-F1FB-4CD2-BFA2-D08721382089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631bb13614952efbc47f111110f79b9ffcecdcbd","datavalue":{"value":{"entity-type":"item","numeric-id":4222852,"id":"Q4222852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$0087B2BE-62C1-4A6D-902E-1EDC727A3C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$4B854A6E-1708-4F44-BCBB-6796ABCE731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca9cb4c6739cc0c3c4fff767c67c407417139de","datavalue":{"value":{"entity-type":"item","numeric-id":6487298,"id":"Q6487298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$B0D64E9F-BE40-4A71-B082-3B6E4503181A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0dee90aef58380274f2cb67b8b3aa9865424f2c","datavalue":{"value":"10.1016/J.JLAMP.2023.100872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156938$FF3657BD-B241-4517-98AA-064DF0A686D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baee65051cfc62ff52db418708f1b411ffb1201","datavalue":{"value":{"entity-type":"item","numeric-id":6487298,"id":"Q6487298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adcfdd5242f8397a236c396f9888be3f44578790","datavalue":{"value":{"amount":"+0.969616174697876","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":"Q6156938$1DA039EC-53BC-4D41-85F8-62F31DAE72B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26fc4d76276e6038b9fab627961029c41c72422","datavalue":{"value":{"entity-type":"item","numeric-id":2120811,"id":"Q2120811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df5a3c369ba37e0b78c4cfbb995c355f0fe861d","datavalue":{"value":{"amount":"+0.7854773998260498","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":"Q6156938$E3BFE878-2860-4BFE-B380-81F8E714DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f508ab34a88736fc3732fa71cadab9a390abe304","datavalue":{"value":{"amount":"+0.7582218050956726","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":"Q6156938$E11F23DE-F3F3-4C6E-B2B5-54258DB9A225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9445870cbee7e29a998d2e3477acf8a5b6539edc","datavalue":{"value":{"entity-type":"item","numeric-id":2802455,"id":"Q2802455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99de13c82ed7e838013df6deef37c274c35e6446","datavalue":{"value":{"amount":"+0.7577113509178162","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":"Q6156938$104D0D54-391B-4018-BD38-B02BCC24634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d266c24e8519ab2c97740da4896470596117af","datavalue":{"value":{"amount":"+0.757145345211029","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":"Q6156938$F06480BE-A7A4-4C34-BEE2-37C33CF48B3C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156938$20CA5CC2-78B7-4CE2-BD66-BE153175CEC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156938"}}}}}