{"entities":{"Q2850669":{"pageid":2861389,"ns":120,"title":"Item:Q2850669","lastrevid":51836612,"modified":"2026-01-20T07:06:09Z","type":"item","id":"Q2850669","labels":{"en":{"language":"en","value":"A tutorial on specifying data structures in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212872"}},"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":"Q2850669$3E44A11E-7554-4FFC-998B-7A9C81171F5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6a5a0bdfeb11379525ca947a4d1faff40db0ea","datavalue":{"value":"1272.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850669$68EB1F5A-EFBF-4405-94B7-4E04A4E2AC8F","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":"Q2850669$48361A14-2D04-4136-ACE9-11152DA7706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850669$8E345FE7-21B1-463E-B55B-C5DA994666C9","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":"Q2850669$DAD1068F-A853-4548-8BE8-13B7A97391F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83438033cfc0e9573886518423ecc3412fd841a9","datavalue":{"value":{"time":"+2013-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850669$05F76F6A-89E5-4A9F-94BA-F320F59B0C16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a05e6f530d8fb0ec8a4247c43f58748675a9ee6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610505084X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2850669$B45042D3-90A6-4FE0-AD45-5B3792FF78E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850669$D01FA42D-7444-4D50-99FF-1CEB1CE17353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850669$5D084DB1-7603-47E9-81B7-FCEE520D2194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850669$6AFB2AFB-B2A0-43BE-9A46-3C7FD7231E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef41a8897aa2df97252bc64c9880beb08aa719b","datavalue":{"value":"6212872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850669$0ADB7DC1-46CE-476E-8E80-A9FC576BE328","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850669$B04F9E6B-6705-475B-9CB6-03FCE5723024","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":"Q2850669$CAD8663D-4128-48FE-B865-6E5782D771B7","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":"Q2850669$48200F11-0DF1-4220-BA72-28AFC79493A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c72949151ae8ef2cc69cfd3b9039526e91c0ca0","datavalue":{"value":{"text":"A tutorial on specifying data structures in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850669$52AFADCD-3E20-4093-8513-EBE301FB8AE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dedebc7e3a226d23604c74f3a664764207946b","datavalue":{"value":{"amount":"+0.7288426756858826","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":"Q2850669$80B304BE-4974-4A52-8DAA-500C6F8D64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266a13aeb2bf4d28bf2096bc9e5b5c961e1d800e","datavalue":{"value":{"amount":"+0.7057878375053406","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":"Q2850669$82EFFDE9-3F22-4B8E-8814-6555D66DDCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9c458cbc19644ec29358a69715d94a62d55eea","datavalue":{"value":{"entity-type":"item","numeric-id":4594217,"id":"Q4594217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6761f16fefc3b10f4cc44baece6492f4929b0ba","datavalue":{"value":{"amount":"+0.6754770874977112","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":"Q2850669$A2AA9385-F671-4435-A654-0D5B3441BD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce798849b319bd842b6aed35c3b4c86af0e5d6f","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78b3bdbe44aa7c97d01aad3c397d6805c9e95b6","datavalue":{"value":{"amount":"+0.6734565496444702","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":"Q2850669$47602C6B-F915-42DE-9C99-8FEBD2416B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdb30f2210c203b63358eacadbbe03c10c614e9","datavalue":{"value":{"entity-type":"item","numeric-id":2797862,"id":"Q2797862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ab9c2cb9c8a075ab51b6dcf8d47afd6cb6b76a","datavalue":{"value":{"amount":"+0.6734046339988708","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":"Q2850669$CC350433-E846-4626-ABA6-553A738ED737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2850669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2850669"}}}}}