{"entities":{"Q800907":{"pageid":802755,"ns":120,"title":"Item:Q800907","lastrevid":64472232,"modified":"2026-04-11T20:06:34Z","type":"item","id":"Q800907","labels":{"en":{"language":"en","value":"Subject-predicate calculus free from existential import"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878890"}},"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":"Q800907$25B6C6E1-A63F-4CD5-A0C4-757E35D6504E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6d019be47fe7fae6c020294e7e5fa1654d12923","datavalue":{"value":{"text":"Subject-predicate calculus free from existential import","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800907$85BF0582-938E-4A23-8901-8C1B6A200647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc272177d5fccd4820a316414ae458df5ed9abd1","datavalue":{"value":"0552.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$7BE8F042-CBD0-4A85-B130-433E3379BDD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da6917d0571f72bb25b9b57ba1b78e6de28da16d","datavalue":{"value":"10.1007/BF01063841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$757F0C29-340F-41AA-9A7C-BB03382E002C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2e0d07d7c49e09964f62900de635ce0b09468e","datavalue":{"value":{"entity-type":"item","numeric-id":800906,"id":"Q800906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$A6E40891-F277-42DE-8631-F833423F8B6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$49B2C356-2843-429D-AD0B-A6826779F877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800907$93670064-2BFC-4CDF-B430-546613DB99A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af9f1520c4e1fce335e9db0fe0428f487e2b4d3e","datavalue":{"value":"Classical predicate calculus contains essentially but one category, namely that of predicate. The calculi constructed by the author, on the other hand, are of a different type called subject-predicate. Involved is a syntactic category which is unusual for predicate calculus, namely with general names being used at the subject place. Two such subject-predicate calculi, with equality, are presented as systems of natural deduction. Both are free logics allowing interpretations on impossible objects, or objects which do not exist in a certain ontology. First-order predicate logic and certain of Aristotle's syllogistics are shown to be definable within the presented calculi.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$F48623D0-83F0-40F3-A863-FA3F39D56238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$077286F6-5EB7-4F69-9D5C-7C2BA2F53D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$4ACCE64C-AED5-4D29-BC4A-F487EE8DC2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$BBB77CD6-12C1-45C6-AC2D-970D0A37760F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef177cb08e3856b2ee9921c899a09c3e75e4b9e7","datavalue":{"value":"3878890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800907$EC6246E7-20A5-490D-8978-B6D1256168C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4ded29be0aba8918767cbb2d29c549cbfd1a0d","datavalue":{"value":"subject-predicate calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$6CE5656B-335D-4800-BFC3-C2D7E9F2360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e768ec71dc7ed6993bc94fa5e44d37a941ca5aee","datavalue":{"value":"systems of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$04E582C1-C0D6-4979-BE5A-85364DCCFE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1fd5c07cfab1ba57cd37f7e8ff2ee315a225b2e","datavalue":{"value":"free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$8AAC8422-C8E5-45B7-8A7B-41F4E43D3E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d9d531166e3c5bd5645a0f2ff24fccd0c6fe921","datavalue":{"value":"impossible objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$7A1BA791-C14C-4D36-BE0B-184BE7A70CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312cf2691a206b8aa2255ecfa8b1b8cb30c200a6","datavalue":{"value":"Aristotle's syllogistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800907$E0936CB2-D41F-4423-BCAB-499A7020605E","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":"Q800907$055DB3E7-632A-404B-916C-4C49681283F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d373efae314b41012467b04c4f63f33df01c09da","datavalue":{"value":{"entity-type":"item","numeric-id":2532384,"id":"Q2532384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$10D06E93-EFBC-4BE4-922F-3621C251C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e636b690882509d3daf2f5a0072262358b794beb","datavalue":{"value":{"entity-type":"item","numeric-id":5821420,"id":"Q5821420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$285A6A53-4004-4C0E-8FA1-4AB08DD8526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77adf76210e4d3672cf776c66381565952566c99","datavalue":{"value":{"entity-type":"item","numeric-id":3249762,"id":"Q3249762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$E418EAEB-1B53-4728-A76D-7D7A71F40900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec969e15f2a79728de2dcd3c8caeaf6e3e0a8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":2538113,"id":"Q2538113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800907$E6E323B2-48A8-4DF4-AC47-01C2427E7DD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293755e2cf5c005084766b90196a9eae528bf495","datavalue":{"value":{"entity-type":"item","numeric-id":1072539,"id":"Q1072539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e7d78f47efb5d05a4d36273e30158bf18d7ea2","datavalue":{"value":{"amount":"+0.8835441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$A881913A-CD47-4E32-A3BB-81FF66EB5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5845ed18e0370238d6e3595304b52dd55a6036f3","datavalue":{"value":{"entity-type":"item","numeric-id":5207920,"id":"Q5207920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c39766f417a6a4c82c083514d8829bd05aa967","datavalue":{"value":{"amount":"+0.87394875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$57233D87-F9E3-44D2-8B2B-5F4D283F4C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa027ea21d130aa3a405e3297fd1482b2b029b6","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb21a36e8c515f1a5040e9d7678f288b492b863","datavalue":{"value":{"amount":"+0.8645612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$EA6E17A0-3D54-4E10-A055-1381A80978C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a33953f2cd64852a4d06ecc407eced83923c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3985544,"id":"Q3985544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f4defc844e2b9038ad8f06ac9d15d22bd62390","datavalue":{"value":{"amount":"+0.85935855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$75E9583A-FECF-48A9-918C-EF6AB260DA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b52001fddbd69d8763a8bfb39b57f6600902687","datavalue":{"value":{"entity-type":"item","numeric-id":5115855,"id":"Q5115855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacdd9da06f4d6146df0d8c3bb41e7c42de099f4","datavalue":{"value":{"amount":"+0.85330427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$210A58A9-50E2-40F2-B818-8AF927983B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32926ffd910d3d883ed2b8267b06322a580f7630","datavalue":{"value":{"entity-type":"item","numeric-id":1325777,"id":"Q1325777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2655dba3c33642a45c99fd7c4b14875792c883e2","datavalue":{"value":{"amount":"+0.8515984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$231541F3-53F9-4715-A638-21C5A7712FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5760ed96f5598ff9201be02c91f4af724db840b","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2603dcfaf17f852d1ce6acac34a1cec709284a3a","datavalue":{"value":{"amount":"+0.84815085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$24FE244A-A536-49C5-9F58-5D1EE922EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c349a65bcbd14f1436fadc43658f4e3f78fad84d","datavalue":{"value":{"entity-type":"item","numeric-id":636359,"id":"Q636359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61d1645769e9ce621b3bff44b9e2b3abc9dd5fb","datavalue":{"value":{"amount":"+0.8480543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$105BA4D6-1C62-4808-A95F-24066B938DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8459b0464c9ddb2940566e3eb7431e5940abe8","datavalue":{"value":{"entity-type":"item","numeric-id":4793389,"id":"Q4793389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc30194e329cf844453c22a31fdf7b0f644f2f9","datavalue":{"value":{"amount":"+0.84366655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$00636FF5-5B4B-4635-894B-493178580A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10fb58723d6ac4f8a71cafd2665d9baf8c93bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2271986,"id":"Q2271986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34bb77b8ad31d5f3346925d4ac505e03107e1015","datavalue":{"value":{"amount":"+0.8420261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800907$1F1CE092-6A5E-42DD-8388-001605F305D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subject-predicate calculus free from existential import","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subject-predicate_calculus_free_from_existential_import"}}}}}