{"entities":{"Q2209262":{"pageid":2220005,"ns":120,"title":"Item:Q2209262","lastrevid":53860004,"modified":"2026-01-25T20:24:59Z","type":"item","id":"Q2209262","labels":{"en":{"language":"en","value":"Efficient safety enforcement for Maude programs via program specialization in the \\textsf{\u00c1TAME} system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268447"}},"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":"Q2209262$5CB8FA24-8510-4B05-A2CE-227FA8D686A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b4af6a0592b68075c30cddec4d8b27c46764fbb","datavalue":{"value":{"text":"Efficient safety enforcement for Maude programs via program specialization in the \\textsf{\u00c1TAME} system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209262$7CD57E2D-BE7B-4B02-8BD6-E6535D2A30E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43917686a8c5cc27cdf7af1551bd0062aa04e266","datavalue":{"value":"1471.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$48E34CD9-BB8B-4612-AEA8-908D1B3141B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$A15FE408-70B1-41D0-95D2-6CAB2BED60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$F7AD2834-C8CA-48B2-9AC9-AB57F04DAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$976A83F2-90A8-442A-AC85-5485FADA0846","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$1A8935FE-750D-4F5D-8E25-ECE64EAC4192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48bae90ac5a2a9de24ea89beeba4847c62d41963","datavalue":{"value":{"time":"+2020-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209262$0CAFE28A-E757-4828-9278-9B80305D272B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$E00EC597-4B5B-4515-AC83-0DE4AF4AFF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$5B143F0B-1A49-4535-BD5B-7D32081733FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b59b32eec9a28b4c94c053adc8d157f58ac9b0ea","datavalue":{"value":"7268447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$F1616F1E-AE4E-4540-8765-9F6AA8D383D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209262$D935B8FE-AF13-40EC-BFF3-F3433F63E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209262$3196D979-C01B-41D0-B50E-406FCDE158D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209262$9ACEF15B-E400-4F7E-BE4E-1B49DB236DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209262$7AEE5CD0-24C3-43AF-AFFE-385DA133CF0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df264237f93ef67243e859d4ac7c9afc08893bc6","datavalue":{"value":{"entity-type":"item","numeric-id":43696,"id":"Q43696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$A3167085-2A35-4A5F-AD02-D489B32105CE","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":"Q2209262$2186B870-DAC1-48CC-88DF-A07B886876DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c79e7ab23ee82c98546ee8c91c30e7af9df0ec50","datavalue":{"value":{"entity-type":"item","numeric-id":21882,"id":"Q21882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$B6C47717-BDA6-476B-8EB2-F695834B1B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659ec6df80784febf79544dad7941eca84d6aede","datavalue":{"value":{"entity-type":"item","numeric-id":39348,"id":"Q39348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$D2E1501D-7164-4EC2-9F8C-7574D13FA792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f66b9588c6c537514e86e3ba28d94e95f20ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":37533,"id":"Q37533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$70B4B7A9-5E35-4DCF-907D-AAB840C62867","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":"Q2209262$F9574EDB-1550-445E-8AEE-9D0AF03F7705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79ed80891f31de10ec7571c766a82c17c5e0d6da","datavalue":{"value":"https://doi.org/10.1007/s11786-020-00455-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209262$14D29F36-CC17-49EB-9143-AEEFD35EB24F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88ff5366e61b92886b1217fb4fd1272b13e78ec3","datavalue":{"value":"W3005182213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$0C17C78B-A0B6-4549-A2DE-21BC233C545B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48fe080994f398712d503005d9348c6c6f78089","datavalue":{"value":{"entity-type":"item","numeric-id":4593040,"id":"Q4593040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$63BB335A-2493-42A7-A290-8A01E8E3F9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69247dee72ba4b8c5f467e4ba786ee143a877f33","datavalue":{"value":{"entity-type":"item","numeric-id":1662189,"id":"Q1662189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$E91A0C47-C8FA-4768-9A7E-EF93287DDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9954ab1ab4a32b80edb90554c0c352bb1afdff29","datavalue":{"value":{"entity-type":"item","numeric-id":2409722,"id":"Q2409722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$3178FCB0-5D53-4388-9E52-90C3B07C4D10","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":"Q2209262$B0787267-72A5-4637-BD66-492A3AA95CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8964cd030151e3bca87a2540f145ecc0de181bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5178842,"id":"Q5178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$BE5B5843-1E1E-428F-BFD4-F42FDB6735E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733d4a8434bcff855daea90b6a0399a831a9b846","datavalue":{"value":{"entity-type":"item","numeric-id":1768474,"id":"Q1768474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$6FC9EE23-9AF4-4531-8709-A6782ADF207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$8797ED87-30B0-4B27-8685-30B6A0F3270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209262$250C6101-5834-4C76-B54C-63917499B93E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba4773ec2d82422622cca89d3e09189b41f4b68","datavalue":{"value":"10.1007/S11786-020-00455-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209262$6A44F731-6A15-49FB-9415-0A950ED80B28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00e12bbf1d1510d380d7af5540dcab4a4a1ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1662189,"id":"Q1662189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217641098805c56e4502c3c6c37c31628c378591","datavalue":{"value":{"amount":"+0.8946409821510315","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":"Q2209262$C2021FCA-FD2B-484F-8F16-3283D5DC3210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a09c91718ac5b10c52e357e47d238c48d1e44f7","datavalue":{"value":{"entity-type":"item","numeric-id":5398085,"id":"Q5398085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4a629a0313aeaa40de0ca31740f83a564c87d3","datavalue":{"value":{"amount":"+0.7634313106536865","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":"Q2209262$E2065813-DD24-410A-823B-CA171337ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e66e33e9b0ad9e91bc22dc5cd82cd54685796b","datavalue":{"value":{"entity-type":"item","numeric-id":2841959,"id":"Q2841959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25aa0af97eea4dacf1f91ff3be8ac40f996f6847","datavalue":{"value":{"amount":"+0.7350611686706543","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":"Q2209262$F42DB963-05A2-4E4B-A54D-2DB21D9F0A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0f50eace1efd383693d04befd42deb01edf9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2763666,"id":"Q2763666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d40be4f61c09ec2bbff514e0d7105e63db71a7","datavalue":{"value":{"amount":"+0.7330961227416992","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":"Q2209262$99977A64-9856-466C-A6EE-BC8D87514F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9aab4527fb609380b819cca32f586f669bc7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472532,"id":"Q4472532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a931b4806c5ac3d50d49e257f73e5dfe0b5e2377","datavalue":{"value":{"amount":"+0.7312542796134949","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":"Q2209262$1756295A-9617-4171-94AB-5090B31107A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2209262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2209262"}}}}}