{"entities":{"Q5179130":{"pageid":7208702,"ns":120,"title":"Item:Q5179130","lastrevid":52228211,"modified":"2026-01-21T05:07:55Z","type":"item","id":"Q5179130","labels":{"en":{"language":"en","value":"A declarative debugger for Maude functional modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416975"}},"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":"Q5179130$F8AEF71A-0EB4-4C3C-8B18-B943A69F017C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"043eff7aedc73a35fbf8933231407471df384bfe","datavalue":{"value":{"text":"A Declarative Debugger for Maude Functional Modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179130$4143A2A3-B698-47C5-831C-31930B2C91E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c11da7a32d8b3e3f4e70a01047335c168c632a","datavalue":{"value":"1347.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$EE120DCE-57F8-40F1-AF42-32BAD056F68C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$E91C5392-9954-480A-8C24-CE55D98024C2","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":"Q5179130$A6CA8341-CE2C-4894-8936-19765AC12A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$11E07B52-18FF-4B8D-BDED-D59851462E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04d4ebdcbf5b15a26d011696bf9b1f4c1a910235","datavalue":{"value":{"entity-type":"item","numeric-id":319094,"id":"Q319094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$504174EC-2949-48D8-8745-92643EC5DC72","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":"Q5179130$EE51CFD0-AB96-4290-8F7D-2AB3E60399E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-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":"Q5179130$0E3142AE-E62F-40B5-AA68-32D7D3B367AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$611B9A55-8A66-4C28-A04D-8ACA01FA4B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$27BA152A-97C1-4178-85EA-7D54D0284A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$0261EEAB-D764-4DB5-A930-1477EF6D4237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff2d70e5addf1ba744f1d733929cd22edf5acb8","datavalue":{"value":"6416975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$62E515A4-E706-4868-8598-DEFF92121107","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542bb04d1dc2d8a0bfa777796b90cf5720a07472","datavalue":{"value":"declarative debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179130$9591BD0F-4A00-41E9-AA43-2C9D9572A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179130$29D8A4DB-D534-4C33-8B4B-A9F9754E1E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179130$5B58C442-0A23-4562-9E36-11CD8495C077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe00c14029e47302957b31b73f666d9c3099393b","datavalue":{"value":"functional modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179130$5944EDB4-DCA9-4B3F-BD11-4367648ED113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dfaf2bccbe06da15e56b2f9bd6d73d92f984439","datavalue":{"value":"metalevel implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179130$D6CDF252-33C8-4663-8D60-03F0C2BE0DCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$562DD0A9-51C5-4C83-9072-6790C1235706","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":"Q5179130$2B75B823-451F-42AF-8168-5EA3B42088DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5bbeb3875f60b5ef9aea0ce4b58a74194834322a","datavalue":{"value":"Q123905854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$9BB86FDF-93A8-4D1C-9241-9860164C96EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73ffe61103431e13524da589caf8131cd4e9df54","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179130$047F753F-48A3-4830-9927-33119E870C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f02f670fc47dd394172f1d3fd8ddb64189b89af","datavalue":{"value":"W2169508890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$70EA76B6-C2EC-4F25-A736-4DA8332726B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceca1f5265397e37b0a53c5ef68bac0f9135634d","datavalue":{"value":{"entity-type":"item","numeric-id":3079916,"id":"Q3079916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$7FC4301B-CF72-4357-954B-DE65D9B3446F","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":"Q5179130$95D699F5-C9CF-4DC2-8EC2-006289DC73FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c8ca6b0514912ce031b1c6d445bda9dafe034f","datavalue":{"value":{"entity-type":"item","numeric-id":5179130,"id":"Q5179130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$C54C88E0-0079-4322-BE27-67642202FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cc5347531e71109d24de9d3dbc6b06bb28019f","datavalue":{"value":{"entity-type":"item","numeric-id":5308014,"id":"Q5308014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$3DF8A17B-A7EC-43F2-8154-6533555DDE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e72e86189ac2504861784ad173ee9db28a12b4","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$ADB51395-16E3-4760-B066-8CE87D6CD9D4","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":"Q5179130$40BC4962-4657-40FB-8CBA-EBF7E67F48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b42907db6e0f548148331d74b1a977500e405","datavalue":{"value":{"entity-type":"item","numeric-id":875516,"id":"Q875516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$4BD28F99-F766-40DE-962D-83DFE8C69796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$960E975E-58F2-4142-B8BE-B6E4C91B2C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab569c859538f62b3b8a7e0c324d15e1b9ccc013","datavalue":{"value":{"entity-type":"item","numeric-id":578894,"id":"Q578894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$F0820A51-20EA-4003-8C8E-2613FFC58954","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":"Q5179130$4DDE04B9-EA35-4241-BE71-499BF994E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$6DBC165B-4B5A-41BF-A65B-2F5C37D16376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ac46286c7033dcb5803b1ad27f063d4d63e9f3","datavalue":{"value":{"entity-type":"item","numeric-id":4259962,"id":"Q4259962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$D1CCBB64-6C94-483E-BAFD-107F7170B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743b7113ba999610432a5d7583df577a866e037d","datavalue":{"value":{"entity-type":"item","numeric-id":3150209,"id":"Q3150209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$450CAA53-49E1-4590-B902-C6A0B3127A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179130$CC429C59-266F-404C-83FE-E73FC226FA5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ee25b7aa07d27a37fed3d67315026396fa3ddcc","datavalue":{"value":"10.1016/J.ENTCS.2009.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179130$0D9B3593-0415-48DD-88DF-9AA4E3227774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51993954e689e05322e29e0cf704fc1ef2b57c7","datavalue":{"value":{"entity-type":"item","numeric-id":3507364,"id":"Q3507364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f004c57585c04f0d7fe28cf52f6e34ed52d77681","datavalue":{"value":{"amount":"+0.941478669643402","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":"Q5179130$702BB48F-BBCA-49FA-8BBA-1710DED2D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e31c9afc9a9dc68bb9dda3822841fe606d41cd","datavalue":{"value":{"entity-type":"item","numeric-id":3067479,"id":"Q3067479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb20f4084cad45a1dfd85db28dc0c963a1ead44","datavalue":{"value":{"amount":"+0.9290423393249512","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":"Q5179130$D9A8D01E-FC4A-423C-A828-682592A86EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee0b81bb21ca07aed54d102f5887cdd546597f3","datavalue":{"value":{"entity-type":"item","numeric-id":1931907,"id":"Q1931907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09c1283b71ba414402d296c59105843f570c6ab","datavalue":{"value":{"amount":"+0.8825761079788208","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":"Q5179130$78EFDC51-C637-4091-9CBD-C93B518D69D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9313b8e9d6b1f55fc1a7342b79180e7d29438867","datavalue":{"value":{"entity-type":"item","numeric-id":3184739,"id":"Q3184739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59ddd00f7208a7b623dadb1a960ec3648852102","datavalue":{"value":{"amount":"+0.8807185888290405","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":"Q5179130$45C20248-3741-4303-8D3E-B9C57C1E6A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b361b133615253b0689243e6ce2e369c78c7e0","datavalue":{"value":{"entity-type":"item","numeric-id":4933288,"id":"Q4933288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ebcca882015f8316e6801208e25d14465854240","datavalue":{"value":{"amount":"+0.8798956274986267","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":"Q5179130$44532945-210A-4A1E-B3EC-4F4E8929398D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179130"}}}}}