{"entities":{"Q5389150":{"pageid":7418724,"ns":120,"title":"Item:Q5389150","lastrevid":51453761,"modified":"2026-01-18T07:44:52Z","type":"item","id":"Q5389150","labels":{"en":{"language":"en","value":"Declarative debugging of missing answers for Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027905"}},"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":"Q5389150$66AC82DD-1CEB-41AA-8FDA-F33BA9F4D10E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36225cc0f316256072232c1b2b30b6110cbd359a","datavalue":{"value":"1236.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$1C417B1F-24B8-4844-ABB6-58573D680E7D","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":"Q5389150$3E016638-0739-4CCE-94AF-81EC2D2C3CCC","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":"Q5389150$111AB448-7455-415A-B3AD-D5F8FC80D3CD","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":"Q5389150$CEB3BA69-0480-4582-AA1F-EAB2BA3DD0F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389150$24281DC8-D416-44C7-A513-B235146972EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63227ba106b96423a54612023ea684d10820ebbe","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9736.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389150$B3CE67A6-56B6-4016-A150-64016BE67716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$102AB90A-A4FA-4428-8FDD-A7D371B16766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$5877AFC3-3391-4DDF-B4E4-31D6E55D6055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$571109F5-B30B-4931-AAA3-BAD2F3F2B188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be0d2407874dd6ce79865be5d94bac4a98c51939","datavalue":{"value":"6027905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$DBA3A2E6-2165-4C3A-9416-46CF2AD39391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542bb04d1dc2d8a0bfa777796b90cf5720a07472","datavalue":{"value":"declarative debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389150$D87E394D-90AA-4CBC-8220-8FAC3E92C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389150$17A2351E-2EA9-4BBC-BA97-4E5016CCCF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d950c6f6cf8eb00c65b2bd98bc4d920caf47a5","datavalue":{"value":"missing answers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389150$3D62F189-D948-4E93-BF22-1DC35807E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389150$AF3AE253-F7BB-4B26-A022-FFD32C32722F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3d2d7015a07a03ecfb8d219a56ffb124afbe8d","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389150$10B27ECC-84E8-423C-95ED-B58B1DDD4570","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":"Q5389150$524EF8C9-60D9-465C-AFBF-30DC60EC962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f159de17de6661aec16c3d427739a87985eba64d","datavalue":{"value":{"entity-type":"item","numeric-id":21883,"id":"Q21883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389150$FD9EEC11-6908-43B1-A0C9-6E38A16EF090","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":"Q5389150$1B904F0A-4B1D-4F63-860E-45D4381640E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"905b8bab92e3a377fa7b81a1617d859586d403d2","datavalue":{"value":"W1572801100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$99283262-5BC5-42E9-8A49-3132129F5973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66754f429dbf314ce01353c034f1ef2c17dc35db","datavalue":{"value":{"text":"Declarative Debugging of Missing Answers for Maude.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389150$0E429F6D-91F4-4585-97CA-A3A2F4C86A9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d74a9a32b6f1d9405a9c49b9cebc978703edbb5","datavalue":{"value":"10.4230/LIPICS.RTA.2010.277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389150$2B7DE5A8-628A-4A35-9751-711E929541DB","rank":"normal"}],"P1643":[{"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":"5a887967150ba526b21f38af33d8fb0bf4623b80","datavalue":{"value":{"amount":"+0.9607489705085754","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":"Q5389150$B51D14EA-9F56-44C0-854D-C12BB30FAB21","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":"449ac5dfac677588db6a4ac546b97de4db279f07","datavalue":{"value":{"amount":"+0.9122377038002014","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":"Q5389150$CDA65A36-7E1A-4418-B2B8-9F32A3438BC8","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":"c15c809152eebf44c5cfa883dcc3d64a5d4e9156","datavalue":{"value":{"amount":"+0.91031676530838","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":"Q5389150$B07F770F-0621-43B5-AB45-D97285E09A4E","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":"b5c8dcd52d53aee2c1707cfb72e609ec08767e0a","datavalue":{"value":{"amount":"+0.8892179727554321","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":"Q5389150$559EF89B-91FE-4D20-B97F-3F0F5D0977DB","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":"71a8908f1fcfa537137de7dae5a437becb4c4bea","datavalue":{"value":{"amount":"+0.8759124875068665","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":"Q5389150$CDB4FA02-6E68-4C37-9FE4-DC424BEB3010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389150"}}}}}