{"entities":{"Q3655271":{"pageid":5685177,"ns":120,"title":"Item:Q3655271","lastrevid":50867309,"modified":"2026-01-15T12:11:20Z","type":"item","id":"Q3655271","labels":{"en":{"language":"en","value":"Semantics engineering with PLT Redex"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654344"}},"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":"Q3655271$E4254F0C-E5C8-4AE5-8C71-07B63E2289DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f1a1806e76f987522dffebc77cff4414fd5fa0","datavalue":{"value":"1183.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655271$33C68A93-C6F1-4900-B0E3-1C97D6584C0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655271$DD7F4B87-EDA7-4991-9B7C-603FCC2BAA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f3f297bafe86e5d50beb97583470305cc05fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3655270,"id":"Q3655270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655271$E171C30E-7DC2-465C-AB56-C5883B71CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35796e7d3d329e30a0b7c52e6e92c2d84c781713","datavalue":{"value":{"entity-type":"item","numeric-id":2736593,"id":"Q2736593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655271$F681D098-F242-4DC0-9755-9B3B754C0996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-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":"Q3655271$C33AECE1-0F98-418E-A9F9-1293328E18A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655271$9C90E61A-A648-40E1-A23A-6C1C4D68BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655271$7AD124E1-3D5F-4851-B86A-3E279A37528E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5725ffcc79aa4b0de2086882a7dabb9a8b3d51d3","datavalue":{"value":"5654344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655271$35A52E14-AA23-4341-A25D-B4CE956E9535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655271$961DC5FF-4E07-4F3F-A3AD-934C2274DDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05452695efd2de91a3b3c9ab00ec5b59b6476e58","datavalue":{"value":"semantic models of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655271$B62DD051-53DC-4C8D-9614-2AC3FE538F1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0996c451b14a06853df9996b5aeda4f0ca33756","datavalue":{"value":{"entity-type":"item","numeric-id":21900,"id":"Q21900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655271$662A8E7A-FAA8-42CF-8CDB-8E741653418E","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":"Q3655271$ED549762-3A6C-4ED0-B62C-E614AEECC26C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c67f4d188d2dc6c4b58b03d3720874a46dc643","datavalue":{"value":{"entity-type":"item","numeric-id":5437033,"id":"Q5437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31deb1f999df1fd8034adad670d1601fb6355f71","datavalue":{"value":{"amount":"+0.6813329458236694","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":"Q3655271$A48ED200-B809-44D0-8ADC-A23AB2D9CE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9f96a13af3e4195d36bc7248e927bf495c68d7","datavalue":{"value":{"entity-type":"item","numeric-id":2819676,"id":"Q2819676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f220debacf04c648ab0260029da327980d8c287a","datavalue":{"value":{"amount":"+0.6741487979888916","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":"Q3655271$9BE2EA3A-9007-474E-8CA6-2AF49BB438D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca4206e9c9ca3008f5fb1e4491405501a947a60","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f41eee6cc5c8bf080e30948e1d370646271f3d5","datavalue":{"value":{"amount":"+0.6710034012794495","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":"Q3655271$3F749D2C-A23B-4524-9EF7-34A3DA613F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee49cbcee4147cc122f9380f05835e5e9a14b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7535f19b750f337dda86eee2ae67fa13a00fb02b","datavalue":{"value":{"amount":"+0.6699957847595215","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":"Q3655271$AFC297CE-9F04-4A85-9F3B-79881952EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9a81c82f619a5e2674575b4ad6e05cf689f9d8","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6e2607089cf78ce9e35fa8b44cb84ae809e203","datavalue":{"value":{"amount":"+0.667805552482605","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":"Q3655271$EB13E0E1-BEF7-49B6-AD5D-44F2393518A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655271"}}}}}