{"entities":{"Q6487298":{"pageid":14066067,"ns":120,"title":"Item:Q6487298","lastrevid":47781034,"modified":"2026-01-02T16:27:38Z","type":"item","id":"Q6487298","labels":{"en":{"language":"en","value":"Executable Semantics and\u00a0Type Checking for\u00a0Session-Based Concurrency in\u00a0Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628084"}},"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":"Q6487298$EA8D9697-9305-40FE-B692-024025F64084","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0964bd24d7727eec9c62f442fcd390a589dea59","datavalue":{"value":{"text":"Executable Semantics and\u00a0Type Checking for\u00a0Session-Based Concurrency in\u00a0Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487298$05236ED0-5C59-4C2E-887A-8162DB599C86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c599c033f55948e77be5d3510fcec17441774f","datavalue":{"value":"1514.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$BC38E191-219D-47F9-B521-E00B2A3F3994","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5523c9eb0be1ee5eb02ba22fc39a83004afe3589","datavalue":{"value":"10.1007/978-3-031-12441-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$8142CDC9-FC4C-4307-B132-5EFA280E4983","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":"Q6487298$9D2C8BE2-390E-4525-B0F3-90D2D6FB9B51","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":"Q6487298$437EF403-BED9-4745-8161-EF7EC6788D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487298$93C426A4-FE44-466F-A50F-C513128314D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$917CB047-5FCB-4EF1-8A2B-335EE3B0D737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$554A44D2-DD8D-4035-889F-C7FB2FD39562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$B045B3DF-350E-4A04-AD5F-17F435F476CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$A20498C7-31EE-47F2-AF7B-0A7E8FB33102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b5fa901720965f166d2a1c04e7cb08aee4963af","datavalue":{"value":"7628084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487298$D294CC21-CDF3-4DFB-8586-AA169574CF49","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":"Q6487298$EACBA6CB-7AFF-4BE1-ADF3-687361182214","rank":"normal"}],"P223":[{"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":"Q6487298$ED1D4BFA-F03F-4F12-B695-2D38E22070B3","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":"Q6487298$D1E5E5D3-8418-45E2-B2CA-E45C6214626F","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":"Q6487298$A5318821-7469-4229-8FF2-2AE9F9AF89D3","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":"Q6487298$7AD1CA53-795E-41B7-9821-00CA2A21E80C","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":"Q6487298$E9A25A61-F058-4EF5-BE7F-4FCF34000BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487298$40F29916-DC54-45F1-886F-65DA9291940E","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":"Q6487298$66C19465-77EE-431F-8773-870CD33D2F01","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":"Q6487298$0EC26F58-B754-461E-8AE4-56E8018B2CA0","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":"Q6487298$2A3A544F-F60B-4518-BCC1-E9D3AB3CAA54","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":"Q6487298$FC1AAC4A-F17E-40EF-B8AD-450BCDA86615","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":"Q6487298$47471556-365D-4E0B-8745-AF51B0A2AC93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8580a669a6f7d071ffcc2f3aafa8aeb6dae448","datavalue":{"value":{"entity-type":"item","numeric-id":6156938,"id":"Q6156938"},"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":"Q6487298$2BC9C364-35E5-462C-9788-40E14575F365","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":"8f65405fd3327c84ef01f554eb2535de1f644490","datavalue":{"value":{"amount":"+0.791167676448822","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":"Q6487298$89CF9008-1B31-41FF-BC20-44F34CBDF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3860f08776683a62ab98a369548ff67b8f92a","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf195d30d3107a672d418f72c3f9c1720aada2e","datavalue":{"value":{"amount":"+0.7683064341545105","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":"Q6487298$333513F3-492F-4C8D-97B6-A9FF22073CAE","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":"79d5b61b7477ff2edc86f0472b15507bc99c0e06","datavalue":{"value":{"amount":"+0.7639233469963074","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":"Q6487298$4FC8EBE5-299A-424B-914D-C958DAB1BC2F","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":"0a987e6a6e293a87df010ec23a68611d0873c924","datavalue":{"value":{"amount":"+0.7616916298866272","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":"Q6487298$CEDFEA17-2CB4-4A81-BDC6-515555AB241F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487298"}}}}}