{"entities":{"Q6136746":{"pageid":13271053,"ns":120,"title":"Item:Q6136746","lastrevid":47890636,"modified":"2026-01-03T00:11:37Z","type":"item","id":"Q6136746","labels":{"en":{"language":"en","value":"Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732882"}},"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":"Q6136746$A7B588E4-C498-42D0-BC09-6FF0C9AC8B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b81fdb5edd4474611752a5a4d6b295b541a56f5","datavalue":{"value":{"text":"Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6136746$527E828E-770F-49B3-9355-0B6DEA7FEA94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc80819a7d5ed589fdc4a9ea70708eee2c57d897","datavalue":{"value":"1522.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136746$C8FC6AD5-C8B6-45F3-BE6F-BEA8029F94EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f79a9d202a4526b9fd328284f9624ede38765c0","datavalue":{"value":"10.1145/3536430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136746$112F1AD0-C953-4BE9-B351-2D52C992CF12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f375cc4dfa7a4aceb655acf3997368a4adc103d4","datavalue":{"value":{"entity-type":"item","numeric-id":5049014,"id":"Q5049014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$D806DD31-A191-4BBC-98DE-27C60EFFD1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e885243dafb98f06f56b8d89b10b7812e8c059b2","datavalue":{"value":{"entity-type":"item","numeric-id":6136745,"id":"Q6136745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$25107428-606B-411F-820B-645ED2410D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64812be559ca9efbb5bba363f5e01e9665148f4b","datavalue":{"value":{"entity-type":"item","numeric-id":609019,"id":"Q609019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$91BA5076-33B6-4CCD-8906-C26F82FB2B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd82e5ab38b299bdbc22cf18fea63d821286f7","datavalue":{"value":{"entity-type":"item","numeric-id":1687745,"id":"Q1687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$BC7DA33D-4073-4E04-AAF1-1E52AE32DCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a01db3ab6b2dce7dcc9cb5b6edfa66b2b0fcb6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2961556,"id":"Q2961556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$244B2BBB-4735-4DCC-B6A2-2E3D52984A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$5D96B51C-1DF5-4BEF-A2FB-3BF4A6CBB522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ea2cc1baa8d049608a8c3c96fb76526a30882f","datavalue":{"value":{"entity-type":"item","numeric-id":609018,"id":"Q609018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$6628C447-8BD1-4777-A384-29346820B49E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136746$8508ADDF-8453-4368-95AD-351607FF3EC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6136746$B8F4A9A8-331C-4579-A8DC-6C133FA685B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136746$6BF6D505-0FC2-4E15-90F0-B2588C10D583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdd955be4404a902a47d69284e72027f07437bf0","datavalue":{"value":"7732882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136746$57B9C4A8-23C0-462B-A8C3-6EE46249F9FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066102be747f0d2c4f29c6db2bd15fee0273f3d9","datavalue":{"value":"B-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136746$268F4909-486B-4F72-8F94-96940663643B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136746$D3D7B278-2E4E-4117-98DF-62CCDE2C20C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f0bdc524bedda1865bf61798c4957c9a65d2ac","datavalue":{"value":"automated model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136746$60DB69BA-C31D-47DA-8965-5FF2FFE086C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816ff2176fcef152d95385303896958ec960ad20","datavalue":{"value":"repair evaluator training","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136746$EE75434C-01E0-4DB6-A2EE-A9E8EFA17B40","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":"Q6136746$EB0C713D-E624-4EA0-86F6-2DA5B6702094","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f65f89dda840c9bb55e490fefdd1ef526fd2206","datavalue":{"value":"https://doi.org/10.1145/3536430","type":"string"},"datatype":"url"},"type":"statement","id":"Q6136746$DEE886D9-9FC8-49C9-86D3-725FD4D8B44F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6c34a31734571bf2a7fe45f2ef4eed7a43e386f","datavalue":{"value":"W4280651663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136746$D9681D11-1071-471E-9B2B-73A698E66670","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40364eb1d2a862e18efa4da1eaf91f6f00097f06","datavalue":{"value":{"entity-type":"item","numeric-id":2287071,"id":"Q2287071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6973bf5c5cfd58fcf076e36d8ebc7ffe943aa0","datavalue":{"value":{"amount":"+0.7705050110816956","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":"Q6136746$2B1EC1BD-002F-4A20-AEDA-D70900D4C23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde6054e5a4c7b5d8449ae157fa316ef1138bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":6108434,"id":"Q6108434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2f94da26cea6d20490aa117c9e43973d819a57","datavalue":{"value":{"amount":"+0.7196727395057678","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":"Q6136746$0DFA7A2B-F140-4CCA-97D1-283C1BD5FDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162d256dfc5b1f987e5f103a691226eaf30a87a1","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed0f3f54040533ec2daaeff5f0b24e99f35fc29","datavalue":{"value":{"amount":"+0.7194507718086243","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":"Q6136746$49586362-1CF5-4834-B586-601D43F40CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69edd5d4c7448e8ac2f6fbc45ed6e8af82c45751","datavalue":{"value":{"amount":"+0.719333291053772","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":"Q6136746$9457A554-214D-4E71-A19B-781989A29A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315c3004bd550cb1c78d953fe1f70bbec8baa016","datavalue":{"value":{"entity-type":"item","numeric-id":2234087,"id":"Q2234087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d268a46153723fd895dad2cf9cd5ff72709d345","datavalue":{"value":{"amount":"+0.6978862881660461","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":"Q6136746$246D5437-6E8A-4618-8064-A5C71A7C9CC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6136746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6136746"}}}}}