{"entities":{"Q3612438":{"pageid":5642344,"ns":120,"title":"Item:Q3612438","lastrevid":49686244,"modified":"2026-01-09T01:43:56Z","type":"item","id":"Q3612438","labels":{"en":{"language":"en","value":"A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527177"}},"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":"Q3612438$62F3023C-5417-47D5-A91B-180052BCD239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcae8d6fcffcc3a7c44361492696be1a6e361fee","datavalue":{"value":{"text":"A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612438$6F40EDD0-8ADC-4AB0-976D-AAE2E12CD281","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e577d586e3ad540c20bef5066f51e0314124b82","datavalue":{"value":"1178.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$0665755E-35E6-4F7A-9012-B31AB9B2FE0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acde4008cfae7c52d1fd7e17dcc0bc30e8060bc2","datavalue":{"value":"10.1007/978-3-540-74464-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$7BDBE599-B6B3-4C08-88B4-E68516AE87AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e09a288b38762987ec2f9071aad3887de809e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":740486,"id":"Q740486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612438$5A0123AB-F528-4427-8B38-665F7DB547C6","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":"Q3612438$7CA6BC9E-2FDD-4A16-BACF-1308C641E077","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":"Q3612438$4B2384E6-DFFE-476A-8CA0-54F719ADA411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$8CB148DF-9477-45E4-A28F-6F308DC27376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$C0A59E03-4FEA-471C-86F9-93131C49220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$02BD466C-E219-48BC-8B2F-8789107335DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b273674c46bcd7a47ce3925648906ce27052bd","datavalue":{"value":"5527177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$33348163-5506-4D4F-9757-0854D8A9C319","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":"Q3612438$0572054D-4616-4381-B1C8-98E816924C20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c3dee50fb701ae6c4f93c3f52c49472c4c7464","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612438$2DFC22A4-D8D7-4F91-97FA-C5F1820DFE7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560f40a2010f1e1003ebbacdb4b46cc57e4620c6","datavalue":{"value":"W1548537769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612438$5C18EE76-55DA-4685-9440-5F3F01C1514D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187b62627e66cd358a52ec0d56e639fc73eeacc8","datavalue":{"value":{"entity-type":"item","numeric-id":4025341,"id":"Q4025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749d90c218f361890194c45a4812bae6a718e648","datavalue":{"value":{"amount":"+0.89069414","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":"Q3612438$79F46523-F8F7-4A33-A331-3E7BE9F0DE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450502b4ed1edc57a3ccb2a6ec0ff8ee510afe17","datavalue":{"value":{"entity-type":"item","numeric-id":2754033,"id":"Q2754033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ef66866c1defa0d6acd43c2337963dcacabc24","datavalue":{"value":{"amount":"+0.88600636","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":"Q3612438$3FBCE082-2D3E-4E3E-88B0-FB965B33454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5045d469091b2aad0fb30f11c21619d52a0114","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7957a1144115eade6f0f1b0dcdef192f841c3107","datavalue":{"value":{"amount":"+0.881687","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":"Q3612438$4D3A0324-2C04-403D-9FB4-FD690C82BC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7227e54ccc6165f78fedd4187ddd4986d8438d3","datavalue":{"value":{"entity-type":"item","numeric-id":3575266,"id":"Q3575266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc1c8e97f2506c715167dc1962342bd33403949","datavalue":{"value":{"amount":"+0.88150764","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":"Q3612438$974213F3-06C4-4EFC-AB93-20D977456C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e0dbe518489cf9bf86307aab02d8fdb534bdcb","datavalue":{"value":{"entity-type":"item","numeric-id":1280047,"id":"Q1280047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8ed9d88a432ed745b8451ce942da523f0e7db3","datavalue":{"value":{"amount":"+0.8781216","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":"Q3612438$7F50F085-BB18-48DB-A886-514F7A2F8480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3bd8d7b3f7f6ee09dd59d84eb2557d306d4196","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b964131e0a3025b0bda7518f5d8e0ee96ffc4a","datavalue":{"value":{"amount":"+0.8778204","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":"Q3612438$E43E69CD-50A2-416A-8567-FC29FFAA083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28912c5c4d1096920bbab30e76dcb35cb9c6b51","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34b77f23d2ff89002fc673b18c1da0910a927ae","datavalue":{"value":{"amount":"+0.8769271","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":"Q3612438$CD77C0C8-D357-4059-908F-3FFCEA75F44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f123167db0e80ec2d75bc744cc578e44a7167f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8955fc349803fb851aa730d19331c8e3a672e2c4","datavalue":{"value":{"amount":"+0.8756773","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":"Q3612438$5DA61DBB-3BBD-42EF-BBF2-2D752645359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a3e91c8cd85565ec20f964395c4ef32d010ad","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd65abdca53330c9e61c24b329b03c62f3085de","datavalue":{"value":{"amount":"+0.8730763","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":"Q3612438$4DA2C2EB-7C43-450D-82EA-1C105B505594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d23727cd303c5eb304e7e5e646df2bc81c1ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4703040,"id":"Q4703040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f33fbac66135e2a7d79802199763a78d93f6ec","datavalue":{"value":{"amount":"+0.87062114","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":"Q3612438$64681A47-A46B-47C8-AA36-1262F80B25F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612438"}}}}}