{"entities":{"Q2763593":{"pageid":2774332,"ns":120,"title":"Item:Q2763593","lastrevid":83167142,"modified":"2026-05-07T06:28:54Z","type":"item","id":"Q2763593","labels":{"en":{"language":"en","value":"SK implementation of some data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692643"}},"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":"Q2763593$2E2D3DA4-BEC8-441E-B66D-F9A8A68CD771","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9936ed16b99105b8359c3024d7405c2e12df2c7","datavalue":{"value":"0979.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763593$F75D5583-CE35-419D-910B-9C7E44958C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1149ea2e6b264f908dd135d39c61be700bf260b9","datavalue":{"value":{"entity-type":"item","numeric-id":2763589,"id":"Q2763589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763593$DF6E2171-4E63-4D8D-9A9A-10305B2AAEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37f90fbcf66a29b60737da61d3edff0de58c40c","datavalue":{"value":{"entity-type":"item","numeric-id":2763590,"id":"Q2763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763593$7099E114-9832-4E45-8209-7CA4D995F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59354d580a0539d5ab3c253fd627973b4ae211f0","datavalue":{"value":{"entity-type":"item","numeric-id":2763591,"id":"Q2763591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763593$4CCBE240-44E9-40D0-A737-07FFFDD99989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e582d2e819f6fbf817d80db3d87594982dcd1a84","datavalue":{"value":{"entity-type":"item","numeric-id":2763592,"id":"Q2763592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763593$127134C7-60FA-42E3-9B55-51BF82FED94B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eafb9fa4931b16419fb1b5bcacfcea6ff21e7b8a","datavalue":{"value":{"time":"+2002-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763593$1C4DC2AD-4AA7-4D19-9CA5-3822A53598DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763593$561D4240-A3F5-46F6-9716-122F06AF0CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763593$44E62914-86CE-4659-AF54-2991FAAC5DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e3a8036f1f7a99cd59767d70633d0d475bad6d","datavalue":{"value":"1692643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763593$08B1432E-717D-4AB5-85A7-6972725974CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763593$DBF71271-6A1B-420B-9E0E-9DF431BE8611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763593$872A57AF-CDE6-429B-9578-781C8B04B9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d670058a623a2f88a00dc92a55a96d6ea5e2298e","datavalue":{"value":"SK implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763593$EDE8E0DB-6978-47B5-9466-FF93E755A75E","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":"Q2763593$4AA884A9-3C26-4DBF-AF34-C6C332C348E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6036afe0d5473901a77dd1a112972ab8379259","datavalue":{"value":{"text":"SK implementation of some data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763593$89015884-B114-4006-A08C-7954714FE117","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6a73e2e1965e7b7e5d76080bcb5c40cfbff964c","datavalue":{"value":"A way of the including primitive data types (numbers, lists, strings, \\dots) into the environment of pure combinators is described. Some basic combinators and their reductions rules are mentioned. After that the following data types and corresponding operators are introduced: logical constants, list constants, natural numbers and other data types. Three different equality for the introduced data types are defined too. The authors believe that introducing these data types could increase the efficiency of SK reduction machine implementation.NEWLINENEWLINEFor the entire collection see [Zbl 0977.00022].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763593$276B2E91-D14E-45F9-9DD9-7EE902B17BE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91ffb0d7e6e07d59fbc2e29252b465eaf955e7b","datavalue":{"value":{"entity-type":"item","numeric-id":792753,"id":"Q792753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e6541c94d76d107dd26e848b237c9d887df1b0","datavalue":{"value":{"amount":"+0.6737087965011597","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":"Q2763593$DA21B8F7-3F7F-441E-BFB6-A259D90C5684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affd219566c3e0603f0c00a9378c61116b237245","datavalue":{"value":{"entity-type":"item","numeric-id":4944853,"id":"Q4944853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291f9abed26157bf55d1daf9d2720e2e353cea33","datavalue":{"value":{"amount":"+0.6733407974243164","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":"Q2763593$F3A0E3C5-74EB-4DC4-B1E5-9D4D261ED0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeb79aa0e1d1f8fcc034c5bd741470fdee51410","datavalue":{"value":{"entity-type":"item","numeric-id":3805878,"id":"Q3805878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291f9abed26157bf55d1daf9d2720e2e353cea33","datavalue":{"value":{"amount":"+0.6733407974243164","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":"Q2763593$B3B09C81-1FA7-4BCC-B121-2E6687F13767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844946c5e20909f379a9d0a15ce9973129a3280","datavalue":{"value":{"entity-type":"item","numeric-id":3986951,"id":"Q3986951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a9491f52a63e29e64ea109a4233360861e7110","datavalue":{"value":{"amount":"+0.6704939007759094","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":"Q2763593$986019D0-E848-4DDF-8486-391778443436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272cc0cc85477bf21a29be4d9058e2a82c9cb234","datavalue":{"value":{"entity-type":"item","numeric-id":1919985,"id":"Q1919985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b876f72a60e27462ec2f73cded536633271e2d","datavalue":{"value":{"amount":"+0.6645237803459167","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":"Q2763593$052E0BFB-CFFF-40DB-A8FD-E3C7154A8A0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SK implementation of some data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SK_implementation_of_some_data_types"}}}}}