{"entities":{"Q5055835":{"pageid":7085412,"ns":120,"title":"Item:Q5055835","lastrevid":47785993,"modified":"2026-01-02T16:51:32Z","type":"item","id":"Q5055835","labels":{"en":{"language":"en","value":"Infinitary lambda calculi and b\u00f6hm models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631255"}},"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":"Q5055835$A617861E-D607-4449-A0B0-BCDD13BCB0EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"726b1586e112524be7defbf56934fe67348f7d37","datavalue":{"value":{"text":"Infinitary lambda calculi and b\u00f6hm models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055835$BF4FFF72-8003-4BDC-9B48-1C01FB9E4939","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ca3d42ec7c483c9e2bc721a6ea7705c931a986a","datavalue":{"value":"1503.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055835$3FFD6C18-004D-4043-84DD-D423D981CB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4142c9b347c618c953d50fbdd089ac2a9674c8c","datavalue":{"value":"10.1007/3-540-59200-8_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055835$11AB9A91-383F-4DD1-9819-AE7A4AFAEE97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2478452821c121e335fdbd8d305c2fbd9059a28e","datavalue":{"value":{"entity-type":"item","numeric-id":912590,"id":"Q912590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$07992610-AD2C-44F7-B3FA-06B4E91DD592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$EBFFBC60-14DF-401D-A79E-92064B377C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa827ce00890cfefac3893ef23465bd9a59606a3","datavalue":{"value":{"entity-type":"item","numeric-id":1893726,"id":"Q1893726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$AF1BB647-6326-4695-AA08-615C82F35025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$70947AC9-7515-45CF-B963-F6C42D1724C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$DB8CDF87-66AD-4B0A-847E-9ABEB5CC0CBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-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":"Q5055835$FA853F9E-46C8-468A-9D26-B6F277D5DE24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055835$7D73B22A-3FAB-4B6C-9130-5F561FAD8BDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f31821b011b8e0627e128d6e4d6f53bbe0f97ce","datavalue":{"value":"7631255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055835$079E1395-D84D-4720-8DA7-FA22E9F144AE","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":"Q5055835$EA298A60-879E-4AAC-A8D2-34D73B0AA21B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddd3b0d4cac8dc34060c7d5d6c30cd26bd5d6e07","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_62","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055835$E7B7E0A0-3E78-467D-9A98-B63FF3353C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27b583e957f9e181ce09bff63f8cad64a0641842","datavalue":{"value":"W1492737256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055835$4E46CBAF-FA84-4C7F-A611-EE2C7361F00E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72fd0b2c87c76c8c64f2efe1ec8f51fac42e85f","datavalue":{"value":{"entity-type":"item","numeric-id":4490748,"id":"Q4490748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$2E87D757-DD62-478A-9669-26790CF81B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$4DE2A4FE-4323-4E9D-AFFF-934F2E38FBBD","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":"Q5055835$4E0881C9-9C23-4F5C-983C-2B3CA36B83F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224e4ef503881d3b157f8b295ac880fcf8bc9b10","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$0E826B2E-2D25-45DD-9563-65A4866711FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055835$9D18F3BC-7F9A-4D0B-8358-D05A26CE4AE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5573a1d877814be0ccc12a0eedfa0dbf15bd8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":4834480,"id":"Q4834480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bdf20c59aa4d58b6eb766311562553f688f055","datavalue":{"value":{"amount":"+0.9552118182182312","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":"Q5055835$CB6E2EFF-8737-4C85-9AAC-939A2D3A3546","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":"f156b6865392af8abfa9819fdabffdd5f51bd0b6","datavalue":{"value":{"amount":"+0.9512357115745544","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":"Q5055835$698C951B-738B-4E72-AB9C-D591263637ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c389d2a06dc3aa54958b2dc349a5cd21acc9c9a9","datavalue":{"value":{"amount":"+0.8255312442779541","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":"Q5055835$5FD19F45-7EA8-4335-BA07-38F5BF261EE6","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":"36e64b93b0964eb6710aa94be8a25e02a38d019c","datavalue":{"value":{"amount":"+0.8173683881759644","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":"Q5055835$5F5532CE-A8A0-41B6-B899-E68CCFD947AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aee23b5ba0d2cd4a49fc9978e9a951047306791","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7795e59066924b96d16559e31190d7ae8df2e6a9","datavalue":{"value":{"amount":"+0.8045679926872253","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":"Q5055835$640A826C-4F8E-4A9B-A418-F41C19694476","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055835"}}}}}