{"entities":{"Q4353718":{"pageid":6383317,"ns":120,"title":"Item:Q4353718","lastrevid":46942653,"modified":"2025-12-25T21:53:09Z","type":"item","id":"Q4353718","labels":{"en":{"language":"en","value":"Combinators and structurally free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059580"}},"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":"Q4353718$746A3861-B60E-467B-B21C-8B195B540D39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ce1b0e96cc76d6e6d90e179994b2152e0a547ab","datavalue":{"value":{"text":"Combinators and structurally free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4353718$2BF4FCA5-23F4-4B08-8846-5A3565494D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"233a8e42208fa3b66db24c249e3e8a5a2f258ab3","datavalue":{"value":"0878.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$2E0814C6-2A61-450D-83E6-12D7B6389118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353718$9D70E9A6-E305-44C0-AB03-8FD08803C2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353718$042AFB15-D14C-48B5-931F-5B0F7B25A92C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9331eb4e7369aa8dd073b64984e4f3d45aee1e25","datavalue":{"value":{"time":"+1997-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353718$17D4FFFC-A2B3-4FFD-8031-AA2BBAD89C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a3f7f81f03622ae8bb51c4a496853e4f8286f93","datavalue":{"value":"https://semanticscholar.org/paper/b32acbbe0ae7d5b68510fbd5cf2a5cdfd8d12823","type":"string"},"datatype":"url"},"type":"statement","id":"Q4353718$CD421D49-573F-4F3F-AEE7-E1C31B539FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$A29395D0-D000-4FBF-BCF8-54F2AC35A367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$AE299747-95CF-4800-AB44-D40E97F52200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$D821F1C5-0313-4E72-80EB-A09E1F73F525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$2770F425-9FDE-4662-8B7B-F4DDE73CFE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9fbcf4c9bdf1f29264afc418ecb7ec45e9de70d","datavalue":{"value":"1059580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$02D41FB4-2BCC-4FA8-A376-5922B431E0C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d3ead6ffa4e30ef90470cbfa2227f39da586c8","datavalue":{"value":"gaggle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$86A04132-B74D-46DA-9802-C3DEEE5BC39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$F658E27B-733F-4A6C-9C58-6E331DF615BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$E29487BF-146C-46CE-95F6-429C6FAD57E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"833fc5bc2d09d8c37eaa0a07ecfc2696a20f4f6c","datavalue":{"value":"frames with a ternary accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$8B021961-A79B-4862-AB47-41263E655E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$0EA4F47D-7395-4828-9EE0-A60D6F48DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854fb1e640fb6c269347d47a1269147265657af9","datavalue":{"value":"combinatory poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$7933A85D-3158-41A7-B38E-6C8B7257243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$AA98639A-368B-40BB-A456-64567641B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$66C4C21F-E0F2-46EA-960B-12C9B76F44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2e975f80f7fb404b4374ef26e8dd67136ce379","datavalue":{"value":"non-associative Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$CF4FEEC6-B492-460D-A8D5-884780C51816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$A0F51A79-085D-4186-8E2A-05776A8CE977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f6576d476512230497b33b6df302be84de4d87","datavalue":{"value":"cut theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353718$87BF5DFB-0EE6-4333-8932-D21C98AFAEDC","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":"Q4353718$3886CE92-5950-4B27-A857-CC1D581DE0C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0366cf3a5f6710cb138fbed098cc204acf434491","datavalue":{"value":"W2153111627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$3D704DF9-719E-4DCE-AC5A-07A95867016F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"303f845780c86aa0884d037272f95f118b844543","datavalue":{"value":"10.1093/JIGPAL/5.4.505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353718$079B672D-7BA7-48C7-95F3-599299143A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353718$5567FB32-0251-4DB4-B0D8-476EC9163DE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f1bd562580e767b496d5f93ea274c44474872b","datavalue":{"value":{"amount":"+0.8476924896240234","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":"Q4353718$11AB71AF-DF52-4C5C-BE78-0AE2F8A6AB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3486d01796312fa031ac542c295f0f74c922ea9","datavalue":{"value":{"amount":"+0.8348298668861389","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":"Q4353718$3EBE049B-ACFC-4BFD-90B4-453AA3AE1575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1026ad1220b5fe7b861a368dd32a416bd96cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2743637,"id":"Q2743637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7566e0f52ade8d162ae25063fb89b8136db29d","datavalue":{"value":{"amount":"+0.8210813999176025","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":"Q4353718$18AB8B4F-93CC-4D30-A404-210C06A7F9AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353718"}}}}}