{"entities":{"Q730476":{"pageid":732325,"ns":120,"title":"Item:Q730476","lastrevid":63899865,"modified":"2026-04-11T16:18:02Z","type":"item","id":"Q730476","labels":{"en":{"language":"en","value":"Language definitions as rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668731"}},"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":"Q730476$97876CC8-63DE-44E5-BDCC-CB400A0DA7A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3054facb3766a9f95ad922f308f24a5d925acccc","datavalue":{"value":{"text":"Language definitions as rewrite theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q730476$5129334F-15DB-4D0F-B391-9657A292A58B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2b5072b11b0a63dc8f75e2af11476b0de88896","datavalue":{"value":"1356.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$3290039A-708A-4A82-8BDC-ED3A9B621CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$79C4A6A1-FE35-476F-BE1B-8209E483D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$338D403C-39DA-4B8C-AE6C-E71CA0E29A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89168b02a11c30611a0ae0bcdc8b7918c6099a68","datavalue":{"value":{"entity-type":"item","numeric-id":730474,"id":"Q730474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$18B14E3F-E431-4932-A1D2-16C389DBBAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$D6B9A60D-2A18-4F37-B633-480F9BAE018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a84ac9228878308f86175625fe15a1c15896ebb","datavalue":{"value":{"entity-type":"item","numeric-id":730475,"id":"Q730475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$BA5CE82B-6B34-45CE-9F89-C13DB13EE4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$B72BF0CC-A24A-429D-B6B1-ED274B5A50A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$78C4FD5D-4050-4D49-9910-3D817A28EEB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e142bd0dc840ed702ec865fb51b514477e03a134","datavalue":{"value":{"time":"+2016-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q730476$02506753-EC6E-4352-BE6C-4B0B06AFF17A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$72431670-0F52-418B-8906-033A58BCA17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$6C9E74D1-CACD-41FD-9CBD-B20E0F57CE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$EFB05A10-B7F1-4776-A6AC-D84B1A60ACA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf09bb2b8d2ba8be1988adce095d80c98b7c4815","datavalue":{"value":"6668731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$31967014-1C0C-4A38-96C0-6686A86AA520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q730476$10278664-ACD1-4690-AD85-2F08385230F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e388ec49e913382c0fd28fc7db7c4314fe256ca0","datavalue":{"value":"rewrite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q730476$E48C502A-057F-4E29-911E-35DED8C4A7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q730476$81C4BA22-32F3-495D-BBC9-1CB861248AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512ad73b89f393b02a9b4022a91ea85653a7139b","datavalue":{"value":"K framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q730476$861ECC5E-086C-44F1-B667-512B11BE6276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q730476$C2D4EC68-6690-4095-8A1D-539021E989EE","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":"Q730476$684799CD-7573-4561-8A0A-FCB2E145E327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$EA799226-F21F-43DC-B286-F97BD776A9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb38876199d3a569289f9c3366994be8ce0d8047","datavalue":{"value":{"entity-type":"item","numeric-id":21726,"id":"Q21726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$1DF66D04-422D-4010-9658-2484FDA95730","rank":"normal"},{"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":"Q730476$901FBE7E-4E68-4F71-83D2-C5619BE5E3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$2C270EF8-87D5-4070-9244-1A2B43F19D1D","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":"Q730476$0AC55D1A-851A-4BF7-AB4F-37ECA1AA1B52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c6669725df58fb382ae5e8cc5f9be2a6c25edee","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q730476$30C3A96E-D6EF-4017-9CB7-DED6196CCDDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce1d35e8ffb66daba73f64c7edfb81f69dcf9fc","datavalue":{"value":"W2079991001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$4B5D931B-D53F-408D-A92D-FB05AF1D4AF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$3ABB478F-1674-453A-828A-FAB09351B082","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":"Q730476$63569E0B-F77F-4F0F-87B1-3B78FACD5C06","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":"Q730476$9D395869-3978-4837-A463-6E960159DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a57b560950711a24f080f300348b0504c3b9c3","datavalue":{"value":{"entity-type":"item","numeric-id":2945132,"id":"Q2945132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$C1FF4C13-357D-4D62-AE68-6C5228018748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$0BD8027C-2142-45FD-8C09-716F88A2EEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$F4B4F52B-D853-4151-963F-DFCB98D81962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c191e290db7b657870ba8cd757fb6e39e20fae","datavalue":{"value":{"entity-type":"item","numeric-id":5277868,"id":"Q5277868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$396DA7E4-0DE8-45D7-BC52-423E1B45A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$6C66FA42-5BA2-4C4D-A80A-A6A24C59FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$72898D83-34B9-422A-8AFA-06AB531106E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d812f0e384f8446614787ed3bed9dae88460dc","datavalue":{"value":{"entity-type":"item","numeric-id":3623931,"id":"Q3623931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$5AD6A270-D156-4B28-84FD-1E3D1416E7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba05139b61152a2d87340fac7ead5d09077fae5","datavalue":{"value":{"entity-type":"item","numeric-id":4933281,"id":"Q4933281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730476$B7068C02-76B7-4000-A9DF-2E02C4EB2758","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f419e04c7782d82448bbf509dede1a8f587968d","datavalue":{"value":"10.1016/J.JLAMP.2015.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730476$C89DA05E-77C8-44DA-8ED2-D182EA526125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24858133df88a9502fb1cbc488209969083fa073","datavalue":{"value":{"entity-type":"item","numeric-id":2945132,"id":"Q2945132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8924bb5c45341ff9de715d7dd372af25bc241d57","datavalue":{"value":{"amount":"+0.9703884720802308","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":"Q730476$BC0A4F61-E159-4C6A-B39B-AD86D3EFED4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f433a1b0ab515836b2f3f1844acb013271a062b","datavalue":{"value":{"entity-type":"item","numeric-id":4933281,"id":"Q4933281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a7e9d94031ea96f7e81a4cb23d7f6919e8d2f","datavalue":{"value":{"amount":"+0.8304859399795532","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":"Q730476$00417E89-E53B-4316-8B8D-D4DA7244433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e8f71785be68a99e4a5db766e58240334a1a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2873785,"id":"Q2873785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5da5fa0de5bf4a29a1a12919e8260d85c0b9ca2","datavalue":{"value":{"amount":"+0.7718761563301086","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":"Q730476$24E7A009-8BDB-44BF-AB3F-2EB94F2E937F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1895483cbbb5bcd7a601d9ac89be5c2fdc0f8563","datavalue":{"value":{"entity-type":"item","numeric-id":1749128,"id":"Q1749128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74ee2c3a9ba9adf367b5e21c9912a8295eff60b","datavalue":{"value":{"amount":"+0.7422931790351868","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":"Q730476$70E342DF-46F0-49AC-99D3-FF062D21B96E","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":"5abcedad7f3fb2ce437630e698e75c207d75b393","datavalue":{"value":{"amount":"+0.7171180844306946","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":"Q730476$3166BEBC-9DCA-4269-B856-C945A43DB259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language definitions as rewrite theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language_definitions_as_rewrite_theories"}}}}}