{"entities":{"Q2945653":{"pageid":2956373,"ns":120,"title":"Item:Q2945653","lastrevid":52344302,"modified":"2026-01-22T09:47:20Z","type":"item","id":"Q2945653","labels":{"en":{"language":"en","value":"A mechanized theory of regular trees in dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481878"}},"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":"Q2945653$C60874BA-6E41-4479-8746-1FB5F2A75E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab5caa6e27847dea862350eab2e036467e61d3c8","datavalue":{"value":{"text":"A Mechanized Theory of Regular Trees in Dependent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945653$6AF8F621-3EF6-4E29-BFF2-2CD0000109ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2004528a73da6eb3ed403c9ed9c90406000951ea","datavalue":{"value":"1465.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$A3C66488-2E60-46FE-8D67-A3E51127A384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d7ac37dcd3662f6191da332647c91941565d501","datavalue":{"value":"10.1007/978-3-319-22102-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$B01EEC67-303B-467B-82FC-7463939290A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a790b95f0c9c8094b25d95f4830f54baf58560","datavalue":{"value":{"entity-type":"item","numeric-id":2945652,"id":"Q2945652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$0C309810-4B29-4EA7-9E1D-FAFDE29581FD","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":"Q2945653$F6144940-334F-4420-972E-5FAA5D04656F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945653$642A03D0-E55B-4721-9C76-5A2BC844320F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b12ca19b7d7e33cd1b69e65a72447ce72e3148","datavalue":{"value":"https://tel.archives-ouvertes.fr/tel-01589656/file/2016TOU30178b.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945653$5B192FBA-15AE-49A1-84D7-69575B0E74D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$74799426-3F7E-4797-91B6-4C36E479F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$A4B635F8-A57D-41F1-9930-077EFE2AE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$8C3C3508-4E61-46F5-89D2-EA3D2C663500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$21FD53FA-73CC-43A5-B8A5-F486412F5EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$A64C1DF1-C55F-47E8-B8F3-D3F56DE25C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$21C023E0-3A99-4228-AB25-2F0C93F02D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5bf424b089d6bec3fc91e06904fd318d48845e3","datavalue":{"value":"6481878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$418DC72A-517F-4D95-94D3-A0623F813425","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":"Q2945653$FEFD376C-F776-4505-AA9C-0C3B1B5FD8C0","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":"Q2945653$870548BF-81D6-4CC7-9559-6A4EB0057F1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d77973c91d45c5665c1502eb979d0844ba19e0","datavalue":{"value":"W2396664939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945653$2FC3D7B6-C739-4BD0-9F6B-7FDAFBB52AF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$D8A75E37-CDBD-4F50-BB93-969FCB567FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$2A47EA9C-9AE4-460D-8C24-FF467317A047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$EF935951-6190-46DC-870D-EFD24042A5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b715b1e2b0ba9d053f6a29a9c99215a202dd4cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4138171,"id":"Q4138171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$85B3F118-B4DD-47A6-B14B-362BFC4CCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$57A04D36-6BB3-4101-9FF0-357B768107B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$B64C5DEE-AE72-4865-83FB-19007034C9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c78d6dbda4571a17369b1d7dd4c328ec3072f","datavalue":{"value":{"entity-type":"item","numeric-id":3575268,"id":"Q3575268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$C6F7CFD7-5508-451D-9EA5-042A686BD36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb5104ed059296c1a716cf4b6d6422462393e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$AB9B1152-976B-4412-BBAC-DB4E9B83B6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$F8B8D684-C4A9-4DC9-89E6-C6FB092A56D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$8918E40D-90DF-4353-B949-00FA2CF114C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df85299b891d6947b1b4eb9574fc8cc370415c8","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$52CB6725-5CDF-49B0-ADDB-9FF82212CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$62E29235-FFEF-4077-A3F9-AB98254929E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec867d79f8b1c0b74b5405155628a0ee49aa0fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3578287,"id":"Q3578287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$FA83F523-4F49-4FF8-AD94-32CBE2146061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945653$336EC185-ACD9-4451-8B0C-A0D56EF7C6B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc72237ae09f0521bc755a4cfd719b47425b6dd","datavalue":{"value":{"entity-type":"item","numeric-id":5897611,"id":"Q5897611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1150bf677d73bae1f6d869af2f66f04890718a","datavalue":{"value":{"amount":"+0.7687057256698608","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":"Q2945653$94E3C12E-CD36-41F0-8863-A746F79F23B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09924f6b28baa80e42b0d6ab97c1db84b2c88d9","datavalue":{"value":{"entity-type":"item","numeric-id":1663246,"id":"Q1663246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed01837edb64849afaa5857c290fa2b76b1d8858","datavalue":{"value":{"amount":"+0.7404124736785889","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":"Q2945653$9A62B275-4E13-4122-BF8E-16FD2E0C226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038d284f7f513b61d7fcad54728bad5301d4393a","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0809ed42998cb3ef3c377c4d0b5fbeb07db236","datavalue":{"value":{"amount":"+0.731713056564331","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":"Q2945653$840D7964-80F6-44F9-B5B5-08CC4969585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d801e8e72ceec449d8206936ae31876b026325","datavalue":{"value":{"entity-type":"item","numeric-id":4738352,"id":"Q4738352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fdf9612d168fd5a5c02611c760c3642dfdffe2","datavalue":{"value":{"amount":"+0.7228897213935852","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":"Q2945653$26EC5846-4F83-408E-A02B-75F454056E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1c81c22e3ea394d10bb84822d7c64c1d939b95","datavalue":{"value":{"entity-type":"item","numeric-id":3687743,"id":"Q3687743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f83803d50f0401807f3a45810dfc01548d65425","datavalue":{"value":{"amount":"+0.7147997617721558","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":"Q2945653$F1384AA7-5E08-4D51-9316-34D84846E934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945653"}}}}}