{"entities":{"Q3138016":{"pageid":3148732,"ns":120,"title":"Item:Q3138016","lastrevid":47195239,"modified":"2025-12-31T23:34:57Z","type":"item","id":"Q3138016","labels":{"en":{"language":"en","value":"The number of proofs for a BCK-formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431185"}},"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":"Q3138016$20B48026-B957-4AE8-93C2-296AAE8A8142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f319f5e138d23c1765003c34e29c8766f8725930","datavalue":{"value":{"text":"The number of proofs for a BCK-formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3138016$BAA422B9-03DB-4D5D-9DDF-4FAA84CA83DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8719af089c752ae41b7c93ac997d6cd9e693644e","datavalue":{"value":"0787.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$0855C6DB-3009-448A-85B1-BB78DF32C9C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa13eff58b00b8474b64c9ecd4d28170c6099e07","datavalue":{"value":"10.2307/2275222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$1CF2C34A-602D-4D7F-AF8A-F74B1520B6F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138016$A5E28523-3B92-4E11-8F6A-8E747F99C35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138016$71172789-CBF6-4D4C-9240-703CD8147919","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":"Q3138016$7B21F53A-6DD3-4CDC-AFED-3A634F7E4148","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138016$79C99585-B8E1-4673-A70D-4F0764070A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$E4E4C559-E8E6-4454-8EE7-C697433C1511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$C7E5F6C3-B470-4AF5-ACDD-89C0BF5199D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$4FA6B0E3-BCF3-4500-A599-D4F52FF642A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de76d84a8c5aabdae15f32345b295bf04723df33","datavalue":{"value":"431185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$EAEAE08E-DCD3-4839-BC28-2AF5523310E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138016$64ACB92B-8B35-4A59-8D86-2B6F73B8E037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138016$83DBCF14-3A80-44C6-ADD8-586C47E08190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23af986ef6b9bf94f3a509e843b982a045490a40","datavalue":{"value":"number of normal form proofs of a BCK- formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138016$C564B4A1-CC86-4C4E-9F49-DC43E7030149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3fd20ff1b4e158720d213645144e6f3cf6c418c","datavalue":{"value":"number of minimal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138016$1229C56C-512A-4EAB-9B57-408267D9D3DF","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":"Q3138016$50C7CE29-F110-4116-B2BA-9845D7315788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11dc6a708a92dd03646d03db5f30f7e56db06a4a","datavalue":{"value":"https://doi.org/10.2307/2275222","type":"string"},"datatype":"url"},"type":"statement","id":"Q3138016$20B94A67-3C25-4C9C-A38F-C13A24DE52F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1b211ca075de46d5890881dfaa4737f8022b097","datavalue":{"value":"W1995335384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138016$65CF7E79-1C30-43EE-9345-3855882A4C0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25313d367058edb8143ccf81859fe214d888d1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5723175,"id":"Q5723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138016$0BF9F331-3A3B-4D9A-84D5-DF907FAC03C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6601d282ebd0f221ec910ff490d3669a9666ee","datavalue":{"value":{"entity-type":"item","numeric-id":5689034,"id":"Q5689034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138016$2A859CC5-8794-4E53-991D-5C3BA7CB145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138016$1871F63B-6F0A-4692-A292-0D7E1D6AEB58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074bbcc461e3e39d13d52cc4ff416a1fa5a31657","datavalue":{"value":{"entity-type":"item","numeric-id":2757812,"id":"Q2757812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52941971b22737c1e8bef128b0f5a98854ef132","datavalue":{"value":{"amount":"+0.846781313419342","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":"Q3138016$528BA2CE-852E-4A8F-9FA0-C58E7020E55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88946530f5fdb20d615e9cbed3399a4555031a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4315299,"id":"Q4315299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc70379134da9f287cdf11f73182cf4c8c9c1ff8","datavalue":{"value":{"amount":"+0.8240911364555359","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":"Q3138016$4BB81B24-7B7A-48D1-92AB-C58B2A494982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b497a8ef1b8892322ad4f3a47610623f41a8ecd8","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc70379134da9f287cdf11f73182cf4c8c9c1ff8","datavalue":{"value":{"amount":"+0.8240911364555359","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":"Q3138016$0B2CFD16-A20A-4A8B-8FE7-A13594912322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989fbb5e2d0921e15842c8a7adadc94593e220f7","datavalue":{"value":{"entity-type":"item","numeric-id":4282572,"id":"Q4282572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7959fee58e5197d28b36c33ecf23ba2cb1420e35","datavalue":{"value":{"amount":"+0.8209255933761597","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":"Q3138016$0E5966F8-7FC0-4048-934F-7626367F4000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2139f05c5a43b82e96d3961ee5cea2d4634580","datavalue":{"value":{"entity-type":"item","numeric-id":5300586,"id":"Q5300586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67995e09075a98f23cc4abb139e24228f0cd2e3f","datavalue":{"value":{"amount":"+0.8192662596702576","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":"Q3138016$618EBF43-CA39-4843-8E50-DB4A21832E32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138016"}}}}}