{"entities":{"Q2102949":{"pageid":2113692,"ns":120,"title":"Item:Q2102949","lastrevid":47787190,"modified":"2026-01-02T16:54:14Z","type":"item","id":"Q2102949","labels":{"en":{"language":"en","value":"Formalization of the computational theory of a Turing complete functional language model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632098"}},"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":"Q2102949$D9B76CC1-D8B6-45A5-8AB4-06E1B0838750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b116a075aa1b19838dcbac7602ee25dc599b1b2","datavalue":{"value":{"text":"Formalization of the computational theory of a Turing complete functional language model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102949$85828741-33C0-4730-9602-367B670693BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee6556224e3ca5da795127ab1761434d75945cb","datavalue":{"value":{"entity-type":"item","numeric-id":1799281,"id":"Q1799281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$72EE9DD1-E68D-45C7-853E-21A63FDDE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3882fe53b2944e00d855fa0a8a693386bc539349","datavalue":{"value":{"entity-type":"item","numeric-id":2102948,"id":"Q2102948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$9FE6EE26-ABD3-48C4-9660-10CB6938C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$A0ACB4C2-C9B5-4A90-8104-B16EF6A75747","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":"Q2102949$ACD7296D-7BE0-4F38-BC86-FA8CD8CB203E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102949$D62A12B3-11A3-4E42-ADF2-137F90E63357","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102949$BEEBB85E-E6EC-43FB-8994-6E7837CA4907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78f1d25f769c530c6da79023ef2973edf024e51","datavalue":{"value":"7632098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102949$C0E9406C-2879-4C10-B241-FA1F8819C2BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae04f1a9ef7d8cd60ef89522e6d737678ebe061","datavalue":{"value":"functional programming models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$286130DC-0492-43B4-B399-36E809ED5ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c348c9eb7062ad8b95516fe4ede27229dca452","datavalue":{"value":"automating termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$D979CA86-1714-4832-ACAA-186E1019A1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$3E2F54B9-424C-46B7-B0FF-B70E217F91A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510e66a16c879f3e1128b42481e32c204a67a3b0","datavalue":{"value":"Halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$F288FADB-42BF-4D77-844E-AACE02DC848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d74016b3171ed5f255980a6a82049735c83eeee","datavalue":{"value":"Rice's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$1ECD9603-5573-484D-87CD-ABF03D2ED669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$1DE5717E-61E4-4051-A52B-1D63338F941B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102949$4C89150B-9865-4846-AB1D-F0344A4ACE70","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$83AAEE9C-8BD6-47CE-A031-4C15168641A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$93A88FE9-3A6B-466B-ADBF-3FB0F003DAAD","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":"Q2102949$CABE5DB2-3875-4591-9FF2-044301647F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9880e03f96134c75ebc8ac537825e46b7d107cc0","datavalue":{"value":"https://doi.org/10.1007/s10817-021-09615-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102949$CE8815F7-819B-4261-BC9E-0736C8CF3960","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f878704e4bb2fa4f29732b16afa2f222a6ca8bb2","datavalue":{"value":"W4210693478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102949$E820053E-E1F4-4F8A-B2ED-89D8E7CF45D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ac071b7e05fb5cd5f9678b5c0ab1d4818b7645","datavalue":{"value":{"entity-type":"item","numeric-id":5878910,"id":"Q5878910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$825C4CB3-4952-45FB-938C-11937A66F12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$7B4AECDF-66C3-48E4-AF47-379BF55F83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096cca42c1b60f729db4dc67f52c9bf70298bb","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$3B0A23B3-1AF1-49E8-A684-2F4FAD44AFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc213f810e809eb3818c9e2bbad1ade805e212e","datavalue":{"value":{"entity-type":"item","numeric-id":5875420,"id":"Q5875420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$1EBE25A4-6517-4C7E-A4DD-943BC91938AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582d7a4fa1b5e1246f64a81b44743630e01d8e09","datavalue":{"value":{"entity-type":"item","numeric-id":1799282,"id":"Q1799282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$A979AE08-1BE4-4A82-A965-954C5ABFE498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63782d14544341fc9bcb14dd400d4878549b2492","datavalue":{"value":{"entity-type":"item","numeric-id":1687735,"id":"Q1687735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$53915282-194C-463E-8073-C94538CC0D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44741cdb786a6bf061a764c2d5d278518b6bcecf","datavalue":{"value":{"entity-type":"item","numeric-id":1791165,"id":"Q1791165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$7AC3CB28-D5B1-4A03-AA7C-D328F66079A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$5D5AC838-0622-4A35-95C2-61684D21D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$415EF2DE-E494-40D4-9D09-B162A2241D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935cf8554fefe587df1cb581d4783e67b3e8a292","datavalue":{"value":{"entity-type":"item","numeric-id":4736396,"id":"Q4736396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$4DA48F53-1E9E-476D-93D3-D07EF5659ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d1a22bab52e3efafefc530de3433317743df68","datavalue":{"value":{"entity-type":"item","numeric-id":5048993,"id":"Q5048993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$60381EE0-833C-4CD4-8946-7A75E91C592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483ea0c4d62c8e2b10981ffd095baf3e320d1f68","datavalue":{"value":{"entity-type":"item","numeric-id":1687755,"id":"Q1687755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$574AED73-5FE7-4CAD-B6FD-5CB016A12246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3a2c82a66b9447278ab0b37c5a6dcff305b827","datavalue":{"value":{"entity-type":"item","numeric-id":5089029,"id":"Q5089029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$DC82DBCA-FF53-400D-9CD8-87DE4CF13328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$40F0812B-4D80-4188-850F-C07EB7EC782F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$7F0D6924-C7A1-44E5-AAFD-BE1862071009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d203aee6c3ddadf3b7142229404c713bd9eb9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":6099621,"id":"Q6099621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$CB46D14A-1E37-4CE4-9BF4-E7D321B58BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5d72d07cce88cdf50698d240a7171f3b8b351","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$EB3DF5A2-1BDF-4DAF-8A05-9C9F6B06F575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$AADF7FD7-A8E6-4616-84A5-0D04277A71A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$DBCFA3AE-35FD-46E1-BAE3-6206CD704022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102949$22C6DBC3-ED30-4D8E-A6F5-B3D50620E0C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6ac83841cbe41eefe5476e7700b645eb6aab6b4","datavalue":{"value":"10.1007/S10817-021-09615-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102949$CE73D685-1B0B-4E85-8633-1C01EAA75B60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9ec596e7693236baa0e9261b42e03bd85065da","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5f78b0f22cd2366868655a77878d326dcb8ec0","datavalue":{"value":{"amount":"+0.7860089540481567","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":"Q2102949$B8B36ABA-5198-49D4-87A0-204884045C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e14c560586fe70a7c59fc209aee9236e3c283a5","datavalue":{"value":{"entity-type":"item","numeric-id":1799282,"id":"Q1799282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c290b05ad7e5c8f58d13390cef085694be5e5a2","datavalue":{"value":{"amount":"+0.7607786059379578","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":"Q2102949$C7A8FBFD-39C6-4685-8397-1988490B8765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc1d1515252f1e141ce433dfa3fdaab20d66b46","datavalue":{"value":{"entity-type":"item","numeric-id":3709921,"id":"Q3709921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf93560c9eabec4b14a4e6eedbb524cd3636fa57","datavalue":{"value":{"amount":"+0.7478077411651611","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":"Q2102949$600193EB-80EF-4BA7-BBC0-2A696C2656C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bd42f8b89d4b0b5eb5260d8d3803f867759ce2","datavalue":{"value":{"entity-type":"item","numeric-id":2333325,"id":"Q2333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326b913a050d087227337338da0ad446ad76869e","datavalue":{"value":{"amount":"+0.7393593192100525","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":"Q2102949$F63986D6-9A76-4286-BBE2-288EC1719396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140576b4d917f46ec7f3bf2c1b3333b3f2b3c316","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a033fcd2857a909a690855a959d4c888f98701","datavalue":{"value":{"amount":"+0.7275581955909729","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":"Q2102949$B7D77D3F-FDB7-4488-8011-990FA686230F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102949"}}}}}