{"entities":{"Q4762953":{"pageid":6792533,"ns":120,"title":"Item:Q4762953","lastrevid":98063258,"modified":"2026-06-05T16:12:49Z","type":"item","id":"Q4762953","labels":{"en":{"language":"en","value":"Domain-free pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1569488"}},"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":"Q4762953$D5591C3B-3FC5-4825-B419-07B1804417AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b2ddfdc35b04e9cc512e1124f0d3739201852a","datavalue":{"value":{"text":"Domain-free pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4762953$3AB486EE-BC7C-41AF-A0A9-45E2A14DAD0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a19026848d84cd6a00aa7d1ee0d33cec45746cc2","datavalue":{"value":"0979.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$BD3B7138-EB12-41AC-A83C-E5E4B99A03E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd4bb0077c1a31e53b33c96518e0d3d61a20a34e","datavalue":{"value":"10.1017/S0956796800003750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$C1F1040C-7418-4A51-A1A4-E1F9C56456B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4762953$8F946830-BA68-4469-9A2E-CE12BFA30E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4762953$36785AD9-7161-458E-9964-C65D0894755F","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":"Q4762953$AD7E1ED2-7A1B-4332-A19D-2263E494CE8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e1d7063ecd638677848b844accef77290c7ea4","datavalue":{"value":{"time":"+2002-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4762953$84A59949-50CA-4DD2-B0A4-7885973B671E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$E71F8248-3F41-4D2D-8638-9A20387408C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$31B9F7ED-FBAE-4863-99F2-545B3799344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$F198B4C7-9099-4310-AA22-19A6389ECCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$10CE0F01-898F-4086-BC08-86E2E1D342D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dad61cf899c9f472a44007504d951f56af6ba3f2","datavalue":{"value":"1569488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$7C26E55B-2352-4177-BFA3-D0C3EB8A9127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288de9380e46b31f97c8a09b1b10e110db68467f","datavalue":{"value":"curry-style type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4762953$9F8A477A-9D5B-481F-9E31-1FA27BCDA5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ba91e519bb8e9aff3b00cce7b45b415e05f6bae","datavalue":{"value":"domain-free pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4762953$EF3757A5-E358-44D6-A38F-6AE7F027D3A3","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":"Q4762953$3886C58E-32ED-48CE-8D97-10CA33350F91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bfd4304005d236396ae2801bc0a8eef6bea367b","datavalue":{"value":"https://doi.org/10.1017/s0956796800003750","type":"string"},"datatype":"url"},"type":"statement","id":"Q4762953$529EF09A-C141-4467-85C5-9439DAE515EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64d36edc3037eb6add12ce8c84f5677e868de8e2","datavalue":{"value":"W1971128176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4762953$D598FF06-FDB4-46BF-AFBB-8C310771A45D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff145e0088ab76339d1a5c65b0397bfdfc7874","datavalue":{"value":{"entity-type":"item","numeric-id":4376043,"id":"Q4376043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q4762953$7D072A2C-BD70-4D3D-BB0E-9F2A7C5CD7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d998d3ad8e8d7b70bd59f3167c0b503140110073","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a15e00110a4bbbde3653edd7af4b34ae844301b","datavalue":{"value":{"amount":"+0.93500245","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":"Q4762953$214A5098-5753-4F7F-847B-226EA6B9F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50da277ca233d3ba0975a9ffae6ac7160f4a3f84","datavalue":{"value":{"amount":"+0.9221744","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":"Q4762953$F8E52B2D-6F03-41C7-B8DB-77CDDEFD8629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da3f06971b0a5c5e1545510a0e13f468a663910","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b122c804c4e8b77ad1aca42989a2e8878e240c80","datavalue":{"value":{"amount":"+0.92145383","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":"Q4762953$370B0E8D-0D73-49EB-96E9-926B4A179289","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":"9bc4199189a9388fa2b485151f40bf0d2bd470ba","datavalue":{"value":{"amount":"+0.9209908","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":"Q4762953$1B8DB78F-DB94-44E9-8EB9-ABD372A6FA30","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":"d6b6c2bf5971876aad5b34d79963777e732afde6","datavalue":{"value":{"amount":"+0.9123975","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":"Q4762953$642051CF-8325-4B1E-864E-DE2B525EF5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1286471145dfe6f4a764a939c0a6f5af73d31ca","datavalue":{"value":{"entity-type":"item","numeric-id":3024819,"id":"Q3024819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e27c4e97486a5772744aee0235f6a23df02fe2","datavalue":{"value":{"amount":"+0.90990704","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":"Q4762953$D6A9021E-1226-4984-9015-AF649468CFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb659874dd1c4dd244645c9a91fd0be0b9cb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d74e038dbd0fb659b6da0bb51735a9bf7e5e1dc","datavalue":{"value":{"amount":"+0.9078835","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":"Q4762953$640D0911-01E6-4DD0-95C1-6762A4788751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3ed6a21edb415af25a10496ea8516ccf9fabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4948007,"id":"Q4948007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78694229fb30d3c2ac238b0c3928d0a39ce53713","datavalue":{"value":{"amount":"+0.90659136","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":"Q4762953$3ED96BB0-D8B2-4269-BC9C-15940D0ADC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2812751557688b6aec6e90b37b51ca7394c448","datavalue":{"value":{"entity-type":"item","numeric-id":4328821,"id":"Q4328821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e9f08a39f6cfc3e5cd508e9512da4084e5cf7f","datavalue":{"value":{"amount":"+0.9061345","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":"Q4762953$2D59EDC3-053A-4D49-9629-4A9F464FE598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain-free pure type systems","badges":[]}}}}}