{"entities":{"Q5141620":{"pageid":7171191,"ns":120,"title":"Item:Q5141620","lastrevid":47907034,"modified":"2026-01-03T01:27:46Z","type":"item","id":"Q5141620","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7288622"}},"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":"Q5141620$D0C8D41D-0727-4D84-94D3-9980D2B5B9C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea6504d86a7b2bece6ba0c846fcd038e7b467c","datavalue":{"value":{"entity-type":"item","numeric-id":1675766,"id":"Q1675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$0D4EDEF2-6490-413D-B632-FAE65A4CDAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$2CB1132B-F321-4A87-AB50-B5BD92476BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$76949E57-531F-497A-9AC9-A8F05CA847C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c6f414822b60b0d20866b86007f1060703b5674","datavalue":{"value":{"time":"+2020-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5141620$18E4C9BD-CE0E-476B-B8D6-A2FE67F088BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba5bb93c38016669f875d492867b3a186467154b","datavalue":{"value":"https://arxiv.org/abs/2004.01709","type":"string"},"datatype":"url"},"type":"statement","id":"Q5141620$7DB07D42-8CD1-49D5-A66B-C9725B778967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bb3a4cb727973c17e103b5ceb9ad5a633878870","datavalue":{"value":"https://lmcs.episciences.org/6980","type":"string"},"datatype":"url"},"type":"statement","id":"Q5141620$4261084D-3F31-4137-BEE5-ACA798A06224","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5141620$F8C7C2E1-AEE1-46ED-8B27-63EF3F9990EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5141620$CC6BDCE7-2018-4F4E-9812-3F36FFB4F59D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30820212d08e321ad116f832ab51fccb1e6049ac","datavalue":{"value":"7288622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5141620$6B633AD7-C33B-4DE2-917E-808F58DFC81B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5141620$63EF2FC0-A4B5-40EF-8682-EAE18152214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5141620$AB18CE72-9405-49B4-BDA3-5FD30E5F0D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5141620$8AA43651-B820-4683-B178-ACDB1581DE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5141620$6FE66716-2203-40A7-91F2-72CD18A4805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf3cb40fa02391c77861f425263fd40a6349dd8","datavalue":{"value":"modal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5141620$5A237C0D-BA4C-47E6-95F4-D1033C846425","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$C8257897-8E55-4B9A-A8BA-ABF657A75DBF","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":"Q5141620$41C199FA-658A-4861-8F67-38082CD5889B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$89FF2546-311A-4918-B295-B510A14CE563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02420b55b611e11c71fb1baf0d07be65f4765be8","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$41746894-91C9-4BD0-AF46-6348FFBD5B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$B6ED0125-5E2B-4522-AAB2-E27456DD0844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19797445de638b6b2a9044697b83782afd98af5","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$B48A7DA1-F05F-482F-98DE-FBDB7514C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$BE3B25A4-F5C3-4A13-9055-A13BB04BA6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367d0310219f9303170d488faec90a247b193039","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$B5A066A9-9BD0-47B4-9CE9-66060774C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbea6ef5c196448a789a19d7e0b09f88dfb32d20","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$A6F89333-E85C-4D05-9876-5B77CE33331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$687F1F20-E87E-4ACA-8BFE-481A51418EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$750FEE1A-B3B0-4E48-AF9E-044BA0CF7679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e71729ea20b25ac29e78246550bb4c8ab42ed4d","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$69BB2D09-EF59-422D-AD8E-66921822A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$6AC4E546-A11F-4DDA-B455-4095C97DD40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$CA393109-17BC-48C6-A53D-893AEC92AD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43931b7a31794794da0d0ce7bb6746d1f03462c","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$02A22D3A-8B8A-4B3E-B74D-AB6A4EE1069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$41216E02-16C4-423B-B02C-907E8107EE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a08c25c238f048b2e589efdf52c68fe9575e27c","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$D808DA1F-9193-47BD-835F-5F3CC2CCE5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$3329C67C-A80C-4FAE-B4ED-DFC487E7186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3af0956eecbd2f1c6a9f97bfda3e773b7a5a497","datavalue":{"value":{"entity-type":"item","numeric-id":530845,"id":"Q530845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$FB7BFB27-9620-48AF-937B-A02EB740C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d485418966b2d901af8aed1e09d37a587c9ec423","datavalue":{"value":{"entity-type":"item","numeric-id":5271060,"id":"Q5271060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$7F81632C-A464-448B-BB7E-D95520720D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35181534544b2cf98751b1d73e36c3557869be39","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$2CEB9C69-FB06-4F4F-877A-DDBA2CBF8EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5141620$9000FD83-1912-4714-B504-A93F50A8493A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2abaddac0e856397f7349b92471df8ce84f95f","datavalue":{"value":{"entity-type":"item","numeric-id":4976305,"id":"Q4976305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07decd5116417887eb386d88a6607b9ecf6dc301","datavalue":{"value":{"amount":"+0.8944140076637268","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":"Q5141620$5A785D42-45BC-4B12-B540-96B4D7C0607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60264252d48212ac61c289b0c635442e7b3f335","datavalue":{"value":{"entity-type":"item","numeric-id":396890,"id":"Q396890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5282a501349225eb6f4a79b976ac64672e2c3f53","datavalue":{"value":{"amount":"+0.8744755387306213","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":"Q5141620$591F0F6C-0951-4CAF-8D65-D2082F054E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72658d35f98f7ed075ee12e887ae0a6a6277db8d","datavalue":{"value":{"entity-type":"item","numeric-id":906468,"id":"Q906468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa449bc39766774ff25b2fdba561f55bcdd3b74","datavalue":{"value":{"amount":"+0.8594252467155457","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":"Q5141620$FB9D2E45-1827-4179-9413-01BCE8092EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e8a4614078cdad7e680a014865f84f3c0c8524","datavalue":{"value":{"entity-type":"item","numeric-id":5206906,"id":"Q5206906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28658d63517dd4920a0843bbd4d1a89d42ac7d3d","datavalue":{"value":{"amount":"+0.844683051109314","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":"Q5141620$898C6069-B121-43CD-AA06-824C349472DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2502ca41e23addd0e50b5b5db0a6ff70926b28","datavalue":{"value":{"entity-type":"item","numeric-id":1210549,"id":"Q1210549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc6de0932ce8eeeb25300dfc0eeacabda0dd766","datavalue":{"value":{"amount":"+0.8414397835731506","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":"Q5141620$CEACA657-0098-4EBC-BAC9-35CD1A8F44E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5141620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5141620"}}}}}