{"entities":{"Q2873779":{"pageid":2884499,"ns":120,"title":"Item:Q2873779","lastrevid":51912803,"modified":"2026-01-20T12:54:47Z","type":"item","id":"Q2873779","labels":{"en":{"language":"en","value":"Abstraction and model checking of core Erlang programs in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250533"}},"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":"Q2873779$238114A0-B166-4F8D-A31D-3D114EA8645F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33ae920f69425a28c5ec208fc3932d9299e32499","datavalue":{"value":"1279.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$9F67F168-72B4-481D-A9EA-0A5070AB7573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd181907c86c690db630ee2fee65d2bd2ee8afa","datavalue":{"value":{"entity-type":"item","numeric-id":2248078,"id":"Q2248078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873779$659A04B5-E60F-4638-B64C-8DD54AA9CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873779$381E5747-4C41-4ADD-8E62-B877DE825E7E","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":"Q2873779$3C8ABA2E-1FB6-48F3-AB30-26EDD28BE250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873779$AE63B264-D130-447F-9469-FE0DFAFF5250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$3782BD73-6684-42F4-8B2E-C289C52B4127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$165A4AF8-EB26-4C2C-8C97-559FEFB49304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$AB2C2A8E-083C-4EC0-B063-B0BF00110058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$6C986177-1331-4180-8CDA-0CC87147336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$8C7CE909-8868-49EA-B95C-69BDDA4441E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b28b60d8e77bb14f38f0dd8afdcabbef9b41acb1","datavalue":{"value":"6250533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$EE0D8074-07EC-4625-B26F-73F878509F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873779$230AB559-91A1-4E8B-B9CF-65EA0628234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873779$F2C271C5-7144-4388-AC9B-3C8F3F491BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873779$5C666AB1-1971-447B-8B75-3860BA8E8FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873779$66563265-0664-49AA-B4EE-FCC6BE211DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873779$FE7F506F-955F-4B8F-AF6F-2709EB0926D4","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":"Q2873779$EAF548F8-3A7E-4803-B034-F6F17CC961A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873779$5DBEDB0D-0695-42A3-89FC-1EDBEB0269E9","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":"Q2873779$9E6AA690-A8E6-4E8D-8C91-F829AB4996A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"436cc124e9f513ce5ab1c7f3f1040a8049ae1c39","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.06.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873779$4543E002-F7F2-4B7F-85AE-C8946E92B65F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44c351d1a5ba3ee392295e1aaa326d6731c3c6ad","datavalue":{"value":"W2061945006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$F425DD77-CF9D-4548-B269-61AEA32F152F","rank":"normal"}],"P223":[{"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":"Q2873779$89E5DB3E-9C24-4F19-9DE4-EB4405D45B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873779$3332A5F0-7F5C-495A-BE47-A01EDB06BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873779$2A489508-3475-4CAE-A25E-732D498C6965","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":"Q2873779$42C2563F-B6EE-47A7-85B9-728D48A3C6F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99693b15969b7731089aaac9ab4a03d5ce54984f","datavalue":{"value":"10.1016/J.ENTCS.2007.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873779$D4B38A42-66FC-4E2A-BD81-9D1074B63769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89aa74bd879e7f83972dbbfe01804ba9c6066169","datavalue":{"value":{"text":"Abstraction and model checking of core Erlang programs in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873779$1E039432-E24A-468C-BD61-AC400C0F74D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b971e51432af326f44adf1253fdf168b6a2bca","datavalue":{"value":{"entity-type":"item","numeric-id":2849558,"id":"Q2849558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40619c6b3e987554331d45cac5c0cdae818bb961","datavalue":{"value":{"amount":"+0.944907546043396","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":"Q2873779$EA368410-3499-47F4-8AED-FD913B98C190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97777171cf0f3411795186b252dc4c0640eaea6","datavalue":{"value":{"entity-type":"item","numeric-id":2817727,"id":"Q2817727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9eb0889ca43625628b59bc1b096ac20ef708f6","datavalue":{"value":{"amount":"+0.8448963761329651","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":"Q2873779$437FA922-11B6-47C7-BC9D-F7450C88A0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c253f14bbe090f94c2109115768ee05dab1ea7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3453650,"id":"Q3453650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e475c16d7fa4dd03eff9b591ef3274e65b7d8ff1","datavalue":{"value":{"amount":"+0.8072300553321838","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":"Q2873779$F0DF9E72-3646-4254-94CC-38B2E5E70316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517291b40fe166e5c4e0b9d0a106e79d310eeda0","datavalue":{"value":{"entity-type":"item","numeric-id":2841292,"id":"Q2841292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ce575fbabaec3d48491d1618a4c973dc8e2f4f","datavalue":{"value":{"amount":"+0.8034258484840393","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":"Q2873779$BA6F782A-2E16-4558-9718-EF1C4BBBA32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8679f739ee9715aeab6d6972be930901b17d5be","datavalue":{"value":{"entity-type":"item","numeric-id":4808829,"id":"Q4808829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0f384d1e3a93929f434e0386e303d6a917248e","datavalue":{"value":{"amount":"+0.7729066014289856","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":"Q2873779$30BE7210-5087-4564-AB2D-6B332E3A5DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873779"}}}}}