{"entities":{"Q2852099":{"pageid":2862819,"ns":120,"title":"Item:Q2852099","lastrevid":51838976,"modified":"2026-01-20T07:20:46Z","type":"item","id":"Q2852099","labels":{"en":{"language":"en","value":"Prototyping SOS meta-theory in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213770"}},"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":"Q2852099$B92CFA26-1CA1-4A19-8FD6-5AD83180CE53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20a1dba4f174d77469a04b37ef0c5c21be39a254","datavalue":{"value":"1273.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$9E58EC3D-0816-4F87-B566-48FF3F096DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852099$FC2D9038-00B1-494E-899F-D26B084DBC5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02177dc437b36d5db06fc1798c0b3b87590c2260","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002210","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852099$4FA23749-6608-45AE-8522-A2FB6A4C70F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$0B0FC659-DF98-435D-B7A4-BC4476DBB61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$B93F0039-8607-4F5A-B400-6AAF8B1945E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$0E8E5D2F-2A41-49A2-8AB3-C82C6A18E2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$67822A13-E9D6-4F69-9D34-6846359324C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2addc8c3e47f00dfd53c34601e3f8e744a75fbf3","datavalue":{"value":"6213770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852099$EE6FC19A-C47B-45B6-8A3A-36C82D79B2CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852099$FB345C15-EBF8-40A6-9963-A99D9BA79BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f139be797ad6963cd2cbd5f2bce837e22e6da95","datavalue":{"value":{"entity-type":"item","numeric-id":17134,"id":"Q17134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852099$F23AA14A-3C26-4D9D-BE82-6C38397EF376","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":"Q2852099$813DF44B-C194-4CA4-9F67-5AE950737C17","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":"Q2852099$E7FE77F3-7754-41DC-9FFB-3E9CD61220D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cf1b3c448f4f53abd3f8acb71b2d1bc15a6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3409383,"id":"Q3409383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852099$3C329AA0-16B0-4BF5-AF05-26AA35869EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852099$0766E65E-2C0D-47A9-9758-4BF1D0CF008D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22ca52136bbebeb4f3473616a68d1f43b5edd7d9","datavalue":{"value":{"text":"Prototyping SOS meta-theory in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852099$D7A4D831-B8BB-407F-8C88-73FF3F5C8C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6cba00682d4a4db030e49db321978c37fd65ea","datavalue":{"value":{"entity-type":"item","numeric-id":4992502,"id":"Q4992502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db09b4907d44c50f4c69189710990792ece66f8","datavalue":{"value":{"amount":"+0.8400713801383972","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":"Q2852099$61C319E5-BBAB-4466-81B5-A93AB16AD8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acd815f648189c2e0e881e551e56ed9067da1e1","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e5beeb9d9223825edf6823890c1a6c36e0ba57","datavalue":{"value":{"amount":"+0.7497455477714539","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":"Q2852099$4E88C48B-D43E-43A2-A932-DAC2025BB375","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":"fc0ad6f3fc82136a8344f4141ce5ecc4ee289f71","datavalue":{"value":{"amount":"+0.7445845603942871","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":"Q2852099$EA194F7A-2DBC-4DC6-A06D-BE4D34CFBE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22723d46da1e8b524eebd7838c8e51dbc9b9732a","datavalue":{"value":{"entity-type":"item","numeric-id":816216,"id":"Q816216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79d8aed0f77a7b1e0e5d1fae46c03bdf626cf79","datavalue":{"value":{"amount":"+0.7403805255889893","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":"Q2852099$8087C77F-25D3-4A6A-87B2-F380F9E01413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0ec48416a85e871fc4e8e474e447d5d70e9517","datavalue":{"value":{"entity-type":"item","numeric-id":5301998,"id":"Q5301998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995153f5001157a5227ad8dc1f1d7e1f75a00487","datavalue":{"value":{"amount":"+0.7318546175956726","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":"Q2852099$40821F0F-F31A-4904-BB01-CFE20FF5A31E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852099"}}}}}