{"entities":{"Q5327368":{"pageid":7356942,"ns":120,"title":"Item:Q5327368","lastrevid":95969141,"modified":"2026-06-05T10:07:32Z","type":"item","id":"Q5327368","labels":{"en":{"language":"en","value":"Implementing hash-consed structures in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196185"}},"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":"Q5327368$5AF4E2EA-ACED-4175-97BB-4433B8F74E80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af373416169c85a66ecb611b2eef6f50e37c65f8","datavalue":{"value":{"text":"Implementing Hash-Consed Structures in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327368$FDE278C9-8351-47FC-A619-7D938CE1430E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"322bd940d6452bc984403e23e4262b8e266abed3","datavalue":{"value":"1317.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327368$B79BCF6B-B3DF-4AB8-A4ED-0801C6C6817B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e4936b9815687109e6a6444424e1bb5980ea62","datavalue":{"value":"10.1007/978-3-642-39634-2_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327368$3D894534-E2ED-4C23-A42E-8913EDEF198D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12328682479f4a45e2f0e2c1b6bc2d9e6d8cbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2351421,"id":"Q2351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327368$EF35E851-D296-40CE-8AA5-B880C9FAE62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95adf6d56afbfd4ae328bf851da3bfec0b11905c","datavalue":{"value":{"entity-type":"item","numeric-id":1650958,"id":"Q1650958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327368$B71594B7-28E1-48CE-A9FC-C642309D6FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327368$2C176C89-7B4D-45A1-A081-F5E83146640B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327368$562D6B29-201A-4B78-AB22-9E1D6759C30A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327368$96752AD2-EBC6-4952-9B27-9F268927E687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02e220828fac5daf2ab03d342e34296da59e42b9","datavalue":{"value":"https://arxiv.org/abs/1304.6038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327368$E5E6FCCE-48B7-4A9D-B6ED-11F2C3A0971F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327368$213F68F7-824C-4F9B-BA29-274BB5166B94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c125302d272edbe1138247e1a07aff3ea5e16385","datavalue":{"value":"6196185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327368$B9C6AF19-5CAE-48B5-914D-0D887307895D","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":"Q5327368$BF7A3017-EFF2-4949-8FC6-C57D74C7336C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327368$DCF843DA-D18C-40A5-8C72-60CEA6BC45AF","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":"Q5327368$DD0F68D8-2AF1-4E8B-935A-CB51FCA9D4A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d747929a13ef1f6bdcb0c6af6ecc4a6e75f908b1","datavalue":{"value":"W1838346728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327368$038AB92E-CDDB-4479-B03D-8D22946133AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0597b80f24871a6a0c852b82a6f7f29cb78bb37f","datavalue":{"value":{"entity-type":"item","numeric-id":2351422,"id":"Q2351422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f706df31d01dd507987fc198684e9b9eb3a11f","datavalue":{"value":{"amount":"+0.959667980670929","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":"Q5327368$EAAAAA20-F695-46BC-8B39-EDC4BFA42B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b6ac01518a02a5afd884695660984f387da000","datavalue":{"value":{"entity-type":"item","numeric-id":2766536,"id":"Q2766536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38569a3c1521088a2328ec70f754fb72ad7d710a","datavalue":{"value":{"amount":"+0.7992873787879944","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":"Q5327368$D661D7A1-37A2-425B-B611-053001FAB847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126be7296d6b7110e1000144e41a4b9d8fcc6ece","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8aa8aee79737b1a9ad91913162739a759ebe4c3","datavalue":{"value":{"amount":"+0.7236174941062927","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":"Q5327368$2E47B017-AD31-4778-B4A7-9F23D2280F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e937a88ef960b487417e66dc27f226fec10c47b","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62276e12e942929744adc6c4c771da9851395ce8","datavalue":{"value":{"amount":"+0.7200347781181335","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":"Q5327368$4BAE88E9-A63D-4777-81AF-CA3472A7609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9eab35efec7851a6ec4cb3acec648eae51fb7c5","datavalue":{"value":{"amount":"+0.7100311517715454","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":"Q5327368$1E6C9D95-1E22-4806-87E9-CD2C6AEDCE16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing hash-consed structures in Coq","badges":[]}}}}}