{"entities":{"Q1703014":{"pageid":1713755,"ns":120,"title":"Item:Q1703014","lastrevid":72819681,"modified":"2026-04-14T08:03:28Z","type":"item","id":"Q1703014","labels":{"en":{"language":"en","value":"Relational program reasoning using compiler IR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845818"}},"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":"Q1703014$08694B5A-BA74-400E-AE3E-7505484F48D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2df830232a251f9b86f8933faa0965cb66db384d","datavalue":{"value":{"text":"Relational program reasoning using compiler IR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703014$72C956F6-06D5-4BEB-81CA-23A1268D17DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53f14198064cbb3e267d4b7c8132381a4e91651f","datavalue":{"value":"1426.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$50DC654D-386B-45A7-B94E-B9248EAE8C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f1b8e568c05dd4836266b4b73b5b4d2e33c05da","datavalue":{"value":{"entity-type":"item","numeric-id":1703013,"id":"Q1703013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$C52BFA8B-2A54-47FD-923A-E62FE51A0282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9ef1d44371910abd48a3e315686ed4dc2807a3","datavalue":{"value":{"entity-type":"item","numeric-id":470006,"id":"Q470006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$3A68B113-1B34-412E-84FA-5358C27CB757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b40af6acb3456c1b6977fa01e79eec0014485a","datavalue":{"value":{"entity-type":"item","numeric-id":1630024,"id":"Q1630024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$C358723D-E854-4051-86E1-6764F264B93D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$05BE095D-5679-4F36-BACD-83D3A11DE040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703014$5F859F94-309B-4FE4-BA49-9D789D9C554B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$4B428177-9679-4405-A0F3-5E4FABB4EF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$5378B1D7-B968-4A00-AE70-8D4EEA5338C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$2F5EAB63-8D25-4F78-A442-8F171EDFAADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e570fb1f4f176c983e259608a50dede750d02a5","datavalue":{"value":"6845818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$BF1E3860-A3DE-48DA-8F4C-C732460BCBAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$52985308-9476-4216-A9EC-2F5E0E7338CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$BC76EB6A-68EE-4859-8DBB-BE7445FC4100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$5DC2E49D-6873-4FDD-B54D-692EF4980C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$90C7E099-12BE-4185-A3E6-2202C12C5363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$6A837D80-2D93-460B-8AFE-5AB4128831AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$9D2208C4-2FFA-4644-A691-8D0E6AAC46FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550af4745ee61c125520a209383c6305679e155b","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$C68E5D45-D66E-4A66-9873-28D5515DAF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$C21AB575-7652-4C4D-B891-3BF867CD84EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"109e91091708f7142f2c9a4ce67011a990daf85c","datavalue":{"value":{"entity-type":"item","numeric-id":31315,"id":"Q31315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$7CB1FE4F-95B8-4EAC-AA8D-C1E3908320E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd73c0a588eca90d6b4027348c417905031d8d73","datavalue":{"value":{"entity-type":"item","numeric-id":33279,"id":"Q33279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$9FD8C5F0-9A3C-4278-9D4C-F08F91999400","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":"Q1703014$A80DA838-EF5F-4C2F-8C68-AE80E4A63B48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1829861c84d8bfbd2186d0f4c4fc54a9399eaa5b","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9433-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703014$EDF27A1B-1241-4327-BC3B-3B756179F332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c35c02d68991a9fbbc26f8f38390ca4a5bd640f","datavalue":{"value":"W2760670085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$32F152A4-98BF-4B88-8E4A-560210722D57","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee24d510e3a04a13dc0633dca2106eaa0bb9b8be","datavalue":{"value":"Q121592888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$748988DF-2E67-4F79-8F30-67D176C143DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ad3131adae1ec4cfb1e0e707f403902daa2316","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$245F847B-D301-4D2C-B8EF-AE7E65017BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c855d6bb0d690e74f7619c66963fca7594379f9","datavalue":{"value":{"entity-type":"item","numeric-id":1099955,"id":"Q1099955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$62C5B8B1-B11B-4896-B218-2B2D156B8C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$1408257A-A63A-4699-A9A2-065552241013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8eda406b524bc7a8f585c46b182f9071cbe51a","datavalue":{"value":{"entity-type":"item","numeric-id":3087994,"id":"Q3087994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$817CA3A4-1349-4DB8-A0E2-F6D948696E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb34b6e7428e42f8251fed44fb40d3732a20e55","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$A6805560-7AAB-4A33-8DC5-0A298DB71829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$585F4F96-55B3-419C-9D94-883F36BA1682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$74AFF703-A834-4CA5-94DE-ECA13354C1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$14672538-ACF0-4E86-9EDD-CCB22EF9337A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$A350BFC9-58A6-4C2F-BEF4-5A668F569740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$A3739AB8-B3FD-4A94-B19F-B196CDED7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2ecb01d1000f707b2d4e9dd305373c58ecfc0c","datavalue":{"value":{"entity-type":"item","numeric-id":3636883,"id":"Q3636883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703014$26E5594A-C54A-44B6-84D4-1186E53EFDC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0462eb35ee85c954e13878289f686c1bbf13cb29","datavalue":{"value":"10.1007/S10817-017-9433-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703014$76E32C97-5122-4783-8A67-C12B23532C9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c21fe297a731dad215afdc6e4e147ada40276e","datavalue":{"value":{"amount":"+0.739331841468811","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":"Q1703014$310136C7-0324-4233-879B-AF4967C37080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4392861c3eb71f2ca17be6465901766e073b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b552075137f9eb76534b62514a0f8ecb530e43c6","datavalue":{"value":{"amount":"+0.7353543639183044","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":"Q1703014$A68AD474-E9FD-444A-8482-CF7E22B40457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a91a72a43d4e7b396087b8df461e044761ed9f","datavalue":{"value":{"amount":"+0.7179476618766785","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":"Q1703014$AB478D77-1C94-46C6-ACE6-4BC039E8135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a44bb9d137d92b03e550d4fd455d3121c20beef","datavalue":{"value":{"amount":"+0.699550986289978","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":"Q1703014$35B08AEE-D8CE-4E5A-8B8D-AC79E028F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782416097d4f602adc0c0e8fa1d9bffec5838c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5016382,"id":"Q5016382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0245a496b0d575e687f07915ba8fd6ca81dc668b","datavalue":{"value":{"amount":"+0.692625105381012","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":"Q1703014$ECE2615F-C1D5-4DE8-970F-E14BB850DA5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational program reasoning using compiler IR","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_program_reasoning_using_compiler_IR"}}}}}