{"entities":{"Q5030192":{"pageid":7059769,"ns":120,"title":"Item:Q5030192","lastrevid":54225554,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030192","labels":{"en":{"language":"en","value":"Refinement types for program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474229"}},"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":"Q5030192$2D292CFF-83DD-4C9B-8D1A-BD8965858453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4e6743eb9f0e45ed8a6477e6b02462d27026b01","datavalue":{"value":{"text":"Refinement types for program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030192$792649E7-D233-4B60-B510-4DA13CEDC130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bf236c542ba314f1836d4100c79bcab324755c4","datavalue":{"value":"1482.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030192$B4854143-9697-4A9C-970B-50069F5A3661","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e718dc67dd88a26ab3ad41bdd76786a46d824ee","datavalue":{"value":"10.1007/3-540-61739-6_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030192$4133004C-0701-47BF-8909-AF32DA60E2B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$F6BC6E77-54F9-4812-BAAA-D95218EFB139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$CBDBBF2A-4A7E-4AF5-8E26-8F9D663060C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$2F548012-1BBF-405B-A577-D08AEABCA324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$CF9E6667-1001-4E6D-8DC1-C09B8EFAF9CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030192$24280750-0C20-4F6A-91D6-E8E10170DB1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030192$2B46C12E-5232-4DA9-832F-BC57B3F5DEDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bb876b512830b4c98faba2bbe5851a8ce08d542","datavalue":{"value":"7474229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030192$AFA2546E-EDFF-4194-A218-B64DFD368407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030192$39F158DF-3868-495A-B417-DE25D3895638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030192$DDC8CE5C-4555-49D0-AEB8-FE5E6B46953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aed0c740e066ccfff5b9dca4c05b7321164dce1","datavalue":{"value":"faithful refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030192$BBF95A7E-9D65-4517-9E44-8153376AE5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a22d918d0abe94518ebbb8283eef2e9b221c7b","datavalue":{"value":"faithful typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030192$793E6BE4-2197-43E6-AECD-E81952C92E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf6ad637e3747b93ad3737cbfc15efd9f56a01b","datavalue":{"value":"binding time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030192$466C533C-0A07-4A5C-807A-211576560B2A","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":"Q5030192$9AD01F2D-7FBA-4C1D-80BD-0412EEA3D124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"908dfecf03a3cb48bfa1b9854bbab5070376b021","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030192$CF2CC4E1-4AD2-4A1A-87C2-E8F71589F8EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9246380e4345f909e3e6354b98b23fae98ede8d2","datavalue":{"value":"W1514992909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030192$2FD0BA71-0B8D-4B3F-85BD-1E7BF25C69E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$E61C49F1-19F2-4F27-997B-07E9781F6880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab05391685e854177d1a498b437dd760826859a7","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$3F3ED09A-55DC-45A4-98BE-F17A9E0D427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$7E39BC2B-C449-48CD-8CAC-1AF91442F78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ee649554fd0b2fe06a60999ac188586838a01c","datavalue":{"value":{"entity-type":"item","numeric-id":4490757,"id":"Q4490757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$E2B5B73E-CA1F-4574-B7BA-A312EC018AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284d8ef7700673c9e3bcb884486b7160255486b8","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$325EDAD1-4CBF-4ABF-A59E-25B5CBCE7904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da91aee9b91a914d3335ad44bfa5497f94a4ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$F649895D-4D24-40B0-AD0E-429925037A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$80A2FCB8-9D30-45FA-961D-D01304E6C8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d194a36ed5885f5751765614515223331c41c3","datavalue":{"value":{"entity-type":"item","numeric-id":3024824,"id":"Q3024824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$AF1FE128-917B-4964-81A3-1565058197B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119267ed68389aaeccebc8352b7d7f817ac1f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4716047,"id":"Q4716047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$08DE9071-E1FA-461F-9E77-F167B69D07C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030192$EF620930-5BF7-4F26-885D-953B14DA8902","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99fbbb1c07f66ab61c3fdcf9cf2acf9aea0e23a","datavalue":{"value":{"entity-type":"item","numeric-id":4246944,"id":"Q4246944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55530a44498d5e6e9d029d016ea328caf2e66255","datavalue":{"value":{"amount":"+0.8148651123046875","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":"Q5030192$40DE2BC5-EC4B-4A75-8C19-99555EDE4505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaefb3b70d25c064a9f1741c555ddcca94f1c78","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55530a44498d5e6e9d029d016ea328caf2e66255","datavalue":{"value":{"amount":"+0.8148651123046875","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":"Q5030192$373E6842-378D-46D6-8F87-9EC5F961756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e849b317132b18142ecc577b628547ba295324","datavalue":{"value":{"entity-type":"item","numeric-id":2713364,"id":"Q2713364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242a3cc3d1048e3862664c9cc35fee4f907c9433","datavalue":{"value":{"amount":"+0.8015709519386292","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":"Q5030192$C6002833-4509-4CA9-9674-EF7B735DDBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8909342051600ec9a68c117ff2381accea5a48","datavalue":{"value":{"entity-type":"item","numeric-id":4405691,"id":"Q4405691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957bea6a0095783ef574f09d9312a6b44147c757","datavalue":{"value":{"amount":"+0.7924352884292603","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":"Q5030192$FC24E532-3EEA-4E26-98E0-CDC7F05E3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f304c008fe8613e2b6dc214c32362121653742","datavalue":{"value":{"entity-type":"item","numeric-id":4699353,"id":"Q4699353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b71a8c56a13926060b2c0f9bf87939aa7b05d2a","datavalue":{"value":{"amount":"+0.7694638967514038","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":"Q5030192$9D575343-243F-42C9-8358-B5C409E8FEC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030192"}}}}}