{"entities":{"Q5178913":{"pageid":7208485,"ns":120,"title":"Item:Q5178913","lastrevid":91474664,"modified":"2026-06-04T23:15:46Z","type":"item","id":"Q5178913","labels":{"en":{"language":"en","value":"Proving correctness of compiler optimizations by temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416276"}},"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":"Q5178913$426B46E4-E569-4EA9-A9E8-5AAB187D1381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d373038fac974a7f90577066684f720ecfc27ea","datavalue":{"value":{"text":"Proving correctness of compiler optimizations by temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178913$5CD0E4F4-4508-427C-8F13-CD986690053F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b9125a134cdff20838a48f777fa347b389183f9","datavalue":{"value":"1323.68380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$75ED968B-AF61-4F8A-9804-9A3F36E10B7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70e81aff81858728759ea10e18de4ee035f0969d","datavalue":{"value":"10.1145/503272.503299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$57F337AE-F897-4859-B0CD-FD4861222508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a58ebd187798c4f29c15eb1c244315699cfc0c96","datavalue":{"value":{"entity-type":"item","numeric-id":1404290,"id":"Q1404290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178913$F2BBCCE1-A5A0-4EF5-AE0E-351B275083FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178913$B1F6FA29-AE33-48F3-A1E8-9BE9D3F85757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96501349286f24561e253150e96715ba9069752e","datavalue":{"value":{"entity-type":"item","numeric-id":995472,"id":"Q995472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178913$B2CC586F-8631-4C5E-BB3B-D1ACA4964F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"252dba1ee298ea4a6bf929793900246a9a53ab57","datavalue":{"value":{"entity-type":"item","numeric-id":1768476,"id":"Q1768476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178913$1C480EA5-2DAD-427F-BAF8-0E0D945395BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178913$7F76C79E-DB1C-4427-B45A-F12A90013447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fecb4c1040e8296d5805134ffc798ba358adf729","datavalue":{"value":"http://hdl.handle.net/11299/217345","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178913$81824A03-2EF7-48A8-BE17-573C100579CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$CBF34833-6716-42F5-823E-C41412AA3C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$E2FF8BC1-8E3D-481A-A4AC-4AEA065E4B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$DDDDB9F9-F514-4A9A-9DEA-28D5559BEEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$4E09862F-EE9E-44E8-8D42-2BD204664B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$71AC3288-6F93-41C6-BCDC-79E2B2623D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d5c300c49cf9ef929626b3ca8fedadd443518c6","datavalue":{"value":"6416276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$2B43ACFD-DDC0-4259-9B4A-D5EB16ACD481","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":"Q5178913$60647BCA-AA93-4EB0-9C01-9AE5BC1E352E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bcc039a20249a92a37dc8fcc6e2d7e010f3d2c0","datavalue":{"value":"W2065635796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178913$6A1C9109-881F-4ED1-A218-3675E8273E1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ca57d4fc9ba55a27a8df00198d7399d2b5a04","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178913$6D56E32B-A0DB-427F-9D6C-508D0D959223","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967b46f54b965e87160916507238d5e18fbd01f7","datavalue":{"value":{"entity-type":"item","numeric-id":1768477,"id":"Q1768477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a724a51d4c75ac1c6d9f1eacb92ae949a9a91255","datavalue":{"value":{"amount":"+0.9726223","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":"Q5178913$68882288-82C4-4306-8E3C-12606ACDC677","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":"1134aa502c32be78a38287d07fad92d30745e32b","datavalue":{"value":{"amount":"+0.91244453","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":"Q5178913$E675F00F-5279-4C49-93D5-9779706BF65B","rank":"normal"},{"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":"393db8e1dc78d046da5bdc2786008eafa5edbede","datavalue":{"value":{"amount":"+0.90056413","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":"Q5178913$02D667C4-5925-4A59-AE09-E66F42EE4CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b145a259b764044b9a0bf8c27ec008e0e79a818","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0803d63b2f17325f7faa3e8808f816dd4b87596","datavalue":{"value":{"amount":"+0.9004817","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":"Q5178913$8BDF3C82-BC52-44CC-BC2A-3B434D2D8561","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":"a1998b03724f5fc5678b9c63a28e013ae3c8a27b","datavalue":{"value":{"amount":"+0.89848584","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":"Q5178913$177F3EEE-E824-4E54-A2E7-82A5AFFAB530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939ba46ae8c13870d5d1b99a7324d65de42e33c2","datavalue":{"value":{"entity-type":"item","numeric-id":4031327,"id":"Q4031327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e864e5e436499dd777ebeab775e46be5088480ec","datavalue":{"value":{"amount":"+0.89464635","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":"Q5178913$295B7197-0F1A-4B04-94CA-FBDA44A182A7","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":"d3e4a03fd142b8536e90df8e9f226d869b002779","datavalue":{"value":{"amount":"+0.8882241","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":"Q5178913$7F8EDAE4-7777-4DB8-9530-06205547B584","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":"6e78e97a2510454abf38301753f72918c7e70ff9","datavalue":{"value":{"amount":"+0.8845137","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":"Q5178913$BA6D0ABF-6040-48FE-A44C-B65166D196F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving correctness of compiler optimizations by temporal logic","badges":[]}}}}}