{"entities":{"Q3086706":{"pageid":3097421,"ns":120,"title":"Item:Q3086706","lastrevid":51217721,"modified":"2026-01-17T07:20:31Z","type":"item","id":"Q3086706","labels":{"en":{"language":"en","value":"On the proof theory of \\({\\mathcal{ALC}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872203"}},"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":"Q3086706$27FF0643-477E-49BF-801B-2E43C6577739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283cbeca93794539ca5fa3dc7c94a1e3b1ac2bc9","datavalue":{"value":"1227.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086706$D35F8648-225C-4B5F-9D4C-C27B3E7C412A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086706$3399BCEC-D3F3-4721-8FF8-0CDB2FBF9BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086706$724BBD35-1964-426E-9C31-CA7DB574E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086706$DEED956F-A942-4244-996A-9098FD39CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086706$FF4FD1B8-2A0D-41A3-A13E-028E01193822","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b658678f2cf1c9013ecaac6a71d33985095e95b8","datavalue":{"value":"5872203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086706$3E6FF290-76E9-4C6C-9DC7-8958406FA026","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086706$1B1295BA-F00F-48A9-BEB7-43426A5B176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086706$56591874-6D06-4FEE-861D-1DCBC1CA9062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086706$CF6C064F-B258-49D6-8B30-1D9D52F9FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2479ef18bf845fb7146a7863869d98563a8b750","datavalue":{"value":"computational content of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086706$28D9D8E3-8E81-4532-A1AD-2F555A8E22CE","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":"Q3086706$009A836A-A71E-4423-82B9-0C8777491160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc012b6d289570877d1ea73923a063d5d34e572f","datavalue":{"value":{"entity-type":"item","numeric-id":5389920,"id":"Q5389920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfecf8ee81dc83548ff2e361481205be5a0e3ca8","datavalue":{"value":{"amount":"+0.8350116014480591","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":"Q3086706$4AA44C81-433F-4E32-945D-7CF9FC4642EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd0678cfa489d9822de117d644f5352647c786a","datavalue":{"value":{"amount":"+0.8346743583679199","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":"Q3086706$EC17B875-3BE0-4054-BC7E-361624951F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bf389a62a5290a3181eb0ddd2a7709d9f71627","datavalue":{"value":{"entity-type":"item","numeric-id":2814524,"id":"Q2814524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c53e3f51f8cfc0f25fef58d6b6e7b727b51e5e","datavalue":{"value":{"amount":"+0.7581249475479126","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":"Q3086706$20DBF579-7860-43D5-A1F0-8C5BBE185FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7159edf1302f2f95693fc0f94f231850d654a1","datavalue":{"value":{"entity-type":"item","numeric-id":2901214,"id":"Q2901214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e77aed32af83555798115af4b9b13db4953c5","datavalue":{"value":{"amount":"+0.7533012628555298","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":"Q3086706$C1742489-249C-4D64-879D-9390DD836F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddceffef521eb772ddc0abc9ed568ceef32eddc","datavalue":{"value":{"entity-type":"item","numeric-id":2429984,"id":"Q2429984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab454f3a1c5d43e367900e16e0ab34a68ff028a7","datavalue":{"value":{"amount":"+0.7362419962882996","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":"Q3086706$1C94804A-96B1-4FED-AA7D-07D77E0BA9DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086706"}}}}}