{"entities":{"Q4644534":{"pageid":6674115,"ns":120,"title":"Item:Q4644534","lastrevid":53313512,"modified":"2026-01-24T17:18:34Z","type":"item","id":"Q4644534","labels":{"en":{"language":"en","value":"A Lindstr\u00f6m-style theorem for finitary propositional weak entailment languages with absurdity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997947"}},"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":"Q4644534$AFBD3387-0A0A-4557-B2E7-ADB59A266D6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9843cc2186cccd8447e752c3ca177f26f9c8527","datavalue":{"value":{"text":"A Lindstr\u00f6m-style theorem for finitary propositional weak entailment languages with absurdity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644534$3FEBE5F4-05FD-424B-8178-6B6F60BA0A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e015776df51b85f7a35fe3ded02f77440aa994","datavalue":{"value":"1405.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$6308338A-2E0E-414C-B5D3-75530704BB71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644534$CB4F645E-F6F2-4547-B9EA-C0C32B6C5419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644534$40D9BE84-6DC5-4879-AEAA-C670F4BE9093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$8A636A20-3381-4942-BC7B-91A70C936A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$94D79871-4C9C-433E-A54A-C1EB666EBD39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8754f6f15598043ca6d8eabfeb10242e12700b51","datavalue":{"value":"6997947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$AEF9D1B6-4C3D-493E-9799-4DB3092D524D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644534$9FC129F8-9ACE-4674-8B90-FE0A0F26CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c850a4f5bead28a806a6fde0408f6e700570fd74","datavalue":{"value":"Lindstr\u00f6m's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644534$30811457-6A3D-4C63-B7D1-790845D6941B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644534$5C8073D5-C34C-47A2-B6F8-06C20C84D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644534$B89271E3-C2C8-4778-B60A-76EB9D451E90","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":"Q4644534$5D5B43F5-51ED-4802-8EBC-D29381C76C4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737bfb9b2d6c37b862edf286cb356fabd58965ad","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzv054","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644534$567B1F10-C1A1-4B95-B8F2-4CFEDB3C327D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40fe4be482344e944e516a590abb825ec3886335","datavalue":{"value":"W2310420097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$F2FD5515-4B0A-4E6C-A5A4-28CE4EE35FE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f5658a31a70b72923efba251ab235794112728","datavalue":{"value":"10.1093/JIGPAL/JZV054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644534$18E9FFE7-AF60-46C4-90B9-EEE12869852B","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":"Q4644534$79385482-D077-4F66-AD4B-F8046EC05928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccacd66f161aa9eb5eb7782d7872e79bcce829af","datavalue":{"value":{"amount":"+0.7678532600402832","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":"Q4644534$00243C6E-564D-4411-9601-AD2BB59ECA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00b9bce770f679259bdd227ff28e1ffe1a1f427","datavalue":{"value":{"entity-type":"item","numeric-id":4600823,"id":"Q4600823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5462c8bf222501d39321a5d8b4b9a64479e68493","datavalue":{"value":{"amount":"+0.7477133274078369","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":"Q4644534$65C5217C-5454-4FAD-BFC5-572C3051C8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2409a040f80dc645b66ae6ce44b3058410ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":2219166,"id":"Q2219166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eb603aa0b361c6d433dba02e42785ca0c2cd01","datavalue":{"value":{"amount":"+0.7383633255958557","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":"Q4644534$3BCEFF03-B572-4D12-BF49-4F2CDA00FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc999c2fb46b35ce5f13d2d59e5451b394f64d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2176405,"id":"Q2176405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab283819ec12198899c5644512d55f2f95f633c","datavalue":{"value":{"amount":"+0.7326003313064575","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":"Q4644534$145DC24A-7F1E-4E2B-9E5E-B632CEBC92F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb23667027bda68b0fad9cf34274d3336e062bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2392014,"id":"Q2392014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db80c2249d776d4e4bd1d4686d8266da9cb1e2d1","datavalue":{"value":{"amount":"+0.7270923256874084","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":"Q4644534$925B65B3-B885-408E-BC90-ED7E90931659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644534"}}}}}