{"entities":{"Q5255082":{"pageid":7284650,"ns":120,"title":"Item:Q5255082","lastrevid":91719833,"modified":"2026-06-04T23:53:49Z","type":"item","id":"Q5255082","labels":{"en":{"language":"en","value":"Pure subtype systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445103"}},"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":"Q5255082$58CA5AF6-ECFA-4BEA-BEBF-D249F23EEAE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"458b5d31ed0a230e3bdc809f24da2ad794b2b8ee","datavalue":{"value":{"text":"Pure subtype systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255082$E49D9A53-2BC4-4D62-9974-9643DA9964DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d45c19c56ebd9a770bc2bcf43dc7bdd27f9b7d","datavalue":{"value":"1312.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$A0F6229C-CCF0-4F66-B3D6-6E56E6F1962A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56fec8e821a056b7a3d842b83d7a382e19828780","datavalue":{"value":"10.1145/1706299.1706334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$3892A7ED-5566-46A5-8744-1400287BD45E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d0fe3e30acee63a86282e0a508723306e1967ae","datavalue":{"value":{"entity-type":"item","numeric-id":5255081,"id":"Q5255081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255082$20E1C696-A18C-4321-9017-15C7C815DCAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255082$79172873-FD29-4BD1-AC84-54747B7868EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-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":"Q5255082$162D0F8C-420D-44B3-99E8-95AF175D19E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$43206D25-86D8-43B4-A006-A7D2E43E2FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$6DAB24D2-E0D3-43A8-9339-125A56729509","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e2d0f9e9fa681792815b79291c7db3c580f8f1","datavalue":{"value":"6445103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$B066C533-EE93-4F3C-8512-5BA97662DE74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e0c8947f635446b508acb2e3b70c0046cf3e82","datavalue":{"value":"abstract reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255082$2A6EB9DC-3D61-4453-B8DF-AE1A46CEAA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255082$9307AE9D-8DAA-4CD1-9393-F12BD8A4BC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd490e3b7e6631b271c94b30df463e7a259d332","datavalue":{"value":"singleton types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255082$A203EE0E-F9AC-4E9D-B36F-57F84E550378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255082$83659482-50C6-4972-9EAD-8BA0B5DB6E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0ed848601f14b2fd30c1ba5af0066e333de82f","datavalue":{"value":"transitivity elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255082$529FB086-754F-4C51-A3FA-AFE1FB3E1D2B","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":"Q5255082$EA49EEB8-2D24-44E6-9669-C2448763A3F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b37594d24650695a780ee511cda057d2cb98f905","datavalue":{"value":"https://doi.org/10.1145/1706299.1706334","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255082$B5614CC2-28FD-4C2D-9EFD-5C3111307D6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59958a7077374c311b6d1bf04a1a7bfc42d93166","datavalue":{"value":"W1977820295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255082$5D4A7C9B-5E30-4555-A0CD-325B3A42FFE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240a6779022141790aa9973c21c6711b1ef42eee","datavalue":{"value":{"amount":"+0.8400391340255737","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":"Q5255082$1B395947-573C-4AF4-ACBE-AC4BDE038CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8612493e6b5a2b4d78fc816cee4538696a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":5170829,"id":"Q5170829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240a6779022141790aa9973c21c6711b1ef42eee","datavalue":{"value":{"amount":"+0.8400391340255737","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":"Q5255082$E1C898C3-0020-4223-A9ED-7C22C79C4DC7","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":"5df7d993e32af63be9774857d6317c553d479c0a","datavalue":{"value":{"amount":"+0.7616665959358215","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":"Q5255082$C967A020-64A5-4674-B53B-3FD136624DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fc4b8d5bbb2ed22afcb9da4a5b0f607645834","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb10feedf86b180dfba5d81ff34143719242ea7","datavalue":{"value":{"amount":"+0.7601697444915771","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":"Q5255082$255778CA-A0D9-49EB-8D1A-FE310E8BE939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16665bd54eaeadd5ddf3fc2356c84eef73a613b","datavalue":{"value":{"entity-type":"item","numeric-id":2713351,"id":"Q2713351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cae59e87e9b02c49a272fd66f41b261671bb81","datavalue":{"value":{"amount":"+0.7590591907501221","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":"Q5255082$E21E7EAF-88B6-490C-A271-49347F97A19F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure subtype systems","badges":[]}}}}}