{"entities":{"Q730088":{"pageid":731937,"ns":120,"title":"Item:Q730088","lastrevid":63896691,"modified":"2026-04-11T16:17:06Z","type":"item","id":"Q730088","labels":{"en":{"language":"en","value":"Representation and duality of the untyped \\(\\lambda\\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668380"}},"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":"Q730088$9500FBD5-2C3B-488A-A165-FD32DC2441D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c0fc515f7f64d91c39c4f70a968eb0d5dbcd19","datavalue":{"value":{"text":"Representation and duality of the untyped \\(\\lambda\\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q730088$392DC2D7-E78C-4C8E-8D59-22C07C68C3FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeda9b150a8de76b6b58df96b56ef0a6370d9ff1","datavalue":{"value":"1422.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$93C4CF0D-36FD-4BEC-8327-527CA65392C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a81c1dc4fd6107d655f5cdf28aa4baf06ab79e","datavalue":{"value":{"entity-type":"item","numeric-id":603903,"id":"Q603903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$895584E0-4065-4B47-9256-F4FDA1985B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$97AF90D6-6FC9-4AC2-B019-83D032E90BC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$D24D0844-2A62-4EEC-A2F4-F4507751D737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0580f4f311c0237caf7375ec327f848331aa70a3","datavalue":{"value":{"time":"+2016-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q730088$09E8982E-39D2-48D8-BAE6-330407E9FBA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ead9dfafbed48d26892c33415b6263a92fcd901","datavalue":{"value":"https://arxiv.org/abs/1305.5968","type":"string"},"datatype":"url"},"type":"statement","id":"Q730088$5A4A39E8-3209-4BD0-B95E-E4BE586C371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e829dde603e63b7db79520ce8e750f792e2faa27","datavalue":{"value":"https://kclpure.kcl.ac.uk/portal/en/publications/representation-and-duality-of-the-untyped-calculus-in-nominal-lattice-and-topological-semantics-with-a-proof-of-topological-completeness(e3e4adea-db08-43bf-b75b-196e9d1715ef).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q730088$0F783E6D-5C8E-46F9-88B9-32C17B34A031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$5F89F83E-21EE-4E56-A132-396A6D460B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$A1CD2DEE-A6A0-4C4A-9240-31FD2042F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$8ABF636A-0B2C-4849-946C-B718163D3689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$65B15FF6-A332-4409-A36D-D89B7FECCDFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec7658dfff51c967fddf25c3a31495f82a3be45e","datavalue":{"value":"6668380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$24DC4D09-BD32-499A-805A-066FF6B35C51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edb35af393665c20f1bab6d82a33753ad6a2493","datavalue":{"value":"nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$1287B72B-D76B-4E40-85B7-2EBD6477AEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6834b74a0c08e64986b4539136a33f658ecc3afb","datavalue":{"value":"lambda-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$4C418FC9-B1BA-4561-A0DE-8FE48140918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc0a0a2399b0a33b6762bdbefbce81decaedb24","datavalue":{"value":"spectral spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$4B26323D-F0AA-440F-A508-FAFA6971B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a12e30e5a01108396cd941b60e8484223ae1fdc","datavalue":{"value":"fresh-finite limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$9C375171-C65A-4B79-982C-5554DBB97449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b3b49e2d70d3c0ef0b0e405e67cdb7c0853360","datavalue":{"value":"lattices and order","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$96F305EE-54BC-43B2-9FEE-596E98D46DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7360dfef1c321c4ec8e09865b935f2ca4d9a3fd","datavalue":{"value":"Fraenkel-Mostowski set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q730088$C968AE79-E849-49AD-A955-C6BE376EDC35","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":"Q730088$3C5E12AD-0086-4441-ACC6-EB4D848EBBBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"194f23a47aa24be0b2101bd3d73f0b3944d11607","datavalue":{"value":"W2964023069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$C7F0323E-600C-4669-AD79-DB988A38823B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$EF3DC240-ECC8-499B-8C26-EFEA2BE43DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d587e9b4d111184217355bceb39966d6b9bc50","datavalue":{"value":{"entity-type":"item","numeric-id":4946631,"id":"Q4946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$9A80E3D6-F6D2-41B0-A653-C73C332B0F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a485837370879eb41fdb32c8e30e5f04bdfa7e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4053618,"id":"Q4053618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$E6D46C91-0920-42A7-9787-3B63D26F937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35117a5e4f0b871215e34ddc1ee7cef53cae0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$ACCCEA82-FF9F-421C-808C-1698B95EA933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$C1C2D9CA-4A77-4823-A601-7E82386FC934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$5C8A6215-E76E-4FAC-9250-0DD732F3E18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15de6f7f4b50d8e656a3aca02185684cad9f45","datavalue":{"value":{"entity-type":"item","numeric-id":714797,"id":"Q714797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$DD0F6A34-1B5F-46DE-B7B6-ADAB6E7EE974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0521ab61dcc37f9db6d97ab93057db206779d079","datavalue":{"value":{"entity-type":"item","numeric-id":4163527,"id":"Q4163527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$D86909DF-3B5B-421C-963A-8A834A383347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$620793BE-DE81-4188-BB24-41BB1F8E256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9738a54ce3d19f905a4c6043b7f3154bcf623cf","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$721B1DF7-6869-4AFE-9FB6-1791438E1F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9faa1af090faea47aaecd039667635a91ff64955","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$7408FE2B-975D-4C5B-ACF1-4972D34C7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e2416e7dc44096e0cd661353c29abae05f3591","datavalue":{"value":{"entity-type":"item","numeric-id":3066102,"id":"Q3066102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$DCB658D6-841D-457A-9698-351855007ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a4a52b5fe7dab4b8bf62476a19cc9dc1660874","datavalue":{"value":{"entity-type":"item","numeric-id":2373874,"id":"Q2373874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$CD4D59A5-AB7E-46BC-8578-03360BE6EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e26026922b8de1d8a19d7898e64e9a4a494f6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3623222,"id":"Q3623222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$48A87F5A-2328-46D2-B452-3579286F39AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec818d2c5414c64eec84ae8c614f9a725f6a5dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1006642,"id":"Q1006642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$750A0B7E-9C16-47C1-A8A6-17FA98ECBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$28DA2A4A-A738-4FAB-9966-34E2B76035A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e2bb6d64de402005cf05f7f361a4f5edfb1a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2915895,"id":"Q2915895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$DE91B88E-1471-40B9-BB34-727D43029FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91caceee0b25238468fd6cf8d4374b1d14cfc94a","datavalue":{"value":{"entity-type":"item","numeric-id":4913996,"id":"Q4913996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$619B01FD-485F-4B3C-858F-96EF7996E8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8c8a2ef9513f19190d3d1f78d3cc84718f578f","datavalue":{"value":{"entity-type":"item","numeric-id":3177798,"id":"Q3177798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$6BE9D594-48CF-47E0-9902-F33107DFBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$0096694C-A9B1-4CE6-B818-028011E26DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$D96D44A9-68B2-4ADB-8B0D-4F5D337C613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a53931a41ddf117fbfa9bb92317f3d9a51770b","datavalue":{"value":{"entity-type":"item","numeric-id":3520234,"id":"Q3520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$18563A1F-6969-42A6-8600-A5563C9C08A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92f6322024f57edd9f188e505e033d3c1f18710","datavalue":{"value":{"entity-type":"item","numeric-id":3525150,"id":"Q3525150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$C4622C07-9C51-4B6B-B677-39026C1AF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b77c76291788d67b5cc53456f4160970986e99","datavalue":{"value":{"entity-type":"item","numeric-id":3612660,"id":"Q3612660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$52CC87DC-6A31-491C-B0F1-65DFE84084CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$37566147-49DB-4DE0-8728-057BF839DAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a2df2259c09e0f412f90b6acafcb1a3a1672ba","datavalue":{"value":{"entity-type":"item","numeric-id":3086783,"id":"Q3086783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$4053B92E-9FA4-4C7A-BADF-F2FC269D841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$7B684920-9347-4BED-BBEA-18C934F6E302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a9b625fb4c3f50a227f17c342854acb59bc3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$74A8C994-3670-491C-A3FB-33980197C6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$CAA2DE44-B31E-4FBB-93C5-BE4BEF4ACBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85427a4b618ddc4c67a4a3f7e69bef533a1c2c69","datavalue":{"value":{"entity-type":"item","numeric-id":3090869,"id":"Q3090869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$5780273C-2157-4245-9E0E-D44A3EA8B92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85724e3e2abe5b8664c9700d62e3fe6eb196e39c","datavalue":{"value":{"entity-type":"item","numeric-id":3024906,"id":"Q3024906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$397B3405-E55B-4B9B-8667-A3620FF2EF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$E816F47D-F761-4924-9570-0498A7B6D2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$2AB93AE2-5714-4A7A-A81C-79F0001C0811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$A03306EE-E3C3-4940-AE8F-2EE19886DA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$44BEA21C-C3F2-4437-B687-11CFAF2BE9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$F11007C0-7647-49FB-B7D3-9060F318BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$5575DBAB-EB18-4409-9784-9B95F2B166A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$5E7431A8-3DD7-419D-81AB-14663D78C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$9BEACABF-BAE2-4577-BF48-253EF4E9C70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c9404f2812df07dbbcc40cd23192d14986d7be","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$10F92C3B-AB4E-409F-B684-AEC5E3961F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5551b9d71468ff696129142d48bd721feaebb9","datavalue":{"value":{"entity-type":"item","numeric-id":3559973,"id":"Q3559973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$8EB03754-EE47-4E91-83D7-47D718EAE653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$643A5F0E-0EA7-498C-8F59-5277EEF6E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$C6B6A8B5-1B88-4A43-8AB7-E98B84535F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$569A6B05-153C-44CE-A8BA-F2500B0F5EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f409cb1b95fdf8cc61f09344f849065b51039","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$A3CC3D57-3ADA-4D94-8491-119E2B5B273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ac70488cb05493986848ebcf62c858908739b9","datavalue":{"value":{"entity-type":"item","numeric-id":2524562,"id":"Q2524562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$A299B020-6A4B-4499-9EA2-D6CD3F02B73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9eaff64990526eb85f89a7a24ea87cb77eaa3cb","datavalue":{"value":{"entity-type":"item","numeric-id":674002,"id":"Q674002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$F08BEEDB-92DA-43B1-A357-4449C7216672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$040AA645-CB35-402F-B84D-510832329EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827c478b9a1776a17885b10dda39c051b159251","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$B89C643C-A372-4AA1-9CD3-202A8C4D7F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9bb16368406d756f1ee1585890c89fe7bb1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$38197581-C307-40E9-8A03-BB7AF4BAD16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4ffc02504adca99b91a64a37a470b25c07f7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4510741,"id":"Q4510741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$0E8DAFBA-4ACC-4E5D-98AE-41262ACC9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5b0cbb25e0f5891c436ffcd8cb33862a001234","datavalue":{"value":{"entity-type":"item","numeric-id":4709842,"id":"Q4709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$D21E3D46-60BC-4AE8-B2DF-25191968DFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$FEAD1EED-CBA9-4F78-950B-82BAFAEDB686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3141b4dcf4a3c348a248e2a355ad6edc5a4176","datavalue":{"value":{"entity-type":"item","numeric-id":4342068,"id":"Q4342068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730088$89EECD45-92B0-4627-AD4D-95E446CDBA5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6001a77f39c9143764b428dcd0474bb2b4fe82e1","datavalue":{"value":"10.1016/J.APAL.2016.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730088$7707632D-1038-4142-9A58-057E673C631B","rank":"normal"}],"P1643":[{"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":"475db2aa2f3a0b6985b22fef0365d5bbdb644c39","datavalue":{"value":{"amount":"+0.89532554","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":"Q730088$21B7C641-CCE6-49A5-B62A-11D4F9FE0C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58168b98b5d10d3591fdf4e55af6fef4ce566b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4400779,"id":"Q4400779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c1ef2299df782b8257e26c356c9d3da82d8cdb","datavalue":{"value":{"amount":"+0.8872061","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":"Q730088$2285918A-33BF-41E2-81CF-885F809624E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2570c79aa4f9a46962505ec353cd66f3108ebfb","datavalue":{"value":{"entity-type":"item","numeric-id":4946631,"id":"Q4946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efe2bdc37f61679e0dbc89ae90086565c90ae6c","datavalue":{"value":{"amount":"+0.8852298","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":"Q730088$64FBE743-808A-49FB-95AE-E9CEE27BBF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c8fe2d76caf04230483fa563bee000df565951","datavalue":{"value":{"entity-type":"item","numeric-id":2263308,"id":"Q2263308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33aa9144119f96e239bd8e92d224d625467292a3","datavalue":{"value":{"amount":"+0.8821174","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":"Q730088$9285FABE-3E44-406C-B46E-A0697629E32B","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":"76cb397f1f5094365ffe5fe5fa69e3b1faf36a25","datavalue":{"value":{"amount":"+0.8803771","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":"Q730088$993AF929-6BC8-4AE6-B242-6810D6A128B6","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":"52f7194e8470e344876df65a13d6a0b96fd11046","datavalue":{"value":{"amount":"+0.87722075","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":"Q730088$8FFB26D9-CC22-4B69-8DFF-8487023545BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baee5609a1347c457c327f8b17093e1e6531237","datavalue":{"value":{"entity-type":"item","numeric-id":2210507,"id":"Q2210507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062882cef8feb6e7a2d8f1f02ae275c3f1916136","datavalue":{"value":{"amount":"+0.8762539","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":"Q730088$30FDD707-7CC8-419E-B626-6B5D668B7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2375097e11473bb8bd774f64cd2034a1221b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3608816,"id":"Q3608816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7211d1eeb904d1a82a99f7fb6596093fcbb543fe","datavalue":{"value":{"amount":"+0.8734901","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":"Q730088$161D0B69-3263-48A3-952B-5E774112B28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610ebfd6a70c532178f3de4cc540fe0f585b11a0","datavalue":{"value":{"amount":"+0.87279445","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":"Q730088$D3E616E2-9183-4BD3-B8BE-5F21C112401A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4470fe04d16398360229168a32075ce32e1171","datavalue":{"value":{"amount":"+0.8721346","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":"Q730088$6FEDCBC4-DA2A-43DB-AD3B-A0CCB7752A92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation and duality of the untyped \\(\\lambda\\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_and_duality_of_the_untyped_%5C(%5Clambda%5C)-calculus_in_nominal_lattice_and_topological_semantics,_with_a_proof_of_topological_completeness"}}}}}