{"entities":{"Q4521284":{"pageid":6550877,"ns":120,"title":"Item:Q4521284","lastrevid":47549440,"modified":"2026-01-02T01:27:45Z","type":"item","id":"Q4521284","labels":{"en":{"language":"en","value":"Completeness of implicational relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545319"}},"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":"Q4521284$C579FCF3-6BDB-434D-BC58-92994A224762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6582e14517d73490c0bf4966acc32e2000803c40","datavalue":{"value":{"text":"Completeness of implicational relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521284$59AA8A33-3318-4E47-B271-CDFE51DD3365","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"831b3e7ad42e860a296a81bc06dd03e2a28a1e40","datavalue":{"value":"0970.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521284$CBF70F01-9F40-49C9-94BB-9EA852F36E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521284$82AB7808-D18E-42AA-91FD-E522A9AD7A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"113c93d7af32602075a6f94d3a44649ef3135b3f","datavalue":{"value":{"time":"+2000-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4521284$61948C6D-B055-420E-BD0B-EFB09FEA3F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521284$66FB766A-5C1A-4BE6-B8E4-0C18A18B84E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62d5c9337ede33f2421d541f22e12b014bfb5c72","datavalue":{"value":"1545319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521284$A723A94A-5218-45A3-90B0-C85BD069B52B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7405cf31e8701d523c9ae8eaf075ac343474bb","datavalue":{"value":"semilattice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$3D85E401-8E2F-4CA5-96FB-D9F8F597B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$EDD116BC-3C7C-448F-A432-4CA5DFDFA1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$CB7F0A0A-38C5-46CE-9A12-B4F9EEB7BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$8064F867-825B-4516-B095-EF3ABAA89AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e021452b39cffb64122dcbbc12e82b666dbda289","datavalue":{"value":"Urquhart models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$6CD52C44-E244-40DE-9F4A-D023EC82AA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521284$11DC387D-59BC-43CB-9C27-3FE7EF025E40","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":"Q4521284$B407549C-EE3B-42AF-82B5-7E5DDB704CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df644a3dc29a2781414974f06ab4fa924a971ef7","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.6.761","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521284$5001CAA5-ECAA-47D6-80CD-59070A4C725C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"963b4c4316330315445b4f8a54b38efa511d3c19","datavalue":{"value":"W1973259886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521284$B50B3C32-A9A8-43CD-94A0-FF81A8C0BBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c3d4b666c00e2c2735a6573b336e04557d971cd","datavalue":{"value":"10.1093/JIGPAL/8.6.761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521284$117084DD-7CC3-4EA8-8E9A-07E601603AFD","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":"Q4521284$6F865ACC-A0BA-4A80-8AE0-E6196EDAA2F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8019b479b34bcd67e6a47f9c5d967927262b4a79","datavalue":{"value":{"entity-type":"item","numeric-id":5004953,"id":"Q5004953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12581585fbf7402e8db9961bf5720f15ccbc048","datavalue":{"value":{"amount":"+0.7776278853416443","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":"Q4521284$7F8FA6FD-D2C1-417F-9631-50AEBD619B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85d878b0378a885d287ac4e5cf92c5dbb6318a0","datavalue":{"value":{"entity-type":"item","numeric-id":2782585,"id":"Q2782585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f87f687dd06ec5149fc21ca51c442770402db4a","datavalue":{"value":{"amount":"+0.777548611164093","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":"Q4521284$3BC084E2-EA81-41B7-A380-5B6BAAA2BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9184a593d566a0a980015770c52e4dbd78de80","datavalue":{"value":{"entity-type":"item","numeric-id":3466593,"id":"Q3466593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b4f9b76afa885afa239f9f32837498417c6b41","datavalue":{"value":{"amount":"+0.7769761681556702","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":"Q4521284$A8596012-79DB-4F3A-BCA7-B85F8886274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf3c2764fce7ae9474469700927a05246eb73f","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b958ecfed3c5e14e0c5bca0b271a29244294dde","datavalue":{"value":{"amount":"+0.7695877552032471","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":"Q4521284$5B827E36-2127-48C1-B40D-04DFF25ECA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b9de7e40c5958ef6e20e8d0fc196dc47d40cb","datavalue":{"value":{"entity-type":"item","numeric-id":3030795,"id":"Q3030795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682df8610100eaee0bf6ab6ca9dd1f11a875af26","datavalue":{"value":{"amount":"+0.7695407271385193","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":"Q4521284$987BC9C9-AF69-42D6-838C-A4EB2B2A41C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4521284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4521284"}}}}}