{"entities":{"Q2829276":{"pageid":2840014,"ns":120,"title":"Item:Q2829276","lastrevid":52660121,"modified":"2026-01-23T05:18:39Z","type":"item","id":"Q2829276","labels":{"en":{"language":"en","value":"Modular dependent induction in Coq, Mendler-style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644757"}},"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":"Q2829276$2B31E672-2A6D-4A70-9CC1-33910C6C1766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4239b8f64fb22bc9f6b385908f1037be5ce29cfe","datavalue":{"value":{"text":"Modular Dependent Induction in Coq, Mendler-Style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829276$5467C27F-63A3-4452-8E48-962D6621E916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4874023a8f2d5f2319d0b0ecb453e386f1c89050","datavalue":{"value":"1478.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$FFF459C6-9F9F-40B7-BA41-7AD07F67A3F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a255d84b664e9e2cd2a13139dd8f7fbb3382d38","datavalue":{"value":"10.1007/978-3-319-43144-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$CD474DDB-7D84-4464-A392-0B4534D00286","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"404efaf7aae646907c0e225d54662f8ee37a7f89","datavalue":{"value":{"entity-type":"item","numeric-id":2829275,"id":"Q2829275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$0CF225FB-C1DA-4F01-BE02-52FD9A95E878","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":"Q2829276$A93CB8FF-FACE-4FCC-B6B3-E1C4D0E20F08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829276$55599033-B6D6-4649-B839-7E3BA0356931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$5DB70BF5-2259-447D-8B89-4528B012A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$9F92CE00-B1F5-4DCA-A053-A2F60BB77B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76dea5c1df89c08c83af760c90a53e76e2062735","datavalue":{"value":"6644757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$B381A424-7EDB-4C06-B8A4-2341E3B44E3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$70CF50B0-38CD-4058-8D12-FA4101B01D84","rank":"normal"},{"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":"Q2829276$11E62B10-F338-4BBA-8DFA-A2D2A5332F21","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":"Q2829276$9C4A3B1F-7610-4055-AAAC-C699EFE2749C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"896dd7e7f918de0c02b17a5dae66ffb1fe6f7dc1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829276$0BD4CB9D-D36F-4A94-818A-5A632D056347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9c0443fcf32c5560fe935d8c2c00fea64e40903","datavalue":{"value":"W2501836004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829276$5A4D6B7F-D84B-4C09-AA3E-76DF153BFD0E","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":"Q2829276$C4EACADA-269B-4DD4-B4A2-2C10A5A5AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53981ee945d1daafa78321b5dd26edc0bcd5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":923883,"id":"Q923883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$80AACC2F-05FD-4BA2-AEC4-4D759849A621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$21EEA34D-7DA4-474C-ABB3-DA74D827E20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17bae0ffceb5fd554d01e09ca2f8bee3e38763b","datavalue":{"value":{"entity-type":"item","numeric-id":5176978,"id":"Q5176978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$9DEDF22B-CA5E-4285-B1FF-DEBC4C09F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$A7EB24D3-E092-461A-9A12-4319BDFC8B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$78A82E47-A479-4D85-B134-EB12E3334EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2bae8f277b8df73c93e33293d22739e9b6d60f1","datavalue":{"value":{"entity-type":"item","numeric-id":5244814,"id":"Q5244814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$D25E62DF-86AD-45F6-B464-FF398A7624C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf3dba72f9cb3aa976e9fb209aa77966813aebd","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$FD145451-B807-4321-A309-6C8E87B3C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6e5869280da5429c936628f0da2ed487716379","datavalue":{"value":{"entity-type":"item","numeric-id":4943357,"id":"Q4943357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$01C31771-2E5B-4611-A96A-A81BE128EB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6411e89a8eaf878d73a2a255a29175a9fa872b63","datavalue":{"value":{"entity-type":"item","numeric-id":627204,"id":"Q627204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$FE51D67E-10EC-494B-913F-C449FEA9F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$5F5B560B-F970-48EA-9540-6B55461A0198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74373b55bec6df4b935c511f0aa61279530718c","datavalue":{"value":{"entity-type":"item","numeric-id":3520165,"id":"Q3520165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$5087F2EA-F8F6-4952-BA34-1926CE43184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fae15eba210c53d906563c170546ad3b4e86ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2829276,"id":"Q2829276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$C939670B-CDC9-4711-BB92-FF58432C42CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0976b9baebcfe9b64ff735439b9a2ee30d9b405","datavalue":{"value":{"entity-type":"item","numeric-id":4939621,"id":"Q4939621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829276$F17B807B-73B5-4844-B578-93DE395C59A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9215f975e6afcecdebf0bff135d969e49fa3864f","datavalue":{"value":{"entity-type":"item","numeric-id":5014449,"id":"Q5014449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68c149b3aabbdcc890341b08111449b04b32f0f","datavalue":{"value":{"amount":"+0.885378897190094","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":"Q2829276$90F452E2-13B1-4741-98FD-B4EF8071D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512fbd36e27741965404e29ed9ad22c82889f878","datavalue":{"value":{"entity-type":"item","numeric-id":1791163,"id":"Q1791163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df008791a9572c5e0d4998b90c03a65318b184d7","datavalue":{"value":{"amount":"+0.7603641152381897","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":"Q2829276$66E4127F-0320-4EDD-A9AC-A1A82053D8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a66d2cbfaf3c4e6c1901b9fd3ccb0f17582079","datavalue":{"value":{"entity-type":"item","numeric-id":5020623,"id":"Q5020623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08046a1d298545ec60d73de5cd59aa44a6f5999","datavalue":{"value":{"amount":"+0.7558113932609558","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":"Q2829276$07BCE5D3-4119-4A05-9933-681A0DCC286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9b169919d7bbadaa3fb8d97c4f73e7f2e3fcad","datavalue":{"value":{"amount":"+0.745959997177124","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":"Q2829276$1CB105D8-2429-495A-9E6E-AD206E9A2AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24a8ae0cfdf13ea75f0df7294b258b87d416140","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51accc816b20c08e1f4d9b4c243e38d7edb3bea","datavalue":{"value":{"amount":"+0.7312767505645752","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":"Q2829276$20551527-7B62-41E5-A50D-E56BD486C8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829276"}}}}}