{"entities":{"Q6987208":{"pageid":21426258,"ns":120,"title":"Item:Q6987208","lastrevid":84014603,"modified":"2026-05-07T23:04:58Z","type":"item","id":"Q6987208","labels":{"en":{"language":"en","value":"Proof-theoretic aspects of paraconsistency with strong consistency operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036953"}},"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":"Q6987208$E035C0F4-B29C-4382-A35B-A486776C4E60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d987177bb9c94ed2e5763b287f7a2f847bc7b2f1","datavalue":{"value":{"text":"Proof-theoretic aspects of paraconsistency with strong consistency operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987208$275C0574-BB01-4F90-A538-7E1B9D8A87C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97d7ac8412db704257281fe7fc8d334c1ca3fa0f","datavalue":{"value":"10.1007/S11225-023-10089-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987208$043F2512-241D-4F85-A729-E4CE426CC661","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ee60af2b2578cd2866232b705b86fab25a2fad9","datavalue":{"value":{"entity-type":"item","numeric-id":6922540,"id":"Q6922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$46B544BF-698C-4520-991B-96EDFE9D8236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c653e58c5090a735660d928d35e93c3cc089e9","datavalue":{"value":{"entity-type":"item","numeric-id":456966,"id":"Q456966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$B0B319DB-B0B9-4F9D-B36F-71D029EDC68E","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":"Q6987208$D4F97DB3-82D9-4A08-B839-0E6A3C0B44AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66f16df79848c88a7e372b53160ab8402dffc7b0","datavalue":{"value":{"time":"+2025-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987208$9175128F-98B1-45ED-9A71-B3FAB08A9533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987208$3301B042-856E-4739-802F-FD14088E2073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987208$94082501-C99B-4669-9604-CD4407662DBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57b193aa6a9ab5277320b06307074789ba395d2e","datavalue":{"value":"8036953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987208$083A1937-E4DC-4D78-A06C-E86E0B6BD889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987208$EA1AD69F-393D-434F-B401-30A4022B1ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987208$76A4114A-C09C-42D6-AEC6-D51460D3CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff26d3df77b2edd88678b6fc8ef17befc2ad4297","datavalue":{"value":"Gentzen-style systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987208$E2C1C0B5-39D9-4751-97A8-646AF0638D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b568cee197b3bc5bd79e27b27edb6122922ae37","datavalue":{"value":"cut-elimination property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987208$9F4CF145-5A91-4A80-9842-B293E353BD8A","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":"Q6987208$D714AFCF-9B1C-4E08-8DE5-85D9EC8897C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"526cbec1d1836fb444191f137981aaa9a33081f9","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$426C2B72-D26D-4975-8C59-DAB8267BF783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$7489B5E9-BDA1-4E51-8EFE-B083CCBAAA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$A06DBD03-A4DF-4E20-A03E-5F53D5B465D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d141967673e58306bbfccf97d9b1ab0aff048b","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$AA74D40B-041D-45BD-8BBF-DC4F85EF1E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a979b18d88eadd73319d7252ad629e71ae60a9","datavalue":{"value":{"entity-type":"item","numeric-id":3386910,"id":"Q3386910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$CB5BAEBF-16FC-451E-8907-F59161EBF13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6f5cef20aabc39fc78555ba1fa7d0afc160bf2","datavalue":{"value":{"entity-type":"item","numeric-id":6189220,"id":"Q6189220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$EDB2B322-5040-47DC-804C-153180A2A516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$18DADA7B-9017-404B-A25E-BE407D56C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$8B041018-D011-4D2D-8813-EDC178564959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$1F2A7C7E-9569-4560-B9C5-BBDABEE603B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74616caa39611ede14f2b9d7a2a8b9d639a8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3149220,"id":"Q3149220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$9C3C4928-4A7F-4B56-B51F-49B120D59F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6eb7711ac7c1134fd9e33fbfc8b9dc4acd77f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5001546,"id":"Q5001546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$514F4A92-541F-444C-A23F-5E1B03576AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$5384C299-35F0-499B-BAC0-9492B71FAA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28ac66a35b23904df7ed0d46606cb0ba887b411","datavalue":{"value":{"entity-type":"item","numeric-id":5728439,"id":"Q5728439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$850E78BB-A651-4F18-9540-E199203512A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b7a123156e801ea9326071f245f480fd277d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4847373,"id":"Q4847373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$8E760812-9C6C-420D-9225-D0E1A2E213A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273b7f345f5313db6455100ee68cad7650f3e8a1","datavalue":{"value":{"entity-type":"item","numeric-id":2062196,"id":"Q2062196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$59AD5898-3FC2-470A-B7A4-D62B72BB4A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d8fa501c7446af24ecf37c69b09ddbbdb7a0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3744152,"id":"Q3744152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$FD5C2443-9347-45C7-AD03-AAC081283DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987208$02E42B86-513A-45A7-BED1-F1EF5E08F3AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic aspects of paraconsistency with strong consistency operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_aspects_of_paraconsistency_with_strong_consistency_operator"}}}}}