{"entities":{"Q4542807":{"pageid":6572399,"ns":120,"title":"Item:Q4542807","lastrevid":97275227,"modified":"2026-06-05T13:47:15Z","type":"item","id":"Q4542807","labels":{"en":{"language":"en","value":"Pure Type Systems with de Bruijn Indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1779564"}},"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":"Q4542807$83C03454-E4AE-4A89-910D-CFFCB0BFC2D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc6a6634cda3cfb352a3056839305eddae4d732","datavalue":{"value":{"text":"Pure Type Systems with de Bruijn Indices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542807$BBF6EFD3-18FB-4FBF-9A61-B7D9768E9BA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736f068d65fefbbabf3b6ee8f80e44f5fa8205ba","datavalue":{"value":"1001.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542807$67AE8CEE-C1F7-46B6-9BA0-DB616F495302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542807$98C74FBA-C362-4DEF-932F-93626CBE9577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542807$BFAD2E16-B0D4-42C1-AFDB-986ABCCED947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542807$9160549F-41AA-4A24-9AD9-A70991A14A66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391050808db64b076e4aa1701660fbac53a4b8d","datavalue":{"value":{"time":"+2002-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542807$F26F2BAD-4F7E-486A-800D-313CDFFEA79C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acb41b809fce4ddbc1b1821d2543da89bee7ebd6","datavalue":{"value":"https://semanticscholar.org/paper/1e33c77ba391f334cd77b73a140d63f5bc32f887","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542807$E2F8E514-4611-401A-A702-2DEC952CB316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542807$B58CAC93-A249-41F9-87FE-7B6900FBDE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c08cc27236cac3c109ebebd16957737888268eb8","datavalue":{"value":"1779564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542807$F6244259-52EE-46DB-A695-EA1F710F4B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542807$FC2C3BCF-61EA-417C-A925-27CD959A5B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542807$434C71B6-3D98-49BC-9FDC-716B2B4434FA","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":"Q4542807$DE86A7F2-911E-4E73-B8CD-4A048F5FF91D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cea26d86e05100eeed004105815ce6ba774e6ead","datavalue":{"value":"W2087037271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542807$561F7E95-3414-44FC-BEF0-7080689DBBBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9bebfe8df5fa012f77a67da5aff706e74fefd01","datavalue":{"value":"10.1093/COMJNL/45.2.187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542807$10F2A872-4024-4DAE-9754-E9A3AD171930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4076a8e50d25461d898a5b53311626889e2bc0e","datavalue":{"value":{"entity-type":"item","numeric-id":4664921,"id":"Q4664921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2775959d18ba6784733275d9ed8b73bd2336236c","datavalue":{"value":{"amount":"+0.90522677","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":"Q4542807$3481633D-84D5-4141-A7BD-82F5E8E69618","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":"08be4660ccb9582b6e32e389604129864a6c9c5c","datavalue":{"value":{"amount":"+0.89312893","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":"Q4542807$01714704-6B02-40A6-8279-786FC2D859EB","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":"6e4d1c3b8a203d48e2a4170f64fc51228c81ffe4","datavalue":{"value":{"amount":"+0.8929844","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":"Q4542807$19833F24-4266-42E8-AE4D-8E8E5FB621D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c722f26c38a2a825b44456b0f3c7ba6a859352f4","datavalue":{"value":{"entity-type":"item","numeric-id":5958776,"id":"Q5958776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50792410831ef971c81f19736405d8877bb38bef","datavalue":{"value":{"amount":"+0.8905893","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":"Q4542807$C92E24E1-616D-4D62-A65A-DA859F4F4642","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":"3f8eb7794f1f7ce9a7b7c76cd67a20b0761aa7d9","datavalue":{"value":{"amount":"+0.8898832","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":"Q4542807$18CE4C91-375C-4229-A6FA-8C9983C03BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f536dd4897b55633cd8707e2d26ca95080188d","datavalue":{"value":{"entity-type":"item","numeric-id":5371956,"id":"Q5371956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5375fbf9451f49fea9ded9e7a7be6d0fefa476","datavalue":{"value":{"amount":"+0.8891893","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":"Q4542807$95F15782-CB40-4423-AA1D-DF09D278ADDC","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":"2fd8ce244249c80f4a242ad8fc54642d20d9ab97","datavalue":{"value":{"amount":"+0.88476276","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":"Q4542807$3EB13A53-F464-4316-A2C2-D1E33F4747EF","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":"b850024c80df81f660059b99dffacbce13e87832","datavalue":{"value":{"amount":"+0.88327205","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":"Q4542807$645B2AC5-2631-41FF-AA33-D9D36EE50EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e445c5ef8aa908ba92c1cca812aa15147a23e117","datavalue":{"value":{"entity-type":"item","numeric-id":3086726,"id":"Q3086726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c063b3fb66d062606413a06851484732528262","datavalue":{"value":{"amount":"+0.8791072","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":"Q4542807$FE87CC13-67B8-43F9-AEE4-43266DCC4426","rank":"normal"},{"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":"9d9f3486d3e28103baf229eca5440e727431ee08","datavalue":{"value":{"amount":"+0.87852424","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":"Q4542807$62437543-3520-444B-A9EA-B9FDF0FB7545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure Type Systems with de Bruijn Indices","badges":[]}}}}}