{"entities":{"Q6485983":{"pageid":14064641,"ns":120,"title":"Item:Q6485983","lastrevid":47792509,"modified":"2026-01-02T17:14:55Z","type":"item","id":"Q6485983","labels":{"en":{"language":"en","value":"An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636338"}},"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":"Q6485983$9D14BAF0-8440-410B-973B-E018BF6D8708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9abd44be1a36766968a2cf6118dd5f4d3eda44c","datavalue":{"value":{"text":"An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485983$0874C517-AE2F-4241-BA06-CFAAD4B3C616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be1ad4fbdafa56b7da6dee8489c0426bd23f8d73","datavalue":{"value":"10.1007/978-3-030-59013-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485983$BE045B60-66BC-4B93-9889-F437E91DC80B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"149918789b5fb81f6d75f25c4a2bd7de39785071","datavalue":{"value":{"entity-type":"item","numeric-id":2152026,"id":"Q2152026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485983$6AFF8187-A72C-40CA-9E2B-389DB0542A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485983$AA8B8886-259D-41DE-88BF-C373E12E11C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485983$5BAE3C86-0448-44E4-9772-AC0711D8C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485983$A306B53A-06E1-4AEB-BCB0-232F6CF8665F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1400d5421452a06e99bba25e191c5063a01fc3c2","datavalue":{"value":{"entity-type":"item","numeric-id":6485982,"id":"Q6485982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485983$31D2B00A-1EE7-4AF9-8D96-475BAE40AF5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485983$161B57B6-B8D9-45B7-9F66-60AC3290BB03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485983$D35104B5-F0E8-4110-B290-8A3255B58702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485983$8223B094-B66E-433B-A15E-4BE0D99E2EEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49476b2842017069d0e343db4411e63025b4f4b","datavalue":{"value":"7636338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485983$22C5ABF5-3B3B-4972-A2AD-EA2FA24A2C52","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":"Q6485983$4C7C1E53-2632-419F-B396-7789E6A62AB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b74536356b39033ef5155017f45ba1fda429d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecd47b766e4d36628df981e2cabe2a86a2770da","datavalue":{"value":{"amount":"+0.8097066879272461","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":"Q6485983$CBF60F81-2B2F-43A2-AFFC-B7C860341829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9254ebf2b3d73b9a225532b178c259270211758","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6cd69063cca1dd54861411f017ad99599e679cc","datavalue":{"value":{"amount":"+0.7754330039024353","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":"Q6485983$06E3C77E-0BBC-4983-81D8-96FD1BA3ED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aba3a89b2f31d26f78a527a53789b9e8929087","datavalue":{"value":{"entity-type":"item","numeric-id":2507460,"id":"Q2507460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6982911f2371020876edfcd045a57d74696ac1","datavalue":{"value":{"amount":"+0.728380024433136","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":"Q6485983$DCF967E5-9FDA-497C-A2BD-FB449A73E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f88d6a69b40e7f3950110b04e2a1b01f59edab1","datavalue":{"value":{"entity-type":"item","numeric-id":6486106,"id":"Q6486106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70524e84eb72a01a4de2b4461dbc72aea0d6173","datavalue":{"value":{"amount":"+0.6988868117332458","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":"Q6485983$EE185E3C-596C-441F-A1DB-B4C911EC7EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acac55499754224cfa63fc8fcac6bae1a164111","datavalue":{"value":{"amount":"+0.691286563873291","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":"Q6485983$C48F69B5-197E-4BE8-90C2-C7ECAF3BB37D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485983"}}}}}