{"entities":{"Q598315":{"pageid":600091,"ns":120,"title":"Item:Q598315","lastrevid":77987690,"modified":"2026-05-06T10:30:55Z","type":"item","id":"Q598315","labels":{"en":{"language":"en","value":"Foundations for the formalization of metamathematics and axiomatizations of consequence theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083201"}},"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":"Q598315$B9A6FC4D-B8FE-4152-A243-0F862F17F3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"458c25f96d7d7de2c470d168434c2fb00fbd140f","datavalue":{"value":{"text":"Foundations for the formalization of metamathematics and axiomatizations of consequence theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598315$2B7BF349-5284-4259-8981-2D4FF4946BA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bebc214cf4db95f427f658bd1cf57b5477a2cddf","datavalue":{"value":"1060.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$69C18545-FA6C-43E2-B2E7-620794C9A2C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f47e90f3df871e4ad42b30f4898f4b5eedc3d8","datavalue":{"value":{"entity-type":"item","numeric-id":346764,"id":"Q346764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$2DA78C2D-275A-41AC-B4A7-19087BC3DC17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$4660E2C3-4B74-4682-A3DF-38902D11BFE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598315$FF058727-E3F4-4497-A8DF-45C043164A50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97f7e90e37edfed04e03f6fccebffa1ab954cb35","datavalue":{"value":"The paper under review deals with Tarski's axiomatic presentation of the syntax of deductive systems. The main part of it is a survey of research on the theory of deductive systems initiated by Tarski. In particular the following topics are presented: the axiomatization of the general notion of consequence operation, axiom systems for the theories of classical consequence and for some equivalent theories, axiom systems for the theories of nonclassical consequence. The results of Jerzy S\u0142upecki and people belonging to his research circle (among them of the author herself) are also taken into account.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598315$AEC4C66D-1B2B-4165-8991-62EB70A16B2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$C4E242E3-3AB8-425E-AB19-B90D996990F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$5D2318BA-87AB-40BA-92E7-1EB211CA0AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$4BE51053-8288-4045-85CC-706D6878A3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$5A6EEB76-11BC-4039-A868-3746609AE53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$21D0891E-80D3-4E84-9F4C-1B9160276BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e424c1000e5aa7a4bd1b700da28fb7d7285fe36","datavalue":{"value":"2083201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$EF870CEA-82C5-42CB-9EE8-6FB24013C78A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f67b728f457f224801fa2e1bd65660e8cdcd81","datavalue":{"value":"Formalization of metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598315$62930B8B-1AB7-4F69-A342-6A9A897BEF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccce5633bf0c49bbec0edd1e4f7d5b0ed91867eb","datavalue":{"value":"Theory of deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q598315$7918659D-E24B-4382-A0F3-BEB93331D399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd6237ca3709b20170c9e2812dd393346af6ef5","datavalue":{"value":"Classical and nonclassical consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q598315$7BF3BBB7-EFBF-4795-B14A-D07CD8A1A1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25cc4de9baadf1356e7381d00bf65e384a73b2b4","datavalue":{"value":"Rejection consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q598315$36623A4D-1346-4E03-A8A7-BDAFF86273A1","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":"Q598315$59BF6C1E-F431-4A4D-8C62-C519F07C479E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b54457569e2200f293a76b40b470a3e1d154778","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.11.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q598315$9F35DABE-DD92-4581-B8DD-2104F9A21F2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78bc3fb9894717889f086cc43cd76142c3d0682a","datavalue":{"value":"W2019063278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$218EEB9A-670D-4B10-B056-A5F30A86D4B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dffc8b302101dc5869feae9359767dc62c1241","datavalue":{"value":{"entity-type":"item","numeric-id":4175270,"id":"Q4175270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$E19669E9-FDB0-4D63-8FD4-2614D54DC4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfd628b5a8c4a68f71c297d82cbfc04e252a39e","datavalue":{"value":{"entity-type":"item","numeric-id":5839915,"id":"Q5839915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$DEACF31E-7F1A-4B47-A262-44121FDD8BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1944c6bbab69f3aff2b85b27f4281c352c943c60","datavalue":{"value":{"entity-type":"item","numeric-id":4382640,"id":"Q4382640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$781BA8F9-978C-487D-928C-634159080D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266feae126fa0eb8b863102d973b19103095946e","datavalue":{"value":{"entity-type":"item","numeric-id":598296,"id":"Q598296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$0138053C-76B6-46E7-AD62-7F64EC5AA740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$2C8ED808-F914-4FE7-A2E9-EC5D99C94000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$DF3A89A3-FA43-4A38-A006-30181A16AF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c31c40c0c1eaab655c0e20de3d2f8a2527ce931","datavalue":{"value":{"entity-type":"item","numeric-id":5831318,"id":"Q5831318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$1257D6C2-A6EC-4510-8106-62FC85B57BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"306d349a9d1a767cab51220d119f3075ae421bca","datavalue":{"value":{"entity-type":"item","numeric-id":2394917,"id":"Q2394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$BF57D317-C134-4CFF-9D7B-9C6F51CF991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b6626efbb32314ee03cbc7bc041c4dd4d33f68","datavalue":{"value":{"entity-type":"item","numeric-id":4484080,"id":"Q4484080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$28BA76BA-ACD5-4951-83C7-406714C145B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3e796fd2e8120d999acaa240d4d3243776394","datavalue":{"value":{"entity-type":"item","numeric-id":2557697,"id":"Q2557697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$5D096D0D-CD17-4667-88F4-91864601BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d5ccc5639f62e395f4e60c311fe57704ba496","datavalue":{"value":{"entity-type":"item","numeric-id":1843431,"id":"Q1843431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$E3E8A533-8210-4800-8906-77C7ABE8FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dacbb0a7fb6208f94ecd005372b9c71b53486","datavalue":{"value":{"entity-type":"item","numeric-id":750411,"id":"Q750411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$A5C76116-F3F5-46CB-A007-7BB3E5F93388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd40ddfa45b7295d3eb7ba27df91e27e97fca5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4060958,"id":"Q4060958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$EBC70CA1-AAB2-460C-9CE2-D03BC9ABE950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc97e654f437ca650f058edb61ccaae23731191","datavalue":{"value":{"entity-type":"item","numeric-id":3907119,"id":"Q3907119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$6BA9F9AD-2E75-41AD-AA41-6E19E474C1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef75f292952dd108466516160ec37ce2e0f3f73","datavalue":{"value":{"entity-type":"item","numeric-id":1299763,"id":"Q1299763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598315$A469CF93-2D99-4E7D-8D84-03FCC3133421","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"006e1e7f1e3a111b13f818c195938e75712f4ed7","datavalue":{"value":"10.1016/J.APAL.2003.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598315$46EED742-BD6F-4D01-866B-0BBE32E2EBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862fa1240ca7b4fab391714248b37969fd914e84","datavalue":{"value":{"entity-type":"item","numeric-id":2422532,"id":"Q2422532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab138f86bb9f2ff02f3dd8b9f4fa5e61dd900ce7","datavalue":{"value":{"amount":"+0.7635276317596436","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":"Q598315$7B490D91-EDCE-405D-94AE-85D8A0649899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e4947e2d98e56a9a49fdbe9b9e25d5e6b2c4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3795645,"id":"Q3795645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56954f679395fbd5ded8debad23a96d92b577ecd","datavalue":{"value":{"amount":"+0.7396436333656311","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":"Q598315$9DCF8A13-34B8-4251-88F6-A888F5617846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b364f77a99df9160eca23935f68ee837ade7f90","datavalue":{"value":{"entity-type":"item","numeric-id":1820770,"id":"Q1820770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d2e376f97ffc9f26b4f8b61e80acb8eb2c1aa7","datavalue":{"value":{"amount":"+0.72478848695755","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":"Q598315$5357EAE8-5D6D-4722-A1C3-027675E9ED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af1943f2a8191776c01313f180517cdbaa0abef8","datavalue":{"value":{"entity-type":"item","numeric-id":3815278,"id":"Q3815278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d81d76217381273f9e8b3656afdb6d49eb85b8","datavalue":{"value":{"amount":"+0.7109684348106384","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":"Q598315$060C79DE-5B92-430A-8040-78F9C869619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81b2e66aeff25b52dc922ba21c02e8b6ee19b6","datavalue":{"value":{"entity-type":"item","numeric-id":1941723,"id":"Q1941723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1850acd8fb6c483d2745829211aa981b1f202f","datavalue":{"value":{"amount":"+0.7025400400161743","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":"Q598315$6B52C788-DD84-4B89-B7BE-E2577E06E3CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations for the formalization of metamathematics and axiomatizations of consequence theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_for_the_formalization_of_metamathematics_and_axiomatizations_of_consequence_theories"}}}}}