{"entities":{"Q1271309":{"pageid":1282059,"ns":120,"title":"Item:Q1271309","lastrevid":67431351,"modified":"2026-04-12T17:41:48Z","type":"item","id":"Q1271309","labels":{"en":{"language":"en","value":"Type inference for pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1221969"}},"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":"Q1271309$82D450FE-7AB6-4844-B4E0-8B5FE92AF845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08092062f4d19d38da6ba4ab9d45eb852d36cf3a","datavalue":{"value":{"text":"Type inference for pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271309$67E34283-D5E5-456D-9FD1-A358D2B35759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a580c0218b31f210986b24acce1831a64e50cda","datavalue":{"value":"0936.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271309$B3F00CFA-1AE8-4F7F-912F-7ECDF5DAE5D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$6FB42ED6-290A-4C5D-AE5C-9A3CA8D6622D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1271309$9E1EB708-281E-40FA-A0E3-715D8F126BD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271309$F7BAF205-E413-429B-A720-C99B7A2259C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3f7ddccfce82e6d035dc3bf2d513708286222cd","datavalue":{"value":"1221969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271309$8488FFB1-CAAC-4E67-8F37-CB65FA36B290","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0dcaa63797001ddd231f76f544743f369704ee","datavalue":{"value":"type inference semi-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271309$D901ECA4-88D6-4AA4-8C45-815B56816D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf86f65cf422af22f683d52db32093df861a2e92","datavalue":{"value":"singly sorted pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271309$D653E820-1BD5-4B7E-98FB-16A1DC90B53A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$F89A9475-27D6-4885-9B3A-DD46DC74F3C3","rank":"normal"},{"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":"Q1271309$3BE5F27E-8542-475C-9FFD-400817FDB12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$25C305A8-BB2B-4DDD-971E-050B18BC7544","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":"Q1271309$1E81E326-41C3-4EF1-84F7-789FDF2BA773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f986fb08c7f5a33f4d18b216096027b17c3c6b","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2708","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271309$E8EDCCAB-CC50-4301-BAD8-48B8E2DD9DDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a514173cf59cc8fd148f168062d0b396093ce3","datavalue":{"value":"W1977621403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271309$25C86172-E9E1-41F4-A28D-500A80D8688D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b0a30febc9fafd0aaf6f91ea1821651d55077e","datavalue":{"value":{"entity-type":"item","numeric-id":4764266,"id":"Q4764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$ADACB652-4D2A-4452-B2DE-975AE5859DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$6A40758B-004E-40AB-B281-7DB6EAC05931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758de44bf095218eec77786fd2252ea1a4900e44","datavalue":{"value":{"entity-type":"item","numeric-id":4880706,"id":"Q4880706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$D2A6AD6A-DF29-4DF9-8CA0-C07EA042B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67e2e2d02ae6d35f2a2689bef6339892adf0815","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271309$8FD19537-2549-45D4-85AA-6F6485D8546E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e2db942863f16b63d0686ab72b245a0cdb243e","datavalue":{"value":"10.1006/INCO.1998.2708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271309$58C6B1A4-FDE7-4D3A-82E8-6BDB08C105CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763755f0a565da6aed9e31ae933c99de481e329f","datavalue":{"value":{"entity-type":"item","numeric-id":4218107,"id":"Q4218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da23ca4ea572e902110c36db0c72e2b3adf30b73","datavalue":{"value":{"amount":"+0.802024245262146","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":"Q1271309$040B050C-16B0-4BEB-ABE5-3CF4A66E7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ad45b3846319f9677c9868e0b1c68a276a3470","datavalue":{"value":{"amount":"+0.8000369668006897","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":"Q1271309$AAF3C491-5DD2-4BEE-B3EE-C27323843D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d9c61252f5f23ce22202fc0fdba197f2784325","datavalue":{"value":{"amount":"+0.7957183122634888","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":"Q1271309$F2D2BA7D-5B8F-4FDD-9B05-98160FA0F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe973c005dd5d38dbcaea1b051066ac45dae30d","datavalue":{"value":{"amount":"+0.7883104085922241","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":"Q1271309$358E213C-60D9-4744-9D37-26BFF5D5E535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for pure type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_for_pure_type_systems"}}}}}