{"entities":{"Q2233479":{"pageid":2244222,"ns":120,"title":"Item:Q2233479","lastrevid":73842195,"modified":"2026-04-14T17:27:31Z","type":"item","id":"Q2233479","labels":{"en":{"language":"en","value":"Temporal refinements for guarded recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410472"}},"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":"Q2233479$7818E220-985B-4D18-91E5-0F31EB914929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"017686878eb33eb2f5eba27d5b7fa5aa7e122198","datavalue":{"value":{"text":"Temporal refinements for guarded recursive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233479$4E58F138-2552-41E6-AB36-E145C77C4B96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a66ce4e68a3d5e9ae6e7bf02cf86048c6678647","datavalue":{"value":"1473.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$7914DF46-2425-49C9-8BB6-B8F18D00665F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee835c95787f96bdaca16475f370159655bbf3ca","datavalue":{"value":"10.1007/978-3-030-72019-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$94D0D81B-654C-4098-8D96-441B91D8F4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$14837CD9-5D87-42E4-AF35-FE5BD58BEFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fc50a159907b8dc1c70f03396294da532f8687","datavalue":{"value":{"entity-type":"item","numeric-id":987975,"id":"Q987975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$4F24F327-C567-4DE9-BEF3-A6C020C4B00D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-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":"Q2233479$A8EB36BE-AD72-4019-BAB0-00264B0DCA12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$7DAEA954-CD20-44E1-A1CE-0BD8B6A119FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$F94864B7-1442-4505-A30D-31290272F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$230F1C64-C1F1-4383-8BC7-7120BCF33E9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe43a8a37314df84f941ae69179d8120c5c565a","datavalue":{"value":"7410472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$39ACE03F-3900-48BC-95F0-02E28A5D661C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233479$C2979AF2-8D6A-4B14-BEFD-6A1C459936DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329bed778d9b3b576431f27a7950c900c77bbf33","datavalue":{"value":"guarded recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233479$1F050A5F-4415-4E54-A44B-D5FAFAA4A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30feb98d8b69e5e3427f875f6b9f371ab3d0f67b","datavalue":{"value":"\\( \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233479$39EEDBFE-7E27-480E-9F43-4876AC144FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233479$96C192B8-A3A1-4252-8159-3F87B2A46608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40df5f9b403871ccb5f8a9979ffc8a9a935d0cf5","datavalue":{"value":"topos of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233479$AFF1CB2E-0370-477B-B584-547B0A8E2CCB","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":"Q2233479$CA3CCDC9-81E5-4E10-A3AF-F67104D200B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3952512d8c8008ed9c24e64cfda14ef759f4d677","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233479$2C9E5DC0-C632-4D6B-977B-5934F1B66367","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0b1cd9802f85d5c788de889915428e3a16f0597","datavalue":{"value":"W3043298057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233479$8D971FEE-9CAA-4B4A-8BC2-FA83193B71AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"435cf13af67db4829ca178e89f130660572eba08","datavalue":{"value":{"entity-type":"item","numeric-id":5371960,"id":"Q5371960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$B1927B3F-A32C-469D-8546-80DE01E406EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$7399F114-BB11-45CB-9752-A7615474239C","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":"Q2233479$5C3EB94D-9829-4948-929B-471B1A24A24F","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":"Q2233479$7C49E6F3-A8B9-4835-B8CE-FB4839C97F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064320c898684f731a75d9b590e5a89bb2e057ec","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$769BF463-48C5-4DEA-A4EC-AEFE68907C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$FDADC64F-BD9D-454C-B508-39A700D9BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4137834abd3eebc4ad49dac341ccc3781df98a","datavalue":{"value":{"entity-type":"item","numeric-id":5091141,"id":"Q5091141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$5B475FB3-221E-4BBC-83B8-E68165D9C0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a716814d7cadc84018efd2d185f2970d5c31d7","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$138CF81B-4AB5-4ABA-AD7E-A1FDEF8C1C63","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":"Q2233479$8D223982-DD64-4416-A785-678D3A22A4F5","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":"Q2233479$F4DD635E-7DCD-43AD-BA7F-AB012738C8D7","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":"Q2233479$34996AEA-9B5F-4AAD-B38A-742684F09982","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":"Q2233479$9301FD1B-9C95-4904-8EB7-DB69FB32BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$ADA352E2-E4C2-4D24-87CD-52638E62275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80533ef4eec5ad53091864abd145e9280886c78","datavalue":{"value":{"entity-type":"item","numeric-id":5408431,"id":"Q5408431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$E35BD43B-79BE-452A-8917-6BE8E0CA9D7A","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":"Q2233479$ACC4C413-051F-4C0D-9501-E3923EE2028C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b55fe80b836bdbacc3e30271106de59dfc5a01","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$F373D703-B4C0-49E4-9238-573B58A5D656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f32995abc2c85fd634640bba366e05caeabe86","datavalue":{"value":{"entity-type":"item","numeric-id":5348880,"id":"Q5348880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$0DBEFBC7-04D8-498F-A09A-2FBF3669E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc53907b4b7319955262f79b2d5c140b8a420220","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$609FC979-4CD1-4F0C-8B9A-332AF0246887","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":"Q2233479$EB3D6CD6-6CB8-41B2-9C73-3D4C179828C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d643de8c9a52ebc13cbd7c850b5ef85fbe2fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5145323,"id":"Q5145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$05C5DC70-BC37-40E8-9EDE-7241939220B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea7f30228ec2588fdf8b95903e4fe743b7bf346","datavalue":{"value":{"entity-type":"item","numeric-id":4635636,"id":"Q4635636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$3539C4C1-0C9B-4073-930E-92144F9D60DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcbf910a9a9d001226e87e4feb026c54eba0320","datavalue":{"value":{"entity-type":"item","numeric-id":5144667,"id":"Q5144667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$F3A5A353-5E7D-41B3-990E-A8AC75545F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20680b673cb465935afe6e14305c4a11ebd99399","datavalue":{"value":{"entity-type":"item","numeric-id":2233479,"id":"Q2233479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$12D4D3F6-7034-4968-9E2F-EC8CB0B95C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$8444733C-58DE-4005-B2D6-48C7421A4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$AC6DE528-7EE7-43F2-B413-84407A0FA86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2abc654de5d83b6304976ca39829ece176027","datavalue":{"value":{"entity-type":"item","numeric-id":5164174,"id":"Q5164174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$9E6E3BA4-758E-444F-94B9-62AF1B64C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$2996A474-FF9D-422C-8F7E-DB5EC3B3B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e76c9fbc376a427ff65d5e13e02a6368b62e82","datavalue":{"value":{"entity-type":"item","numeric-id":4635644,"id":"Q4635644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$F4DDCC37-92E9-4D6F-BB05-C534F94EFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$92D37EB5-EE25-466E-974D-12ECDE5DC33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d2d92403d7e962ca29cc4701e7a4c01435b66c","datavalue":{"value":{"entity-type":"item","numeric-id":5244802,"id":"Q5244802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$60C53ACF-3816-45A2-9315-E77A14C024DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba554edda49550d189780f0d698446ece61df57","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$4E387C54-5234-4A66-9C4B-42AACE67C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$DDDDB779-E32F-4AFC-9943-7AF5E4AFA888","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":"Q2233479$698AE41C-B5C5-4043-B8BC-0E384EA7661A","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":"Q2233479$4980859B-8211-4C99-BA56-6CA77297B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d01b28af18d094af5eec79f421593ddef68f30","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$B6408231-78B1-4842-8711-41669C42D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a05b45f6771a9597434b0f9bdf480d219545b0","datavalue":{"value":{"entity-type":"item","numeric-id":5145353,"id":"Q5145353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$A9C2B1C6-F435-4914-B22B-6EF51D4EF409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3957ea938f58c73404c3199294aabed912fb42dd","datavalue":{"value":{"entity-type":"item","numeric-id":283770,"id":"Q283770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$C1CCBBE9-72F0-4471-BA6B-0F19B0BF99CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$FE580BFA-7127-4D09-B104-6EBD20CDECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baac0f42c9f1d9eefa8418e25f8ef5b29068bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5451968,"id":"Q5451968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$4371E971-8A5E-4E1E-8356-0BC603F740CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$160560BB-4AC8-4227-8606-9CC9BB42CA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$74374D81-5AB2-465B-A9C0-9F44F85B9581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15492db49564d9ccee9405d7dc4a8da2d55e96","datavalue":{"value":{"entity-type":"item","numeric-id":5089035,"id":"Q5089035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$AC383384-B211-4557-B8C3-3E2226EBA5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$30A465A6-B577-4041-BFDD-0E70290AA3BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60d847b50a8789ae0cdc5d86e4718730d690a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635644,"id":"Q4635644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25e2e9c3273f502f4398debadf5b70260b3852d","datavalue":{"value":{"amount":"+0.7810238003730774","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":"Q2233479$78CF17DA-5693-4C35-9540-BFFA471BA0BE","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":"4a33b709c3a5aae96a0b5628fc8155d154dc32b2","datavalue":{"value":{"amount":"+0.7645584344863892","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":"Q2233479$4CC79A71-62AA-4DDC-BF24-4388D504FA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0fb0cb6c69aa6bd9cb640054a945e11abd2290","datavalue":{"value":{"amount":"+0.7631601095199585","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":"Q2233479$E87C43B1-0ED7-4FE0-A60D-7EE933E764C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f33acdc1522ef9980680929c8850a95b4d3f744","datavalue":{"value":{"entity-type":"item","numeric-id":5145353,"id":"Q5145353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f365605135f154e15f59535cd6b02a3c50953f5","datavalue":{"value":{"amount":"+0.7530762553215027","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":"Q2233479$0601A508-FC6B-4BBF-ABB0-716B59068824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dad28efb8c65be0ef94b1ecac9957d09b416a7","datavalue":{"value":{"amount":"+0.7246021628379822","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":"Q2233479$55DB62BD-B9CE-4B0D-8AA4-5A96C1F022ED","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233479$E5080630-9BDA-451C-8AFF-604C9ACB9166","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal refinements for guarded recursive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_refinements_for_guarded_recursive_types"}}}}}