{"entities":{"Q1945917":{"pageid":1956659,"ns":120,"title":"Item:Q1945917","lastrevid":69831891,"modified":"2026-04-13T10:38:44Z","type":"item","id":"Q1945917","labels":{"en":{"language":"en","value":"A solution to the PoplMark challenge based on de Bruijn indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154938"}},"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":"Q1945917$4B510A7A-8A38-44B4-AC82-21C8D3EF7133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96459411ea95b32d706c341e51d06a2922fe7312","datavalue":{"value":{"text":"A solution to the PoplMark challenge based on de Bruijn indices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945917$B62AAB91-2DEB-44DC-B1F4-96F79ADE895E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af25846b8137d55f333ecb2bb3a5b3ef1a6380c5","datavalue":{"value":"1260.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$8B00C0E6-6D30-459D-9D69-24860FD306E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31de6e3ea6f690e0f34598015e49f60896231fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1945916,"id":"Q1945916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$71B33AE1-5E05-4D64-88B9-B1545AF82295","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$ECEF10DF-CE0F-415B-A924-03892A8B33CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-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":"Q1945917$1FA76C7D-6842-4756-8EB7-AF1A7F38C526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$1F854E9F-F68A-4D84-9D22-F457F3BE8AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$5DD95DDB-1280-4CC6-B50C-5D352B24925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$22DDFE06-D15A-4C28-878C-1B65EE37D769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$0219EA76-4FB3-4C61-AA4B-348E053D72BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48b6dbe0cf9cdfcc83623c56144fe3070aa0d2cd","datavalue":{"value":"6154938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$D4199747-727F-4792-A6BD-1FC09AF3BCE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$DBD844EF-2AC4-4104-A77B-87FF9D397661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$E5FEEA39-F8DC-431B-82C1-1D30F737874D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$BAA0F0DE-7ADD-4DDA-8A71-0BAE85D405B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$53A2F435-1AB7-41A3-978C-9CCA07A8E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$D1F42C5D-B8E4-4556-94BB-F3558001FC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905c185b35495bc6c5c2ada6dd808940c7264ec2","datavalue":{"value":"\\texttt{Coq}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945917$C62B03FC-36B5-4556-B11A-D6903FA5C1F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$2257560E-6961-4864-93E4-A4772A71B81A","rank":"normal"},{"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":"Q1945917$1CD85D09-6542-4765-AD93-8675F8FF7B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$FF1E6794-D994-4EBB-986D-BB2DEF2E8C62","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":"Q1945917$C326B76B-DAE7-48C5-8AF9-1F21FDAC94CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba2a4158b5fa9cd28f702e88c64a639ca6fa0d4","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9230-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945917$DD63DD21-24B9-4AD7-B6A2-CEE8C821750E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"290f2672751783ade95ecac543eaa52fe405c348","datavalue":{"value":"W2006714020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$C81EA964-0133-403F-8D58-D6024E45BBF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$A9539DE7-DAC7-4E4D-9181-E1F3E95778C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$1D10F0E9-BAEB-46A8-82A7-677957F4C840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$B2C5C3C7-50A8-4893-88EF-FC4C48CBCF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$69154361-6B1E-4C6F-8879-421684FA7272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739330a58a3c3aae77075c5fb847ca13d50160d0","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$B9619511-D74A-4049-BC46-7063F6AA42E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0b2ea98f51ca5e885b48eab0dbd0cc88c72ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4246942,"id":"Q4246942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$92ADACE7-3F78-4B4B-B49E-C6D6FB5D2D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9508aa8f61218e03a73060276e4de24fcd01107","datavalue":{"value":{"entity-type":"item","numeric-id":1945915,"id":"Q1945915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$87A83057-A78B-4C8E-A20F-4157CF4EAA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$C79A5023-4DF5-4D0B-A6DC-C732EACF8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$B373EDF1-9C40-4FE6-B4A8-AD2BC4F9A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$87FDC1AD-9421-41CC-AAEF-A476DFE77165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$0185E9AC-3158-4290-A87C-CC493174E362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$BA4E7576-9601-461D-8629-5F1FDE6FA8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$BA5649EE-34EE-4142-9505-0D0BD9CF9D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$A52F8AC5-D020-4E5D-9D40-F4588AA748A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$606B8033-C2EE-408A-98C1-50264C7E3636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da78c17cfb62a36d59f768b2b3f39af697747ec","datavalue":{"value":{"entity-type":"item","numeric-id":5348917,"id":"Q5348917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$3692D155-016A-4AF2-A562-FD40B477665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b0560d4b01bb8a01a5fc8d2de5fd55dbd8411","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945917$C65A5FD0-B48E-4520-AEE1-C620678BD2E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9d2cce79e75542e2276d6e5fb693c0524ceace5","datavalue":{"value":"10.1007/S10817-011-9230-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945917$ED207002-9C5D-4919-9F87-F8E99D758947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a73d709232c759ceb44a34d554217041ef9d76","datavalue":{"value":{"entity-type":"item","numeric-id":1945915,"id":"Q1945915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c171b0d379152230f9f8907afe54713ebd27f7e","datavalue":{"value":{"amount":"+0.8972798585891724","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":"Q1945917$E40DCA4A-EC1E-4D36-8804-DD2B9D829F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b15cbe5ea309bdc48ff40b9c5acde598f0666f","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6986d3303351926d74e3d31784bf52cc7976cf7","datavalue":{"value":{"amount":"+0.7821316719055176","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":"Q1945917$92207F0D-7690-4A5E-8698-981282C7B9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75dc4ea735cbc221840e986185a9606a8d63b777","datavalue":{"value":{"amount":"+0.7607102394104004","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":"Q1945917$49E00816-13D3-47B4-BE0F-6E1868E1E4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c485adaf5c9d59dfd696e67e8bfc3675d896cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":4992397,"id":"Q4992397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dada3a3a20779a0db46a2e2e712a14a5dfcb43","datavalue":{"value":{"amount":"+0.7512856125831604","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":"Q1945917$4A9D69A8-D1CA-421F-9DB7-BBDC53F2EE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3a108876ee2d73cf53e48814576175e292747f","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2284d470e446ca03dfb1eb9798caa35219b11e","datavalue":{"value":{"amount":"+0.719041109085083","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":"Q1945917$A21B09A6-06B7-4E91-B635-ACA1CFBF30F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A solution to the PoplMark challenge based on de Bruijn indices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_solution_to_the_PoplMark_challenge_based_on_de_Bruijn_indices"}}}}}