{"entities":{"Q6643468":{"pageid":14254623,"ns":120,"title":"Item:Q6643468","lastrevid":55797871,"modified":"2026-02-17T22:59:07Z","type":"item","id":"Q6643468","labels":{"en":{"language":"en","value":"Maude2Lean: theorem proving for Maude specifications using Lean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7949496"}},"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":"Q6643468$6A207BD0-F17B-4BF4-B5ED-8D3554B168EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a963fce3c7dd503e0638713ecd63e2a2f5357753","datavalue":{"value":{"text":"Maude2Lean: theorem proving for Maude specifications using Lean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6643468$CBA96CF2-3209-4873-A340-C388FB0FCCFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bafae3d52609522af796446362a8627a32da7eec","datavalue":{"value":{"entity-type":"item","numeric-id":2104540,"id":"Q2104540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$35558CDF-E7E2-4819-BEBB-5B8490731D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$59D77C03-CB8B-4252-BC9D-E035CD9761E3","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":"Q6643468$F7A8AFDE-2A60-4762-B802-0BC105758318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1403ced2efacb118ecfb16a875f7c27f30cf0dc","datavalue":{"value":{"time":"+2024-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6643468$28F5EB22-508A-42F2-9160-DE8277B88D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643468$7BEFCC04-A812-4BD7-A7E3-2E3396A1A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643468$0E06B9D5-AC5E-470B-B79F-2380DF3C056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643468$519F5DF9-F51A-4D39-ABB0-CCB58A4018BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79018ecc7110847fc10d55d65299e1fd3de773d0","datavalue":{"value":"7949496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643468$DF7A19E7-1C62-4707-A244-AACA86FFBAA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643468$F72FE8F7-18E7-4C2B-88E7-7CCDD82973B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643468$D8A8E5BC-5E7C-4C68-BC9A-1C3996724783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643468$4DBBE7DB-FEF9-4FCA-A806-9A6E1CD1FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643468$61AF867E-6DB6-4EEB-8F00-0127D5FD89D2","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":"Q6643468$02A1673D-121C-4502-A40F-22D87FB7937B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$97B6DF58-B388-4977-AA77-A7362F52F4BC","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":"Q6643468$0F902AE1-392A-4124-84F7-35DE69FF6678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863eec2394fc70358ca046882d36da70f8565732","datavalue":{"value":{"entity-type":"item","numeric-id":5145270,"id":"Q5145270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$29199318-EB71-4460-BE7D-F547C99A9C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$06D0FBFD-7309-458C-9C3D-936FAD0431F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$162E3E83-5499-4705-8496-2D02D8465EA8","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":"Q6643468$13E04518-D48C-4A45-9D17-CD3A32D6304F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa72e383c8b5500a940c4911f0d87670e9142811","datavalue":{"value":{"entity-type":"item","numeric-id":3067467,"id":"Q3067467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$E17519B0-B0C4-4D6C-B6AE-0409681086D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151111f90b57cf604183cb1efbc63c64841eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$00120567-950E-43D0-AEA8-ECC84C22C357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$EF33ADF0-F12B-45C0-9397-DEF89708C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$7A037610-2416-4DED-9129-9BE6734A1AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$A76D758C-EB3B-42A6-A75F-125D2BA04851","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":"Q6643468$D9126E99-4645-48F2-8F14-41E7C484AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c884171bba72c2b3f8a55330fd6748a3e548c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$0233D4BF-3959-4FC8-9508-E7CD7CA6C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2166a85561150f0e3c3a50c2cfa0dd22ab3e8","datavalue":{"value":{"entity-type":"item","numeric-id":6052948,"id":"Q6052948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$4FD1B093-5855-4E67-97AA-014DB6CE6B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6b4e6d878a81f41493ff85c55a14b239af3e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1931905,"id":"Q1931905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$CA676DA3-A364-44BA-9CC6-114C89B50EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$1A339C8C-7F34-472C-93D1-F0CC2B31BB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$89167480-68E9-445F-99F9-28E2B23E76FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ce0f860d09058e603a5b1cbf016972766fc0ef","datavalue":{"value":{"entity-type":"item","numeric-id":2291817,"id":"Q2291817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$0C18F0C7-DCAD-4C45-8820-FF52EDF9227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7196a607c5a379e153cfc20f0e3e89dccc00c7","datavalue":{"value":{"entity-type":"item","numeric-id":2628298,"id":"Q2628298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$A1FB977D-F784-4E7B-A585-D510DAEB0F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$33AE7B66-2428-4889-B34A-5F6A0B68C3C6","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":"Q6643468$2F024DDA-7D74-4EC4-85A7-7A8A9DC5173F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$987AE25A-4891-47F0-A721-FFF810A7DB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$B9CB727F-2348-4573-8A33-13841AB7133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345a11d6d5ec32658507f06a7c7e97950df13de1","datavalue":{"value":{"entity-type":"item","numeric-id":347384,"id":"Q347384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$471CE1FA-872E-49A2-AD35-9E4A3ADC6356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb880f22953cb3fcf7e41156a39239507315164d","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643468$A205B2F9-7CEF-4E9E-A2EC-7E66AC43CB35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c909634a2dd19c48eae86495cbf6b45edb16638","datavalue":{"value":"10.1016/J.JLAMP.2024.101005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643468$8B2FB8A5-F7B2-4201-ABCB-8B1712335B85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306987d729b8ab0c88602ebbc1f87a959384d971","datavalue":{"value":{"amount":"+0.7403748035430908","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":"Q6643468$43EE53DB-86C4-448D-8863-20EA80BEA0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1e9b7c7aacaa5cf0edd580a687d0ea3524e99","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1195dcbe83bf067909ea56c5581c6c559755d44f","datavalue":{"value":{"amount":"+0.731820821762085","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":"Q6643468$3ECD62F9-DE05-4399-B906-F8CDB78E08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2b66ba0acf9d32bef8bf5bc85fa331f509caa5","datavalue":{"value":{"amount":"+0.7287583947181702","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":"Q6643468$3D53FEDE-0782-4A8A-9E56-83B869A75BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8bc2a28c912e284a31af6cbfbd06de6fec5a92","datavalue":{"value":{"entity-type":"item","numeric-id":2844063,"id":"Q2844063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce8bd78d33f12e364ecde6660202c19442ac734","datavalue":{"value":{"amount":"+0.7287200093269348","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":"Q6643468$99DD3EBE-DD44-40A3-B9FE-4B09CDDAAD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952dd0313ffcdf0b91b490f0739b8e7d073d048d","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b90194c2294cc2b429b0233d84038380ff8620","datavalue":{"value":{"amount":"+0.7239190936088562","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":"Q6643468$2775FCB8-9F06-418E-9AA5-64DB377A6E4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6643468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6643468"}}}}}