{"entities":{"Q5758044":{"pageid":7787595,"ns":120,"title":"Item:Q5758044","lastrevid":50161205,"modified":"2026-01-13T07:45:28Z","type":"item","id":"Q5758044","labels":{"en":{"language":"en","value":"Logical Reasoning for Higher-Order Functions with Local State"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188977"}},"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":"Q5758044$C49CCF75-CE6E-4027-BD6E-36BE204CD763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcb0ee5ff57ed1fd1bda348273dc1c331e8d935e","datavalue":{"value":{"text":"Logical Reasoning for Higher-Order Functions with Local State","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758044$F5B5D979-06D3-4ABD-8651-D96D2277AA97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc6501e0aac8e3531165c03702a6a46549ab4c3a","datavalue":{"value":"1195.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$7130FA11-CC30-43F1-A182-87AC9F250D42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af034a6ab7416a084b3b7a9d88c0beaf1991fed5","datavalue":{"value":"10.1007/978-3-540-71389-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$C29D73CD-3DC5-4F6F-8F2D-252D67F7609A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758044$3C24D3D5-80AA-4963-8DEA-660569D85113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758044$FE2FFD16-8ACD-46A6-B9FC-0ED4B4D5DB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758044$DBA5AE3F-BC37-4966-952B-58DE4A3C3991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758044$5892380D-F16F-4F95-A3C9-CDCA5C83F028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758044$BD8C7122-97C6-44AD-BB25-A073D53AAC29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$E1522B7B-2CF0-4BF2-998F-5B7B6AA208C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$D75557C4-093A-4332-94F7-E71D0F5E28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$ECE52CD6-4DEA-40FC-9B6C-E5C1CF7E8700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88eb8f79432878a72536c9e77ddcf34dc855feaf","datavalue":{"value":"5188977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$8F58438C-4CEB-4DE3-B95D-3EE91CA8CC8D","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":"Q5758044$1C449D1E-977E-46BE-B6AA-A24647DB41AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2b8707876f6c7a301f8590fa6d98e384179a330","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758044$3B5086FB-9CA5-47E4-9478-2CAFD338AED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba4ec7ab8083c64ef45528c555eb722161bc3bd9","datavalue":{"value":"W1827297117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758044$AE343859-9090-43E0-9061-CABD597D6003","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc3eeee2fa02f4a95fa3c5a56afc6fc99c70bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3623000,"id":"Q3623000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecd9a939eb35ef1a3b0e0386745b4a6433ff8fe","datavalue":{"value":{"amount":"+0.9858304262161256","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":"Q5758044$70498124-B4BA-481B-AA0D-560011AF5F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045e08865015e129845d4bbc7d18a3846dd204d1","datavalue":{"value":{"amount":"+0.7818512320518494","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":"Q5758044$05B60E2E-ADDE-4C6C-AC8C-11BE7D5F118F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cb6ea631bb1b4a20014eb11c209a3d5e397924","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9df699d894414e3874cc42a80f90bafdc873d10","datavalue":{"value":{"amount":"+0.7756489515304565","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":"Q5758044$20A770E2-8961-454E-A4AE-041009250D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f248c5b2fab00a91b3e2bd8c96854994826462","datavalue":{"value":{"entity-type":"item","numeric-id":3400921,"id":"Q3400921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89bff2dc23b4fdb5a57663a676cdada9fbfe092","datavalue":{"value":{"amount":"+0.7732182145118713","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":"Q5758044$57BB5BF4-3561-4E86-9867-3BDA27704C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e85230289d9758af77fbc9a98fb962e133aa550","datavalue":{"value":{"amount":"+0.7695455551147461","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":"Q5758044$B6D04CED-C717-4689-B313-5A001C8A6E2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758044"}}}}}