{"entities":{"Q5267435":{"pageid":7297011,"ns":120,"title":"Item:Q5267435","lastrevid":52826966,"modified":"2026-01-23T14:25:37Z","type":"item","id":"Q5267435","labels":{"en":{"language":"en","value":"Topological incompleteness and order incompleteness of the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729812"}},"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":"Q5267435$AFB98785-EE9E-4A84-A993-E6DFC382E3F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"211febb44e8760ec9028f4448b1210ba14ea61c5","datavalue":{"value":{"text":"Topological incompleteness and order incompleteness of the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267435$C0760D4C-D422-4447-89D8-DAD40E55C7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6337a596ce0172495be10425c1b941d8be67ee64","datavalue":{"value":"1407.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267435$B78A1D4F-57D7-4F08-818A-1D74BF226040","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"451825c25c2bab5ed78f41a6b729258988153379","datavalue":{"value":"10.1145/772062.772067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267435$8CBE7C0A-5355-465D-8B09-2D2D4D00F27C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267435$42F45083-B64C-4ACA-8552-D1191EA55BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267435$433C9A88-B24F-4ED9-B8F2-C6DDCD3B93A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaa28d32b0d09d6b01225636327d1b51fd6524ff","datavalue":{"value":"http://hdl.handle.net/10278/13809","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267435$8A6994FF-5597-4907-8F77-0F2C5259BAB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267435$9B0C066F-9523-4EE0-94EB-7AECDA0AB5BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bdd0528a020235c0fce90839aad53ffafe17a5b","datavalue":{"value":"6729812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267435$1C3A1653-32C6-40FD-B176-05C5B872376D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$E167B20E-A96D-4129-9355-4BA02DC67C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2afa6e1a5c595e372bb9d0ef7d366e62f309459","datavalue":{"value":"lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$08BE84B8-B2E4-49F6-A265-BAF60EC78797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f59fa465c160697be9c18e01109da883fc2df0","datavalue":{"value":"order and topological incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$A650A0D9-0A19-4AF1-9570-100FD0755F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fc0691490665b34b840eb1bb7949117672da90","datavalue":{"value":"orderability/unorderability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$8D84A0AE-E397-499B-96CC-1D83A3A0AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba86a05af920c45327da0b80e169cbe1af2ea341","datavalue":{"value":"partially ordered models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$09231D68-7221-4941-9009-843FC8FEDA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267435$B48581B9-9A4A-40FF-B5EA-491A0AD5D72B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267435$53E251E9-8C50-4E26-96E7-30242588044B","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":"Q5267435$0416231D-0BCA-412B-BE82-03BBC248D010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eff24cd6fba80c03c7a2336a018a13e6b0255ca","datavalue":{"value":"W1991093042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267435$B2A57CF5-6B8B-458D-B6F5-9C36D03613ED","rank":"normal"}],"P1643":[{"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":"97806dd9f6336a0e5ce9add67eac472b2c821bef","datavalue":{"value":{"amount":"+0.9157395362854004","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":"Q5267435$EAF6D7D9-B668-408A-8BBE-645504E2EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb214e257ac056fe2c551f1b55288afa11dc6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3816053,"id":"Q3816053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0e255fb7a45a5ffd5e0bc45a55e229108b9d7a","datavalue":{"value":{"amount":"+0.8653412461280823","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":"Q5267435$C38A82AC-39CD-4621-A97A-47975E46C97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04677d76518776508168f1d7a5eba2a286ffb18d","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30015b2f25551d0b34ccb4406e022fd52189ede","datavalue":{"value":{"amount":"+0.8596646189689636","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":"Q5267435$FFA0552E-E942-4131-984D-6019445CC58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f75c3de4d64686374c4b347f4a372ed0e2d9346","datavalue":{"value":{"entity-type":"item","numeric-id":730088,"id":"Q730088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a6473098c4fc583a9854821888cb3fedbf9fd0","datavalue":{"value":{"amount":"+0.8581971526145935","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":"Q5267435$008DA4B4-37D9-4C3C-A54F-BB4B670CE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415330372d909ec89618abb517d8477f2fd36406","datavalue":{"value":{"entity-type":"item","numeric-id":2871473,"id":"Q2871473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be503be763dfc4db58e910db797b0170e832eac9","datavalue":{"value":{"amount":"+0.8505043983459473","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":"Q5267435$868343FB-080B-4A8B-9DE5-9D4071113A8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267435"}}}}}