{"entities":{"Q2945700":{"pageid":2956420,"ns":120,"title":"Item:Q2945700","lastrevid":52344416,"modified":"2026-01-22T09:47:28Z","type":"item","id":"Q2945700","labels":{"en":{"language":"en","value":"Combining runtime checking and slicing to improve Maude error diagnosis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481931"}},"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":"Q2945700$BBBA0669-1AC4-4F00-AE0F-8A3691AE19AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"591d881b65a0f249e1f1d16dda0b04e74fae7491","datavalue":{"value":{"text":"Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945700$7599C6F3-E1A3-432D-AC30-731C7DBD890E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b68e2032b61e0670ce7e4ce8a7cee5901147d9d","datavalue":{"value":"1321.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$74B4A476-B8EE-46FA-B8FC-FE466EFC9A14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25d44e826d2e3a180fec5459b71334eaa253895f","datavalue":{"value":"10.1007/978-3-319-23165-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$64C7B9DD-BF5C-4373-BCA0-D41AB63B8718","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$AE0FDFFD-2B2C-4B9E-89EA-722BD9D6AF80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945700$C668A94B-043A-4EB8-BB06-FEA87F304B7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46f92438b4da7e30842e267fb8ba20d7d0253750","datavalue":{"value":"http://hdl.handle.net/10251/61075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945700$FAFF6444-D2D2-4065-818D-C42B2FD8DBD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$8EB2EA1F-4500-4E10-B1E6-EE7483293AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$3D8E2A7F-4A2D-4765-BD39-F980A25ACC7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bde68f5561c7d8af493f93fa318ce33a88d3874","datavalue":{"value":"6481931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$42268AD9-1029-41C6-B5B5-5E740686AB87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d9653b6b5d5ca736c17f473c5dd003c92d9f2fd3","datavalue":{"value":"Q57978115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$E5D29CFD-ADCA-4AA4-A37C-AAE99086D8D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$3CBD1107-E85B-4523-B2AD-C7D9954BBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$DE16DB95-B6C4-4C37-A1D9-AAFE9D35C0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f24c28fd08a413ff0f28ef13aeed0d37f740f98","datavalue":{"value":{"entity-type":"item","numeric-id":739628,"id":"Q739628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$F1A3AE9E-2495-427B-B069-F0ABDDEAEFC0","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":"Q2945700$07D1795D-56CB-4419-8609-5B1585EE1C92","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4c1740b7bc279a487e70ef859787993552f1950","datavalue":{"value":{"entity-type":"item","numeric-id":22070,"id":"Q22070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$DFFE692A-5173-4D3B-8E3E-A8647FD49FDE","rank":"normal"},{"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":"Q2945700$A0118F08-DB8E-444E-86AC-76865C944A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c46d5a399090ba32f5e0f0288380e87e058a780","datavalue":{"value":{"entity-type":"item","numeric-id":21760,"id":"Q21760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$C2C92059-2179-4585-9CCF-440ADE508AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bde93662f975cf56b19d40a9f9c81d3fa28b77d","datavalue":{"value":{"entity-type":"item","numeric-id":22094,"id":"Q22094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$6101691E-9D50-457D-A388-715AF5344561","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":"Q2945700$AB3912CA-53DD-458E-A404-33196A2B9090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c8ba125d8974698980bc1558727bcc3d723330","datavalue":{"value":"W2294492308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$1830BFE6-7570-44A5-93E5-5007676BB377","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada905b9ffd50d362eb0f5bf00c43613ad6045ee","datavalue":{"value":{"entity-type":"item","numeric-id":5200013,"id":"Q5200013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$FC9734B0-A3DF-4A02-AB92-28590B136F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cc2053bc498163f0806d262c731adbbb33a09e","datavalue":{"value":{"entity-type":"item","numeric-id":2891440,"id":"Q2891440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$4CF7AA58-3180-47F5-BB46-B3E0B87CEF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac84ecc2b24e67ba097ff54b145653d62067a01","datavalue":{"value":{"entity-type":"item","numeric-id":5403072,"id":"Q5403072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$6AC7DD6F-3F75-44A9-8B68-094A3C1C006B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89dc08a6456af9fbfd50a78dd8015473230b7c6","datavalue":{"value":{"entity-type":"item","numeric-id":739630,"id":"Q739630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$8134EA4B-F81F-4CD7-B1B6-EA46A0E4C7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b378a4a4ba4f25e1dae88f0d9b56238a55655b05","datavalue":{"value":{"entity-type":"item","numeric-id":485831,"id":"Q485831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$43A08841-9C8C-4F72-BFDC-D5E334FAC37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$DF87EB49-FD35-4A39-9493-B031830F01D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$8754EAB4-58E5-490F-BE15-7D95E454BE9B","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":"Q2945700$EA463489-8F31-45CA-BC7D-6F5488D146D2","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":"Q2945700$C75298EE-9871-427C-8050-8136D07774CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$806DD4D6-56B3-405E-874B-27C06189E24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7759559e7c39755583ff3aabfb74de64789139d0","datavalue":{"value":{"entity-type":"item","numeric-id":4933280,"id":"Q4933280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$1D9AC347-DD00-4882-B3AF-BF0BD978DBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9235c60129a4b8e803d462a7afb97c9332ebc93","datavalue":{"value":{"entity-type":"item","numeric-id":838161,"id":"Q838161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$CAF1E473-ADDF-466A-B6D9-767707FBD5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$5A0DC34E-A4E7-455E-9B8D-B1AE2EA632CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510c432f0ea15ce9c9e005a3d2df987de2fae3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$1EA8A641-3B00-44ED-9868-26B5A221CEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b701752735fa83282458f2c860d46e5c8f21c5","datavalue":{"value":{"entity-type":"item","numeric-id":4692876,"id":"Q4692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$A5609B23-C5F6-4E14-BC33-BDD0A7731B10","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":"Q2945700$33A6BB70-E9F4-41CC-B460-3E05713E6565","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":"Q2945700$2EECBB3C-A307-4EC5-9B04-8529D47658C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$766A358A-0E44-47B5-8A40-74C954C386C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2308082f9a80f9a7eb4caa9bee27706d8306e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2945730,"id":"Q2945730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$836CE795-F5CF-435E-B27B-A03CDA52016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945700$8C2E91F4-55EB-4ABB-BF11-A75E3FD1123C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4cf1c353070431497ae975af2c7c5b01fe7c7d43","datavalue":{"value":"conf/birthday/AlpuenteBFS15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945700$DBC7EF60-3FF3-4D1B-9C2D-A1FC9D8D7470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa6bec6b79a236643f4bcbdcccf47f59ea3a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":739630,"id":"Q739630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e2e0e8806f401528978ade933955b6d79180f8","datavalue":{"value":{"amount":"+0.9155430793762208","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":"Q2945700$88C917CA-425E-45E5-B55F-D72E58DA82AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42e18631edec30f99404086c8c62233d774084b","datavalue":{"value":{"entity-type":"item","numeric-id":4593040,"id":"Q4593040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c326118793b9e5f7a38707f5b2a9e87b718502ff","datavalue":{"value":{"amount":"+0.8067537546157837","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":"Q2945700$C233388C-2474-4E7C-A49F-B6FF9BE89EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83340d00027a2ddf1d5fc3ffb7e3b8f09fd4796","datavalue":{"value":{"entity-type":"item","numeric-id":5200013,"id":"Q5200013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafd635ace1694a97423f33d2a7a705f151103a6","datavalue":{"value":{"amount":"+0.707298755645752","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":"Q2945700$490B960F-57A2-41A5-A9F3-2C2C7096E5A3","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":"2524092aacb879c389dfea0fcc61ea1ec49a1bf7","datavalue":{"value":{"amount":"+0.6899877786636353","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":"Q2945700$0803C8B0-A0DA-44B1-B531-BCA346F59161","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":"90b520ed674b4fb961fd63c12724541b6e4387a4","datavalue":{"value":{"amount":"+0.6896336674690247","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":"Q2945700$E78A3B8A-B269-471E-8EB9-B1D6DBE23754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945700"}}}}}