{"entities":{"Q3007657":{"pageid":3018381,"ns":120,"title":"Item:Q3007657","lastrevid":51269489,"modified":"2026-01-17T13:07:47Z","type":"item","id":"Q3007657","labels":{"en":{"language":"en","value":"Game semantics and uniqueness of type inhabitance in the simply-typed \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908717"}},"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":"Q3007657$C1FCDF7B-C795-4736-A046-9F66ED7F6729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe5776ca4af4be90ffa6888f8d4c0330f730447","datavalue":{"value":{"text":"Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007657$E6F16C54-C5F8-4356-B92F-8F32443290E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"660bf0ef7a2d245a9d40ec8d1d2b05e056d7e84c","datavalue":{"value":"1331.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007657$88929A4D-C292-457A-8A80-7E2DEE4DC6DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3094779ecd546796007169ca5f82711f58a15dd8","datavalue":{"value":"10.1007/978-3-642-21691-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007657$44896469-AE58-4FD2-8B0A-36E738A399D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af2c69ddc5c5cd5f2e449d582a76dd07d82eeaea","datavalue":{"value":{"entity-type":"item","numeric-id":302174,"id":"Q302174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$41BCC484-E3DE-4127-A992-E9B2CD8C8339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$3E7B1D7B-A6D3-453B-AEC0-A52A4F614893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$BEBF5D5C-A8E9-45E6-9D41-9A8F254B3647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007657$FA3F47A6-3103-4A7E-9AAF-B002365D465C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007657$935514AC-873E-4A26-BBEC-A7C8C99B9FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1c907ec079c64e1eb80e4fef0d4394c5a07b996","datavalue":{"value":"5908717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007657$628CCC19-0B6D-415B-AE11-883A1B95125B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3bc0c2984062dd5cdaa56bf5ee2ab67d5aaf70f","datavalue":{"value":"games semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007657$D80AB889-9C43-473A-B1FD-761892F0CD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270ab51bdc286580599c8bc47593d02d4356de10","datavalue":{"value":"simply-typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007657$AD2ED44D-1DE3-41BB-BB52-42B336F7CA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51cf925ba6fa31daf1d9ec9d2cd203492fb59b","datavalue":{"value":"principal typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007657$A71D4F22-4369-4120-8F63-715EA88ABE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58240fc6fd18ed006ad20ac43f9ca1f0eeabf7eb","datavalue":{"value":"coherence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007657$4C8EE0D7-2E9A-42E8-A0CB-807709953E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574fcdeee7a81324d56660113c370e6075b9b479","datavalue":{"value":"uniqueness of type inhabitance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007657$E7958CF7-638B-4615-AC52-8454BDD15343","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":"Q3007657$E2CAB55A-0037-4B8E-9780-3A496FBED412","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d5c8b4e7c966ca3bde795b6af3f1b118f210f46","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007657$5ADA820F-4D76-441B-81D2-74DAADB3B01B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8b336042fba7ce854eb805e297d29b5b4d372d7","datavalue":{"value":"W60649324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007657$E24FFC3E-5BB8-48DE-BA9B-2C6ECA7E0CC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$EF3072A9-016C-454C-ABAE-DA001D31B42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3409bd8005aacaaf0ac09f154e6910814ac82860","datavalue":{"value":{"entity-type":"item","numeric-id":1288178,"id":"Q1288178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$1FA31D9C-4AE5-4954-85A4-4A1A6CC42F84","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":"Q3007657$4857183D-173D-4A47-BDFA-3D3C8B4A906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$E61A59AB-D695-4A85-80BA-F2423A37902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$FA9697F3-7830-4A8A-A85F-3C8133A52A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decca75e42f9fb34085bc8cfd20b2d7d0daf9d5b","datavalue":{"value":{"entity-type":"item","numeric-id":1168319,"id":"Q1168319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$DE201B84-4967-449B-96D3-A5C9089B5F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90dcd108a99d8693c50bb8fe15cd9f1c30b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$6E231893-5E6A-47C2-BC38-BA224C4F8E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$DAA635FE-4FAF-4CAA-8465-D04C3DB67B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c15bc459a1ea777fe89e2310f82abd5770bf54","datavalue":{"value":{"entity-type":"item","numeric-id":2757812,"id":"Q2757812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$863E3F0E-43AA-4B25-A93B-57FD2E6C9C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$7459116E-54B0-4329-810A-4786D11148F3","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":"Q3007657$C54176BC-28E6-4658-A64E-4016A9860E0F","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":"Q3007657$16B396AC-3923-45D4-BA99-85CAF7EB6D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580dc50b6a43cb32c0e28a6d1454c3bc5b55b2e3","datavalue":{"value":{"entity-type":"item","numeric-id":5569434,"id":"Q5569434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$CF776037-776B-44C8-A3FE-DF008E6C5AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c17fefc3bf7c4e7c64821785423560055c9954","datavalue":{"value":{"entity-type":"item","numeric-id":1147133,"id":"Q1147133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$F716265B-452C-4FF1-B472-ADBE02F0A716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$CFBDEA88-86D5-440A-AECA-E1379549685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2534e934b320ce8c47243843bda2afbd625301","datavalue":{"value":{"entity-type":"item","numeric-id":972435,"id":"Q972435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007657$729CEB01-0269-4060-A4C0-F95A640AFBBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c770a9e212cf0d6a6a0d84f6bb07cd9b3868904","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6f916af49ccd459b126330c88ceeb072b27d78","datavalue":{"value":{"amount":"+0.7633777260780334","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":"Q3007657$4604A208-6A74-4E9C-B029-C7DD8C909CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d0f2ccb74387ed1bcdf6f8a002b316aad8cadb","datavalue":{"value":{"entity-type":"item","numeric-id":4472465,"id":"Q4472465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df665a531237e4b456c8a3e2f51e17860acf38d9","datavalue":{"value":{"amount":"+0.7531064748764038","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":"Q3007657$072CD2BD-C7BC-4389-B819-732427318ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbd43a0ef0acdae536103828aca29f768e042d7","datavalue":{"value":{"entity-type":"item","numeric-id":2981966,"id":"Q2981966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8516a6efc3faab42426cf77d0e39637cf29880","datavalue":{"value":{"amount":"+0.7435025572776794","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":"Q3007657$202161B1-8C18-43EC-86F3-F54D35CB2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebc3002b37163ff5f6c15f3e23c125f72b501d5","datavalue":{"value":{"amount":"+0.7386878728866577","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":"Q3007657$230BC9F1-7950-4651-A81C-53ADC23F44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebc3002b37163ff5f6c15f3e23c125f72b501d5","datavalue":{"value":{"amount":"+0.7386878728866577","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":"Q3007657$3CC6527A-B964-415D-AE65-BD53CCF7CB66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007657"}}}}}