{"entities":{"Q1318282":{"pageid":1329032,"ns":120,"title":"Item:Q1318282","lastrevid":67161366,"modified":"2026-04-12T15:42:43Z","type":"item","id":"Q1318282","labels":{"en":{"language":"en","value":"The completeness of functional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540133"}},"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":"Q1318282$938002F5-D401-4B4F-B378-53999426D895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47f9ddc08195803b51b55edaeefed54c26e9d126","datavalue":{"value":{"text":"The completeness of functional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318282$CD2A81C2-1E90-4FA4-A42D-A3156FBA3381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03c785482959549e0fe80098cd376d267e2eb78c","datavalue":{"value":"0801.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318282$CE18988D-E71E-4F5C-9BE3-B13A5AAF588D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc789b9f65426a1dfdb52b552984fe9978c97c95","datavalue":{"value":"10.1007/BF01211080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318282$2CBDB9B3-C346-46CB-8C7C-6C56540AA4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03564478d83285220a58622a441da22a93a57772","datavalue":{"value":{"entity-type":"item","numeric-id":594208,"id":"Q594208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318282$156DFDEE-CDF3-4032-A98D-9F515034B05E","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":"Q1318282$5CD272DF-D72E-4F24-AD1A-5A42D61C6CC6","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":"Q1318282$C3C9441F-C1F6-4C6E-904E-5AF942415DA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1498f90c3b8d0ec67ff537b4df28af37c6edfee7","datavalue":{"value":"The completeness of functional logic, a first-order logic proposed by Staples, Robinson and Hazel [see the review above] unifying reasoning about procedural programs and classical logic, but essentially a logic to reason about properties of mathematical functions, is established along with auxiliary results such as a deduction theorem for this logic. Completeness is obtained by the construction of a certain model for a consistent (complete) functional theory, which comprises the bulk of this technical paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318282$2BA68957-4D78-4D6F-ADFE-CBD2D07B0CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318282$5B6BAAED-227F-414C-8628-4F64EAED17EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c65dc3bb1b5cc9425d12ba0eb5ae540f9d689c","datavalue":{"value":"540133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318282$A9204BF4-E12B-4FD0-AAE6-A84F2B672BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318282$E5FCDDE9-41D8-44F1-A94D-45E806AD62F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318282$C8777BFC-3533-47F4-B2CB-93AFCCA53966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0b751081f082f5c5262c778383cfee409bf0a9","datavalue":{"value":"functional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318282$1B47E747-53BC-4B02-9EEA-8B57AC05C0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318282$B91FCBAE-8FA6-4326-85B9-08FCA2DED04D","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":"Q1318282$472F045B-8899-4CEC-A217-128BC03999C9","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":"Q1318282$499109B6-8407-43B0-85B8-868EC41973B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318282$C5131B5D-D8B1-4AC4-A45B-F3C8E8C4D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318282$BD898A28-5CE2-402D-AAD0-89D00F97A6A5","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":"Q1318282$90BB83A3-DF26-49BE-9B5F-552E370F23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15539d9c43d7bb1a5203d2f71a564f7f08cd7b5","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318282$0B1EB194-14AF-4084-8622-2C599E51AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba362c5b8903f53c491273ee6fd47a3bd999240","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318282$A7B56A34-B1B9-45F2-BD30-F37C38F66828","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b7e3eae512d292cc28e4f893253c03f1b57ef2","datavalue":{"value":{"amount":"+0.8281264305114746","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":"Q1318282$29168383-3D21-44ED-94E9-7A5C6F39B198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"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":"Q1318282$F04030ED-D56A-406A-8D8E-F045ED9B2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e752ea28c8f900008f2c5ee0a6814a70525676f","datavalue":{"value":{"entity-type":"item","numeric-id":3591433,"id":"Q3591433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252bba5d4e9623f14e526fd5c460088730545ff1","datavalue":{"value":{"amount":"+0.7706506252288818","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":"Q1318282$19E4B67B-A9FC-4229-89DC-2DA782792169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90fd1b5bb8d4e684ef9cc53b2f52e082c4796da7","datavalue":{"value":{"entity-type":"item","numeric-id":1802397,"id":"Q1802397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e030a038fb30498b208a42e52963d60cb5b4a0","datavalue":{"value":{"amount":"+0.7665795087814331","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":"Q1318282$167239BC-EB4D-4CFD-860F-1F6073677407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc4aae1453c2d09dd408829f3dcc072d13a6c65","datavalue":{"value":{"amount":"+0.761955976486206","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":"Q1318282$64A1E149-C9C3-455D-BEBC-7B7A6BC884DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The completeness of functional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_completeness_of_functional_logic"}}}}}