{"entities":{"Q1029098":{"pageid":1030946,"ns":120,"title":"Item:Q1029098","lastrevid":65983158,"modified":"2026-04-12T06:44:50Z","type":"item","id":"Q1029098","labels":{"en":{"language":"en","value":"A construction of one-point bases in extended lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576954"}},"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":"Q1029098$85E697F0-9E9B-483D-B579-A8ECB765976D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0655773e9f87f1763caaae3867b9643c10a4b7d3","datavalue":{"value":{"text":"A construction of one-point bases in extended lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1029098$B7C924D4-628F-4279-8DF7-4095E1CF9F07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"167afc4bece00b63f96bfd99a9b4b84e0a96e996","datavalue":{"value":"1178.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$536E9A6E-F6AD-40F5-9CE6-BA9DD636129A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06faedd9e195bc435901be02e1baaf30d3515170","datavalue":{"value":{"entity-type":"item","numeric-id":294780,"id":"Q294780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$8A1B0A51-FE99-4F7A-9C1E-270A984ABC69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$DDC79FC8-B131-4CD3-A6CF-2DBE2DCDEED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1029098$9E0C7BD4-BFE4-4ECF-B719-007CF50CFC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$1DFD764F-71AD-4D51-A596-0367DBA700A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$4C102EB7-E16A-47CC-8C58-54F14BF90916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d3dcf708c0da29645f0a15f906644c026a3b9f6","datavalue":{"value":"5576954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$1D923C25-B276-4CDF-A9AE-126EA966C804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$94ACA8D1-2706-47BC-B6ED-5DB0F7138451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$278D90B8-3681-49D5-A60F-196864B63845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$B1594341-A809-45B1-BF36-F2E46EC41F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352599b67dfca7ae0a807a2c9e8e2b14da9766e","datavalue":{"value":"lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$303EFC2C-1E18-4801-A24E-353AE15CE7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b07fe34f0773cdffa0944406228855f3aed26f5","datavalue":{"value":"bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$F17027FF-0D50-4C86-801C-DAD9444CE968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6889163cbcb41e8155a2ed8e08e45f6ce662875","datavalue":{"value":"constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029098$603A753E-4E40-4258-BC8F-3A9D9B651041","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":"Q1029098$ABA5395B-C564-488C-B559-8E002CFBBEE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ffa36105f0731b2537b74c71cd660be482440d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2003.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1029098$3C69B3D1-A19F-413E-A9B3-E68EC596037E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0426aedfdf27ff1cfcc30cb93bf2f0bd60603931","datavalue":{"value":"W2014251051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$FF5D0BAB-8793-47F4-8445-7C8BBFCC970A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e017e9057ee954e5321b8bb293c79ad5651d887","datavalue":{"value":"Q56138477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$F189AC25-2E47-4F60-BF9B-E94919D91EE3","rank":"normal"}],"P223":[{"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":"Q1029098$A6265BA7-62C0-4195-9119-143241B07E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$2B0BB644-01A1-419E-B998-6115FF65F8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$3E17DA99-5CDD-429C-B1EB-F1ED0E7F327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844c5f06ae6a39616e53626b1c5a53d8722d035f","datavalue":{"value":{"entity-type":"item","numeric-id":2713367,"id":"Q2713367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$A65E7665-54F4-4162-83C3-B4C7F49821F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec7b1647bf063310fd8ac8be79255c33ecb894c","datavalue":{"value":{"entity-type":"item","numeric-id":294781,"id":"Q294781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$42AAEF72-7089-429C-9BC2-EBB98650D3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$6C9DBA4B-3EE3-4E5B-8CC7-4CC150B7483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3505063b714972ff718311b197fafa4dd6f8827a","datavalue":{"value":{"entity-type":"item","numeric-id":3724298,"id":"Q3724298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$39CAA7BF-8AC3-4B68-9E14-D316A8713357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029098$D4A25D57-6DD3-4CB6-9B0B-BB961C051BC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"defb317ce7aa4fe052b633524d0114d47e504f54","datavalue":{"value":"10.1016/J.IPL.2003.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029098$4F46E99F-42BA-412B-941C-B1B47F9BADC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3ef89d043804e49905ac84a086b2d1bc66696a","datavalue":{"value":{"entity-type":"item","numeric-id":1203131,"id":"Q1203131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287a168ce180f6535e74bd20df68a7844ee1b3b3","datavalue":{"value":{"amount":"+0.8849113","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":"Q1029098$D0CC2D43-E83A-4AB1-924B-3EEA2BF3E7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1ef6ee4d2db6f8ee9bef9d16afa5706617475a","datavalue":{"value":{"amount":"+0.8544724","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":"Q1029098$06902820-AAA0-44C5-B66F-B46FECF47668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e913c0eece944b3b3d737cacacced20875876110","datavalue":{"value":{"entity-type":"item","numeric-id":4035261,"id":"Q4035261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7be508fcaa8a835397a529050fee7eec15360a","datavalue":{"value":{"amount":"+0.83971936","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":"Q1029098$3CCFA1D3-CA68-4182-90B9-7D89A5697A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e5990c72c20b2ffd15922238cdcf2caddf8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4635902,"id":"Q4635902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2aa922866cb734f19cbb22b0a23228f9b98a84c","datavalue":{"value":{"amount":"+0.83890074","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":"Q1029098$8684CE70-A946-4B27-BA82-6BEF56EAA50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff12b5ca4231510e7e2d596105961afe3354b8","datavalue":{"value":{"entity-type":"item","numeric-id":1650330,"id":"Q1650330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c22b68d852ac46c537f3c959b7e8e86c817d394","datavalue":{"value":{"amount":"+0.83694345","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":"Q1029098$F09CF762-620D-471F-B64B-9241C6F3955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7c2a02b3bd3c3395f5f9e39a4a7295b850b07b","datavalue":{"value":{"entity-type":"item","numeric-id":5477662,"id":"Q5477662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992cde5f1914c84dad3e68bd7b052b51375d9a94","datavalue":{"value":{"amount":"+0.8359269","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":"Q1029098$A925CF21-79CA-46BA-BCCC-5551972E8C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3463e9ae63c8fc7ebd9658de0da5ab38f712f4","datavalue":{"value":{"entity-type":"item","numeric-id":5414971,"id":"Q5414971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e874aacf5df0dd536052377c2173332f36dd73","datavalue":{"value":{"amount":"+0.834539","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":"Q1029098$03E1130A-87A8-4E94-BD2A-6CD0C7305ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e425a98b303fea33d2bb12e8a1e12ce10e14cac","datavalue":{"value":{"amount":"+0.8307052","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":"Q1029098$2661554F-9C16-4367-9FA6-BA35CCF384AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725758fd1a49cb53ea68976dfc9d451c3fea2e86","datavalue":{"value":{"entity-type":"item","numeric-id":3784043,"id":"Q3784043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed4f6d4a2931c646aa5e5cdb1f74a2a6aa09b1c","datavalue":{"value":{"amount":"+0.8295846","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":"Q1029098$0FD382AE-B2F7-4FB8-8FE6-D49DB6191294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A construction of one-point bases in extended lambda calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_construction_of_one-point_bases_in_extended_lambda_calculi"}}}}}