{"entities":{"Q1103601":{"pageid":1114353,"ns":120,"title":"Item:Q1103601","lastrevid":67000512,"modified":"2026-04-12T14:15:11Z","type":"item","id":"Q1103601","labels":{"en":{"language":"en","value":"On defining sentential connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053559"}},"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":"Q1103601$7D7CB0F0-E4B6-486C-8FEA-199194EC4DA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2a1f304999f841465a3d0699633bc3b0f3ec89e","datavalue":{"value":{"text":"On defining sentential connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103601$A9247F0D-BF1D-4E7D-A624-64E842B8DF96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455708aa8bd545635ce12a5c4330406b5b9d508d","datavalue":{"value":"0646.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$452DBF49-B379-479D-865C-B9F698976AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56b14ae491ec232029ebaf2f4aeeb5f60a35b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1103600,"id":"Q1103600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103601$E5E33479-8B44-4370-9306-B8117A2AB2D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103601$2B7FCE3F-4D2C-40DA-BFC7-38675E4464D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1103601$80C49C24-55C4-424F-B984-C78A4717B541","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64ae890aba66361c1a7854a32fdea0dfeeb36c06","datavalue":{"value":"Le\u015bniewski style rules of definition, traditionally, allow introducing definitions as material equivalence within the object language. The author points out several limitations in using such rules, and offers a rule for defining connectives (an later - for predicate and function symbols) which has a wider range of application. This rule requires definitions to be two-way inference rules, schematizable in a certain sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103601$001FAFD9-F066-48E6-BB3E-A257C3CC6F70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$1E7DD033-922A-4F6D-8072-0142B14E2FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$20F48E41-EB12-4921-926C-CC9AC99A21FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e49f654c10632264582a4eb2c285d9ad492b36d","datavalue":{"value":"4053559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$FA6B2A41-7595-49E1-A030-68D177943575","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5142909d24ee812f85170f49f96eacf5d37cd8","datavalue":{"value":"Le\u015bniewski style rules of definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103601$74BF3FDD-124A-4AA6-8E2F-77ABA8B5443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1dc3b04cc2875711501bccef88f0a8eab2ac0ed","datavalue":{"value":"rule for defining connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103601$77F06D39-6EE3-4C49-9C74-F59811515E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afdb02b1d7a74cfc0395538ef84ea884823e3ce3","datavalue":{"value":"predicate and function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103601$05C97206-A5B0-43B3-8A1C-A8BE39F67CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138e792a4cb4eb6d1405ace713436aff13b5d8e1","datavalue":{"value":"two-way inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103601$F9DCC279-F1BE-4096-A160-68E6D73A6D5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103601$7F4BB02B-262A-4613-BE73-BC83A77C2031","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":"Q1103601$3893CA7C-72BE-4C33-883B-9D0C0DC5B625","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72eb11aceaf3694157f80ace8b6aca9bb2f593c6","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636938","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103601$9555B3BE-7BC8-4622-9C26-D7F1723B8B76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7bd4318263ce1cae4315d5e1a9b0c8096da03d0","datavalue":{"value":"W2034335483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$208A8B7A-1967-4A0D-B795-F4DD9D355AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c656f7fd31fe1dfa9e25f9b2cc3931d4d9949404","datavalue":{"value":"10.1305/NDJFL/1093636938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103601$9C088714-4D11-477F-9241-E0EDB6ECFF5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02c447893dea9004bbde7f6d4d6b3b6d313faac","datavalue":{"value":{"entity-type":"item","numeric-id":3411999,"id":"Q3411999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c361814b9f85f665b7cdd6f813d98a78854c49d","datavalue":{"value":{"amount":"+0.7485977411270142","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":"Q1103601$85A7C9FA-C933-4295-80DD-DFB7870DB8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309a3e92aab6ec161ef563e632cd9c526d34fe0b","datavalue":{"value":{"entity-type":"item","numeric-id":1989980,"id":"Q1989980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b1b1e4b5437d61cca703be5ad889afd9f75d7d","datavalue":{"value":{"amount":"+0.7196319699287415","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":"Q1103601$84BA383E-419B-42A9-8488-54A04B051A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28853bf0c732c6ee45d06bebba226da46f0d5ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5250317,"id":"Q5250317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2af6eb5403f365cc859bb4eb2b1ad4a18ebe6c3","datavalue":{"value":{"amount":"+0.7145662903785706","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":"Q1103601$3C680877-94C7-4ED8-8730-DB3027047143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623b8cd46c75a55c623eea683afa6bf9ac967bc2","datavalue":{"value":{"entity-type":"item","numeric-id":5939995,"id":"Q5939995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c82d760366edfc5be70c0398799d370aba11097","datavalue":{"value":{"amount":"+0.7127587795257568","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":"Q1103601$1BA39788-CA81-4330-880C-7836D9D015CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b258725ce7b2c3c98f6e60482d11b867696b5daf","datavalue":{"value":{"entity-type":"item","numeric-id":3141184,"id":"Q3141184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c82d760366edfc5be70c0398799d370aba11097","datavalue":{"value":{"amount":"+0.7127587795257568","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":"Q1103601$D4B4FB00-1E82-44BD-A268-885F8BEB8FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On defining sentential connectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_defining_sentential_connectives"}}}}}