{"entities":{"Q2942864":{"pageid":2953584,"ns":120,"title":"Item:Q2942864","lastrevid":44752311,"modified":"2025-11-25T19:08:54Z","type":"item","id":"Q2942864","labels":{"en":{"language":"en","value":"Recursive proofs for inductive tree data-structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481242"}},"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":"Q2942864$C3B2E9C0-3CA2-4BCD-803E-04E2A2716F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6fd77c70fd8ddcdaa36a8e262b0ded3c2453d93","datavalue":{"value":{"text":"Recursive proofs for inductive tree data-structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942864$CC4E9688-0EB0-46A1-8E7E-66D839E72639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"495ae0b18a61f19450eb41ce7f91d03fa2893792","datavalue":{"value":"1321.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$D48C24E1-7067-4BA5-89FA-A2C4887AF94E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81a15c5b4bd15720da6603ac204d32c2ac162944","datavalue":{"value":"10.1145/2103656.2103673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$06BCC11E-7898-4E46-A727-1C9641E77D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942864$34499630-1F76-4D08-A397-0BFC749506F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6814453d9688f9150912c1688f6069baeb94e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2287093,"id":"Q2287093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942864$84478458-DED8-480F-8D3C-CD320A77EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a84ac9228878308f86175625fe15a1c15896ebb","datavalue":{"value":{"entity-type":"item","numeric-id":730475,"id":"Q730475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942864$8FB41930-5045-4D09-A80A-98AF79CCA6EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942864$43197B4A-2266-4263-B9AA-AFB595AAA581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942864$99AA9E66-3213-4831-A9ED-8C321727A03E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$F1CC6049-B166-4BDE-A389-9639235C5701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$542F31E3-2F43-467D-B0EF-92A4605CA603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0b5ac09ec52580acd85b5038f9ffa17c9a2b74a","datavalue":{"value":"6481242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$803F6281-D6C5-4C2A-BDED-C846B64802AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6765a99b811b8fdb7494817a6601824458c085e4","datavalue":{"value":"heap analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942864$61399C1B-119C-4032-9E72-BD368D89D793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634ba4004fec3054f5fc95c5d11e00ff5df88c82","datavalue":{"value":"recursive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942864$6C09FB99-0686-407C-BC3A-E95DD1158026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942864$78F9E881-72A1-4A55-870C-F58929805ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942864$56A362A0-7727-4AF0-9E27-E40B90CB9D47","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":"Q2942864$B74240BA-3FAB-44DA-B0DE-C371DC2B6883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbb61c79ffed06f22a88505b32bc48979d3ca82b","datavalue":{"value":"https://doi.org/10.1145/2103656.2103673","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942864$815DAD7C-D034-40FD-92BE-C7206C10EA7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9cc16986d0bcebbb2ed96f3c4d202be1fbedfd2","datavalue":{"value":"W4245933182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942864$D8955A54-F8B2-4A5F-A770-0483748E473C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7cdc57cf53e333609cc996ce15ac5edf7d3d23","datavalue":{"value":{"entity-type":"item","numeric-id":5875410,"id":"Q5875410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84a021a8c0574b325d5d6e91cb91d9f79a6e1d1","datavalue":{"value":{"amount":"+0.91289806","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":"Q2942864$277B0E30-039B-4E96-8D18-66B4EF156C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834c7f37523b8eacc69fb30915b89231af8fcaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3490010,"id":"Q3490010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8d6a81d296ac4218e000c52cded68043b02de1","datavalue":{"value":{"amount":"+0.90135354","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":"Q2942864$9CF46AB8-CF2B-4C08-8250-512B2C84F769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41f14941a3e7add77b1bf3b260b71ac47b85e62","datavalue":{"value":{"entity-type":"item","numeric-id":2279994,"id":"Q2279994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7b289c948cf7c43c059a8677eb9b7bd1a814e0","datavalue":{"value":{"amount":"+0.8918115","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":"Q2942864$BB08CA43-932F-4E62-9B56-7F1551152C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d2ee127d3c56a27bc1ae00b613f275b2079a6e","datavalue":{"value":{"entity-type":"item","numeric-id":5051466,"id":"Q5051466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cb1b233c912b8a54b6d0d7caae2a619c6f5122","datavalue":{"value":{"amount":"+0.8840846","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":"Q2942864$E9691442-0E6C-41AB-A01A-9F25B12B7C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e67eac21f86fcbd3cb97fcffc270f13a4edadf6","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e7d6b3abf2e93a339eb54a85d882d93dce4743","datavalue":{"value":{"amount":"+0.88223124","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":"Q2942864$335A946E-6791-44AA-A339-135C8209B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4573333321c1089120c550486de7c0d46a23e54","datavalue":{"value":{"entity-type":"item","numeric-id":2798749,"id":"Q2798749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950ad8dfa9b664c696fd7904d3c7b70bf8e3ad09","datavalue":{"value":{"amount":"+0.875527","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":"Q2942864$A8E7F1FB-A5C4-4249-AA56-842B772BCD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177f3cb234c6af917bbf9b47bb3744a01fcc796e","datavalue":{"value":{"entity-type":"item","numeric-id":4624672,"id":"Q4624672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f5d4495c6a1041e37a98a8d9350d997dfa68cc","datavalue":{"value":{"amount":"+0.8740129","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":"Q2942864$A6346517-61B4-4E8C-A28D-65AC7368CE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133bf4b591d34529233138fed76fd2106ba38e04","datavalue":{"value":{"entity-type":"item","numeric-id":1629956,"id":"Q1629956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fca76b342f548afad6d0614f41257e09051eb2","datavalue":{"value":{"amount":"+0.8705019","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":"Q2942864$6B07FF98-019A-4963-8060-8AD4B093E3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349663de78d4bb406a11eccac00f3abeb2e793ad","datavalue":{"value":{"entity-type":"item","numeric-id":5026962,"id":"Q5026962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247f3b379d20f34e9ce7e4d819f06f0d1b93a791","datavalue":{"value":{"amount":"+0.87045467","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":"Q2942864$1F1DC5A0-2E96-499A-BFF0-79DF88FA03F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72a00428c7daa38c488c8cb5fb0f9efe9981fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3559770,"id":"Q3559770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9335cb701a3e257a0b01c844c8141380adea1f69","datavalue":{"value":{"amount":"+0.86585706","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":"Q2942864$E7E36D09-347E-46AD-9523-13BEF3E9433E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942864"}}}}}