{"entities":{"Q4916066":{"pageid":6945647,"ns":120,"title":"Item:Q4916066","lastrevid":98178503,"modified":"2026-06-05T16:51:33Z","type":"item","id":"Q4916066","labels":{"en":{"language":"en","value":"Coherent and Strongly Discrete Rings in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155881"}},"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":"Q4916066$16985777-0529-42DA-B87D-BFBBFE152A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b40d91e0666957006ad9913acccb0cef8a8b1c2f","datavalue":{"value":{"text":"Coherent and Strongly Discrete Rings in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916066$E10213A7-71CE-4246-906C-134B250C4D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41945cd97995c100446afcb2566c9c17b8bbff15","datavalue":{"value":"1383.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$0BCC82F4-9FDE-4156-8989-9C7E02113731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61a2492d21ef1ee670867eb1ac8dc98103fb6fd8","datavalue":{"value":"10.1007/978-3-642-35308-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$F082C2D1-CEB2-4E5D-8A90-04EDD48099EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916066$26327C4E-3E32-44EC-A1D5-439A33FEE9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916066$7A60FD3E-7761-4285-A9ED-8CC9BEEC4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837115d701db3c6d1129817eee769862467ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":2844695,"id":"Q2844695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916066$2355A0EC-E95B-462A-BD88-374FA67150A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916066$2851DBFC-715C-418D-B809-59D93A005A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916066$FBC39798-B00B-41D0-A470-D1A4F6F3C0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$696E5532-4EFF-4D54-990E-A3150F902CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$451E331D-A84A-4448-BE6E-E82CFAA5F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$B79F0D37-F533-450A-A0CB-BB348F4D1B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6463b2d532c87e74a01d723ba017714ec0434754","datavalue":{"value":"6155881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$BCB969CE-C34F-40C1-9F09-C979E78FC594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916066$2DEADCD9-3172-45A7-9829-92633E3C641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916066$D1174638-6EA8-40C5-9C33-6EB549C69BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916066$2468DB21-437D-497E-A770-0E363C5BD88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916066$21D79481-4C56-4E6F-B12A-C9A798FE1570","rank":"normal"}],"P1463":[{"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":"Q4916066$1FC17BC5-A2A0-483D-BB5B-82766EBC5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916066$74C82575-8463-46CB-A358-51D4B03EC817","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":"Q4916066$2DBCBABC-6CFA-4573-8D5A-0FE10B17E674","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccf68666b7c0fdd9fa8128ad5727938d76d105e9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916066$AFF4055D-6837-4B23-979B-0C99B3DE84BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccdc9134a5fdafa0106033045551e5bc61d80bcd","datavalue":{"value":"W150645361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916066$98430970-7B9B-4474-AAE2-F33544A66741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e01d55a528d8d023da6a7ed1ce6b47d97cae161","datavalue":{"value":{"entity-type":"item","numeric-id":4605074,"id":"Q4605074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3b18be02b959342ea4041f789df6d6c78396af","datavalue":{"value":{"amount":"+0.89457613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$13EFDD1B-B9B6-4D58-ACFE-14F2E2E063EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b796ea78018acdcb1eaa884b835196d5767a9158","datavalue":{"value":{"entity-type":"item","numeric-id":4643017,"id":"Q4643017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1784dcb92e99dcd8417c94120f1212622a738290","datavalue":{"value":{"amount":"+0.8887713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$A5CB5C59-9C49-4386-BA34-92532B3E45E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215c47600dbc7ea6819790df252991dad391c08f","datavalue":{"value":{"entity-type":"item","numeric-id":6159373,"id":"Q6159373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b264fcf1d32175920122359960db0c69fa9c77","datavalue":{"value":{"amount":"+0.8741369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$A7EF9078-8DE0-4366-B679-277A38D11678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3b5777cc7684a005cbcba160e7c897bab2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5879270,"id":"Q5879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa6407d12a9a5834fc4d6a27c6a758078d31d67","datavalue":{"value":{"amount":"+0.87158585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$99A0E8FC-3EA8-49F0-9461-99CE11B28D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33a36fc45d495ad3454c1baffe0bd6ae7d2e55f","datavalue":{"value":{"entity-type":"item","numeric-id":4884364,"id":"Q4884364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aff7c15d32dda6b3a66b718f84d67b0e743eabd","datavalue":{"value":{"amount":"+0.87141436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$F5D5F305-7658-44C4-8C8E-E521A5CF5FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83a2a9413298bdbd467972ad901abda13d46aed","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6260bcd2b4a7da1087c3b8b38929eeb3f668cf67","datavalue":{"value":{"amount":"+0.87098473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$2817F136-252D-4AF1-AD29-6C1CD3972562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3889daf547925facdf919a647f8673ab90f92753","datavalue":{"value":{"entity-type":"item","numeric-id":2694984,"id":"Q2694984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af3ff5806b9547ac712317d971267534442d0c2","datavalue":{"value":{"amount":"+0.8678105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$4803E8F6-6188-4E3D-A3DC-7793E0C2F85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27e3ff084724cc97b56d05e092adc2d34349044","datavalue":{"value":{"entity-type":"item","numeric-id":4381409,"id":"Q4381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f449a38f03c024dcd50b0e10e983729f29a640","datavalue":{"value":{"amount":"+0.8648723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$366B6050-CF69-4C44-8163-AE4A361683C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ac1cad6cdbe58666b23e09f1e65724bc5314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5231706,"id":"Q5231706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7933723fe5868e279403e0be8b342719ec69f00","datavalue":{"value":{"amount":"+0.8641956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$BDF50F4F-F72A-4137-B0FE-AD1A7091F907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfb814a2ee9337cc15b6595e5047ee916f22f75","datavalue":{"value":{"entity-type":"item","numeric-id":3199593,"id":"Q3199593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930c3d112af5a04d5be31e8f75c5aedbb018701e","datavalue":{"value":{"amount":"+0.86416054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916066$F47E252E-EA19-4417-9D9C-1BB9D6356C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherent and Strongly Discrete Rings in Type Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherent_and_Strongly_Discrete_Rings_in_Type_Theory"}}}}}