{"entities":{"Q2353633":{"pageid":2364376,"ns":120,"title":"Item:Q2353633","lastrevid":43930050,"modified":"2025-11-17T17:24:46Z","type":"item","id":"Q2353633","labels":{"en":{"language":"en","value":"A short note on type-inhabitation: formula-trees vs. game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458953"}},"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":"Q2353633$986C529E-5A7D-4051-A4DE-26762A1E4B94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aab5f7da075e74997b5393047e9a82aa5aa17be6","datavalue":{"value":{"text":"A short note on type-inhabitation: formula-trees vs. game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2353633$ABE4A3CC-163C-4621-B4D6-8C6E9488BAED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b1ff637f41a83041b40ed462663ef7f07dd1ff8","datavalue":{"value":"1332.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$EF0C6D62-A754-4522-9F0A-E58F3451741C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$74F0945F-74EF-450B-8C59-84543830561D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$F7BCC7A0-E05D-4138-B907-936C39AEBED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2353633$2C07CE15-E5F8-4BB7-9400-14EC7C1DA468","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"404ee82de96c077d4bc7c326dbf64129ed706f27","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/5222","type":"string"},"datatype":"url"},"type":"statement","id":"Q2353633$0FED502B-B7DE-4FD8-AAE3-4E7D57EC3B36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$991AB7E7-CECC-4356-88E2-58249720E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$CD2F6917-47EA-4E8D-B74D-037E6E0CD2AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5e89bf6ebb741f04ab0aa8760fbc11bc1a59e7a","datavalue":{"value":"6458953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$A8A76F51-F353-48DD-97A0-6391468AE082","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353633$9004B7FC-B60D-4936-A534-D14696A2321F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353633$D6982BB6-2E83-4E2D-B39F-51C158D3D769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2acff79181732b7acc7f3faf9d6243cfe3a9ffab","datavalue":{"value":"type-inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353633$215E657D-06BA-4318-B47C-876D79B3ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353633$1A5287AC-2DF7-4038-9B4D-B8E0D238FD3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$FEA9EFD8-136B-4F16-A054-B2E2E0B33F5F","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":"Q2353633$069BCAB2-7C72-433E-9EB4-0871C7BC1B39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a396a410c0ddb311999a32a687c50f302ddb9a06","datavalue":{"value":"W247023568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$AB88EA04-A644-4B13-9095-5BCD41CC0BC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52cae6148e0f0c23df1633c224b5a6f19ea946","datavalue":{"value":{"entity-type":"item","numeric-id":2353633,"id":"Q2353633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$245C689B-761E-444B-8459-5DB12A717C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d604d2bd9aeb800a9974a1a32f191487a06f67e1","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$433498F1-FEB6-4B2C-85AD-0B79815DFD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967bc75b410c61568e17494cb1726c29288d5307","datavalue":{"value":{"entity-type":"item","numeric-id":4916206,"id":"Q4916206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$D318981D-94B7-47E2-8A1D-4420BD3D904A","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":"Q2353633$B4C0B792-A610-4B05-9357-005D83261B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896cfb45acd17dcc31034b40c65850aebbd3514c","datavalue":{"value":{"entity-type":"item","numeric-id":596035,"id":"Q596035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$8F1E7438-93E7-481D-8DEC-CBCE40FCF1AA","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":"Q2353633$F412170A-698F-44A8-91A1-A7E99E95474F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353633$64D454CA-5F18-442B-B2CE-42400C1F357F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718ca3df07d92c389b43c3a35accb4025d15d9ce","datavalue":{"value":"10.1016/J.IPL.2015.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353633$750AE3EB-53A7-4DBE-BF10-E858FB25ED2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672f83ca866d3122dda208c8941ea7fab7d7842","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abc855170a2b476452ba35cb04b27fad7e4385b","datavalue":{"value":{"amount":"+0.9001658","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":"Q2353633$638E710D-FBA0-4281-9BA7-434BCF67B8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6577df3ebb9387f7398fadc4d509e217c2c238e8","datavalue":{"value":{"entity-type":"item","numeric-id":3520148,"id":"Q3520148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0ff6b9386cd652682e086de6150d91fb59d188","datavalue":{"value":{"amount":"+0.8711611","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":"Q2353633$D2A20A73-63D4-4A46-ACDD-A3A91E9DB9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b2d42fc957877f9277780c2530c854ef7d9c68","datavalue":{"value":{"entity-type":"item","numeric-id":3167022,"id":"Q3167022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652008c792a46034beef8c63b60d4a03498041e6","datavalue":{"value":{"amount":"+0.87019414","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":"Q2353633$80028EE2-A488-4F88-B1EF-E6DFCEA58161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217657d2663feb8b803931842da08b513a2bc2c2","datavalue":{"value":{"entity-type":"item","numeric-id":4635796,"id":"Q4635796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f96eb4688509736a4fee4dc349e4d81cafbae8","datavalue":{"value":{"amount":"+0.8678552","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":"Q2353633$447ABEFA-F951-4546-B48A-01F8873AE2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc56b57b04dfe872e85575917734990e99c90859","datavalue":{"value":{"entity-type":"item","numeric-id":5255002,"id":"Q5255002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ab006ab10c0aaae220ce464b856aa67fce020a","datavalue":{"value":{"amount":"+0.8620616","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":"Q2353633$2EB9274A-3319-4AA5-9970-2DC9C4E5B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67debb79aa2065d888f33c8d50834bb730bccbd9","datavalue":{"value":{"amount":"+0.8610885","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":"Q2353633$46E70BFA-E149-4F6F-83C6-028697966C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c03dd00970d51ce9308136cbcb830aed14a7f44","datavalue":{"value":{"entity-type":"item","numeric-id":4252864,"id":"Q4252864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2052fe6bbf1a54bb50a9e2e7c92947f8177f90","datavalue":{"value":{"amount":"+0.8601263","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":"Q2353633$CD09B385-194F-4D30-A268-D3EA174318CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad109ddf75732bd6ad3ae77d3bd3aa54e81fab1","datavalue":{"value":{"entity-type":"item","numeric-id":2958525,"id":"Q2958525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe8698ac79e60a72b46ad6ea83127a3f257ed30","datavalue":{"value":{"amount":"+0.8600689","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":"Q2353633$9E22B600-33FB-46AF-B614-7BF517AED32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ba4b3cdb331bb4d2bf512bed3569ae341ee045","datavalue":{"value":{"entity-type":"item","numeric-id":1641014,"id":"Q1641014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550605d536099be0be2c83f358d8812ac95c4b72","datavalue":{"value":{"amount":"+0.8583343","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":"Q2353633$B05DC964-07D4-40B4-86E0-8C7CA782432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29b65b0ba7bbb81372fdffbdf9e4f16f0f55ea7","datavalue":{"value":{"entity-type":"item","numeric-id":688725,"id":"Q688725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac1c6930d75378c11bacdfbbd43e7bf53315b10","datavalue":{"value":{"amount":"+0.8575019","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":"Q2353633$44FFE151-EDF3-41BD-AC42-6443CD9DFBAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2353633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2353633"}}}}}