{"entities":{"Q4276020":{"pageid":6305621,"ns":120,"title":"Item:Q4276020","lastrevid":81622937,"modified":"2026-05-06T18:57:31Z","type":"item","id":"Q4276020","labels":{"en":{"language":"en","value":"Systems of illative combinatory logic complete for first-order propositional and predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488029"}},"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":"Q4276020$1C3C1C8E-56D4-4234-BE9E-AF68D379AFAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21a3e802a34ed2b69cfacf506e2021d84c32b9c","datavalue":{"value":{"text":"Systems of illative combinatory logic complete for first-order propositional and predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276020$FFBA6304-C286-468F-9382-A92123005BEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aca13399c5c373aea6b51af0a5173614b76fd8ae","datavalue":{"value":"0791.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276020$5398D147-6A5C-4498-BCEF-11BCC1D4A66E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4a434193c5f07c43d33fe69bc68f33b7e508a6","datavalue":{"value":"10.2307/2275096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276020$733818C6-1825-417B-8145-0AB56987AFF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a2f47f22fa561a103f4e2d26eaefd86ad9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1104310,"id":"Q1104310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$277C17F3-1C51-43A1-8750-D88245F9E5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$29E1EC99-A4A1-428F-92FF-18AE8A0C9909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$FA4F644F-7F24-4612-A27D-D63C1CCE12D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$F6C4821C-7056-4DDC-BD94-499B6291FAA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8db3fc0a2a1510d48c144800b5b724b46b6297ec","datavalue":{"value":{"time":"+1994-07-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":"Q4276020$42A61B29-ACB4-499B-B49E-CC8E80C825FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88136fdc49aa112f6e076cc5d87cef6f5bb89aa6","datavalue":{"value":"https://ro.uow.edu.au/eispapers/1959","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276020$DD5B17D2-F135-4147-9F90-C7B31D410E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276020$8792563C-B0C1-45ED-AAD8-7BFCA7BC9986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c0e002cc4cf8dd9a8b2c5475e183c0df3305a2","datavalue":{"value":"488029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276020$5DCB7573-0D95-4DC6-8BD9-83203605B747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276020$F908DF10-C96D-4BB7-AE21-2AE62B3FC633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276020$ADA393EC-B56A-4D30-B475-6D5B5025621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276020$BCC77378-E046-44D4-9C7E-997086C20337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276020$B7C43538-F076-410D-8355-7880ADC2FCDD","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":"Q4276020$9B869DDC-19D5-4101-9634-32701D40D998","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c48ee72dd7b4922d0a5af88353745f39dda9ed5","datavalue":{"value":"W2112160811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276020$A5B14FD0-1644-42B8-9D1C-92991829447C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee456cc9775bdfe7588da174abc210aa7ff18b6","datavalue":{"value":{"entity-type":"item","numeric-id":5834322,"id":"Q5834322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$84DAFBE5-233C-4042-8DEB-501BF32B0E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60facddfc77a4ec30a3c2b2c8df80393a115cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5834321,"id":"Q5834321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$D8378CD1-5E0B-43FC-B3EB-63882CFBEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00774ecf231f8313fc2144dc13b6ce55f4524ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3309804,"id":"Q3309804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$E02D64D4-A9CC-43BA-B8C7-636840C2A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57753aa15f2bae4950b84abd6b61ffa3af7bb14f","datavalue":{"value":{"entity-type":"item","numeric-id":2539865,"id":"Q2539865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$45DBB7C8-4949-4893-9654-357379D1E335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8415eff664563886b163c7c930a8eaa035588f","datavalue":{"value":{"entity-type":"item","numeric-id":1840146,"id":"Q1840146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$ADB72B11-2F0F-492F-9537-2BFD67A3AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$B7F0B759-17C2-4CA9-89C8-9D52C54DEF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404c13b4561612af26aa341757f902faa1768ddd","datavalue":{"value":{"entity-type":"item","numeric-id":1839723,"id":"Q1839723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$AA5A8BEA-F438-4933-A8B2-1738EF2DB5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928af5e29b7ea3cce8887004777b703f8da1b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4482046,"id":"Q4482046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$46BCCE36-FC4C-454C-A55E-155F376148DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48bc2b231e5f439da737462a40549539a97dde60","datavalue":{"value":{"entity-type":"item","numeric-id":1565128,"id":"Q1565128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$24D13892-43EC-423E-8E04-17B3D0F9044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$78730601-6EFF-43D0-A251-2C0B72F778B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ee8ad5ef59d19d9c1c42fc765be3205cdeae58","datavalue":{"value":{"entity-type":"item","numeric-id":3043111,"id":"Q3043111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$51244265-0105-4410-9627-55BD920D888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c2584425bffb8f031f8ec34589e5110521a522","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$42C0868B-11A4-4FCD-8673-C82C2BFB9899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$31B6E7A0-F460-4273-8893-F6749F6F9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405b4a78f9389e03fe8ec1b0ec1a13699ecb6c41","datavalue":{"value":{"entity-type":"item","numeric-id":2644945,"id":"Q2644945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$94229A5F-6767-4FB0-9F4B-39CD3518505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$95A26ECD-79F1-4545-A5CD-F98DF320D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$2F573786-F7D9-44D4-BBAB-DB722281AAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1df9ae2b2cbeb405634340a350a65a9fe5dd6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5834323,"id":"Q5834323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276020$B6CC6663-55F3-4E33-B961-B2B16141F14C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4f03a10edafe7cdc7913a54a58229f242d59a6","datavalue":{"value":{"entity-type":"item","numeric-id":1267843,"id":"Q1267843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a3b2deb72fd1a39b4c49bcb0bf0af54ad3587b","datavalue":{"value":{"amount":"+0.9220772981643676","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":"Q4276020$32386ECF-DEEF-4BBF-B70D-8A1B9A3DC469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa46b8e7746c3ab994009a140d2aaf32341edfa","datavalue":{"value":{"entity-type":"item","numeric-id":3832538,"id":"Q3832538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a3b2deb72fd1a39b4c49bcb0bf0af54ad3587b","datavalue":{"value":{"amount":"+0.9220772981643676","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":"Q4276020$2B2632B3-9E0B-4302-B792-2DD9D785682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b402c039b8ccc708c13bcdf831ab11b66aec08","datavalue":{"value":{"entity-type":"item","numeric-id":4227871,"id":"Q4227871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff20f04296e5b7aae3b13ed8ec10dfab4d37919e","datavalue":{"value":{"amount":"+0.8633254766464233","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":"Q4276020$0D95C2B0-B452-4489-AFE4-7A75D592FA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b342cb04c66e86ce932c28c0256a33ea88a567","datavalue":{"value":{"entity-type":"item","numeric-id":4735169,"id":"Q4735169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff20f04296e5b7aae3b13ed8ec10dfab4d37919e","datavalue":{"value":{"amount":"+0.8633254766464233","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":"Q4276020$F97AEBBB-7DCB-4635-954C-1CCB6A73E4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27215659ae892f90e11ee593d73f988003c0b1f2","datavalue":{"value":{"entity-type":"item","numeric-id":2915681,"id":"Q2915681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad92da85d343bb54d8f5f0f654fae10374e6790","datavalue":{"value":{"amount":"+0.8412864804267883","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":"Q4276020$77AFD4BB-3502-42B7-B518-EE018A268CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of illative combinatory logic complete for first-order propositional and predicate calculus","badges":[]}}}}}