{"entities":{"Q4967187":{"pageid":6996766,"ns":120,"title":"Item:Q4967187","lastrevid":53467484,"modified":"2026-01-25T00:23:46Z","type":"item","id":"Q4967187","labels":{"en":{"language":"en","value":"A logical approach for direct-optimal basis of implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7075891"}},"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":"Q4967187$921BB48E-E7DD-4121-B13A-9FFA30A0BD8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"355ee35843dd208a652808b225d56b9e3309f77e","datavalue":{"value":"1409.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967187$596658D1-BD51-48A5-AA02-92D8A7892A8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4855412c393bfc8e2892fcec15efa7204f3e05c","datavalue":{"value":{"entity-type":"item","numeric-id":1800391,"id":"Q1800391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4967187$62D33936-696F-4D36-A076-9DB8A918ACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4967187$305717A1-3ED9-4A0C-B9FB-FBC33CF420AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff32224c7d2c96e63ff47a0b7d8e4fdcb1aa7b3e","datavalue":{"value":{"entity-type":"item","numeric-id":246589,"id":"Q246589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4967187$FC78809A-4A89-46EB-9DCC-490A9AF9AE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521234494bdae7b26940ef5cddbc24c353586822","datavalue":{"value":{"entity-type":"item","numeric-id":246590,"id":"Q246590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4967187$5AC5D469-EA11-4E24-BAC1-7B0F570B55B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b2283e6142fc020fab81d606e8cffb613fc5a16","datavalue":{"value":{"time":"+2019-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4967187$1FE9E7C4-FE74-426F-A798-088856A9390C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdd77262250d97848336450a992318cbf261a754","datavalue":{"value":"http://bulletin.eatcs.org/index.php/beatcs/article/view/356/338","type":"string"},"datatype":"url"},"type":"statement","id":"Q4967187$6E24CD12-0C86-4AAB-8525-1FF608328859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967187$6E84CDCA-710F-41CC-88E7-088B0006A705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967187$01E3F250-13E4-4E43-B9CB-CB5CC87E4738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4fdb13d7d68391ab68e171a4cd73996afb2d919","datavalue":{"value":"7075891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967187$62C6AA33-A6C3-457D-9FC0-BEC7FB5373E0","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":"Q4967187$90C30905-54C5-40B0-BC30-E542575E165F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86847cca6afc48fcfadce864f0857cc984042f49","datavalue":{"value":{"entity-type":"item","numeric-id":6485389,"id":"Q6485389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101e4351d393c0e1a789566bd49ed05c0f859bea","datavalue":{"value":{"amount":"+0.8366499543190002","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":"Q4967187$D38DBF3E-4BEF-460A-8313-4098E776C40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3dd242d509e0373c8bc1dd875f4e7ed9b82bc82","datavalue":{"value":{"entity-type":"item","numeric-id":1800392,"id":"Q1800392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3aa3c2d8d12ba80909fa7f76523017bbec68b9b","datavalue":{"value":{"amount":"+0.792589545249939","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":"Q4967187$BB9ADE23-48D7-48B6-88C8-C3711C1C37DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc295b27592e08c6a35e0a5836aacc9b9aece8c3","datavalue":{"value":{"entity-type":"item","numeric-id":743121,"id":"Q743121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f30e522f1d522e4ca81595939f056dc3703868","datavalue":{"value":{"amount":"+0.7673810720443726","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":"Q4967187$7FA654BD-2EDD-48D2-A11E-A6A4C8F27A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdfe9854291400347939374a63045bbfc5ed8d7","datavalue":{"value":{"entity-type":"item","numeric-id":4939246,"id":"Q4939246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccd6cd6fbcbd6524ce23edb3880ec1b10157c42","datavalue":{"value":{"amount":"+0.7404679656028748","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":"Q4967187$8ACA93A5-C673-47A8-AA55-1F9CD2874E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a1a7d7c62bf31fb954a65dc7e3f13364cf8298","datavalue":{"value":{"entity-type":"item","numeric-id":2282305,"id":"Q2282305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93cbfae3e920fb715fd533f294580d553f08227","datavalue":{"value":{"amount":"+0.7375393509864807","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":"Q4967187$7E96FA00-0488-4146-9816-4A8C8760C4D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4967187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4967187"}}}}}