{"entities":{"Q5348941":{"pageid":7378515,"ns":120,"title":"Item:Q5348941","lastrevid":101078930,"modified":"2026-06-05T23:49:53Z","type":"item","id":"Q5348941","labels":{"en":{"language":"en","value":"A verifiable SSA program representation for aggressive compiler optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763201"}},"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":"Q5348941$8C1AE7E6-3902-4F46-8C8B-1D2D8533E9DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8570acd3a6816dcc484a939ed413d13a253584e1","datavalue":{"value":{"text":"A verifiable SSA program representation for aggressive compiler optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348941$C9E641E0-2251-4217-8EC7-7D2AEE967349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"477fc4aacd99b8c4ce45c9fb85e9da3abb0ddb9d","datavalue":{"value":"1369.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$8F5B9DF8-48AE-47F0-B01C-BE00D6831888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"991f7b97dd44bf8504e7e3b0a2faff9ae498c725","datavalue":{"value":"10.1145/1111037.1111072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$ABBCD71B-0390-4807-940A-6CDAE432BFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4ce3bd9dddf32cb38ee79e86ea33097951d927","datavalue":{"value":{"entity-type":"item","numeric-id":704015,"id":"Q704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$E647FE64-60ED-4BE9-9353-D9D99C533B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68e235c38fd5ed5acba7c2bc346a92f6a7bfd40a","datavalue":{"value":{"entity-type":"item","numeric-id":1887678,"id":"Q1887678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$B0CB411B-0E95-4EE4-B5FA-677D1E9E55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df8697c657753e1c9fd305f37d53fa9fc886de04","datavalue":{"value":{"entity-type":"item","numeric-id":4860224,"id":"Q4860224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$0A2C6FB0-0E34-49ED-A21E-8A8680B3AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81a654ff06aec3b84567f690767928dc583cea9","datavalue":{"value":{"entity-type":"item","numeric-id":2871842,"id":"Q2871842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$CE43503C-D61F-440B-A9F1-BC3D47D27443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39964dd345f6c7cb044129e2270cfa811b22c0df","datavalue":{"value":{"entity-type":"item","numeric-id":5348939,"id":"Q5348939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$BD3217FC-9B50-417A-ADFB-F92DA9E40B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284db9d2a4cfa7351437baa7640c06b04b689b02","datavalue":{"value":{"entity-type":"item","numeric-id":5348940,"id":"Q5348940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$BC8AFCDA-77CF-4560-B660-C7E821B39C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"595df7410fb6eb9bb1866beae94c119df402b322","datavalue":{"value":{"entity-type":"item","numeric-id":2942923,"id":"Q2942923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$EE25ABC3-CFF9-4B6A-8123-63ED5523E594","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64c4180a3d83913a5dd41ebbd11bed14b06b65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5348908,"id":"Q5348908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348941$A1F2DC70-FC00-4E68-BDE9-2A417BFE1528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348941$5DC71D3E-55D3-4A83-9A3D-95A1D3F4CF83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$DDE8FB9F-C863-4BC4-8EC4-89BE13F1636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$772F9027-23A6-4593-9E81-EF3553C73982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d192b447e8c6aa309d30c91bfca238e9bbf428d","datavalue":{"value":"6763201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$1ECD9816-94E6-4D59-820F-03B4510E907A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa8e0916f296d4f4bcbbec2cec6203aa36edd9a","datavalue":{"value":"SSA formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$E33E70C0-24AE-4A37-BE2C-D2C78DA215C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff17a507b0e056109cbb8dd67cfd19df7f5101c6","datavalue":{"value":"check elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$C098527D-9A5D-4562-AC72-CE7CF5EB167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648a41a9df52e7eea9cff5e4cc62a6535b323f6c","datavalue":{"value":"intermediate representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$F8B9FB35-CF51-4A18-9E0B-1AEF3B9614FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000409d186802eb59c2db4f8d5f87ef1bdd6c6d5","datavalue":{"value":"proof variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$51C60227-E86E-4B0C-90D7-CBCD22CA9E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc253b4ad422b1c8d28c1de7d3c9f065cd0508a0","datavalue":{"value":"safety dependences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$A1A9D116-95B8-46D8-877C-C3647FCD988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$3EDE4366-EBF9-48FC-8F48-7F424E855753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5406d3b36b4c40befee82f54a5b6a3bba19f37ff","datavalue":{"value":"typeability preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$46E7CDCF-2B7A-4F9A-9F2F-E8D017BF3032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e02aa2b316997dbc18836789f4d15be277c9007","datavalue":{"value":"typed intermediate languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348941$59185982-40B3-4542-9FE1-41AA22E12C2A","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":"Q5348941$D40F232A-1A6D-489D-A44A-57C7AC026BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33ea114535760e0c654fb46b3e86cf28e94c30e5","datavalue":{"value":"https://doi.org/10.1145/1111037.1111072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348941$196938FB-D02A-4428-9996-C469E4FB3981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fe9d47126dfca30ff003bf1cefc8e391cf9815f","datavalue":{"value":"W2135488322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$E9085D69-B55F-40DA-9270-01EE445D047E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99bb0e525c80fd64181de87dd3f1b0e55c5c0f25","datavalue":{"value":"Q130883839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348941$7C6562D0-2886-41F8-B625-949F4AD4862A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d580d806effc919943aaeea4bcab5e2c54f97f6","datavalue":{"value":{"amount":"+0.8941608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348941$9B470760-99B2-4650-8DFE-F7C3EF223169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c0fbdfb2a611d037b6bfd81bb0ab008f2b75b7","datavalue":{"value":{"entity-type":"item","numeric-id":2324020,"id":"Q2324020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff76912b75adcb3eb6534b8791659c6feb4252c","datavalue":{"value":{"amount":"+0.8667023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348941$9CF592E9-11D3-4532-84E4-BFC4E1981E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e5511c15d878b2757b1c0d41fa1af2be59fd32","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6fe0d3e4cc1f1c2355781a9177e332f7876451","datavalue":{"value":{"amount":"+0.8650396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348941$35D3BBFB-EC24-4F82-8A50-2EE253A98263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae250c062bfbc6e25bde488425d7d800ddfb94","datavalue":{"value":{"entity-type":"item","numeric-id":4281611,"id":"Q4281611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06d2df5ab8fd962aee108833f51dfb78ac3e35c","datavalue":{"value":{"amount":"+0.8648461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348941$E7C8DA20-90E2-4540-A475-809F0964226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e731b1ab1d24a7e831d6e96e139492400c47f7","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe17ad333a52a5b373a42b7bb46ca3eac7f1b652","datavalue":{"value":{"amount":"+0.86334944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348941$5400401C-70F3-4C9D-B1F1-3F6B1CA9D830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verifiable SSA program representation for aggressive compiler optimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verifiable_SSA_program_representation_for_aggressive_compiler_optimization"}}}}}