{"entities":{"Q2209538":{"pageid":2220281,"ns":120,"title":"Item:Q2209538","lastrevid":71553174,"modified":"2026-04-13T23:01:11Z","type":"item","id":"Q2209538","labels":{"en":{"language":"en","value":"A relaxation of \u00dcresin and Dubois' asynchronous fixed-point theory in Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268889"}},"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":"Q2209538$230B5E3B-A3AF-418C-8968-9B6B87241451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf63d0bb0d3f2678768fa4ce3dc32a29459c9b83","datavalue":{"value":{"text":"A relaxation of \u00dcresin and Dubois' asynchronous fixed-point theory in Agda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209538$9DFC5830-C505-4734-BED2-E3718C51652F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"933a95d0f60d21c1470af3b14fa6343f7ba4a072","datavalue":{"value":"1468.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$C652C5CF-9C0C-43AB-89CB-FD5F80EC7299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ecf121d981464485744f9d7a403278a8a66148","datavalue":{"value":{"entity-type":"item","numeric-id":1791211,"id":"Q1791211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$09ABE964-4EE5-461D-AB6C-EA0883EB2C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54062ba6b5c4952561ff7d2fdef051510627802","datavalue":{"value":{"entity-type":"item","numeric-id":1791210,"id":"Q1791210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$0B7071C5-A4C1-40DE-B870-15CA02DB1BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b2dafa0ceb06f25009937a917afc362add76356","datavalue":{"value":{"entity-type":"item","numeric-id":1791212,"id":"Q1791212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$6E7DF052-E4D5-46C2-A202-245EB8688E0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$EDC99645-3D02-4921-866E-5A31E24DB0E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209538$EB18EEBB-F738-44A1-8969-1E2C0DE03A63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$1869E594-534E-40F3-8C53-94D204B629DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$ADC5D973-FA28-43E2-BCBB-F13ABCCDB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$72F757BC-765C-47CB-970C-1629DD62E313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$92901042-0F80-452D-AA9A-856203B90C38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea07075aef68536026c068171b64ec875d54cf8e","datavalue":{"value":"7268889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$70A9BB2C-09AB-44F0-8421-D58F20FAD523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6adc41725dfa47b9b09756bcd310cf97aafd2d8","datavalue":{"value":"asynchronous algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209538$0F41CC77-ED75-4BA6-B93A-FF66C110890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23a8e517d4c5b1b75d8af071d2d2625d4abebbe","datavalue":{"value":"iterative algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209538$31EBB057-87CB-4B4C-B133-BC53E349EEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209538$F2EE13C8-1CBE-4715-889F-F52160228371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209538$416D0053-4CEB-446D-87AF-A2C71074D530","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b405eb8f99ac9af56596f329dc012134b6ffcdb3","datavalue":{"value":{"entity-type":"item","numeric-id":40352,"id":"Q40352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$35C426CB-E646-4AE7-B20D-C78A1B74AFF3","rank":"normal"},{"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":"Q2209538$95FE31AD-BB0D-4474-86D7-2B5ACFFE54F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$0F44B2D9-5718-4816-9945-935A91EDCEA3","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":"Q2209538$25128F6E-34BE-46B5-8CBF-15FBF21986AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f403e96b845d6ba4428969a0c342c9d7fbfb84c2","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09536-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209538$BC617E85-F1C8-42E7-8CD0-86FC7AB6A1A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0834f2ac653e4a8c56b98b5080591e34a7c41349","datavalue":{"value":"W2995930820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$79910C14-F4E4-4D4B-8CCA-8136DC86F473","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$931497FF-4DB9-4889-83EE-5B594A35EA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e0956bb92f5818cc50366a7a3412df998f688a","datavalue":{"value":{"entity-type":"item","numeric-id":1870595,"id":"Q1870595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$CA9292CB-725F-4EBA-8C9B-3653D04A52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14434980a95ceb881af47789f59a588cca3d5a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1400471,"id":"Q1400471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$DC104601-A226-4A21-AEA8-EFF982CE3A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2648344ab06776ad8dd29f625e04cb1aea2da42","datavalue":{"value":{"entity-type":"item","numeric-id":1162111,"id":"Q1162111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$60487660-633C-4C6D-85F7-1C71DD37A8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12630fed21c9709cb28241d00d4e97f2756ece9b","datavalue":{"value":{"entity-type":"item","numeric-id":1591182,"id":"Q1591182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$B7F02882-59BA-4603-9F69-3E657C0F196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c997f9838ccde575204df034702cc84afaa85d0","datavalue":{"value":{"entity-type":"item","numeric-id":2989002,"id":"Q2989002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$4C7CF619-50E7-42C7-BC39-0915198A9A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e644eafc03f1e398f799fb407c1e09356f7d3a39","datavalue":{"value":{"entity-type":"item","numeric-id":714796,"id":"Q714796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$E67242CF-0F9D-4A01-914A-387FB42153F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6f8d015c1c14c8b98b81d2a26785a84323a412","datavalue":{"value":{"entity-type":"item","numeric-id":4440913,"id":"Q4440913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$8C457B2C-8E2F-4A73-B307-7798D6C7633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b534ea0953fb4414cad35103f15d9e051b2072","datavalue":{"value":{"entity-type":"item","numeric-id":3476277,"id":"Q3476277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$0C9E66DD-CBB5-425E-B29E-C71D16CFFAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd72432f9886a0ca0e3fff51613e3daea0dc7af","datavalue":{"value":{"entity-type":"item","numeric-id":688197,"id":"Q688197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$65160536-484B-40DE-AC56-B505232B5091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5d0b30ed27b9f0d57760c7cd1a878c7631c5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1791213,"id":"Q1791213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209538$73103B7A-393A-4648-A7ED-4759588637B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65ebccce95fa7bb529b72283ae8d73f274e87aa1","datavalue":{"value":"10.1007/S10817-019-09536-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209538$D6F67F13-F161-434A-A33B-17373257752D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd9aa8f2296db7045ac8494981500fd214e8a16","datavalue":{"value":{"entity-type":"item","numeric-id":1791213,"id":"Q1791213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4c85e73aff1cc960252c42a1b2dcca73e89252","datavalue":{"value":{"amount":"+0.9230275750160216","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":"Q2209538$04ABC11F-6FA9-4B41-8FD2-FE424774A060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d45c8242e321d4f6eb0b1f5b3105e920fb9c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4321937,"id":"Q4321937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0e1c0036202d0bc5f07f437bd0ee049f44c3e5","datavalue":{"value":{"amount":"+0.746783971786499","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":"Q2209538$A31E101A-C433-40D2-81A0-1B04A35537B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c895a43eff82bef7697fe6b3dda91ad76ef12d1","datavalue":{"value":{"entity-type":"item","numeric-id":3476277,"id":"Q3476277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0e1c0036202d0bc5f07f437bd0ee049f44c3e5","datavalue":{"value":{"amount":"+0.746783971786499","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":"Q2209538$38C59F57-D17E-4829-A6E5-D81940247521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25416612df98e2c893b0f1ee3fd200bf5e66813","datavalue":{"value":{"entity-type":"item","numeric-id":688197,"id":"Q688197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1366a282dcdf6471603a4e708b01ba2f1f057393","datavalue":{"value":{"amount":"+0.7404546141624451","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":"Q2209538$9E80C1E0-EFE6-4010-AC00-CEB7C3C95CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09871c3f777f32467d0c1ba5927444021b74b0de","datavalue":{"value":{"entity-type":"item","numeric-id":4951747,"id":"Q4951747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048b9c57eeb48661ec771dd3cd2104ab925c42aa","datavalue":{"value":{"amount":"+0.7378460168838501","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":"Q2209538$9EC8314D-388C-4265-A28F-4EB9DCADAD1C","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":"Q2209538$EC8890B9-0932-4FED-AD22-0D090DB3A6B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relaxation of \u00dcresin and Dubois' asynchronous fixed-point theory in Agda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relaxation_of_%C3%9Cresin_and_Dubois%27_asynchronous_fixed-point_theory_in_Agda"}}}}}