{"entities":{"Q6057724":{"pageid":13191879,"ns":120,"title":"Item:Q6057724","lastrevid":56716080,"modified":"2026-03-19T03:50:24Z","type":"item","id":"Q6057724","labels":{"en":{"language":"en","value":"On Simplifying Expressions with Mixed Boolean-Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7746210"}},"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":"Q6057724$B550F89B-BBB6-491B-95D3-F79553CA1A07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba61b05996305f6f37e640277cb799e5d9069dac","datavalue":{"value":{"text":"On Simplifying Expressions with Mixed Boolean-Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6057724$3A70B83F-DAA0-420B-B2BE-6895206C7239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd3dda258b27929fb5fc9f3db310eea53820a73f","datavalue":{"value":"10.18255/1818-1015-2023-2-140-159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057724$666A3B76-BB74-4E66-A82C-9870CD9CC0BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f6af9da566b3caed9cd2e467861af9a6f848a06","datavalue":{"value":{"entity-type":"item","numeric-id":2221100,"id":"Q2221100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$A72D5B72-22FC-4D70-9F98-585A7F2FF88C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$D06C87B8-A401-4F72-8A13-3E197B624DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f55db8f25bec7e5ca848d508ad8d2103ce52305","datavalue":{"value":{"time":"+2023-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6057724$8468745C-EBF1-4A8B-AB04-2094F47FB580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8fcdce9f6f26a12155beb83d9dafd37f5d0ff57","datavalue":{"value":"http://mathnet.ru/eng/mais795","type":"string"},"datatype":"url"},"type":"statement","id":"Q6057724$0134D0CE-EA5E-4891-B0C2-1AA184721C83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057724$9522CE97-9059-4444-997A-8FCA639AD920","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52386db870132a5d0c5ed1c8ae2f2b51f0ff5bea","datavalue":{"value":"7746210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057724$FD8B8AD3-F317-44EF-89D3-520D63D1799E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab05bcbad79c7476fe8d9c7f6cc735fc9b346f8f","datavalue":{"value":"code obfuscation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057724$2FEC744F-994F-4721-9A09-9395A02D298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eea9e6e1754920689c4962a4dd95346e0420c71","datavalue":{"value":"MBA-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057724$7BA1A858-2913-4418-8F0D-77C4E55027CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3eef2bc007e1476aa9e364a80a6b57fec70b6c","datavalue":{"value":"simplification of MBA-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057724$AE499945-5F5A-4134-8163-00AC71BD0F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1fdaef83bf1f69d9734d672945fad141c91019","datavalue":{"value":"decoding by information sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057724$82D5AF65-AB3B-453E-B124-97E27ED60AFD","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":"Q6057724$516C66B4-60AB-45F9-9BC9-536937CC54D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef24dec67193713c18f529a3a6d17b72da8614cf","datavalue":{"value":"W4380628265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057724$F56B5D52-D2C9-488C-A3A5-6AEFF3B9CE9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4115987ba8e451b803e460228b537a45097a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4783716,"id":"Q4783716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$7BA0D925-893B-4150-8791-F8151F7310E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e819476df57950f0fa89863013f3f2b88ae17ba","datavalue":{"value":{"entity-type":"item","numeric-id":2048249,"id":"Q2048249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$92A61F90-AE32-4B9F-A218-6567BFDFDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca29d7d10d8f4dc9ce98d5874bd788d477fa9729","datavalue":{"value":{"entity-type":"item","numeric-id":4156300,"id":"Q4156300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$91405E16-0FBA-448C-A822-463C71C83548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89717bb1e3493fce6ea9aedbef713ede081e7c","datavalue":{"value":{"entity-type":"item","numeric-id":3569139,"id":"Q3569139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$1E47F346-C2C2-4EF4-916C-D8BF3855ED2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057724$5FA758A2-B97B-4089-BC4B-352CCAF6AA22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6057724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6057724"}}}}}