{"entities":{"Q2871859":{"pageid":2882579,"ns":120,"title":"Item:Q2871859","lastrevid":79530059,"modified":"2026-05-06T14:07:47Z","type":"item","id":"Q2871859","labels":{"en":{"language":"en","value":"A head-to-head comparison of de Bruijn indices and names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244435"}},"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":"Q2871859$BC5DFA68-5B61-4E6E-9EE3-40061D5D9AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"912e0c7eb2322bfb3fd97360b9741cf22a6872b9","datavalue":{"value":"1278.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871859$3B121DF2-A54B-4A49-9CCB-2D2E54990FE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886664d698445e1702c39c62a8e99a722a88bdd6","datavalue":{"value":{"entity-type":"item","numeric-id":817699,"id":"Q817699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871859$1680BC14-CF57-4ABE-81B2-61A8F0948F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871859$8C009BC5-43C5-411C-9BCB-67A2DD229F68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871859$59B479DF-37B2-4C3B-857F-377DA5363D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc134efef6963cd068923540dae87e2bc4fb7784","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107002319?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871859$0FD79509-9444-4BD3-986F-212F91E59F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871859$C8B15D0E-BC7D-412D-8157-BA362CD8E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871859$36B1E370-DF8D-47FA-A288-A5DF482BDBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871859$D6914E43-61E3-4B5D-A531-58330DB8F189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4e26291c70ff4ba4328742f97607f3f31e458be","datavalue":{"value":"6244435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871859$D2C6CF4A-376D-4240-BF27-0C2A59D13995","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871859$EC6BD8AA-AB60-4492-B299-E69B2D0A81C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"079ed3bec02ce3c1ab4987afd153763ba357ac61","datavalue":{"value":"lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871859$110B3159-CFB7-4913-A732-8B7C1567512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871859$E845C936-5B46-489B-B45A-1B50B60783FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e04c1adce31024123171446de348bd4d363a41","datavalue":{"value":"nominal logic work","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871859$DBD4164A-6DD9-45EE-9EE8-9CD7C8C2B447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871859$FA6570B6-FF75-49BC-A414-3CE177AD0303","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871859$2108229A-4198-4A20-96E1-CA512AA43797","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":"Q2871859$C53EC9EA-05D9-41C0-BC52-5F8095916ADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f160c83ae24d405c81d6382e6a9adacae3758c48","datavalue":{"value":{"entity-type":"item","numeric-id":4222186,"id":"Q4222186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5202b3dea11267b5e0728421c7d7e512bf4a4ad5","datavalue":{"value":{"amount":"+0.82228124","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":"Q2871859$DEC9AA6A-294B-4FA1-9856-16E1DF4C869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583c914d351fe8e1abf8d79b231f434ffc45e6fc","datavalue":{"value":{"entity-type":"item","numeric-id":4916910,"id":"Q4916910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93d92dfe07621564d1cc08bb89cb9cb1b64b582","datavalue":{"value":{"amount":"+0.8159648","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":"Q2871859$7F00416C-916B-4097-BF34-E765A5F469C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08133353e8d2ae6b340d35a90a41f6990d70b733","datavalue":{"value":{"entity-type":"item","numeric-id":3371148,"id":"Q3371148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bd9580a990f5c4a8051c3e6c4ebf4a18514c42","datavalue":{"value":{"amount":"+0.8154356","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":"Q2871859$086AA132-C2F6-4BAB-BDB8-3183E7FCF96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c002938c94782c8ef5eb0b42de0338c0d014deea","datavalue":{"value":{"entity-type":"item","numeric-id":5740425,"id":"Q5740425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6028bfae8a27b474658c2aa4abf81cbd6cb8c0ed","datavalue":{"value":{"amount":"+0.80978477","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":"Q2871859$48EB0079-B47B-4EEB-8744-97E965815465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f50ce571fca8c403445b35deb5af2b66f67f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4923282,"id":"Q4923282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1650ec770af6c9f33941f5306a14899064144586","datavalue":{"value":{"amount":"+0.8097847","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":"Q2871859$3F68A66C-6FCA-4A71-AB29-BD7DDD09AD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a49235c79a7298e75864c1abf108d4f0b508e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4800135,"id":"Q4800135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149c5481bd6d89de6b35d39f60748f826085df4f","datavalue":{"value":{"amount":"+0.8082612","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":"Q2871859$66BFCC5A-BBE6-433C-9A95-353623CB01E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bffbd39784e4f9e8d33d904a9020c22324e6e2","datavalue":{"value":{"entity-type":"item","numeric-id":1945917,"id":"Q1945917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bdab995b3694e767b2c57ef71caf0cba3ef3c9","datavalue":{"value":{"amount":"+0.8039552","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":"Q2871859$C30768DE-AB11-4F4D-A772-B2B9CE3B4CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4bc6249682c6091ea3c0f3251fca919a3c2a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1624990,"id":"Q1624990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5ecf374c7af6253c3ee41b16039b97bb7a6ce2","datavalue":{"value":{"amount":"+0.803735","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":"Q2871859$D33DD74B-A252-4FC2-AC0E-8E2343853F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63cb8a1491aa1e25d825482225f0ab4aca8c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3826385,"id":"Q3826385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c11b1070eb0c7c8d0b4ec7ce1ac52f283340fd5","datavalue":{"value":{"amount":"+0.803281","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":"Q2871859$E07EB5EA-4C22-40B4-9358-1839CD7EE794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0fd735e5441e8011d776604a3e4c5482515856","datavalue":{"value":{"entity-type":"item","numeric-id":2424683,"id":"Q2424683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16de33c366f9b6aa971941295bad2a9fe214bdb4","datavalue":{"value":{"amount":"+0.7990849","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":"Q2871859$D75AF48D-EBE2-4A0D-B9F5-08C95CF946A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85d1f8c37b77741eb097b3f359ba6a4c378e7ebc","datavalue":{"value":{"text":"A head-to-head comparison of de Bruijn indices and names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871859$F87AF499-3211-496C-8FF2-D963239ACB48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A head-to-head comparison of de Bruijn indices and names","badges":[]}}}}}