{"entities":{"Q5213397":{"pageid":7242967,"ns":120,"title":"Item:Q5213397","lastrevid":53653607,"modified":"2026-01-25T12:21:21Z","type":"item","id":"Q5213397","labels":{"en":{"language":"en","value":"The fixed point property and a technique to harness double fixed point combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161971"}},"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":"Q5213397$EAAB8F9F-4D86-4404-B905-2366BC7AE392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ff718d5a38d19868ff2d1528a895c4c9c31cd1d","datavalue":{"value":{"text":"The fixed point property and a technique to harness double fixed point combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213397$59587196-A2CC-4F29-A3D0-E5E540F1DB88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e5f952372332556280cafa695755fe90affafcf","datavalue":{"value":"1444.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$01D245B3-D9FC-4C14-90AE-110669F86550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213397$DDD8BA9D-AE6F-4B8B-AA53-EF2E876E62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213397$61ACD58C-EFBB-4D53-95B4-EF91D2A8B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213397$29DFD559-A90B-41C5-8109-91F657217002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213397$63E53662-EEDD-455A-8C1B-77C58C9196F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213397$7D75160B-13ED-4FD7-B6A9-0AFB7762D279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$8A234B5B-E7CC-459F-B71C-2484ECD19545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8d88cd22852943f0a8032cddb37a22f8ce0862b","datavalue":{"value":"7161971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$20B68FD5-02A5-4363-9AC9-CF1D39E9BF4F","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":"Q5213397$0D98C275-B86C-4BF4-AB1F-D720732737B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d056d1422c06ec48b7a36f9ffe894c2baa1cfef8","datavalue":{"value":"https://doi.org/10.1093/logcom/exz013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213397$16EA7B47-68D6-4DB0-8EA3-774CCE7F9E01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e49ce462615e6c7c643e8dd5da45eb0c98211917","datavalue":{"value":"W2960827503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$89EA6D4B-E7E3-4465-BDC8-D29C18968D00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8407cb715bbd4652e89084a58839165ce4250d88","datavalue":{"value":"Q127965786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$E96855EE-CC0E-4D2D-A851-7076CE12D1DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41edf189a572f5fe192026b068d991506c376d2a","datavalue":{"value":"10.1093/LOGCOM/EXZ013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213397$F319B659-66C5-4E75-8A62-DC8D92B4F242","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213397$C046861D-C6E7-43A9-B602-56795A1A5E02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97512b94c56bdd5196304fe787252e3a152be40c","datavalue":{"value":{"entity-type":"item","numeric-id":1368379,"id":"Q1368379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbed1d4511107d0eedcfc0048fc8f3a7ec745730","datavalue":{"value":{"amount":"+0.8320878744125366","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":"Q5213397$434C919C-4C4D-40E5-B978-47A3917A93D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbed1d4511107d0eedcfc0048fc8f3a7ec745730","datavalue":{"value":{"amount":"+0.8320878744125366","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":"Q5213397$25127BAD-9FD5-4ED3-BDE9-F2A5DE4BC16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3539e86c314860ac117cec6d25423e75abf17963","datavalue":{"value":{"entity-type":"item","numeric-id":2973253,"id":"Q2973253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aed24444c8356da516eb84f38e2c4a79110618","datavalue":{"value":{"amount":"+0.8278927206993103","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":"Q5213397$D9284C06-C6E3-4B0B-BD57-7A10085107AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d2b3e834916cad1b9cd3aeba6a5d1ac5df8b58","datavalue":{"value":{"entity-type":"item","numeric-id":1688969,"id":"Q1688969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dddfd70d5b39a86d75fc2f68ad6d79f435355af9","datavalue":{"value":{"amount":"+0.7736261487007141","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":"Q5213397$9CA69BE5-924B-47EE-8BF0-3BB21EB0E599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d191c39ca277aab5524c2adc5f7911cfa21faffc","datavalue":{"value":{"entity-type":"item","numeric-id":4526150,"id":"Q4526150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcd0eb0a88c20403dd3c0a58f993b29477bf3da","datavalue":{"value":{"amount":"+0.771934449672699","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":"Q5213397$ECD83E48-ADCA-49AE-A493-60EBE5D41FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213397"}}}}}