{"entities":{"Q5437649":{"pageid":7467213,"ns":120,"title":"Item:Q5437649","lastrevid":50258000,"modified":"2026-01-13T16:23:02Z","type":"item","id":"Q5437649","labels":{"en":{"language":"en","value":"Improving precision of type analysis using non-discriminative union"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5229052"}},"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":"Q5437649$3A2369C7-994B-4ACA-A95D-305FC5A78E47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8b2df0cb3216cdfd1534f4c3d11d38952b76a91","datavalue":{"value":{"text":"Improving precision of type analysis using non-discriminative union","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437649$4D3AA0A9-5860-4A72-AD2D-694E882BF816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa1d50d5d919a048989dbfd011af277783ea8147","datavalue":{"value":"1128.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437649$CB662C99-53E5-4D34-8660-67EB28B4F9AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8076799f9cf731e59a2c21f971c6793449f4297","datavalue":{"value":"10.1017/S1471068407003055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437649$9DA0C21D-1FAA-471A-9E52-B6095F6305D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$9DCFB0DF-69FF-439A-A75D-7791756BB466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$83A20D78-9BD8-462E-B628-13A7D3D88110","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-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":"Q5437649$85198F19-6D99-4C54-ADB8-7FB7C3386E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437649$8D94E177-5992-4C47-9A70-D274688550F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2380591e3c0617e75f838366ca43fab730fb3450","datavalue":{"value":"5229052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437649$C09C2474-8821-496D-A9B5-40B3B9080D46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95618da530cce536c2b09295791fee071a23807","datavalue":{"value":"type analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437649$1E32783F-3748-4799-BDC3-1F8679D2A382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8336126fe249e9995d93d043bbb84eda018b2181","datavalue":{"value":"non-discriminative union","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437649$230921DD-AE17-4716-8236-50A99691CA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437649$7768548D-AFF7-4EEB-ADEC-0938F7469075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437649$9C4CA0BD-AE1C-4E58-849D-1FA56BFCE0D0","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":"Q5437649$8AF2DD29-BA3C-4E6A-9721-0348FA271F56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4275ac0767d00bf70add0ca9c50a7e1facc9a625","datavalue":{"value":{"entity-type":"item","numeric-id":1426866,"id":"Q1426866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$21215554-D2A9-4A26-BFF9-9F246259D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579155a55f6e9a74d70dc76913d2b4aae53ffe93","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$B0514E99-D8C5-48DA-9953-F5BD22CE54A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$D06DB467-9603-44D8-9076-400B8B0AACBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$2586192A-FEDF-40FF-BDD8-331A727B2176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4845322588cac6eb562d0660ffc26031e66a1b35","datavalue":{"value":{"entity-type":"item","numeric-id":4036279,"id":"Q4036279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$C45B1265-FC3D-42B4-B8D7-276AFEC8D0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07709ad83c4cde14d48459b0e20bad4b14e3e47c","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$8EB659E6-0CF8-4745-8D29-FDEE9F241D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1f4539a5a71a3459b2d80fdc47dd9c0d0ea64","datavalue":{"value":{"entity-type":"item","numeric-id":4012708,"id":"Q4012708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$FD9F148C-8C53-49A2-A6E1-FF53DC41330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de383c3f01de18ac64540bc12e03d44225b34bc","datavalue":{"value":{"entity-type":"item","numeric-id":4542943,"id":"Q4542943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$EB464119-8DDF-49E7-B115-09CD8B08667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07b9a7d6269bd5673d7478851e868fdca08fea1","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$AC9A4D82-2C65-49D6-9850-65408AD45850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6648d4f28199265be3ea8533a8f67f88e77f7","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$302ACFB4-2339-4413-BDE5-0B493D3679C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fac5d892f687aa3ba2eef634808b2359d1be32e","datavalue":{"value":{"entity-type":"item","numeric-id":4452649,"id":"Q4452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$723811A3-3396-4BC7-BC8E-1B927469BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$95C33DEF-3964-4C22-BAC4-1CF04DF9C063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$B2170FF0-F049-4CE5-BD03-68CB1B1E1431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c2b7fb3b5dbc3348fa37c766d0de3dcb7f2bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$0A5392B5-ED95-4EDE-B29B-2F1087D91133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$62A0D7F6-3451-4819-BC05-EAE12D4F52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$2CBC317D-C9BC-4277-BD6D-ED0EFF615D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed0f7bd2aa3a1854a6a62dafc5812f99b70b449","datavalue":{"value":{"entity-type":"item","numeric-id":1575243,"id":"Q1575243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437649$7EE76599-DE09-4E78-AE9B-B737E8113C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c658cf8c43026c035d383efeeecf87d13fd52fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3003491,"id":"Q3003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a0e7e2ee0fef1ada65bb4e206e6da159df51f8","datavalue":{"value":{"amount":"+0.7480241656303406","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":"Q5437649$459CE8EC-6110-40EC-BBCB-0FF3B55B5A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773e18b76a101c6dbfc76c76bb758165e02c5166","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dc93a6ff402d1599b56a5ffa496a5dfab5fb20","datavalue":{"value":{"amount":"+0.7459167242050171","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":"Q5437649$A115B02A-BD46-470B-917F-29C144A2BF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abb7d8da4152d4e4fb7facaeba6f740881e051d","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e94685085b5073624e94fa89371ad383bb1de1","datavalue":{"value":{"amount":"+0.7279319167137146","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":"Q5437649$0B351E4E-200D-4795-8229-1BB5413692D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d834f739162298a43e368127d42975c576527f7","datavalue":{"value":{"entity-type":"item","numeric-id":2763645,"id":"Q2763645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280ac478bee43318dcaa5c2010dc57c690c1a05b","datavalue":{"value":{"amount":"+0.7212605476379395","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":"Q5437649$263D7BF5-00E9-46CD-9244-7E696066D88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148266ff4e0b442c3f261f3074a1b4783bbee6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1758668,"id":"Q1758668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2bea7333171168fcfe8abde6037b27cf47cf08","datavalue":{"value":{"amount":"+0.7133623361587524","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":"Q5437649$C820D9F6-D2A2-4F70-B0A1-A767D2073971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437649"}}}}}