{"entities":{"Q4909314":{"pageid":6938893,"ns":120,"title":"Item:Q4909314","lastrevid":51667202,"modified":"2026-01-19T09:08:36Z","type":"item","id":"Q4909314","labels":{"en":{"language":"en","value":"Simplifying questions in Maude declarative debugger by transforming proof trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144098"}},"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":"Q4909314$AD981EE4-9A3F-4158-93D0-688B2F780EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ac9ce89539a021a22cda0803f5efebfeab50f8","datavalue":{"value":{"text":"Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909314$2CCB41C1-681D-4271-AC80-2A4611D1E367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cb325c4b7824f818d3915bdb645c344911971d9","datavalue":{"value":"1377.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$4B1E880C-9714-40B1-BF22-2F0108F5B16A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e342a407b3195b6ec93102fb8fde9f6680599621","datavalue":{"value":"10.1007/978-3-642-32211-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$1C2582BC-8CF1-49BB-9CD5-05CFA2399197","rank":"normal"}],"P16":[{"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":"Q4909314$F2D9149D-B9E6-40C3-B516-0BE4A5B51276","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":"Q4909314$50C6E21A-B232-44E2-8F17-D0CBC276C87E","rank":"normal"},{"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":"Q4909314$039360E9-3F22-489C-A6BB-BCD855B5373C","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":"Q4909314$27983E74-BD12-42C7-B63A-490F945BEC73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909314$3FCFC208-138B-481B-964D-2F5FF3F24749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909314$20B7EE94-B00E-437B-BD16-51F5481643D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$41B190DD-AEF6-484C-A842-0808D04E3425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a634a155d03b920edb2e01ac2b0159c9ce68533","datavalue":{"value":"6144098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$1C51E5D2-80CC-48A7-9CDD-E41F6C9C7D56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542bb04d1dc2d8a0bfa777796b90cf5720a07472","datavalue":{"value":"declarative debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909314$BBB1592D-9CDC-41DA-AF5A-239588D1F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909314$0C3F6138-5521-4550-8DDF-0C0363C56261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c16c7ad5d8df3f8447b2e0198ab826a0a34dea40","datavalue":{"value":"proof tree transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909314$492286F1-5068-40A5-8326-07AEA7969AAA","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":"Q4909314$DA99C8DF-0608-438A-92E7-9B48A335F5A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9342e9fb0b1d4532a4164b89729fdd8392af979","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32211-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909314$E7846098-17B0-4B3E-B795-0E9460736FA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ad4e1663cffc96b69e17659983382e7a447b101","datavalue":{"value":"W1545986217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$1B8F32AA-5A5B-47D5-A630-76DF7BC197D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"546e7a450d55d354c8cdcc79db239f111eee2342","datavalue":{"value":"Q123905831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909314$2AD004AA-BF0D-4D3D-AEAE-AB061C477DC9","rank":"normal"}],"P1643":[{"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":"4bd7d42d3e5a5f617eff0626f50ee8a20f8d8f6f","datavalue":{"value":{"amount":"+0.8459732532501221","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":"Q4909314$9004F731-124B-47BA-A69C-3E4BE5A64414","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":"f95f766a04dcae398704a7c5e4c030002a7a9aa4","datavalue":{"value":{"amount":"+0.8335984945297241","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":"Q4909314$07A7E79F-59A4-40CD-AD0D-94B59F87B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4e33d35dae632396eb7ab44ad09add297f617e","datavalue":{"value":{"entity-type":"item","numeric-id":5179130,"id":"Q5179130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8ae489091d2a9066a59c83deaa2ad14e823f7e","datavalue":{"value":{"amount":"+0.8255931735038757","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":"Q4909314$443B7A88-832B-476A-B83E-615A3B21084D","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":"3676796ec549ef8119aed508863d8c41a3664737","datavalue":{"value":{"amount":"+0.8243415951728821","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":"Q4909314$593F4930-3823-468F-A982-D9A4497103B6","rank":"normal"},{"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":"8fb4cd78c7f6302e4a55205dade7d6d4d3d59793","datavalue":{"value":{"amount":"+0.8080571889877319","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":"Q4909314$4AE6ACC0-08CC-415C-B9D8-4622422CF6E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909314"}}}}}