{"entities":{"Q4644567":{"pageid":6674148,"ns":120,"title":"Item:Q4644567","lastrevid":53313458,"modified":"2026-01-24T17:18:33Z","type":"item","id":"Q4644567","labels":{"en":{"language":"en","value":"Uniqueness of axiomatic extensions of cut-free classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997978"}},"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":"Q4644567$728D7550-107A-4AC2-884C-C03B9D8A6952","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cb6ee65afdfa885fcab88e292ca8f531e11b755","datavalue":{"value":{"text":"Uniqueness of axiomatic extensions of cut-free classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644567$7C9EBC28-5FEB-4A83-AAEE-134CC1F472B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f097b2e93ff175081e5b6a164c5740c461b4c3dd","datavalue":{"value":"1405.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$D59EE035-DCF8-4B88-BF56-1A3D8F7A0884","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644567$A70F791F-8FCB-46FD-AE86-E1323C08400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644567$E8679212-479E-452F-9F7D-CFF3DFB5C01D","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":"Q4644567$3F394767-E7DC-4A8D-9D8E-A93525F10F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$8229CEDA-9096-4CFA-A265-B19E5F5C15E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$4B028AB2-B25D-4138-A168-986D89BFCFE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d086063c9fea88a65b12aa71f0724c16e71c2496","datavalue":{"value":"6997978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$BBD892CC-F18F-4AA7-BF68-73AE29103642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644567$285CFE50-BA81-4D7C-8EF2-BFF6F5B32375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e91ffc3e3a14b66efe80e24d5dbe93dc3b1c921","datavalue":{"value":"axiomatic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644567$4C280F6C-2322-45ED-914C-7D8D73CC6FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7accdc2e6f0811642ac05e130add52887ad530","datavalue":{"value":"logic of pivotal assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644567$64551590-F252-48EB-A26B-FBF14E8D5003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86fc0f12dc1100db30b24ab7c40fd82f6bf5820","datavalue":{"value":"cut elimination with proper axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644567$32448440-054F-41F3-9819-9D39A3F3F6B7","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":"Q4644567$8920CD83-0E24-4F26-A8D2-3F868762091F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c86bbe91cf7fe5c943d003090fd18aaef2c100","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzw032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644567$1F9A8E66-4666-4718-9826-5276340C43BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6b7edc31d695d143f216a461bf6ef0c388590a3","datavalue":{"value":"W2465968278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$9DEAAA2E-9B00-4876-B706-8FA73A3B56AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54a3b8e7735d3d260784f679acfef03e8530a6d","datavalue":{"value":"10.1093/JIGPAL/JZW032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644567$6AC9CDC2-C6FF-4688-A0BA-9AAC683D41B7","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":"Q4644567$43E6249C-3D0D-49AB-9F6E-D59AB5D0B078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98afbdd1189674164dd931777f044d723a31844c","datavalue":{"value":{"amount":"+0.7540138363838196","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":"Q4644567$329B02D3-0004-4D98-87A0-D7FCB70E893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02143ec1e8a84ac534419747fa9b81d46555c3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3435246,"id":"Q3435246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d257fe22345034d3640f4c2721d5c5570fb0d65f","datavalue":{"value":{"amount":"+0.7432806491851807","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":"Q4644567$EFAAF70B-672C-4253-804C-8C8DFEFBC2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3b44a8023a3526ec14efbc1e3efab7c352f75","datavalue":{"value":{"entity-type":"item","numeric-id":714731,"id":"Q714731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f69a02293bfc7aed933821e3edd14cf7bffd9d","datavalue":{"value":{"amount":"+0.726714015007019","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":"Q4644567$7B47E5A6-D92E-44F5-A588-0ADA618B0D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5743f304f22371d6397313469370e2406425f7","datavalue":{"value":{"amount":"+0.7264847159385681","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":"Q4644567$2653D9D0-E8A6-485D-920A-A57C1597A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f540bdffe0095e9baf1939e013afb8201a07ec5a","datavalue":{"value":{"entity-type":"item","numeric-id":5292628,"id":"Q5292628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f38e9dcf440b336730306d36a3f0ef82537b111","datavalue":{"value":{"amount":"+0.7226294875144958","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":"Q4644567$7135865B-C3C5-4443-9A43-E4FE434E41B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644567"}}}}}