{"entities":{"Q558729":{"pageid":560496,"ns":120,"title":"Item:Q558729","lastrevid":62735712,"modified":"2026-04-11T08:06:47Z","type":"item","id":"Q558729","labels":{"en":{"language":"en","value":"Reduction and Tarski's definition of logical consequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187139"}},"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":"Q558729$89D6706D-5DC9-4909-A8D0-C4C0A3FD7035","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a39533dbad8c1e27cffcd8937227f2dd4c9166","datavalue":{"value":{"text":"Reduction and Tarski's definition of logical consequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558729$4055CC39-5A09-421D-837B-F3A951AAEBB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9828b5ea8fe9f2080e9a8e4ff5d04bfd2027bd2b","datavalue":{"value":"1071.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$9AF9BE20-6FF6-4F43-9A18-946D6671EE11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"588252c5b89640d015a8cfde2aeccab08bb8a7e0","datavalue":{"value":{"entity-type":"item","numeric-id":558728,"id":"Q558728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$1C694A9E-B672-4541-9F97-C75BB48A957E","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":"Q558729$3B925832-FD75-45DD-BCFC-E0551CE7A29A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558729$28A381B9-7384-4B83-8B56-1BC8495D37AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$67ACB64D-972C-4CEB-AAED-2DBB694AD747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$29A92EFE-FFA2-4E93-B9BA-90AD4C0D4E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$B7FF735C-09FD-4708-B26F-578B22AF9404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1abf4257e88547f47c614cc309b7d11a6c8ffc52","datavalue":{"value":"2187139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$87DA3117-51C9-4618-8B19-BC21F9F64737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q558729$F27E220E-0282-4CE2-A1DE-39AD1E0BB25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q558729$7CF91706-625A-440F-9A13-A65C40D59B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q558729$2F024D72-6924-4C4B-9EA4-16473B0C17DD","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":"Q558729$8B9DF774-4351-40A9-B446-FD06F3A12A65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d56986eae8031fe96011715ce9036d1a5e84a0","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1082637614","type":"string"},"datatype":"url"},"type":"statement","id":"Q558729$DFF79BBD-E9D7-4AF7-BA3F-C48C9B754D6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74ea0ec2b5b29e8c67daf89e61e62bc1cbb168a9","datavalue":{"value":"W2088010675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$30FF91CA-D231-415C-9578-41EBC9D6730F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dba7f6ea2d1cbf7caf90cbfef2658dd14cd6b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3787969,"id":"Q3787969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$3C2DE39D-F65A-49F1-8522-0900F6CB13CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7bd199a472b4ba0ffc305b99b3f2c097fd070c","datavalue":{"value":{"entity-type":"item","numeric-id":4001483,"id":"Q4001483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$087B6983-A6EF-4620-99D0-E608DBB44FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$C53278B0-9166-41DF-A846-9F1F8C11460C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf09916eb5e3174350343d62a3f8105b456c938","datavalue":{"value":{"entity-type":"item","numeric-id":1924334,"id":"Q1924334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$17D8052D-C83C-480D-8346-F8BB2613F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daa73201e6b2c8db1fc9d936e77b5c073bcd3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5571677,"id":"Q5571677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$10C683CE-AC29-40CD-BC54-6763BCB7616B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$A9A469D3-3470-42F2-BB58-950806E80C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$D27C55B9-EAB6-4148-B9F1-8F8D33C26581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962fe75c00c209fc0d424b018cf57a62a81ae92d","datavalue":{"value":{"entity-type":"item","numeric-id":5779170,"id":"Q5779170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$173120F1-96D0-4F58-8709-7FA2177EE095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32699cd0a7711c981c20a75aa6c7b5a6208cd68","datavalue":{"value":{"entity-type":"item","numeric-id":5579018,"id":"Q5579018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$5D74A3E4-3CFF-4ECB-9FF7-62660765C602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558729$8DEE05CC-282B-4717-85CE-716151C81E12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5acc2662041c4f695e7eeb167d471fc4df2ce75","datavalue":{"value":"10.1305/NDJFL/1082637614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558729$9A2A434F-5ADF-4AB2-91A3-C93DAC921144","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4717bd5b87af4ef96b93a487527c0c72369a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4359527,"id":"Q4359527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b1588115b4c338e71fc45d605ee2bdf4eba0ef","datavalue":{"value":{"amount":"+0.8112571239471436","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":"Q558729$BB226DB8-A321-44DA-A843-A9356E130C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3213eec23145860a90525582bab6b1cd7b8fb9","datavalue":{"value":{"entity-type":"item","numeric-id":1924334,"id":"Q1924334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0efbe2dba41f52b8382c170e2904d1e3b286fc5","datavalue":{"value":{"amount":"+0.8085741996765137","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":"Q558729$DAB7A61C-53BC-4EA0-B107-E3F1A0352223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc27be53f23cfd27ecd1c9d796717966b1b398a","datavalue":{"value":{"entity-type":"item","numeric-id":4329516,"id":"Q4329516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d8ecf234c048be74c5830f05703fb75de6331f","datavalue":{"value":{"amount":"+0.7981657385826111","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":"Q558729$A2568078-65DF-4F45-BC67-5B52AF1C1813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ecc85f9e93570c8c2520242fcd70a103b2b494","datavalue":{"value":{"entity-type":"item","numeric-id":5436709,"id":"Q5436709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d8ecf234c048be74c5830f05703fb75de6331f","datavalue":{"value":{"amount":"+0.7981657385826111","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":"Q558729$930CBD72-AF11-467C-BF0D-586776666BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377ead84fa7fa46a45a08b22d95f438867eb8b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3620353,"id":"Q3620353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4076f06ff58edcc53e885e2d42358193e2b11f","datavalue":{"value":{"amount":"+0.7917839288711548","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":"Q558729$60686134-CD23-47A3-AF64-762C4679B901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction and Tarski's definition of logical consequence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_and_Tarski%27s_definition_of_logical_consequence"}}}}}