{"entities":{"Q2455258":{"pageid":2466001,"ns":120,"title":"Item:Q2455258","lastrevid":72725829,"modified":"2026-04-14T07:04:59Z","type":"item","id":"Q2455258","labels":{"en":{"language":"en","value":"On the relative efficiency of different systems for classical and nonclassical propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203026"}},"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":"Q2455258$A08CF9F7-A25C-48C6-AF43-A320C6EB8765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"849bd3a1cc7a8df5e0058d53376915ff0cee49f5","datavalue":{"value":{"text":"On the relative efficiency of different systems for classical and nonclassical propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2455258$BC4A7680-B4DE-4647-8BED-81DB5CF01C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a473dfb1230a34ef2e4fead3467d287687c921e","datavalue":{"value":"1121.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455258$A2CE4BCD-4E21-402A-936B-A522A8CC9303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d354541ed65d6f3be7130f59cb42a32c2582f15","datavalue":{"value":{"entity-type":"item","numeric-id":200962,"id":"Q200962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455258$FA49F6EC-9E31-44F6-8876-84C31CBAA250","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455258$9795CB57-D89F-48F7-8159-B8135B756E81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d51bff7266eb0f39f18b2fdc3f96cb8c3e56c83c","datavalue":{"value":{"time":"+2007-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2455258$4D3624EF-E0D5-4F38-9B73-9108A4F43547","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455258$BE46E652-C3E9-471A-8475-D698C1F636E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"260aebf0fe794880212e8bc13f92b5bf9e8e558d","datavalue":{"value":"5203026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455258$E9523CB7-728B-4164-B777-A166AC3ED1D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f55ac2b2a0df9af7c13be0fde539442bc43e484","datavalue":{"value":"efficiency of proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455258$EC9C1F97-828A-4647-BC52-F9E50B2336DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455258$5AB8446D-6BEE-47AC-928D-F1EB17A62A0F","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":"Q2455258$7A94287C-C171-445C-9179-2CE3B30359B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffa2d7418e931eb671fcf01954fd4a349e35ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2826389,"id":"Q2826389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1e4aff445c4af5cd3fae235b1f7d5d6ca9d2bc","datavalue":{"value":{"amount":"+0.8554204106330872","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":"Q2455258$962B7975-1F8C-45EC-84EB-C6B4CCB033E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f95f76e953b56bf0130e14d725876146035256","datavalue":{"value":{"entity-type":"item","numeric-id":2488582,"id":"Q2488582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4163e927914b31ea98b2693cde1f549d3097c098","datavalue":{"value":{"amount":"+0.8553061485290527","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":"Q2455258$C2319626-2D5D-4051-A702-20E557D42FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c65e72373fda5a48a0d4ed50ec1348c2471051","datavalue":{"value":{"amount":"+0.8168313503265381","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":"Q2455258$7D53F457-DB46-459E-A213-CDD88A1CC535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f9f5c0e2d07ee1b725af8a8564c1ec1fbf29da","datavalue":{"value":{"amount":"+0.8168312311172485","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":"Q2455258$877CE602-BB3B-411B-82E4-2DBBFC162209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35a882d95def01bb1e340945d093cd4b5396128","datavalue":{"value":{"entity-type":"item","numeric-id":5100154,"id":"Q5100154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2287f6b250c79156c6defa5416d8cf33f38a8cf3","datavalue":{"value":{"amount":"+0.8070654273033142","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":"Q2455258$1FD902CE-B724-475C-A0DA-6BD583620B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relative efficiency of different systems for classical and nonclassical propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relative_efficiency_of_different_systems_for_classical_and_nonclassical_propositional_logics"}}}}}