{"entities":{"Q3612436":{"pageid":5642342,"ns":120,"title":"Item:Q3612436","lastrevid":50600963,"modified":"2026-01-14T12:59:05Z","type":"item","id":"Q3612436","labels":{"en":{"language":"en","value":"Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527175"}},"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":"Q3612436$AABC5952-BBF1-439C-831A-1C47E588E40B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b5e14b4f0c33e8d8f8351d4c2f0986d1127ee09","datavalue":{"value":{"text":"Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612436$F59F171F-071A-4C16-BD5E-524BDEE45C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f1a8b1507ae5aadb48630694eeda0921ca67018","datavalue":{"value":"1178.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$84FA2FCE-2A25-487C-B015-E7B3B3D7709C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a05be2c604900d285f13a55d238c9c7ba72d6b4","datavalue":{"value":"10.1007/978-3-540-74464-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$FFCDB106-DA77-45B2-B4B9-CD5A5D770352","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f305346d5b7751261acdf176028ec2b84c015b","datavalue":{"value":{"entity-type":"item","numeric-id":639642,"id":"Q639642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612436$8645B9DE-3AD4-47AF-A788-EC91D9B6703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612436$CB3EE3F8-B28F-41A5-A389-EDCBBC454939","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612436$15AD7068-B617-43FD-AF72-5A26D36E6A7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3612436$1A458147-7F3F-43C6-9902-EADAB5A03BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$933955F6-91A1-4CD2-914C-A9E599ACB69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$B9C77DD8-457B-4096-B3CE-4ED603EBF4A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4c2b805538659ff275fd4524b76723bab6bae9","datavalue":{"value":"5527175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$391FB2F5-E40E-43E8-80D7-BF438D76CF5E","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":"Q3612436$8F973338-A2CB-4F35-961F-159E49ED2716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612436$58AA9FF0-03BF-4ACA-9A09-0AFB6E933124","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":"Q3612436$DDA4C7F4-30B0-419C-99A3-F6749F5358D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50c9a09816e88ad094a8e0ca8b425b363cc956c5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612436$6037394C-3179-4D01-84A4-2D39FA0E76F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0597b93fb72044e1607341a4a94a514387774b54","datavalue":{"value":"W1955878572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612436$C4DFDEA3-674D-445D-8888-A7E60FA8BCF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771e6bf14bf9eed658c21b56b460fb04bed1fd1d","datavalue":{"value":{"entity-type":"item","numeric-id":3656423,"id":"Q3656423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103308fdec0ec22185f29a2ec1c4003c9cea2d5c","datavalue":{"value":{"amount":"+0.8204338550567627","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":"Q3612436$3A910BC8-9E49-41A3-86E0-1E37DCE5F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160a94e19313f71020b562ba74aa851315377094","datavalue":{"value":{"amount":"+0.8033934235572815","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":"Q3612436$02199000-35C4-4388-8961-93FA782D8116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8981901febcd7accd965714d3a1f4b9b8c7219","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7837d10992156e3d4f4c477041c7aa8babc1e9c4","datavalue":{"value":{"amount":"+0.7976564168930054","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":"Q3612436$1C373550-E64F-45EA-8AB8-70E329183693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47167d4bb944e79729d3ca171d41ed04cd2ec74","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339ff4d102f2532165463a4c8a09773b21b37106","datavalue":{"value":{"amount":"+0.7971187233924866","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":"Q3612436$FBC962F2-095C-4295-962A-B735826B545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49e8faf4fe3121fa0f30303597bc67bfb868ac","datavalue":{"value":{"entity-type":"item","numeric-id":4484341,"id":"Q4484341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92dce480b66d907aad6ad6bcb84c46503f98a1a","datavalue":{"value":{"amount":"+0.7946509718894958","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":"Q3612436$424F3459-6274-41A5-8133-04C0102588CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612436"}}}}}