{"entities":{"Q2638759":{"pageid":2649502,"ns":120,"title":"Item:Q2638759","lastrevid":49453420,"modified":"2026-01-07T04:42:25Z","type":"item","id":"Q2638759","labels":{"en":{"language":"en","value":"Kernel-LEAF: A logic plus functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182792"}},"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":"Q2638759$3AC23464-A76F-4E63-9B3B-0DEB3F21237B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2096af10d72e4f9775e1924c7ce796742f36278","datavalue":{"value":{"text":"Kernel-LEAF: A logic plus functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2638759$97FF6525-DC28-4C94-8F50-4CD5DD732C59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f89e4723fd399ff0fe20d90e4eb4902a9de9253","datavalue":{"value":"0717.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$562E6273-5109-463B-AB36-125F04E25B27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1a65dcd59e6a35be2b213176a6ee3270d0d328","datavalue":{"value":"10.1016/0022-0000(91)90009-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$315C40C0-BE03-4313-9BBD-E7FFAED3D14D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$D67EEEA9-F2A5-4F37-821E-F3D6E25E630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$053EB49C-EA10-4C02-9BE1-8BAD95EC0E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc1f7280207046026dfc4dba895215d9332ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1105363,"id":"Q1105363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$28F71A16-84A4-4457-8CFA-647EEEAF6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$A2BD6109-2DA3-461C-A5A4-84AA8C701DEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$C1B96C4F-57AE-473A-9EE7-F2B4152FA51E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2638759$A29F5B2D-0858-4F11-914E-26ECA37ECFE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$0EA8343D-A36B-4576-8539-CDA68C6D10F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$EE305FD1-052E-43CB-A4C4-CF9802E3EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$4582D062-A039-432D-8CFA-8B25D81A14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$4648B137-9116-4532-8098-550C75ACC5F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba844a3b94cabca0f70e23ba273566648657887","datavalue":{"value":"4182792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$BBFD37EC-5B35-4266-AB63-9E817DA7FD55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f039ac5071d064b3f1cb0a90518b89a16b52d4","datavalue":{"value":"logic functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638759$F89C9ADD-7D82-44C2-9C29-0716022E8472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638759$37AB7D9B-32FE-46D5-B293-1088D753EEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638759$D103AF88-1EB3-449D-A803-7A70EC981D22","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e80b1bdb737072b27970ecf165d50631542509a","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$80A5655B-4529-49AA-B8DB-B0992B13AB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$0FEB7A46-BD84-446F-90DA-361AD632C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$4CA98DED-94A0-4BD8-B188-E21D188D4E64","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":"Q2638759$419CE4DD-1422-419C-AE29-7EC9E0786FEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8312a0631653665978e88f5697dcfc69d08e9a26","datavalue":{"value":{"entity-type":"item","numeric-id":4428289,"id":"Q4428289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$28DCBD99-4210-4790-96B8-65D93049D583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$E8E25E37-059D-458F-AC5E-F0D4653AF878","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":"Q2638759$644ACC33-4A5C-4947-9504-4429078AE551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$5D3B1A53-632D-4C9E-AA30-4CC2A45310B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$9085B94E-C49E-4F81-BDDC-9858AF851078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fc502056f8cc2ccfd9332e67d94de225503f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789061,"id":"Q3789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$8F332F72-5695-4615-A2A7-D6BE4BB2EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$5AEF2DA0-188F-4DCD-8CFE-0E3795D4A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$70808392-94F4-40ED-8EB8-1253CBE2B0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ba87c987c84ca4579443b762c28d920c8ce683","datavalue":{"value":{"entity-type":"item","numeric-id":1087023,"id":"Q1087023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$86E3EB2A-A89C-4F75-B2C4-44466FEFACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$06D9334E-98D3-4DFF-9EAE-48215554EB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$F3040F35-7AC3-4434-82B6-077A177C3DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$3DA64377-0FAA-406A-8CBA-FB5AE4CA0D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$C89D57E5-05FB-4C50-8BFF-9CC6385CB024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e5af48b8b05974e33a857146a65e3d0e01d52c","datavalue":{"value":{"entity-type":"item","numeric-id":3745248,"id":"Q3745248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$4977FBE8-16CB-45A1-95C1-0B621011A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$8050D06A-BB1B-453A-8D67-9DA0864DCC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$56B4A47B-CB25-4201-8FB1-CE489A77CDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08494127cebe2a7e5cd00bb77f9a92192bb264cc","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$75E60174-2F39-4516-B26A-E6135CFC41FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35f7cf3d9301d6dc9c69fdb4bca8aa1f43932fa","datavalue":{"value":{"entity-type":"item","numeric-id":1069694,"id":"Q1069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$72024DD4-FE44-4A9B-AFF6-E1F02426AB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$526D9658-3742-48B1-8333-EE2F5E0B28D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$8F77A476-01D9-4F95-A96B-FD7CE7C6C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638759$D86FC79C-BC28-474F-A0FF-3EC1FBB49B6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e71efc0d8711471a9446c56dc66a44b24b6d851","datavalue":{"value":"https://doi.org/10.1016/0022-0000(91)90009-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q2638759$DC33887E-B587-4223-9756-6406094C5591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07a0671e187460a97679a2f63d1d1337430bb55e","datavalue":{"value":"W2078852650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638759$5989BA2D-67B8-44C9-99D8-4E808A46AD3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1a321103a92446998ebc4cdb23694487ca4174","datavalue":{"value":{"amount":"+0.7384670376777649","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":"Q2638759$513A3132-DD15-478B-8ECA-D48D081374A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9484c33273a03a8976491d2126cfa1e069444596","datavalue":{"value":{"entity-type":"item","numeric-id":3992229,"id":"Q3992229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f79bc91e129f0f522bf2cab6de2e92a845d708","datavalue":{"value":{"amount":"+0.7184029817581177","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":"Q2638759$0247D06B-A8DA-400F-AA02-E4500950F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bfcdcac34e254348a59c1ac16e67ea176cbabb","datavalue":{"value":{"entity-type":"item","numeric-id":5881284,"id":"Q5881284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c583ccd00f9a7af970a6b72f68b6a5e531ca758","datavalue":{"value":{"amount":"+0.7180482149124146","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":"Q2638759$FA1F0EC8-EE11-4338-8A6B-674909356F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58315503ea4ff1697f03525022a99647032bfefd","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1bbb95ef04a9468a49e83bf6ff6933420521a7","datavalue":{"value":{"amount":"+0.7142972350120544","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":"Q2638759$D3A40D71-1C66-4247-A2A1-AB848FDE02DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd77f0e0eed0334c292eae5acbefe4bb0f9dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5053012,"id":"Q5053012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec5db8c27cbb8373ef3ace3504bcd009bfca393","datavalue":{"value":{"amount":"+0.7117177844047546","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":"Q2638759$2F925D88-7917-4134-8434-FB81E0926595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2638759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2638759"}}}}}