{"entities":{"Q3765742":{"pageid":5795648,"ns":120,"title":"Item:Q3765742","lastrevid":51844136,"modified":"2026-01-20T07:56:37Z","type":"item","id":"Q3765742","labels":{"en":{"language":"en","value":"Completeness of transfinite evaluation in an extension of the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023239"}},"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":"Q3765742$4A9666A7-0E89-4DC5-A70E-B088C7BDB753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43d02c93d5b7046cd477d388d4032cc72dd7154","datavalue":{"value":{"text":"Completeness of transfinite evaluation in an extension of the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3765742$5430F81C-9CDE-4F2F-B806-56DE4F8A2C05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa222975313d2e51d63a998b7d4c30cf91001808","datavalue":{"value":"0629.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$30578322-6BE9-4C3A-81D9-2647426F0115","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"406e16fd6f9e7ed64424d39e33deb16b6daad72c","datavalue":{"value":"10.2307/2273881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$C3FFFD8F-13F4-4325-8B49-372ABA67AB71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ee2dd78826897cc44fb2dee9514a0e1624795d","datavalue":{"value":{"entity-type":"item","numeric-id":487219,"id":"Q487219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765742$F1A933D4-65FD-4E6E-BFEA-37629E4CAA88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3765742$CEA1549F-520B-4383-955B-851F860630D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$31603AFA-796D-4AC9-AC41-BAB95D83CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$6731DB97-0BC5-42B5-9E54-C1E6E1885EEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ade984e3843e54db0952ec5a8b8db112f63cecf","datavalue":{"value":"4023239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$3E016068-FF61-4605-8E12-1D67F2227820","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765742$F1CD8652-7D69-444B-8343-FA0667455847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bfdea3412d03f0b10c391c86700635e90d874b8","datavalue":{"value":"monotonic functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765742$E144A9D0-6D00-46B3-9961-E043CBA1E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765742$6718F995-7353-43D7-95B5-45232855D599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765742$124950E1-5F6F-4A37-9AAD-E91040624FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765742$CFA8D298-137C-44D9-8524-5EC1607968F0","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":"Q3765742$2F8539CF-8F56-4310-9688-85F96C40C529","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ec10421d91958a05dcbf4da0836e2efc231b548","datavalue":{"value":"https://doi.org/10.2307/2273881","type":"string"},"datatype":"url"},"type":"statement","id":"Q3765742$477D3DB1-A57D-4357-BA1E-31226DDA732F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebcacc5ff7e843b0e4233cedbd17446736cdb5b9","datavalue":{"value":"W2013113230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765742$45B3BD27-FCAF-412E-A94A-E43D517A7378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765742$C088CC9C-660B-45DF-B133-8F5C322F8F21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765742$3006EB45-991D-436D-8ECF-50A0E92D355B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e212f5763fbe7652d28e0b716bbade5359e26c4","datavalue":{"value":{"amount":"+0.9207562","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":"Q3765742$17025EA0-01F6-4D12-9154-91C4B2321F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb2c7584c950390b4f341a0d6d5b183ce416010","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea97573ac8462096925311012315ecca261a8099","datavalue":{"value":{"amount":"+0.89885956","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":"Q3765742$EB3A6A6E-9A56-40EB-A3A5-B148964EAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18ef98c5a4a1c87ebb3962e6710ece34635719","datavalue":{"value":{"entity-type":"item","numeric-id":4761669,"id":"Q4761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8275e202ae80865823537f972189a43588d7491f","datavalue":{"value":{"amount":"+0.89773595","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":"Q3765742$2315A1F4-B5C3-43F9-99DD-5118990C0F64","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":"141058b901cbf437e42eee70114d73a6014f28cf","datavalue":{"value":{"amount":"+0.8971575","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":"Q3765742$0D6C92AF-493D-4DEE-82C2-7E0BDC183571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022680a9c36a1ff90069969bb0b95e39efba3453","datavalue":{"value":{"entity-type":"item","numeric-id":4993334,"id":"Q4993334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c289073f010b3c032069691c317e9f7351c7f5b0","datavalue":{"value":{"amount":"+0.8970345","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":"Q3765742$47F8792A-09C6-45D6-A565-B9236BB7B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20c4da7683842153ddf607ebfeb20bc53ff1951","datavalue":{"value":{"entity-type":"item","numeric-id":5275360,"id":"Q5275360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8960dc8a27da5f9c19153aab840e5aae46ca9538","datavalue":{"value":{"amount":"+0.89621866","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":"Q3765742$19F1737D-1B24-4548-8950-69EF6F100260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e00484325dc204290226d18756f6d6c09bcd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4916175,"id":"Q4916175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8903866f9cc9444c2920b84eef882226560013","datavalue":{"value":{"amount":"+0.89558744","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":"Q3765742$14F242E8-4719-4851-B615-6AA3B5A3825F","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":"c9f17bd65a95b8e016315bb8fe2cc33678b5bff5","datavalue":{"value":{"amount":"+0.8940765","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":"Q3765742$2ACA660D-1F1F-427E-8C19-B8FAFECAD50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74e4676089e17931db38119a01b070b1e0aba62","datavalue":{"value":{"entity-type":"item","numeric-id":750415,"id":"Q750415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a36f8568570934fa25fd9ad0b9ff985cb06904","datavalue":{"value":{"amount":"+0.8937568","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":"Q3765742$A04F2185-BCE1-44B6-B757-246DB9785C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c76793fba61a9fafab10ac23315aad68bd1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725a96e22fd45ee3add5b447a99a217361402732","datavalue":{"value":{"amount":"+0.8919164","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":"Q3765742$EA6FD513-F328-4F3F-8C4B-E6981FCEC525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765742"}}}}}