{"entities":{"Q436624":{"pageid":438391,"ns":120,"title":"Item:Q436624","lastrevid":61948950,"modified":"2026-04-11T02:45:37Z","type":"item","id":"Q436624","labels":{"en":{"language":"en","value":"An alternate proof of Statman's finite completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059719"}},"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":"Q436624$48039FA1-40A0-469F-BB31-7B33CEE5AE3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c2f3b42fee5bf11991c5cad26fc9ceebd24cc2","datavalue":{"value":{"text":"An alternate proof of Statman's finite completeness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436624$843EA789-76AF-4E76-81B1-ADEDBA3937E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eef3c27c9d90478c30ec53cb8dab678f9ec76460","datavalue":{"value":"1243.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436624$7A30BF0B-F0FD-4188-9A28-BDBBC5B2379D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$4319B734-D0FE-44CF-9084-7EA76059A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$34A03B44-D3AB-4AC8-B61F-B442EBCDBD6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$8100F92C-4B0E-421C-88E6-CA309224ACD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f54f5f40958cf95300fdefc35ba5b640104be76a","datavalue":{"value":{"time":"+2012-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436624$DF8D6AE7-3869-4036-8445-95A7598CB8DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436624$EBBBA8AC-1BDD-47EF-85D1-7B82A36EFA35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f348204af412193d732be9594e746482a8d7b6da","datavalue":{"value":"6059719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436624$A983CD76-07D5-486A-9121-7461C41D785A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q436624$61152DC9-31DF-42BA-8C3F-5A7FBEEF7AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q436624$AF61F24B-38EF-42C1-9E42-C16B31EDF665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q436624$5EEA56A8-B36C-493F-82E4-436A505B16EB","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":"Q436624$57772C0B-980F-4E95-AC2E-5E1300E970A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27360b1acc5dca5f07586084ee1b0584e852af0","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2012.04.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q436624$E1D55324-47E9-40B0-A479-5BF5195F0542","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"979336b8b8e01aaba10a767d3f15f5a1c2529c55","datavalue":{"value":"W2273291048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436624$C02E4F85-173D-48F3-AE64-4D372BC95078","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$FBE2B26E-B96F-472A-BD57-D747C2CD1ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ee2c0680d9f15e7841f5f39651f053961522e","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$D16E9457-466B-4E93-BBCB-D3D34787AB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a446515cb7e3e4e5e70281f56550226cdb87e3","datavalue":{"value":{"entity-type":"item","numeric-id":3638274,"id":"Q3638274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$AE1F685E-2180-4E0F-9869-3216AC84DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2534e934b320ce8c47243843bda2afbd625301","datavalue":{"value":{"entity-type":"item","numeric-id":972435,"id":"Q972435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$8F23C66D-4285-46B7-A094-EF963CA96A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$809A7187-0F95-428B-B6A4-D2ADA6DA9993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436624$3C656FBC-FD42-4219-8019-C1467A7729BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ac90c1f60028262ebd7c03ecbaffc6bb7994c91","datavalue":{"value":"10.1016/J.IPL.2012.04.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436624$C7927341-AACB-4D07-A60D-BB53B1F16BB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f7c05aeded7550331cc2683ce48e2fad020d","datavalue":{"value":{"entity-type":"item","numeric-id":1891155,"id":"Q1891155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c0c38a91725703b624d922993ceff0898cb410","datavalue":{"value":{"amount":"+0.7818517684936523","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":"Q436624$0A9F0482-1905-4576-9448-C1678CE37EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2f547748106a223d53d26d3fff603a7984f397","datavalue":{"value":{"entity-type":"item","numeric-id":5013825,"id":"Q5013825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c0c38a91725703b624d922993ceff0898cb410","datavalue":{"value":{"amount":"+0.7818517684936523","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":"Q436624$C9C11E11-6B72-47FE-B3B0-A345A8768570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8995315899c4ad0df1dc707ba6f831db505a1f8c","datavalue":{"value":{"amount":"+0.7498975396156311","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":"Q436624$E2A2F79A-F157-412E-B2CF-BDCFC20C73F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15aa220b93e84e099d06712df19be5193f3ff629","datavalue":{"value":{"entity-type":"item","numeric-id":1199546,"id":"Q1199546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dd78cf2d8d34a53e21409d937ad5126ab5fdef","datavalue":{"value":{"amount":"+0.7453621625900269","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":"Q436624$D7245C7E-24B1-49D6-B9A7-14EFAE4272F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f948a54d1f17b7cb270c2ed50690a91f2abe16c7","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dd78cf2d8d34a53e21409d937ad5126ab5fdef","datavalue":{"value":{"amount":"+0.7453621625900269","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":"Q436624$A42D9D3E-4927-42BA-A56B-2BABF3649DCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternate proof of Statman's finite completeness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternate_proof_of_Statman%27s_finite_completeness_theorem"}}}}}