{"entities":{"Q3600569":{"pageid":5630475,"ns":120,"title":"Item:Q3600569","lastrevid":50560844,"modified":"2026-01-14T09:55:11Z","type":"item","id":"Q3600569","labels":{"en":{"language":"en","value":"Weak Implicational Logics Related to\u00a0the\u00a0Lambek Calculus\u2014Gentzen versus\u00a0Hilbert\u00a0Formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502960"}},"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":"Q3600569$B548FAA5-4737-45B8-9DB0-020AB03FA77E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b86b9bac1f978a3ec9e8798d126f7770fb698eb","datavalue":{"value":{"text":"Weak Implicational Logics Related to\u00a0the\u00a0Lambek Calculus\u2014Gentzen versus\u00a0Hilbert\u00a0Formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600569$B65AC71E-DCA8-4E85-AE6B-5A5F2A78F5B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b904544d3bc2ccbf91ab02b7c1e320f1c8edf9","datavalue":{"value":"1180.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600569$B4AF57C6-763B-4DE8-A022-8ED1D6E51C3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36b9e390c819970ec553b76a0698cfa19b75738e","datavalue":{"value":"10.1007/978-1-4020-9084-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600569$628EFA75-6D3F-49AC-AA28-5119E7DC3812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$F74667E8-3960-42AC-8F7B-20F639CBFE4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0df493489f1fa665b4100a5580b3693e86ec2e40","datavalue":{"value":{"entity-type":"item","numeric-id":3600559,"id":"Q3600559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$BA2807DF-5EA8-4B4B-AADD-14CD4E8BB350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600569$A32023E7-FBC6-4C99-A01D-04B0C87D5578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600569$1BBE1DF7-ACA3-4A9D-B826-9C77CFD8D3F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97507cba896ff12b5e3acbf0466c9e2d8b4f1bc1","datavalue":{"value":"5502960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600569$58643C34-34D2-4532-85DC-A1B32D12E094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600569$73926B37-44EB-49FA-8BFD-E70D26205B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e59f8a84535f4d9a69838a497c704812a57b9ca","datavalue":{"value":"implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600569$F26A1B9E-36A3-45AC-9A2F-20221F22539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600569$B72429DD-1660-4E4A-8D9F-1C66F055E654","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":"Q3600569$561C43B2-DF03-4B43-AE31-30C862847654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1f85709a9bc89aa7e9ac01271e10804d31508ea","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-9084-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600569$1BDF97A4-0878-4751-B351-21283B1D6532","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9afda916eba18c484d7f05e6ca2e967f5314913","datavalue":{"value":"W140525514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600569$EEB3B7C0-2CC3-4710-BD01-EFA45FDF79A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424fda4e3751a18953d6f63bb36a80f5c7bc40b","datavalue":{"value":{"entity-type":"item","numeric-id":5750847,"id":"Q5750847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$DA3993BE-F301-4C5D-A9C5-70D9AB79BD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c569b1b735dcdfbd0bfbce697b72818b4a78d13","datavalue":{"value":{"entity-type":"item","numeric-id":5532535,"id":"Q5532535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$0617BC59-8ADA-4468-8B0E-7FAD9B96DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3431a8171f3028aa45a6d870ec5ceb9f057a1b18","datavalue":{"value":{"entity-type":"item","numeric-id":3035262,"id":"Q3035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$2A66F96F-7041-4997-9B85-65D5C9B2D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$7D2D25E2-B000-4EBB-BDEE-5EE3EB37E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb5c751b1b619135cb32c46e32ffded8ce84b04","datavalue":{"value":{"entity-type":"item","numeric-id":5648339,"id":"Q5648339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$3176BB28-3416-4D19-9B2A-29D6C86E81EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7699ded2bb750f38e9d4f5b9952fec74e72d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3919680,"id":"Q3919680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$B7E2B2EE-5B18-414D-9720-FB46A9747F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f0290397befcd43424ad6f0ab3707a7c0c49fe","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$90D877FD-0E8D-4876-9E7B-E25A7EFD3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed0bac167e47fff1dcce94e8ba95fa334dd417f","datavalue":{"value":{"entity-type":"item","numeric-id":1582323,"id":"Q1582323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$A8AA0844-5828-44ED-9EEF-FF5665DFBF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa88f02c28c65a0ba5a20f3ed8f19415f2c4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5946341,"id":"Q5946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$B621F1F8-D42B-489D-96FC-8F290F1E7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da41de3327f041aef9c990b5f805442f0520cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1611249,"id":"Q1611249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$9BE08CF0-6BC6-4B26-9960-AE7427580DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0e3a159310a0486cff9762add7397a89c9174","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600569$A094842A-5ADC-432F-A431-E87BC4EF8084","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8965fef4ddae10eff9ee02ed53144fa76e8125b","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250789303e961b8de285bf78edad2a1d0d14f631","datavalue":{"value":{"amount":"+0.8458730578422546","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":"Q3600569$F0C6BFFD-A487-406A-9744-FD3340CE6320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adb8886034737fdab808625f84344866595c916","datavalue":{"value":{"entity-type":"item","numeric-id":3035262,"id":"Q3035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6012d3eeb66a44fe422849a40b25560168151921","datavalue":{"value":{"amount":"+0.8332350850105286","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":"Q3600569$552C3E12-38F3-4DB5-8453-80B47E28E8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6e5fad4b713908896cea806160048f42252e74","datavalue":{"value":{"amount":"+0.8286638259887695","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":"Q3600569$87A2E6FD-1164-48F1-968E-85926679472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af330c46f32215efc2eae1dab6bd3bf68579ce82","datavalue":{"value":{"entity-type":"item","numeric-id":1611249,"id":"Q1611249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97bc1762d24f912b73678ab20fcc454fc1cc160","datavalue":{"value":{"amount":"+0.8221166729927063","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":"Q3600569$CC2E7698-A612-47DB-A070-DD2084E5B973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fa931c1b05414aaafe5ab2a813a2264e3843dd","datavalue":{"value":{"entity-type":"item","numeric-id":1582323,"id":"Q1582323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5d576d2ac0d6ad532aab5e475933f21d6a5178","datavalue":{"value":{"amount":"+0.8193777799606323","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":"Q3600569$A41BE6EC-DEAD-4531-851D-49B235C29A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600569"}}}}}