{"entities":{"Q1758661":{"pageid":1769403,"ns":120,"title":"Item:Q1758661","lastrevid":70839819,"modified":"2026-04-13T17:36:56Z","type":"item","id":"Q1758661","labels":{"en":{"language":"en","value":"On the decidability of subtyping with bounded existential types and implementation constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107851"}},"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":"Q1758661$45DE95A3-C6C6-4C6A-B07D-6D762CB02257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c3b3ab741451acf720f0b89442ee2973a19bd3","datavalue":{"value":{"text":"On the decidability of subtyping with bounded existential types and implementation constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758661$0F35548B-41D0-48EF-A109-9CDD5321BDAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0520dae4dced623204ee70a1996a15e8e80c0f77","datavalue":{"value":"1251.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$3F5862E3-47C1-4FC9-AB0E-F47694EA4A60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8ce795e9d2770ece052771afd6fe6c56d0dc1c","datavalue":{"value":{"entity-type":"item","numeric-id":526444,"id":"Q526444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$4FF0BB72-8894-45D5-A38F-FAC01A81F9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$43495F96-3C93-4616-81BE-F48140CC4055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$A99B4899-09D8-4057-B4F0-AE0DE8A6878B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-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":"Q1758661$DD6E3247-8496-482D-9D85-B93EF8C44D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$A661F00B-4B16-495B-ABD8-A9FF253C6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$93607A49-90D0-4671-8FCB-5C6BC05B87A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$2540FFE3-8CB8-4D89-B977-2C8787A53C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e2ac9e5bd58552f1d0e5c293a9638914fba626","datavalue":{"value":"6107851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$78B4DDFB-AE08-4D93-992F-D68D7B360A9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758661$5911CFA1-578D-4FD5-AA53-00FBA00864E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758661$2E4B9A22-2BC3-49C5-8937-F4B2502439D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb51c3b157bbcbb9f4a81077d751cf8212748aff","datavalue":{"value":"bounded existential types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758661$74FA7A69-579D-4902-B6AC-C76E06B1B4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758661$40383B29-E796-4D2D-A412-F24D24CE4D6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$8942A44E-1132-4644-BA7C-2DB32C81441B","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":"Q1758661$DF9B50C5-E553-4A82-AE13-023C37CEAB64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24b9d6f03dbb9734c558ababc534f9d4451f1baf","datavalue":{"value":"https://doi.org/10.1007/s00354-010-0100-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758661$D0D5520D-6EA8-420A-BA2D-2749D7A22F1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83cc2b7a4af430d28d620441d0cd5dff438d7f4e","datavalue":{"value":"W2041341597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$14DCDE20-3EF4-4DB2-8EC8-9EDAE5F0232A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$B0C9D62F-450F-44CF-B2EB-58DC379DE728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd5f5c9fcbefac0bb72532e3eb4cdbc88cd4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1854318,"id":"Q1854318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$E1F9A945-484C-4E04-9D8E-1AFBFC3245A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066ab5ec931be93d2a0e3387ecf4b65313c8f221","datavalue":{"value":{"entity-type":"item","numeric-id":1127527,"id":"Q1127527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$23604E16-697B-4218-B806-9EB004A43A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$179F536D-F834-4EF7-8B97-6F754FECB2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4683cdb4f5cf0be2e8416cb6ebf86720cc1c88b6","datavalue":{"value":{"entity-type":"item","numeric-id":5687911,"id":"Q5687911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$25D6875B-3D1F-450C-97BB-974E08F0536F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$0982CD04-11FC-4A27-A506-3394EB3EC4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$A11CFB4C-F222-46FF-899F-AB95EC77AF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$704B6316-2353-439D-807A-113BD641C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b11ca34066ce8ac8602d9d62d91b4c501b23614","datavalue":{"value":{"entity-type":"item","numeric-id":4270546,"id":"Q4270546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$0F0A13AB-B45B-4061-908E-1FDA6A389315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4025d12ac4b849f9d436b530ca457e5ae5379f58","datavalue":{"value":{"entity-type":"item","numeric-id":1758661,"id":"Q1758661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758661$20AE8C1D-06BB-40E9-9F35-9083EB7BE8D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80401d4737720d8e1a3987adb98712b954ed6d38","datavalue":{"value":"10.1007/S00354-010-0100-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758661$C4272696-81F7-49EC-8FC4-FFCDF402D6CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1345ee126af5bb432c509beeb81caa4e1cacc6bd","datavalue":{"value":{"amount":"+0.775612473487854","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":"Q1758661$8C81A45A-AA90-4DD5-904D-3AE128088497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1345ee126af5bb432c509beeb81caa4e1cacc6bd","datavalue":{"value":{"amount":"+0.775612473487854","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":"Q1758661$6E7665E2-3A79-4A55-BBCE-6CED6CFAFB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408bee0fd465c2db82f89ade75bc307a7cad33c1","datavalue":{"value":{"entity-type":"item","numeric-id":2038076,"id":"Q2038076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406ef236efb52789422c878600375ff49830985b","datavalue":{"value":{"amount":"+0.773148775100708","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":"Q1758661$44606DAC-D229-4DC6-9624-99D51F1D9BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edc535a49624d795add1c1d71a3ac0b8f178f67","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bc3af02c0da91f8550a5f69f267467d45ed814","datavalue":{"value":{"amount":"+0.7540473341941833","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":"Q1758661$9A129D66-29F9-4771-8021-DCE5D78D4263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790897a634ff228c62345ebe53e81490c04b6b06","datavalue":{"value":{"entity-type":"item","numeric-id":598199,"id":"Q598199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507edbc891faceddff5fd282caf3ef8b87c3b065","datavalue":{"value":{"amount":"+0.752091109752655","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":"Q1758661$25F65962-F6BB-409C-A4D0-5A30CB7FD3E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of subtyping with bounded existential types and implementation constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_subtyping_with_bounded_existential_types_and_implementation_constraints"}}}}}