{"entities":{"Q5255097":{"pageid":7284665,"ns":120,"title":"Item:Q5255097","lastrevid":91719968,"modified":"2026-06-04T23:53:50Z","type":"item","id":"Q5255097","labels":{"en":{"language":"en","value":"Generating compiler optimizations from proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445111"}},"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":"Q5255097$0A46BA9B-0AD9-465E-9A70-20B4B9800AC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9effc0f9e10efbbc48e94eb113bd2c48bc5a718","datavalue":{"value":{"text":"Generating compiler optimizations from proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255097$B70C1AE7-17A7-479B-9499-06BD7ED99966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5c12a41e48fdb78feae901e8fd4ec2ec3c164bc","datavalue":{"value":"1312.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$9BA453E3-D1DB-4207-AD6D-8F6FE340EFAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a091516980eee87d428bf122257d172454b999b","datavalue":{"value":"10.1145/1706299.1706345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$A96D7C47-FF00-46DE-B4F1-6D1108729FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cedc905037796f3b5c2afbe906428aa3fd6b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2133167,"id":"Q2133167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255097$566D9AA9-98A1-4EB0-86EF-CF0CE935F44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a69c4e6a7876c53a1e884c0bc65c63b69b020bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003311,"id":"Q3003311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255097$9C8AE54D-62B1-420C-A744-B19CEBED7D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6bd6ae1f6c331e949512524b8ba032cb5932e49","datavalue":{"value":{"entity-type":"item","numeric-id":3003312,"id":"Q3003312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255097$08677299-4CB1-46E4-A4A8-11172C0D26D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255097$980E19F1-7BF4-41F0-934A-B25F66F6F332","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255097$8B610258-F0FA-4532-8503-81F12F1B0CF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee8ddec3db235549541caa8992be71605b610076","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.5709","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255097$E07F4F42-7D65-4234-A86F-028B64D9EE56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$F76B83BD-186D-473A-B708-7C92226483BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$65EFFD22-B993-4FF9-A242-259D09228BEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"064712a87493ebf26e137ecc5560bf215acb8eda","datavalue":{"value":"6445111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$2146B694-60D3-4AC7-9144-5AF78BF5ABD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b98848df60ce95ad627877db21dd883ffbd16e","datavalue":{"value":"compiler optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255097$D6B06303-97A1-4BBA-80D7-BB1BE6BE6B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fad8f2cd146de863b055c1b6e42f570aaacd95","datavalue":{"value":"explanation-based learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255097$730A2833-6102-4D81-BE7D-5FD707C081E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e99ea9dfa0515d00ab954cd12b8e09daaed34a","datavalue":{"value":"proof generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255097$F9303A62-9922-43B1-886E-2D4B8A6DF867","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":"Q5255097$5204EDB0-B28B-4381-9034-A7D77A80DB0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82f24612b6459d80a0a60f013617540661516d0f","datavalue":{"value":"W2119664062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$15F72B24-E9A7-43A3-92B4-49D3A4EEEA73","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec1beb1446cac1eaddcf4fcbf74da2e26ad6a356","datavalue":{"value":"Q130858660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255097$EF7AEB24-6B97-45FD-B212-D7834B99EEFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a51784dec193028c5e91e65703c97f98a11c9e","datavalue":{"value":{"entity-type":"item","numeric-id":3392920,"id":"Q3392920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac059e2e15fb1c92ce56cc693225488ef71b9aa2","datavalue":{"value":{"amount":"+0.7419919967651367","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":"Q5255097$894240E9-480F-4097-843F-D661DF9E4C7F","rank":"normal"},{"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":"97c45f21efa59c006173db3d27ef84bbdd931b5b","datavalue":{"value":{"amount":"+0.7251737117767334","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":"Q5255097$0760F520-3B51-4CEB-A821-F4C8176F14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fefd4737af09ea3189486cd50e374bc8809732","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329d23c44302ab3c3c7327111b6bdcb935a58f14","datavalue":{"value":{"amount":"+0.7197890281677246","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":"Q5255097$5C5232A1-0280-4E94-9E60-AB084BE11C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0498392e58a4be01e08d437fa20944327eb683","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158060df818417d7adca414fef85435486593f75","datavalue":{"value":{"amount":"+0.7134489417076111","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":"Q5255097$BE78977C-038E-4508-9333-7C24933AB711","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":"ff6fdf5a1703153dbde17d8dba26d2c4236cc240","datavalue":{"value":{"amount":"+0.7130225300788879","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":"Q5255097$9ED9210F-87DF-4A65-9B75-AA58B1BA3B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating compiler optimizations from proofs","badges":[]}}}}}