{"entities":{"Q5687911":{"pageid":7717471,"ns":120,"title":"Item:Q5687911","lastrevid":41152089,"modified":"2025-04-18T12:59:07Z","type":"item","id":"Q5687911","labels":{"en":{"language":"en","value":"Type classes with existential types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958685"}},"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":"Q5687911$7A9CBA96-A1D5-4E32-8E9C-FEAD41C68B20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85e538c4a4ff2e085288fc582f65f5d27bfe3032","datavalue":{"value":{"text":"Type classes with existential types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5687911$EF18546C-A40F-43C0-AABE-5B860D71B44C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01e90ec5472f47f474580152360cf6f012539e38","datavalue":{"value":"0860.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687911$9F7C58C6-58DE-46BC-8B72-7CA7FBD50F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d7bef2fd3a13a8495559520a2acf84a923169d5","datavalue":{"value":"10.1017/S0956796800001817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687911$4F38DCA6-61AC-4E8D-8567-FA9813E15667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de1ccc302dd4272b656e3b6d658306412c566165","datavalue":{"value":{"entity-type":"item","numeric-id":1856262,"id":"Q1856262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$83A83AA7-0DA2-4F08-BC96-1E0EEF3BF909","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$53CFD9B5-383B-4618-8BC3-82D8CA05C365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb061f84ffb57c2406b1921a4f259dec17e2583","datavalue":{"value":{"time":"+1996-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687911$BFA9D1A5-44C7-41FA-8D05-FC1EA4D4E32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687911$A5CBBD7D-71C6-49E3-9748-6D60837851CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16be260df3740901119bb70614ec0da635c5df63","datavalue":{"value":"958685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687911$DD86DDBA-3DEA-4936-9A3A-8322383B0E9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687911$CC8F0F9D-AE10-4CDF-90FD-9A35F9C9781B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$9CC480FE-29B6-4057-9D08-959B865F4E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$1FDC08E3-8269-4637-848F-2196E8F3714E","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":"Q5687911$6E9FD55F-03D1-47B6-8C93-34805EECC9DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0d2d1182727e3842c44738d6f5b68cf609fbb7","datavalue":{"value":{"entity-type":"item","numeric-id":3221372,"id":"Q3221372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$EC95A5EB-FEA7-4539-B616-838D25322755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8135d2b21803eba4e4837602065847af8c31a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$F11026C3-B789-4553-BF68-05F4D0CFB343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687911$5A20E064-7E98-443B-A2C6-A45890E4DDCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4ef10cca69d9efcb64686fbfea700c4fa2281a","datavalue":{"value":{"entity-type":"item","numeric-id":4738343,"id":"Q4738343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91394b0b37604c4d377064acc285618d46c117da","datavalue":{"value":{"amount":"+0.90122664","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":"Q5687911$35826DC9-79FB-4A3E-8E16-EE26E6F0766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c60692d0a5bcd589d3083c68f0be807ae98ca4a","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77641efda637b39d088a019087c22b19ca41cee","datavalue":{"value":{"amount":"+0.8887208","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":"Q5687911$BD41C529-BEB5-4D9A-8829-1F40F3680332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e61c7096e15c812052470f147ea57349e04981","datavalue":{"value":{"entity-type":"item","numeric-id":4921511,"id":"Q4921511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf01fef2e5d0fdd9570cee3ce64f8a8e9b869f06","datavalue":{"value":{"amount":"+0.8827564","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":"Q5687911$605A8F17-77E2-47E4-A886-E5E9116001F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435097cbf10b946af547dddcace077f5ee4893de","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19c18f4a32a303a6756067d8754775a31233650","datavalue":{"value":{"amount":"+0.8794844","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":"Q5687911$6906A6C8-7DD4-41D0-8F9D-86C1B7F02F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8c1201063ae9324a2f4a8e545022bcd5923634","datavalue":{"value":{"entity-type":"item","numeric-id":558427,"id":"Q558427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8931101e9cd14b3fd6034903f1e5d424c5772b6","datavalue":{"value":{"amount":"+0.87336546","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":"Q5687911$24069CD7-424C-4E1A-8347-2AB80C3544CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6f76415a446fbd42c606c261fa56ffb5c9a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3c909923fe7444a3d40d9db81a578e86ea60a3","datavalue":{"value":{"amount":"+0.86969024","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":"Q5687911$A589C445-BAC8-465A-969B-A27312533BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c864e2e11aecc76e4b679c6d8bf290dd6d7245d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263878,"id":"Q4263878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b455a624187639db8b8403f75428bcb3d13ec45a","datavalue":{"value":{"amount":"+0.8667159","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":"Q5687911$F36BEB33-6E2E-4762-913D-9D7D129C9D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662db280aaa7eeb61c216bc5c52425ad27aeec81","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecc607d465d41e95140e55f84bbca84f43f3664","datavalue":{"value":{"amount":"+0.8623207","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":"Q5687911$15CB3436-79C9-4B3B-B816-9011D983E4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe9aeb6143ef22fd2a1ba4ad8997b3993a374a6","datavalue":{"value":{"amount":"+0.86153716","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":"Q5687911$DB27BBF4-0F82-499A-ABC1-C909BCEA2686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a3816e32d762e4b31afda4118e397688236f6b","datavalue":{"value":{"amount":"+0.8598813","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":"Q5687911$1C2AF14E-DD52-4E6B-85C1-3E2B734FD3C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5687911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5687911"}}}}}