{"entities":{"Q3575266":{"pageid":5605170,"ns":120,"title":"Item:Q3575266","lastrevid":49601914,"modified":"2026-01-08T06:02:31Z","type":"item","id":"Q3575266","labels":{"en":{"language":"en","value":"Dependently Typed Grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761620"}},"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":"Q3575266$8AC61A31-261A-4DA8-B388-F81335007943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3c075ce2a03a6033ebf1c618ee82f8f014a304","datavalue":{"value":{"text":"Dependently Typed Grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575266$09F12285-F952-4ED1-984E-57308F169DE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"192b0c14632b1b9897746343a53122ac405e1f3c","datavalue":{"value":"1286.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$D6B24E61-22DA-4554-AAB0-CACE8E20A390","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18fe9a6c44b0bf21e554d0684f9a38abcc2184d7","datavalue":{"value":"10.1007/978-3-642-13321-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$12A2CE25-EDA0-4BEE-9386-CD9E4AD44FDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6c8de6fcbaa447227f940503cf581bae345bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3575265,"id":"Q3575265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575266$BD044801-DE61-4307-A977-BD70C6B3EC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b70837d6e2d85f970e551e917352bd7900a2aa4b","datavalue":{"value":{"entity-type":"item","numeric-id":656870,"id":"Q656870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575266$03304333-315E-47D0-82BF-05C1D78E5736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc61ec813008c90ea14b57a4907587e613769328","datavalue":{"value":{"entity-type":"item","numeric-id":923887,"id":"Q923887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575266$7368FBFA-8AF0-40C9-B4B4-3BCFF62ED3CD","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":"Q3575266$DEDD8E4B-6215-4762-8802-4A5053EF06FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575266$EE644CAF-5280-4EB7-A7AE-BA9F1A1C1B7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$05ABB941-4D91-4556-8AED-769FB8B858FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$1C320E44-8531-4726-BB4E-0B312BD94EE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91cb63683e119aed763bf61c5a8cb18a0b8acee5","datavalue":{"value":"5761620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$5C738725-CE8E-4930-9C5F-23E9E9D45262","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575266$B2F47887-6BEB-416F-A796-A965EA7791F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4aa86ef59b6a4e8e2a35f6c07fc1713613be210","datavalue":{"value":"grammar transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575266$9A4A43BF-050B-4C22-8F3B-17D6F3D4E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fde500c1b893101a3b51394b8a804cb1b9660c","datavalue":{"value":"dependently typed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575266$070FC23B-DDA3-4269-9602-D636C536E239","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":"Q3575266$92F053D5-E3EF-4D8A-BCC9-870A762139C2","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":"Q3575266$A998A727-6F8A-4EAE-95CF-351DF5676DB4","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":"Q3575266$3F6A6FE5-7B8D-4C78-9DC6-0BB4FD485716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6d19637d513e0ad0ffb3d5d28d69068cfe8ae86","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13321-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575266$88D4D0F1-8105-464B-8EF6-7093BAEBB686","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eff2bc0e50618effd4159da45ce3369adf7a885","datavalue":{"value":"W2149346118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575266$BF784D8C-3040-481C-8661-DB07F1FC3278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c73ef144d2500cb8970ed042cfe3391f54b27a","datavalue":{"value":{"amount":"+0.92097723","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":"Q3575266$4E9BCFE8-3C0C-418A-828D-E034F8ED2CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b801b82f8dd246a13544555c2c1cc0f6f4ca9dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0198f16bf0413306850680a81a8c8cb1726bdbe6","datavalue":{"value":{"amount":"+0.90483195","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":"Q3575266$74560E8D-ACCF-493F-848F-57712972E37D","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":"6af82a95a00524c467b26b34ea57ac55a91bd6c2","datavalue":{"value":{"amount":"+0.9039445","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":"Q3575266$1CD81E4A-6D59-45AE-ADA8-FB4D7C0FE4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41410996a7b6a6825bcf2f8457df8c719550c311","datavalue":{"value":{"entity-type":"item","numeric-id":5706939,"id":"Q5706939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccc98e555a38f31055ede7e1d851780af37e914","datavalue":{"value":{"amount":"+0.8905545","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":"Q3575266$B6CD2E25-0855-436E-84FD-B993D5B95DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609d5a9c9b45f88529ffc30c4ef3a6a5e96c1f4a","datavalue":{"value":{"entity-type":"item","numeric-id":4964703,"id":"Q4964703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48309c1db04261ac54234fc0e0f82b4d1131845","datavalue":{"value":{"amount":"+0.89028156","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":"Q3575266$5D78D0BC-9565-4BB7-B3DF-1E2AFAADF21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985cb13e5c94b164bad4bf277c68009de143ea9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263075,"id":"Q4263075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063482284a40dc13244cbf60537093e15604a9e5","datavalue":{"value":{"amount":"+0.8868052","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":"Q3575266$F140802B-D24A-403C-9924-A5F2A5D17CB4","rank":"normal"},{"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":"55978595e85f065f8fdb97a7bf8b42e3704f89ff","datavalue":{"value":{"amount":"+0.8828582","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":"Q3575266$21E20C76-98AB-46A7-9F7E-4B4BF10E5A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f145aa3183c11f3ed76154d07cc5a82ee28a8ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"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":"Q3575266$3B279285-CD18-48E2-802C-BCCFFE7A96ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af06b608b48e2e6ad0f1e50352a23eede9502f4","datavalue":{"value":{"entity-type":"item","numeric-id":4791740,"id":"Q4791740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9fe2549c9d22209a9d78a35a48bb2f59861558","datavalue":{"value":{"amount":"+0.8814044","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":"Q3575266$2097A229-E5E6-43F4-85A7-DB80B9CAE135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575266"}}}}}