{"entities":{"Q1791213":{"pageid":1801955,"ns":120,"title":"Item:Q1791213","lastrevid":72966822,"modified":"2026-04-14T09:04:42Z","type":"item","id":"Q1791213","labels":{"en":{"language":"en","value":"An Agda formalization of \u00dcresin \\& Dubois' asynchronous fixed-point theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947006"}},"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":"Q1791213$5B9076BB-17CF-45FB-8D50-16C034A7016B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54155410cb046609de71efdc0384767f9562a0b6","datavalue":{"value":{"text":"An Agda formalization of \u00dcresin \\& Dubois' asynchronous fixed-point theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791213$DC3C6C2A-34FD-4871-837E-B5B8E56C26D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e4568e27636f41158fad3aac92675fda5445590","datavalue":{"value":"1468.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$61B24C61-923C-4098-B271-818BE1366221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab04df7ce01c0f28128512e12ff5eb9b60df1f7a","datavalue":{"value":"10.1007/978-3-319-94821-8_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$9AE00FB1-C401-44D6-B770-AE4F3C1D989C","rank":"normal"}],"P16":[{"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":"Q1791213$67BD98AA-38FF-46E1-9E2F-C16C3925AEEC","rank":"normal"},{"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":"Q1791213$C31D44F9-205E-4D58-9088-935DF16A4BD6","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":"Q1791213$167B1216-7360-4DBB-BF69-43920AC1F3A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791213$8A0E64B6-012B-4B72-ADF8-2ACE3343DAE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$95742A9E-4966-42B4-A77E-7E79991B2EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$457F36E4-CB3F-45C4-B225-2EEDA2578E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$8F7F881A-0541-4B05-99E3-F3011B10D69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$F94CD8C5-F5FA-48F5-A648-DF5E5F05CB43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bedf359422e0f07bce7abb6945513bcc8e570ac","datavalue":{"value":"6947006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$5B1BE38C-6162-4DD4-8ACA-A18D9E224E75","rank":"normal"}],"P1463":[{"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":"Q1791213$9F6F4878-81FE-4C2E-AC3E-3BE7E8C23544","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":"Q1791213$67B63BB9-5FC9-4479-BCE7-E4389B4B1B48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1abb517fcfe2969937b17c95c1088f59e46a32db","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791213$8C1E1D9F-8AD1-4D2A-8494-DCC1F503CEEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14c64e2ed09aeb58540a5c7930b92d06d25f11d8","datavalue":{"value":"W2810557480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791213$C70C84AB-58D7-47CC-866D-009C271F64CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84086576ff05dc2a9d5c3bec4b2ff65cc0720db9","datavalue":{"value":{"entity-type":"item","numeric-id":2209538,"id":"Q2209538"},"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":"Q1791213$ABD821EB-1F8A-48FC-A75A-E3AEF06AE3AB","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":"f1adb1df8e26315b8d1c8b921cd8df4b4d8512b0","datavalue":{"value":{"amount":"+0.7135835886001587","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":"Q1791213$28CB70F5-5A6B-4D2F-AD96-FC3C1A40FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67cb56c37df1d9d7c5e05368dd51632317b2d21","datavalue":{"value":{"entity-type":"item","numeric-id":5203582,"id":"Q5203582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1adb1df8e26315b8d1c8b921cd8df4b4d8512b0","datavalue":{"value":{"amount":"+0.7135835886001587","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":"Q1791213$A9D8F892-7B69-4EA1-8909-D48DBD4656A9","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":"677164764536bec44c4359b3b3e382f5f9ec3e48","datavalue":{"value":{"amount":"+0.7125898003578186","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":"Q1791213$4C214822-A0A5-468B-A790-D051B49B1D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471e327cb970158d5176be1de14d144f0e23cfd0","datavalue":{"value":{"entity-type":"item","numeric-id":805158,"id":"Q805158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed18094f5842a9515d0761544f7277fae5d16039","datavalue":{"value":{"amount":"+0.7086970806121826","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":"Q1791213$9217F56E-74E0-4581-8A7D-EEF529EF03EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Agda formalization of \u00dcresin \\& Dubois' asynchronous fixed-point theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Agda_formalization_of_%C3%9Cresin_%5C%26_Dubois%27_asynchronous_fixed-point_theory"}}}}}