{"entities":{"Q5747662":{"pageid":7777213,"ns":120,"title":"Item:Q5747662","lastrevid":101722493,"modified":"2026-06-06T02:38:29Z","type":"item","id":"Q5747662","labels":{"en":{"language":"en","value":"A Framework for Formal Verification of Compiler Optimizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785354"}},"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":"Q5747662$C343FB44-3E73-4899-9B19-D1EF027DAF23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d9a92c0972362254837d4560e83f04c892b4004","datavalue":{"value":{"text":"A Framework for Formal Verification of Compiler Optimizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747662$6644F873-4D34-4975-A70E-F56A79C2AA74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4547463320b03f9bd5c7f00e0fdd0f300474ae33","datavalue":{"value":"1291.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$7C27B4A4-8703-40CF-BB81-4C420B0DC070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8e2d0964eb6c7b24db3254677af1735de795b5c","datavalue":{"value":"10.1007/978-3-642-14052-5_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$51AA0B2B-1CFC-4ECC-903D-4C23C279BD12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc9321e1ecf733a02499b42252d991dbda6a54","datavalue":{"value":{"entity-type":"item","numeric-id":1702903,"id":"Q1702903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747662$69F20308-5B77-4D1E-93E3-F83AA0212268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747662$80CF6664-4677-474F-B4B6-A367FB65F5FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747662$29A438AB-6EB1-42AC-8A55-937D6E397B27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747662$A31984B5-115B-4417-8B13-A357DD04307E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$835DE22B-0252-451A-BC5C-45B60BBBD18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$B417F6AB-D763-45D3-9027-105412033B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$1B046A67-682A-4973-A104-26D95ED44A67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab2e09ed44b5622904c580f07651fedc0c92b563","datavalue":{"value":"5785354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$4903269C-0F67-48A3-8C6E-0C0AC8ACC3D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e3e31ec8fadc435e57f9d44e807ba3f749005d","datavalue":{"value":"optimizing compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747662$03A6E227-8E70-4E3C-9F59-C823B73C701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747662$F22BDCAE-5DD6-4068-A152-8303B05894DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747662$7B70B827-2878-4585-822D-F3A9A813A3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747662$235054A4-EEFD-458D-BBB0-049CD5EA7627","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":"Q5747662$7EE8EC29-8313-4843-BEFC-D2ABF4EF48BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0080f12f631bde23fc8217a4f48fa39fbc349da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747662$C6E04209-3207-4839-8B14-AD193D689D68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa20f4f1156a05d2519c3abc4899233f0d449821","datavalue":{"value":"W2099017529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747662$2A99C037-6EF2-4EA5-AE13-63A61BA6611D","rank":"normal"}],"P1643":[{"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":"d71fd455929d88aeea17e82da2d7c9a196c56d97","datavalue":{"value":{"amount":"+0.91836524","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":"Q5747662$845ADFE6-7D2F-4BA7-9027-3386844D9523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a7e2016a7123f1287250631c03b6dc92ff5f40","datavalue":{"value":{"amount":"+0.91812813","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":"Q5747662$DA7A7914-E4F9-4E03-BD3B-9A8CD8E8B40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96db05a8193b9bd7cee79ee07be4206fed8e55","datavalue":{"value":{"entity-type":"item","numeric-id":1346607,"id":"Q1346607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216e4d9ba8962b9607053e46f73e9a63ac065ba7","datavalue":{"value":{"amount":"+0.916662","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":"Q5747662$F410A5E6-6667-4418-98F7-BA384079D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b23862c78a7611a24576b4814adbb2c63c67740","datavalue":{"value":{"entity-type":"item","numeric-id":5421199,"id":"Q5421199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ce645d5517b99be03f8c2f8ea4f37a36056385","datavalue":{"value":{"amount":"+0.91449326","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":"Q5747662$1DFB4634-8674-4199-9A5A-C4F308AD3146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0820b3aae10200574f5f512f87de065d11dcfbe5","datavalue":{"value":{"entity-type":"item","numeric-id":5255097,"id":"Q5255097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ca32296ca546de6fb018b7ed3d58bb700b5a2c","datavalue":{"value":{"amount":"+0.905665","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":"Q5747662$44C64AE1-E917-44C6-9D89-A6D6B0A02C0B","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":"78c34da32d85a09f7037f6d66e28f421b987a101","datavalue":{"value":{"amount":"+0.9032348","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":"Q5747662$C4FBE61C-5F25-426E-90F2-8CE2484C98D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f48a2b7882d03de41a9fb8d6f1df3fcfcde538","datavalue":{"value":{"entity-type":"item","numeric-id":4942016,"id":"Q4942016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db75c84e79578cc5ada8d5cc04af9cc8ec76cc22","datavalue":{"value":{"amount":"+0.9009155","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":"Q5747662$C9D1C7CE-9673-4882-9B63-1691074A270B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Framework for Formal Verification of Compiler Optimizations","badges":[]}}}}}