{"entities":{"Q6164423":{"pageid":13299304,"ns":120,"title":"Item:Q6164423","lastrevid":55468174,"modified":"2026-02-17T17:05:15Z","type":"item","id":"Q6164423","labels":{"en":{"language":"en","value":"Lifting numeric relational domains to algebraic data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719728"}},"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":"Q6164423$E0B96451-86AF-4BF5-AA6B-F1CAD3E7C2E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c384ed134107b6015b48fc1e2ea8c1eddc99c6","datavalue":{"value":{"text":"Lifting numeric relational domains to algebraic data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164423$E1224E75-75FF-4429-9A6D-F124A8271931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da3221701c062cc6155f7a70874b2e799015f349","datavalue":{"value":"1524.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$2515CA02-5072-43D8-8B83-FDAF5A27890A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"609eb700113b1eed38021a32400956083f75d631","datavalue":{"value":"10.1007/978-3-031-22308-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$F0CBDCEE-0FDC-47B3-98F9-F14A563324F0","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":"Q6164423$15395064-DF5C-4105-B42F-A5AB52AAF014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164423$63649DC9-421C-474F-97B5-B013F2567BF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$B47530F7-3398-474D-93D6-0F9751B7D6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$5D9BB48C-D330-4DEB-8B7C-DABE2BB352F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf6a9323c1660637755467b246da6203cf2490a0","datavalue":{"value":"7719728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$0E542E87-56C5-4015-BC8A-49A1990597F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$381130C4-E5FC-471A-9301-FE4DB18387B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$B332A873-21BE-40D4-90AE-497E4138D0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5fad2d9d3940a1cd6ff13e5b77c9eed3976ecd","datavalue":{"value":"relational abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$584339CA-AD8E-4EC8-A941-F3682075D552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$E1EAFD0C-7DC6-4DCE-8F62-AF82C4CED016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4bcc9ad4458c85812db462c5675c2e0f0c5a32","datavalue":{"value":"input-output relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$AABF7987-E83D-4031-AC40-369FC0AEC4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f421fe846d7b93c22df7f69976d34543b6943770","datavalue":{"value":"function summaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164423$EB6C2B4A-4F59-428A-93BD-97AE879B27F0","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":"Q6164423$3D51F6D9-6F82-4F82-A1F6-37CD85B8FEF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5dbf5531deb7fafac477d6287a9931a8256e19e","datavalue":{"value":"https://doi.org/10.1007/978-3-031-22308-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164423$C13491BF-5499-459C-A7AC-6D35076E4F89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"772d08f0aea383846c0db9ba13d3314fa579bd44","datavalue":{"value":"W4312329444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164423$55ECAB39-FB34-4012-9CAC-A376F062E1A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ec823d92f078f5ce8cb6e8db5af5660ba6febb","datavalue":{"value":{"entity-type":"item","numeric-id":2287076,"id":"Q2287076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$E0C0B647-A882-4700-9DF3-A77B78B3993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8306fba999b8b8d1aeab22b8557530bcc3e1aec","datavalue":{"value":{"entity-type":"item","numeric-id":4994692,"id":"Q4994692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$8EA5CAE0-F4B6-4B7E-A89B-37CD87E2417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498e9f122ecd76dd7e75a65105a3a53c0ea6ff3e","datavalue":{"value":{"entity-type":"item","numeric-id":4222883,"id":"Q4222883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$DE5974E7-F5BD-4367-8304-8F67E50B637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$A021A18E-DFE8-4817-BB94-FBF471FBCC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$CC9A0A01-FB79-4FFE-BC4E-D3346210D4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$08B8C4DC-9862-4C5F-B71D-88DF939B6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55836f377d76fd6e99efba31d8e324412c7e34cd","datavalue":{"value":{"entity-type":"item","numeric-id":4930732,"id":"Q4930732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$A29052A8-0863-4E0E-B717-96D8ED4D4A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$E566E713-AF33-4CBC-9D5D-5DE3129D7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f0f1cf0c18de69393110b9c50091b9f09b707","datavalue":{"value":{"entity-type":"item","numeric-id":5327489,"id":"Q5327489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$EF3F638E-80E4-4EEE-936C-EF96030DCBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d39f0266a560e516da7072d8beee2cd32577a4","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$E34A3325-3CB9-402B-BF9C-7795A61E7CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69b58aca3e5a4bb06d807f469484ddf1472dec1","datavalue":{"value":{"entity-type":"item","numeric-id":2058389,"id":"Q2058389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$D4C52AA3-BEAD-4378-99E9-5DC32FC7E4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20c8e2dbf945dc317923a01930713ac09c2c708","datavalue":{"value":{"entity-type":"item","numeric-id":2233537,"id":"Q2233537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$C55334A7-AB96-4462-8CCD-775E8FC35337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff45cd49b3fe8b6d13faea63f13f4341dc5c606","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$293EE52A-8AA1-4CDB-BD4F-BF071667BAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456a4a9eaa1a23a760a828cdc1f2105019dc1f87","datavalue":{"value":{"entity-type":"item","numeric-id":6070805,"id":"Q6070805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$E24E499B-2F57-43C4-B811-4D29B6E2B837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$8F24B42A-590F-489F-B48A-54DF983F2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$470D2EDD-3717-4DE3-BDAB-D262BC71E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950ae4d69ab3461348c8ae02471d80fdec83ff08","datavalue":{"value":{"entity-type":"item","numeric-id":5370844,"id":"Q5370844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$9D751DD5-1B18-4A3D-8048-50AD46A8E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68190739167e2f4e4cd9489e2c02d0ea93a1646","datavalue":{"value":{"entity-type":"item","numeric-id":3460905,"id":"Q3460905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$7462B72A-EDEE-4756-9493-778827AEC9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$264B82F8-D9BB-4829-ACEA-2EF0C6627EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c19a6cf908fdaacd7c82b34854951ae826de39","datavalue":{"value":{"entity-type":"item","numeric-id":5316583,"id":"Q5316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$56619E9E-8FB6-4BE9-938E-1B6E40058B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$0355AE9C-F22D-4203-B0BD-D8BC7813FF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$5E00973D-C4C3-431C-A3E4-770B024BEE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$EEED845C-639D-4CEC-A05E-F2E95DB481C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69ac224256f4165c1b054cac941d8961cd3f8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2322316,"id":"Q2322316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$5D3A9247-A1F6-4AB9-B627-D734020A3D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70064986056d0693779f44c798875d753fd68c3","datavalue":{"value":{"entity-type":"item","numeric-id":3000594,"id":"Q3000594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$B37FFCB8-7498-41B1-BAA2-A492F271374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a37ccf5052b7ce5ca76a052d514d466f26181c","datavalue":{"value":{"entity-type":"item","numeric-id":5030205,"id":"Q5030205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164423$0F855DE0-515D-4962-BB8C-F1996CCBAECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29335bb57c82d226becaacaa47518cf43449a79","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c69f4ea366cfb95f34e6452b8bc635ca5f69f1d","datavalue":{"value":{"amount":"+0.7416125535964966","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":"Q6164423$047DF61C-9443-4238-8945-BFED57E430AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13ef430442525a14cd2814bbe495cc4ca2e9f9d","datavalue":{"value":{"entity-type":"item","numeric-id":2058389,"id":"Q2058389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d39df42ac90d5ec114a78a189fb4d2970dea45","datavalue":{"value":{"amount":"+0.7365747690200806","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":"Q6164423$84BD64A2-1613-4863-BC57-E6EEC374D8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0028db80db77ec25527414677dce6242a7b4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c5d6e6b683e5933dcca1bf1035f33d20376488","datavalue":{"value":{"amount":"+0.7137256860733032","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":"Q6164423$AAF1B635-300E-45C7-9D96-29E996694934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90608de8bedc9e077f5289f072e4c36ca19eb580","datavalue":{"value":{"entity-type":"item","numeric-id":6070805,"id":"Q6070805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213050e2de90895ede3fdb53a45f6615907515a8","datavalue":{"value":{"amount":"+0.7088594436645508","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":"Q6164423$C1BABFD4-79E3-48F5-BB4A-E78C8B242776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164423"}}}}}