{"entities":{"Q1318281":{"pageid":1329031,"ns":120,"title":"Item:Q1318281","lastrevid":67161357,"modified":"2026-04-12T15:42:43Z","type":"item","id":"Q1318281","labels":{"en":{"language":"en","value":"A functional logic for higher level reasoning about computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540132"}},"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":"Q1318281$0067558A-9B6E-4C63-A321-9374F81C8EB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ec3c6594e818f6fce83fa91e380f1065b29e37","datavalue":{"value":{"text":"A functional logic for higher level reasoning about computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318281$40243EED-4445-4CE8-B3C3-CE1F61CEE2E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30fe7aee1e1707611e6f0a3bbae05d9b9d6283b8","datavalue":{"value":"0801.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$9D5CCAFF-A82C-4ECE-A848-8C3C6B0BA385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b904f4ff4c3e0e783d549a3bef0c2c23a2c906","datavalue":{"value":"10.1007/BF01211079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$02425125-D948-45F5-AED3-7E0986ED51C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aab6dedcb6e4efb99030d8bd26448927a29ad86","datavalue":{"value":{"entity-type":"item","numeric-id":911772,"id":"Q911772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$0195C0DE-FDE0-49BF-A771-93B7227791CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2de5877895937d2af49704410633dcf0bea75","datavalue":{"value":{"entity-type":"item","numeric-id":736793,"id":"Q736793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$DB4211DA-85E2-4907-B486-BBB77F954F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9807b426964d6fb6e139c26a2c047831fde355c8","datavalue":{"value":{"entity-type":"item","numeric-id":1318280,"id":"Q1318280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$837C85F8-0800-4609-8C5D-F78F6F0C813F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$54806FD8-F277-461F-B079-0BA60025C8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318281$5504E422-E37D-4386-9575-361207370FE2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0a37219f36aeafdc57308a52eb4225d57e3d51c","datavalue":{"value":"This paper describes a syntax and semantics for ``functional logic'', which is a formal first-order logic with expressions that depend on an implicit parameter (such as a program state, time, a possible world) aimed at providing a high-level basis for reasoning about computation. The logic is able to bring together classical, Hoare (weakest preconditions) and modal logic, set theory and category theory in one logical framework. For instance, in the case of modal logic, it is possible to write down the semantic definition of the modal operators as an expression (axiom) in the object language. Furthermore, functional logic enables one to integrate (functional) assertions and procedural code. (A functional assertion denotes a Boolean-valued function rather than a single Boolean value).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$F91E4F83-ABF5-4023-8179-7513B672CBDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$A97DDFAE-EFF7-4BDA-80A4-D52B2F0E1031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$4D3E59BF-F2C4-4F8C-9A1E-4647F6332A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb6e6dd43eb3bbf6d445cfba08c91e51a717c87","datavalue":{"value":"540132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$7E8FEFC3-04F8-405D-A80C-D761B144EBFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$C9149C4D-8155-47F9-B3BA-B8A0CDB2A937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$043E44AC-2914-4D2F-A181-27D004ADFC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$D9E3A074-8687-4517-8C33-D2817DF38FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b6bd45c06b4299a242d393ab3961915f533db5e","datavalue":{"value":"reasoning about computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$8C9AFF3D-2F4B-47DA-BDA0-029F65F208B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$65A9CCB7-3F15-4431-8D76-6395D877C293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$9BA3C814-2237-401C-8916-826971AF0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$404B7750-C7F6-46BC-8F56-753D4DDE3788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0b751081f082f5c5262c778383cfee409bf0a9","datavalue":{"value":"functional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318281$10477102-1D2A-4FDB-A7B4-3AFBAFC863E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$B35E425C-54D4-4FD3-9267-EAC8918DFB9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$F1D112F7-A97F-4C16-BD0C-CF4F7D185D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d75f286d3b7fafc7959ecf913797da4cf0ecbd8","datavalue":{"value":{"entity-type":"item","numeric-id":30419,"id":"Q30419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$0B861F4E-B6E9-49F2-AFE2-3974D0C44102","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":"Q1318281$E684A0CA-30D1-4E0A-91E2-323CAFD3A0A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$B6D19283-3424-4486-8873-591371A268CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$8E78F48D-9D52-4025-8041-B246CD2547AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$CFD6E653-48DF-4F02-B10A-A1FD4BDD1227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc52e8133d0933846dfa45cf4bf39411c1ccfe5","datavalue":{"value":{"entity-type":"item","numeric-id":5569945,"id":"Q5569945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$32E8F125-C303-421C-8E1D-735518A9CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$C575C200-0C0A-4065-8891-47FF6E0A7A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9938cbb47f6bf4773c63acc7fdc989ea1a5685f0","datavalue":{"value":{"entity-type":"item","numeric-id":4272504,"id":"Q4272504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$EAF05871-1748-4262-807F-0442FB9B8214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7a65ab8078521189e549618df4920888076e38","datavalue":{"value":{"entity-type":"item","numeric-id":3992551,"id":"Q3992551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$849B213D-99AE-4499-BB28-C83EF510A66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61ae35b8d8a008703390f58471c8228d97f52d","datavalue":{"value":{"entity-type":"item","numeric-id":3678639,"id":"Q3678639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318281$38890F0A-8F0A-4972-B6DA-E2DE8CCA8A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8481f8044e3926aee7a5e779c35cd1a757ae8415","datavalue":{"value":"https://doi.org/10.1007/bf01211079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318281$6A0C044E-8196-460A-8E11-C710BC7BD12C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eac3b278284bf111a6973e624cf240588595e83","datavalue":{"value":"W2076845834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318281$77AF1EA5-0B9A-4F07-B77A-FC23F6F17FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9124ab0c0ef67b95ab8ab3037041ca69d44b4","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bdc54c29f607a1209f7fdb608d662312295ea1","datavalue":{"value":{"amount":"+0.7808797359466553","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":"Q1318281$260F1579-5607-4CB8-907B-02549FBFC831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22173373a36b1b142d22a05e5b18e5f09b270992","datavalue":{"value":{"entity-type":"item","numeric-id":2754055,"id":"Q2754055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a20c2cf9f07a26ee3a45c701f313ff824bd1774","datavalue":{"value":{"amount":"+0.7659717202186584","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":"Q1318281$4C208358-5026-48F3-89A0-CA28811C600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a84b0753cb3ab3caae9081b8f14273ea960bf5","datavalue":{"value":{"amount":"+0.7630632519721985","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":"Q1318281$7BE582B3-88EF-45AF-A56B-ACC408910DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61928d433d17df3f6ec3fd9988ba359ba989378e","datavalue":{"value":{"amount":"+0.7606337070465088","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":"Q1318281$7162FD91-40B4-4580-B0F5-29A2F72A6ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2100b422bb21b17977e053bf5509de51685db641","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792d453f7161216ab911d54c2cfd9c6429ceee7d","datavalue":{"value":{"amount":"+0.7533149719238281","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":"Q1318281$90B18F74-5444-41CA-AC92-3C07BAADD5C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional logic for higher level reasoning about computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_logic_for_higher_level_reasoning_about_computation"}}}}}