{"entities":{"Q428892":{"pageid":430659,"ns":120,"title":"Item:Q428892","lastrevid":42457868,"modified":"2025-06-28T03:24:33Z","type":"item","id":"Q428892","labels":{"en":{"language":"en","value":"A Church-style intermediate language for ML\\(^{\\text F}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049402"}},"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":"Q428892$CAF28720-821E-4DDF-B8A6-715752256AB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5039e86354e5f19265688f2917ef1c1a4d31af26","datavalue":{"value":{"text":"A Church-style intermediate language for ML\\(^{\\text F}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428892$E914C52C-9040-4D67-9560-BFB6C2782665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9db187c8d9f76715c55701450ac849f4aa91ead","datavalue":{"value":"1252.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$E53A7D74-FD90-4FC1-8DCB-70C4B4B2D3A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50f2165478ed24dcc2bb28aff286f977f84adf3","datavalue":{"value":{"entity-type":"item","numeric-id":428890,"id":"Q428890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$0DC5C1B4-789A-4444-843A-9ED1F5EB53F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b388eaf9c756c7b4af066412a96948ec15ab2b","datavalue":{"value":{"entity-type":"item","numeric-id":428891,"id":"Q428891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$45A89A05-5E81-48B8-AD49-493DD8921998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$175B0E92-52DA-4E07-85D8-1ED097643510","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428892$4ACD5D49-14FB-4823-A00A-0BA74B4373D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$A045FD6D-7D9D-4AE0-89E4-4F2B14B0C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$C8FA9A95-5E4E-417D-8463-A3DF7CF120D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$CA9CC4B7-5868-42B1-A7D0-0D3B580E744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$99E43A31-4A97-4155-AF88-7DFFBAADC049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50fa7df29fadee2ce620068cafd45c7b7eba1979","datavalue":{"value":"6049402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$7CC9EC8E-73BC-4D5D-A917-2ECB039F83DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d67bc2b2b8c40ea6db59442f632666c370cac29","datavalue":{"value":"ML\\(^{\\text F}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$39CA5D13-AC67-41C6-B92A-7E5C1243A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$9947D602-CC9D-4E71-B441-EE659CED4D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$D9B6E44A-CC3D-4E13-B2F4-E49E4DDDBE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431d1e109f966f3b4d99ad1ecbcf980a04a2f161","datavalue":{"value":"type generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$15ADD40B-2078-46EC-ACAD-3368447B101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620318b1a1b4538b27ba63445fc9a2175d8b6b47","datavalue":{"value":"type instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$030B1F78-0EEF-47D1-8DB6-9871CB142B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab27b77f81776e11fee698d9d5305812928b2a9","datavalue":{"value":"retyping functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$ABF998AC-1747-440E-8A76-BCABC3C46CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4a3a4856ff0f721c9e983a9d6f49265a4861ac","datavalue":{"value":"coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$8CE18252-F59C-4D61-A622-437CA277D371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0a5068a4946316d3ae87a58ec5f376a10a19f0","datavalue":{"value":"type soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$F9C6491F-DF1E-4FEF-836D-5D060D941FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076d7aaede6ca2cd144bb11a6f7107114a777bb","datavalue":{"value":"binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q428892$DDDE4569-73CD-46BE-A841-4A21AC5FDE4D","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":"Q428892$83FD1A7D-A3A4-4864-AF7C-23472273D8CD","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":"Q428892$85F939C0-08C1-4B7A-9D83-5150C75C3795","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":"Q428892$DBF98829-26F0-4CE6-93B2-A2DAF0F3C5AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85d898c8357fc37f0cd398e9dced80285630475e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.02.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q428892$F5827FF2-0BB0-4415-A524-2C6C996C74E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1dca20b3ae12c1168a88a6049fe278898dab445","datavalue":{"value":"W2168533104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$FBA490A6-9002-4ABD-958E-76711A98E5E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18504d9ba5c37d30bc757d58d666c1adfce28c9","datavalue":{"value":{"entity-type":"item","numeric-id":5261264,"id":"Q5261264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$E7C558F0-4AFD-4786-AE93-2F68253E4FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ec0f9a700c6f0b3c4ebbfda3800920b5facd57","datavalue":{"value":{"entity-type":"item","numeric-id":1023287,"id":"Q1023287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$C4BA6292-F802-4B37-B1B3-6E5311B982E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b825cfc60a80ca6b5a1caa07219a84f8747a7b04","datavalue":{"value":{"entity-type":"item","numeric-id":5178756,"id":"Q5178756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$8C7C4619-1BBE-42B2-B27B-0C41EA722015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$FF7216E1-B292-4A88-B9FB-226D57D86DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99d73ebab076b1a9bf1dc3ca7c78891d92452b9","datavalue":{"value":{"entity-type":"item","numeric-id":1330435,"id":"Q1330435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$9DCF0F47-1D13-473C-BF54-77556629ED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515dfb34576a097539c6f0542aff4c15a4e33046","datavalue":{"value":{"entity-type":"item","numeric-id":3586110,"id":"Q3586110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$841E7BFC-7436-44F2-B826-59F63C01763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$A7D95F96-8A1B-473C-9EEC-58C691B3C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$3DD7D01E-F518-4FFB-A909-10A78991586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b471efab13a9a78e1dd6fd88b2076934dc439","datavalue":{"value":{"entity-type":"item","numeric-id":2936777,"id":"Q2936777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$E5E206CE-08BF-4051-80FD-81EE3081C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ac7097341eb744a112c74406fa8f5b46861b3","datavalue":{"value":{"entity-type":"item","numeric-id":5168929,"id":"Q5168929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$A1FB19BC-B656-4D9F-A417-E610504928CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0ce51fd0554c3e1e837fa498ee37c3860bcf96","datavalue":{"value":{"entity-type":"item","numeric-id":2943358,"id":"Q2943358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$58893948-F2A1-4F2D-8C17-E292CBEBE940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351a757fce2fe2e6cccc56fe4790058328ec6c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5408546,"id":"Q5408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$1D1B33E4-F5DC-4AEE-B557-E849757224AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428892$7AE2DADD-2AFF-45BE-9FC8-27DE4754C6E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b834628d1121acfb254b8e2afadb6e2d307fb27","datavalue":{"value":"10.1016/J.TCS.2012.02.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428892$E2F98619-8FC2-4EDB-AB3B-017C9B73ABAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5dbef34d4e5a87af21557fcd0b31a3ca069916a","datavalue":{"value":{"entity-type":"item","numeric-id":3558327,"id":"Q3558327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26b39fa50ea71729781b49e0cf171bf07674810","datavalue":{"value":{"amount":"+0.9996321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$85DFA3CE-D17C-4DC0-9E20-09F3273BA843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca9dde76ce7ebb1bbffa9def2a6e23234f35cbe","datavalue":{"value":{"amount":"+0.83242863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$99214F38-7528-428B-91A7-BC7B9BC70043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37739da258f96c219ab31c4135932f11ad76c64c","datavalue":{"value":{"entity-type":"item","numeric-id":3719787,"id":"Q3719787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb5a5d2331144b7109bb376dfacd8cc9593a548","datavalue":{"value":{"amount":"+0.8034858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$7C2FF6F1-33D2-4EC5-8C02-207CED177178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcf9448d7033c32b4275bd4376f2d4813d887fc","datavalue":{"value":{"entity-type":"item","numeric-id":3796797,"id":"Q3796797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5423666b54a139d95888c23a39a8280c75bf6f6","datavalue":{"value":{"amount":"+0.8003079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$5EF69422-B104-4CD9-9FEA-0BB54B0304B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410c6a8dd83c6b3c7b10841c639fe246526b168a","datavalue":{"value":{"entity-type":"item","numeric-id":3453653,"id":"Q3453653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95f51d938a0977c9cbcdfedcdf1ea698ae73d0d","datavalue":{"value":{"amount":"+0.79938483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$BD621A5E-E865-48FB-A2B1-0FB6794658BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768c4c950790f7563c142cd61f5cb7d773ccfce8","datavalue":{"value":{"entity-type":"item","numeric-id":2982003,"id":"Q2982003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8242b492998575bbe9ebc9e940d7749833739e0a","datavalue":{"value":{"amount":"+0.7990173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$1D9B2FB6-0EDD-46FB-8F14-CF63B4C627B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612159e4431c3f87f9371592a9a99e06ce624872","datavalue":{"value":{"entity-type":"item","numeric-id":6044118,"id":"Q6044118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0628bf9f1e1ee26a3470c85cdda5b61a92373be","datavalue":{"value":{"amount":"+0.7929164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$73B7017A-F587-4915-9A4A-6F6FD42C9B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209d9bb435a0feee55899120e74bee8ce08db3fc","datavalue":{"value":{"entity-type":"item","numeric-id":4417870,"id":"Q4417870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c866c42b6477bfe7d917ba0f1b808ad57e23b213","datavalue":{"value":{"amount":"+0.79272234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428892$D02686C7-2121-4AEC-987C-222947015B85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:428892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:428892"}}}}}