{"entities":{"Q5179135":{"pageid":7208707,"ns":120,"title":"Item:Q5179135","lastrevid":52228226,"modified":"2026-01-21T05:07:56Z","type":"item","id":"Q5179135","labels":{"en":{"language":"en","value":"Memory representations in rewriting logic semantics definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416980"}},"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":"Q5179135$676653A6-57CE-4B8B-B5D6-FACA0A8522C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48bf52c3e01d4c17c5da7d81e48b879462510f1","datavalue":{"value":{"text":"Memory Representations in Rewriting Logic Semantics Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179135$99C0980E-A6C9-49A3-99F8-A608CB237374","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5490f6c3c532403cf9c99a7e5598d46bfc44f8a6","datavalue":{"value":"1347.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$7D27F245-7F31-4E8A-9488-7CC6E32CA1C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a5493522873ee5a00749a087fe7fd5d1399255b","datavalue":{"value":{"entity-type":"item","numeric-id":2873784,"id":"Q2873784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$EFAC578D-4320-4A3D-A9B4-D26A1C28CEFA","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":"Q5179135$FA167D5C-7C15-4D11-9A84-0BDFFC634882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179135$6E8148AD-B77E-4623-85CC-756990F6740C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$3DC184E3-86C2-4ACA-8B46-06005E8EE962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$DDD549AA-F508-4253-AC40-1253F9ED1F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$D9C8E346-1F15-4009-A70F-72B7F12A1637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d2d15349bc8a072b2ac902fa0d806c8af6c94ee","datavalue":{"value":"6416980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$1FCB84DB-EDB8-415B-BA06-C91363F5B744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179135$B14595D9-4CB2-443B-A393-393257DDE2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179135$8ABCC74C-B194-4123-95AB-5D7C9D7CE60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179135$97EBD562-EB39-47E9-9AB8-0BF904418764","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$76453EAC-E951-41E6-A2BC-446EE5F7E5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$7D1F220C-47E1-4065-99DA-16BCB77CDB5D","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":"Q5179135$6AC9F82E-72C3-41FD-AC34-0B8C50E4A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fdb421b3415346a610f7724f98fdc0ffae669b1","datavalue":{"value":{"entity-type":"item","numeric-id":21401,"id":"Q21401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$3B2D8AC7-CB4D-40DB-BB31-DB1BDEC1AD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c300b22d799c4c92a4fc5f18d8224722be78dbf","datavalue":{"value":{"entity-type":"item","numeric-id":43974,"id":"Q43974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$17B432FF-0F85-4E58-9C70-AD7E2E360A90","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":"Q5179135$2972A357-C6FF-4040-88BB-655550449FA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22fcb13feb27e001c97e1b9cffba2e7d678ef3fb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179135$445305B0-C28E-47C1-B61E-C197B0488A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb4f48e2d37ed47099d543f8dc69c2ce6e0605c2","datavalue":{"value":"W2122086013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$DD4CDC00-DE65-45D2-A573-2A7BF82B6E68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19f3f3b7b52d6ade047170369a3a6029e80999","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$B45F105D-7C01-447F-A876-EBE666F9AA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7534aba074b0dee309f9533efff114dce9ecd82a","datavalue":{"value":{"entity-type":"item","numeric-id":880987,"id":"Q880987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$F2849673-271E-456C-B575-286B76027706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$F614B929-21CA-47AB-BE69-299DE0DB18A0","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":"Q5179135$5D8A6C36-845A-4E9F-B162-1976F4E3B1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$E96217BE-1C1A-430E-8ED1-2BCED949C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80a8f56558e83d7ae0691e1e0732ffa170b4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$4DB2799A-969E-4C2B-BC27-546D09877EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6007691293185549382bd2150d0c35a27394ef21","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$8AE4B28E-B9D9-4B20-9EE6-E1F0D4EE740F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3afbb4a47d7209874efa72790978439092feae1","datavalue":{"value":{"entity-type":"item","numeric-id":2873785,"id":"Q2873785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$A165E32C-2F51-4F5C-A974-7BA7F71857F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4016685ab586a486062134045d983ec6717750","datavalue":{"value":{"entity-type":"item","numeric-id":2849872,"id":"Q2849872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$B9DAE4C9-19C0-40E4-8932-45223DDA47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3892435d26a2f59e5d6acb77e07119651c694d","datavalue":{"value":{"entity-type":"item","numeric-id":4339528,"id":"Q4339528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$FC8EEBC0-226F-44C9-838C-9F1E4E70F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8e791a785306c8b3508eb0c4e3f1bd0bbc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2873774,"id":"Q2873774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$4851A09E-F121-4B0E-BBC1-53380FDAFB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52005969f544e86789c699964c666cdf2e0ad4be","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$A6D0A319-0315-42A6-AF2B-75FDD4B2CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc8546dd6bbeeb2e26a238e26e8f2162264a40","datavalue":{"value":{"entity-type":"item","numeric-id":2852094,"id":"Q2852094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179135$A9957617-2798-467C-B4A9-C8751642C146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98917baff8a8fabf052a601f135e9bcc20e39e57","datavalue":{"value":"10.1016/J.ENTCS.2009.05.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179135$C9484ED0-890A-4981-A841-530B0E25CE5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edec816c32ebde0d32d076b656f190d4eefd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dbf9cf460f5c160b8121582df1691de91f8c7f","datavalue":{"value":{"amount":"+0.7394350171089172","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":"Q5179135$6BAC52B4-8438-4DED-8DFA-BE865103F4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0bcfd78047d2c320e77ee8a7ae754ee02e93a","datavalue":{"value":{"entity-type":"item","numeric-id":3088267,"id":"Q3088267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7acc88e45a996aa5923ea866b15ccd581a4e8ed","datavalue":{"value":{"amount":"+0.7215089201927185","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":"Q5179135$712B929F-C0BB-40C0-8902-44E2A5F37D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11ab555b7f115442d11c8cc9120555602651df","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970fd5f8b90186e04d6d5f871dd46cbf8e2dc66e","datavalue":{"value":{"amount":"+0.7215086817741394","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":"Q5179135$1158025B-2B8C-4120-BB68-61619978F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52efce906e0d09dd81500032ef7f803d4ae493ae","datavalue":{"value":{"entity-type":"item","numeric-id":2852094,"id":"Q2852094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ad9378b36b9edbc184d7c59a1929f1145f3c97","datavalue":{"value":{"amount":"+0.7203029990196228","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":"Q5179135$1E24097B-5168-4721-B400-8865100DD7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666bb84563dd390565edcef0c4f252a6910170d4","datavalue":{"value":{"entity-type":"item","numeric-id":5150132,"id":"Q5150132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7535d9a49ec156147d61ea8459e60a4fd3a797e5","datavalue":{"value":{"amount":"+0.7200113534927368","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":"Q5179135$40588A1F-164F-4C0E-8C84-40BC949E8A7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179135"}}}}}