{"entities":{"Q4764617":{"pageid":6794197,"ns":120,"title":"Item:Q4764617","lastrevid":41247732,"modified":"2025-04-24T06:52:42Z","type":"item","id":"Q4764617","labels":{"en":{"language":"en","value":"Theoretical Pearls:<i>Representing \u2018undefined\u2019 in lambda calculus</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 751121"}},"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":"Q4764617$5DED092A-28D3-4F48-A6F8-C71695F597A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15534ac5aa8e5989a91f371828f5681d766ed997","datavalue":{"value":{"text":"Theoretical Pearls:<i>Representing \u2018undefined\u2019 in lambda calculus</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764617$7C088B45-7ECD-4EA3-86AC-2809A888B895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ecbfc140e4729217b5404e69c96c9c0a6ea7d0","datavalue":{"value":"0816.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$2AC97135-23BF-4FB1-940D-7850EBCC2187","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35e2444bc0e7ac350a27518fc2297d05dd501413","datavalue":{"value":"10.1017/S0956796800000447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$27EBC29A-CF4F-492E-8488-C97A5A1C8AE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$5A46F917-C8F0-4AFF-8F81-BCE3B046E80E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-07-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":"Q4764617$4CFBBA33-0DBB-4668-893A-7B76161CB52A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$BEC33FB5-4C98-43BE-8A13-04FDC78AF500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$37EA1CDC-5D16-4DEA-BCD4-E40FA1529A95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ae1385e5d977ab35ce980f9abba7513075bab9","datavalue":{"value":"751121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$597C3AB0-540E-45DC-8A0F-7F4FFA8666BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b520562c9b5d831f7138b6cc461c655266b94ca","datavalue":{"value":"\\(\\lambda\\)-definability of partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764617$69C4A62F-1725-4B88-96FC-FA7808103CEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$0EF39740-286C-406B-A2C8-D7699282A3EA","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":"Q4764617$44CE3CBD-BD61-4A73-BD46-AD9478B83114","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$F886D337-C349-4111-8146-EF542CE0BDF0","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":"Q4764617$C9AA05D2-F72E-4296-953F-A72C4444CED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$5290CDAC-7B51-4EDC-94A4-CF4D2CF248B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5518e34b7536a8c7a1cf5bc9d876c46982dedff3","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$6CA3400A-FFF9-4926-8FB9-292AAA5D8337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764617$B9E9EC15-B3F2-410C-9F0D-B9E28DA06622","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20019f4393e89badb6571d744f11f70924c6f27c","datavalue":{"value":"https://doi.org/10.1017/s0956796800000447","type":"string"},"datatype":"url"},"type":"statement","id":"Q4764617$FF620852-3676-4EF1-93E8-A8C0586F9171","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"431dba3e7d53bbc5ffa31da05ffa95ab377d6d78","datavalue":{"value":"W1486611887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764617$773E018B-78EC-450B-A83C-02E821404EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bab9ca4687c887ba84e0ff9d87bab7f0d7b8be2","datavalue":{"value":{"entity-type":"item","numeric-id":5369483,"id":"Q5369483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859ea1f269f0a064e34267e2e5433900bbf79dff","datavalue":{"value":{"amount":"+0.87053555","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":"Q4764617$6A70D845-B9D2-467E-908A-811D5C9310C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aab4585ccf0fb7b8378a4b8e66dcea791c7cd70","datavalue":{"value":{"entity-type":"item","numeric-id":4281470,"id":"Q4281470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc028f1a3fc08201b0130d40cd1a3c0402e59724","datavalue":{"value":{"amount":"+0.8694129","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":"Q4764617$2A7D1B67-09F4-4F0B-A8F0-A34550CCA7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fab4f05caad4963a9a6d7c1d6a3799436307ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4375807,"id":"Q4375807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e971bd698af34e2f842155a533832f747ed193","datavalue":{"value":{"amount":"+0.8647878","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":"Q4764617$ACF5FCDF-2ADD-4D16-AA06-A20F7799416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890ef0ca5fd55f8f1aa81b11c2bf11e748d67930","datavalue":{"value":{"entity-type":"item","numeric-id":4254697,"id":"Q4254697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b5d1e8a585ea8e17f37ae4a86bdbf7b9dc2886","datavalue":{"value":{"amount":"+0.8642085","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":"Q4764617$E2147E27-92B1-460A-AE08-A89B5059BAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47498dfbd2b20afbf482f8fd4dc2077b1290a445","datavalue":{"value":{"entity-type":"item","numeric-id":2039932,"id":"Q2039932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc35744e975a23ae487215b852d248e9a8506c7","datavalue":{"value":{"amount":"+0.8633648","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":"Q4764617$DFBB1D5E-2A1D-40E8-8285-69D8E8C5EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e043b5bca5172a33fedb433f5c8820a8a23ad2","datavalue":{"value":{"amount":"+0.86070514","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":"Q4764617$C7E3F9B8-6B12-4A06-A60E-F966F68F8B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482ea03db6d45419bc6e1a22c2317e3f92a10d1d","datavalue":{"value":{"amount":"+0.86066264","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":"Q4764617$ACB526F4-479D-4DD0-A9F0-8C4124DCFECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1cd3a13e2208569f4d3d8e37e4fd9e62e64d23","datavalue":{"value":{"entity-type":"item","numeric-id":3024839,"id":"Q3024839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd7d4ac31185a537c10aa47f75ca39cdd641cae","datavalue":{"value":{"amount":"+0.86043704","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":"Q4764617$9CF52237-8482-4B42-AB32-5652118BC273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d201b9310c76f1844f1b62e90e86bbfbdd457af5","datavalue":{"value":{"entity-type":"item","numeric-id":4474831,"id":"Q4474831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a76eeba066bfd12861eb3af12c5f1ec592de1c5","datavalue":{"value":{"amount":"+0.86019576","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":"Q4764617$15FCAB3B-8E5D-4647-A14D-82668065962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00f7c522a703614e059b491fd76476df84017f","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9860d8465a2e3fbc75a93321aca348052512eb7","datavalue":{"value":{"amount":"+0.8584137","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":"Q4764617$91A19972-AF89-4BE9-90C9-678F13EE0051","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764617"}}}}}