{"entities":{"Q4981257":{"pageid":7010835,"ns":120,"title":"Item:Q4981257","lastrevid":52023416,"modified":"2026-01-20T18:54:03Z","type":"item","id":"Q4981257","labels":{"en":{"language":"en","value":"Extractability as the deduction theorem in subdirectional combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6307745"}},"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":"Q4981257$E1A0AE7F-0B20-4083-BEDD-94011C844CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e438063e7cc310bf64b5f9750d4cfd2cb11bf0be","datavalue":{"value":{"text":"Extractability as the Deduction Theorem in Subdirectional Combinatory Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4981257$26CA99F0-9243-4272-ADF2-C1DD488DC76B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f04896279ad06c030ab066311f67778971d0cd39","datavalue":{"value":"1291.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$37244260-3206-48FA-9545-D55536472595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79d4bf473575adb625c3ead06ba10327d83e0d96","datavalue":{"value":"10.1007/978-3-642-31262-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$14D1B5FB-A096-4313-8EB1-EED99FC8EBFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f91173229911718b74c7b2725969e9bce2553d01","datavalue":{"value":{"entity-type":"item","numeric-id":4981256,"id":"Q4981256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981257$4B1D49B3-E0DE-4A7A-8B1E-640BAD8D5C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1915a9f9a6a4ae1dd68644e0eb9bb1d9c3d5be","datavalue":{"value":{"entity-type":"item","numeric-id":2425326,"id":"Q2425326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981257$8A73A91E-D5DC-47CD-80A7-FE1007EF76DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2f7df35b5207f5cdd4837c7f318bff65c83b389","datavalue":{"value":{"entity-type":"item","numeric-id":3010331,"id":"Q3010331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981257$37981FB1-A7C0-43AC-BCC9-EB21BCA9A019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4162171d534841eaba82df8e339e73a24ff6ed5c","datavalue":{"value":{"time":"+2014-06-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":"Q4981257$177C7148-FAC0-40E3-9DE2-941C521703C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$7500A3A8-7EC3-4F8A-9F48-3D8E2A1E7CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$22DA3EC3-FCD1-402D-B98B-7D7BF24C3457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe9a890d1c8cdf64d7a3ce9b2f862e9ac6a80186","datavalue":{"value":"6307745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$870901A3-FC34-4446-A9DE-DE161184F8F6","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":"Q4981257$1DA722F9-09BF-42DF-900F-9DEA192F0253","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1e69bded1bdfab4b9a63f8c2534116038b1b2b1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31262-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4981257$A3C96201-5B3A-4F74-93EE-E4B8A807B9E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5833cd84cbfa8d9a17521ddc99e0c95ae37081d9","datavalue":{"value":"W45886131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981257$51BDB89B-DD90-4F4A-9E65-ADF124481CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5bdc14088d65ab3ed824c656e97ac472bccfd1","datavalue":{"value":{"entity-type":"item","numeric-id":3147358,"id":"Q3147358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a9753cc79e289e7eb202a4d98737449425e6a0","datavalue":{"value":{"amount":"+0.7666791677474976","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":"Q4981257$AD1F66D5-45D0-4BC7-948E-FD04233061CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a9753cc79e289e7eb202a4d98737449425e6a0","datavalue":{"value":{"amount":"+0.7666791677474976","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":"Q4981257$487909C2-D680-44C1-9708-223D74AF4FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf33f397d7527e30a8d3f26a93f3fb706496452a","datavalue":{"value":{"entity-type":"item","numeric-id":4882813,"id":"Q4882813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65edc302909b3b9e4feb54dcfbedb1b3a14426a9","datavalue":{"value":{"amount":"+0.7325929999351501","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":"Q4981257$70B54EB2-30F5-4410-AC6D-91D06E7F880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5e838ff59b0ff3a26a14a02b75dced984d78bf","datavalue":{"value":{"entity-type":"item","numeric-id":1850950,"id":"Q1850950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0270628dd2a6d82c5cb70cd0f36b76a9402ceffa","datavalue":{"value":{"amount":"+0.7315424084663391","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":"Q4981257$F82FEA21-644D-4CA3-9A04-DF31E08897FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6449b3e4c9ec7fe4109c777105706c898016fdcb","datavalue":{"value":{"entity-type":"item","numeric-id":3470458,"id":"Q3470458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3750b7677e2d86dd4906ca4071409b7f0e7f6c06","datavalue":{"value":{"amount":"+0.7226206064224243","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":"Q4981257$7B2CD473-8179-4F31-8A1C-9A88E3CDEDAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4981257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4981257"}}}}}