{"entities":{"Q2811330":{"pageid":2822068,"ns":120,"title":"Item:Q2811330","lastrevid":58028247,"modified":"2026-04-03T12:35:27Z","type":"item","id":"Q2811330","labels":{"en":{"language":"en","value":"Guarded dependent type theory with coinductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591811"}},"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":"Q2811330$2EC34809-3AD1-4021-8314-3BC0C2A38B24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8da00bd77f0f40ad120b45a16fdb210623b4795","datavalue":{"value":{"text":"Guarded Dependent Type Theory with Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811330$BAA3F822-BD43-4A27-B964-398451EFA93D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8004141c4984babdee17a4b6872dba792be65a5e","datavalue":{"value":"1475.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$7511A424-191F-4F00-B2B5-89552E3C5226","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cd072298735671b80ea3f3476c79d23c57cf85c","datavalue":{"value":"10.1007/978-3-662-49630-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$1E288496-8578-4693-B554-B788AFF38EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$17D42F39-07EF-470F-BBA6-1B19DB432C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a6366eff7aaafbae626df7f8f5d9201314819a","datavalue":{"value":{"entity-type":"item","numeric-id":2319983,"id":"Q2319983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$92CCF91B-787F-43F2-87A3-0810A65667F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$ADC7144C-D844-40DD-95B3-2B2F3CC7634B","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":"Q2811330$EC5F3351-400F-4EBA-A427-D1B72C4DE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$693ED44B-1633-41FC-A5E6-B01246B8BAC9","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":"Q2811330$123F1926-19DF-4B11-99A7-EF470DE55D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-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":"Q2811330$A83331DC-29AF-41F1-8589-B1D33B956F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4877c33f9b9a4fcef807e6b1f5c4c1932ee5c90a","datavalue":{"value":"https://arxiv.org/abs/1601.01586","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811330$F41B936D-9C68-4B25-AEFC-CE17067EEB78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$11B6227C-F499-46B3-9745-4318E4C0BEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$6F187203-96F5-45F2-A4D2-DDC138E944BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$88CB2EF8-65A5-4C6F-8F94-5F7159045731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$FF966E26-CBF5-45FA-87D1-B17CF00ED7F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8de4b17faf66762152d7728302208e5961b77f5","datavalue":{"value":"6591811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$14B694EB-2F12-474A-96AB-9397F892BE17","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":"Q2811330$8BC3BE67-37C9-45DB-9E33-E3217873F30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b770a87ca9a9c88e8d7293f2ff0eb880186c71f","datavalue":{"value":{"entity-type":"item","numeric-id":21669,"id":"Q21669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$9633CACF-92C9-424C-B3FB-C80C06C5BFF7","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":"Q2811330$4399F77E-8250-4EF5-BA3C-D0D2E69A60DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$DA1BD866-B332-4C1E-84BC-E67248BE901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$F25BBC7E-9226-419F-A2AB-16E1D075F12E","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":"Q2811330$7FDF86ED-055E-4F86-A690-DA824CA8F01A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"125ce40bf965b3a28fa2e4cdb9f87a9dbe9bf1b6","datavalue":{"value":"W2964301529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811330$A4FE60B0-E616-4F6F-B808-71EEBEA10FD1","rank":"normal"}],"P223":[{"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":"Q2811330$AD14BE6D-0888-4250-A6FF-27A980CB7B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$9A84268A-7D8E-44EE-B30A-02F0E433F327","rank":"normal"},{"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":"Q2811330$4689A13A-1583-46DE-B3B6-BFF62E7F816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116516ecd0d94e751e535d829183a84da376957","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$AE157D9C-6D40-4340-89F7-373FAC9B07A3","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":"Q2811330$F113696A-021B-4FB4-A13E-8626060F39B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$A5196FDA-68FF-4BFF-AFDD-D70E25DC344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070a7224feb80e0f15a55db3d164e08b6e83362e","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$2545A415-45EA-470A-9E64-F200DC94A050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$B2C70F46-B424-4EE7-BD64-83C290114F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fe9d16779ad15662d25b9e25734ff43ba2fad7","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$C20FFBEA-C438-4FD8-9BCC-06D20B224B37","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":"Q2811330$09348A7B-F8C0-42C0-A8DA-8BA965FAAB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$53B836C2-BFEC-4D48-88AD-4DA496465873","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":"Q2811330$41DB03CB-8302-40A8-864F-79AC4DD28732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175cbf8a20822167166d2c3042a8727801090085","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$F232A7F4-F274-4D9C-8DDB-AC57DAF242F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$93484FDE-F00E-420E-8188-1E5BE6857869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811330$DA3E6B5C-FED0-4634-B8D7-6310B1019B76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032930e784f88d60453e76e46e6d443b1aa29609","datavalue":{"value":{"amount":"+0.8979621529579163","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":"Q2811330$DD20395A-3FFB-4F71-9495-7D2618EF7FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2fd2ea949cff30d672bb1718381e792518d224","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccc45498fcc1bdca35cb97d04eaa4ebed81ef68","datavalue":{"value":{"amount":"+0.8693425059318542","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":"Q2811330$EC8A0C6C-814C-491D-B186-097906056DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c547ec1fafc619798a82bc52e9c6edb3b8eff0","datavalue":{"value":{"amount":"+0.831521213054657","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":"Q2811330$FBEE4731-D81E-4819-A43D-97DB7C9B4D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7a33b967f081e59b026cdba18dadb0f9312c05","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8570fa0a6edb3e9a1d4930bd91170e512cb326","datavalue":{"value":{"amount":"+0.8197753429412842","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":"Q2811330$A9C23A81-1243-46AA-8E05-1AB59F77AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57a57bd6a6c5e4ddc225a55a00d56baccf7e8a9","datavalue":{"value":{"amount":"+0.817089319229126","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":"Q2811330$25990AF6-7FB1-48B3-A9C0-9A61D542FBAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811330"}}}}}