{"entities":{"Q5013828":{"pageid":7043405,"ns":120,"title":"Item:Q5013828","lastrevid":58404216,"modified":"2026-04-05T01:50:53Z","type":"item","id":"Q5013828","labels":{"en":{"language":"en","value":"SMT solving for functional programming over infinite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438170"}},"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":"Q5013828$68A1BE08-1E9C-4EA0-A7E6-4852434C55C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccced71b8320eb49a5c03182a58fe2126e55f3f1","datavalue":{"value":"1477.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013828$8309F76E-E675-41C4-8931-B446B6EC860C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$5E06E1FE-89F0-4AAE-905D-11F0B2570B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bb95fe66c7050af712666cedf80821e20e3faba","datavalue":{"value":{"entity-type":"item","numeric-id":5013827,"id":"Q5013827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$84105AF5-012A-4221-8014-C1C1E9B87AE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013828$90C4CCEC-0F2A-43BA-B6BB-FF7093D797D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43b626191417ea3e2265bbbffde3a6e07a3ee05b","datavalue":{"value":"https://arxiv.org/abs/1604.01185","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013828$0ED84B96-A79C-4476-8CE7-895714CD7958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bb41a8085130ca9fa20abfe4abc855a40e71fd7","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2016.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013828$9C8231D9-F890-411A-BB00-D5972B3B829C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013828$D3A09612-D488-4AB8-AC29-1A23E4722C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdc2eaf4d3a7d40d255cba52ff8a7897b48237e2","datavalue":{"value":"7438170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013828$03F54762-A99E-4066-817F-52BA5E4A3334","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$A7A95543-872F-42F6-8DA2-FE19D606B8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$078E7EB2-05E5-4608-97C9-8035D0B5C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fc8489f18347c31920587547c4d24eb008e0c84","datavalue":{"value":{"entity-type":"item","numeric-id":34956,"id":"Q34956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$C830BB2D-204B-4171-A8E6-789F5DBBE803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08e2f8f314529fb129405223c9cc6200110ac621","datavalue":{"value":{"entity-type":"item","numeric-id":52027,"id":"Q52027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$E405E86C-BCCC-4D4F-83AD-1F690F5DB506","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":"Q5013828$DBE26D19-6087-4364-9CF1-78038FDA4B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35117a5e4f0b871215e34ddc1ee7cef53cae0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$F96F4D23-A971-468E-8005-1252A30BD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$86410510-CBDF-4624-91A4-6A2074635836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$1899D74C-5A94-492C-9615-0252FE02E4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$0A67CF44-063B-4FC1-A847-1114195AE687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d65bba1098d2b837930a70e56ef1b95e635cfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1775038,"id":"Q1775038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$C1C9B9BC-BF68-4D2B-83C9-F39EEA17BA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1256aab4eadc6d00b5ebc526178720a4790e772","datavalue":{"value":{"entity-type":"item","numeric-id":4635828,"id":"Q4635828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$806C964F-930C-437E-983C-44AF3CF9E715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$EB9C7A56-360E-4193-B5B3-55E37BBE6053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d18a95fd2abb64fb3873cebae9515dbda415b84","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$C7C5FC0C-1DF9-4D8B-A45B-CEE9328EB71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9deead844cdad42f35a7a4c2d6880de2af9125","datavalue":{"value":{"entity-type":"item","numeric-id":3448842,"id":"Q3448842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$32986D40-4195-4B56-B908-03B194618953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$88C3653E-F2F7-45AD-991A-BB943FED688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$8F77F375-0AED-4D46-B984-2B79B960E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$95C34ECB-B3D2-44FE-A3C7-637DB5B5CA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013828$1050C863-3E77-4216-B3F2-04E5FA1B05D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bcec3d67a785eb973f73fd61927c4e170cad55","datavalue":{"value":{"entity-type":"item","numeric-id":5200039,"id":"Q5200039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e2751190e7b92204002037d19a248d7f8dcdc5","datavalue":{"value":{"amount":"+0.7135658264160156","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":"Q5013828$381E6AAC-2F61-4229-9D46-6EAA772EFD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b01e2242f30050bd7299fe9d03fb2867b4c367","datavalue":{"value":{"entity-type":"item","numeric-id":5370892,"id":"Q5370892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1207273bf7b26119ce316663eac28ba3a4d90b23","datavalue":{"value":{"amount":"+0.7056382894515991","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":"Q5013828$BA7576B5-7165-4CA7-9AA5-0DED4B4C2D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ebaa8fbadf23d5e8b61fb71727d5de0cae6b56","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83111633d71ed7f90d0aeb672d15438a7f17d875","datavalue":{"value":{"amount":"+0.7034052610397339","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":"Q5013828$81F9C2B2-E114-4A1A-A16F-516020BE4D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3159e2d58dc5d61fccfc3fbf2d8dba1eca813f","datavalue":{"value":{"entity-type":"item","numeric-id":4494367,"id":"Q4494367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a776b2f1f0c46136aa55732386bdc2b63a3e867","datavalue":{"value":{"amount":"+0.7027139663696289","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":"Q5013828$00405292-A076-444F-A94F-C549E8626BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fc9b1014bae6590407cd97e59647cd9dc7b862","datavalue":{"value":{"entity-type":"item","numeric-id":3759935,"id":"Q3759935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89950d4713d2f6dd8660068ea879fd46b5a2deb9","datavalue":{"value":{"amount":"+0.6972126364707947","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":"Q5013828$9B59FD48-11E9-4D0B-8714-8FCC8C45ECB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013828"}}}}}