{"entities":{"Q300345":{"pageid":302112,"ns":120,"title":"Item:Q300345","lastrevid":77765909,"modified":"2026-05-06T10:00:30Z","type":"item","id":"Q300345","labels":{"en":{"language":"en","value":"Algorithmic issues of AND-decomposition of Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598704"}},"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":"Q300345$36CFFF43-A20B-460E-8D54-D98FF2C4BDA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f65c391fc2b95702f68d73eb10e461902e970639","datavalue":{"value":{"text":"Algorithmic issues of AND-decomposition of Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300345$19341C1F-3607-48C7-9618-30083B9D24DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cc6e38fed82b6f8d123bdaa41e9a90b6d212841","datavalue":{"value":"1339.94099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$A8E0C418-54BD-4DD4-BB4D-63D848FB4EBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b2cf832ab1c989c61a38d5e664748baf55b7512","datavalue":{"value":"10.1134/S0361768815030032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$C3164FF6-E0C0-432E-A581-677B11F7FA02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9f55b797f746dfbd8aa8750b8d9bf70cb1ec72","datavalue":{"value":{"entity-type":"item","numeric-id":300343,"id":"Q300343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$1D8E0B0B-328F-41F4-88F0-8C4C08D45582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48b4a52e97af4c5ecdc2ea929eb2720c6bbbe37","datavalue":{"value":{"entity-type":"item","numeric-id":630292,"id":"Q630292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$D4D0146A-1F63-4EC2-8EB0-7D06A31BC7F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$BA469C92-5110-4AC7-98CB-FACDD7AD0658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300345$C4AB85D1-8392-416C-ACA4-577F1A828C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$D6B6B592-5484-4965-ACCA-9EEC557D6CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$399FAF0A-5826-4845-86C0-45613A827A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dcf1d8260fe97cddb844da3c9f6027f3b395a7f","datavalue":{"value":"6598704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$7593D30B-796B-45A6-AE26-F1C32AB13445","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18ca8088088fb875357a04d45a964559a06fc0a6","datavalue":{"value":"Q122911623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$3C11579C-F5F9-4F13-8858-85F54D2FCB3E","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":"Q300345$646B4391-62F3-4DB1-85C7-3F406E3B78CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8175de3882fb4d1eafc968d41539f5b86625901","datavalue":{"value":{"entity-type":"item","numeric-id":704639,"id":"Q704639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$32329AF1-A4FB-4C66-B7B5-E1394D76132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4317e3324fbae60df1b481b9f9d1c7fde75b21","datavalue":{"value":{"entity-type":"item","numeric-id":5747625,"id":"Q5747625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$29E6316C-79EF-4061-8B6B-64A89ECACBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b6711c0499a3bc9958bf5cb1fe499190bdb070","datavalue":{"value":{"entity-type":"item","numeric-id":2387426,"id":"Q2387426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$9AFD2464-92E6-4C7F-9E92-2FEE6652F58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd70e15b35f8a08de7af7e5f78880a55220bcb51","datavalue":{"value":{"entity-type":"item","numeric-id":2862994,"id":"Q2862994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$FA52D377-D2D3-4807-83E6-36E36BEAE82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5ea26f284a87e2bd62fd2d141edaba9f7722d4","datavalue":{"value":{"entity-type":"item","numeric-id":3587395,"id":"Q3587395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$2CA7900A-131F-4ECC-9E02-CF8C81C0669E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f6dc7f89de51d04cc15a3fd03a09e96e064c87","datavalue":{"value":{"entity-type":"item","numeric-id":2882946,"id":"Q2882946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$1AE8E844-AD57-4A6D-95A7-DA2291FE4F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39388dc09bca1942de79677c159e8be08ff74882","datavalue":{"value":{"entity-type":"item","numeric-id":630293,"id":"Q630293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300345$A403C360-BFF5-424E-A078-4A0B0E11316C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd058ca9adf655ded3878266b0ad833b1bd64e36","datavalue":{"value":"https://doi.org/10.1134/s0361768815030032","type":"string"},"datatype":"url"},"type":"statement","id":"Q300345$BCB2F86E-1656-422B-A059-E30EB32E7912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3e908b6825de8ff7ed97b9e6d1a1b817d57b2d3","datavalue":{"value":"W804677561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300345$C12004A0-A825-4245-AA1F-C52079C3BE65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfb244a489c38ecde94aa6dfbce3428d1b6dbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3455060,"id":"Q3455060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3138b057bfc9823b62edf31a8bb0bd298af106","datavalue":{"value":{"amount":"+0.9665210247039796","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":"Q300345$600EDC55-5D39-4642-A0C5-4DD4FB9EFA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c0e98fb238b6195c2e9478c7015fa6d160878","datavalue":{"value":{"entity-type":"item","numeric-id":2181249,"id":"Q2181249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690f4f032bef60c81cd0ebc30172713ba48a3021","datavalue":{"value":{"amount":"+0.8997333645820618","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":"Q300345$34628656-AB68-46A7-BF9E-3A2713CA40EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459ae02ea050c4f246822ecece81560256dac0d7","datavalue":{"value":{"entity-type":"item","numeric-id":2795943,"id":"Q2795943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85204e6d3d7c77ac824de85e58c07b3b3d2ae10","datavalue":{"value":{"amount":"+0.8177610039710999","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":"Q300345$5C9EBC65-D2BA-42EC-BD72-DE2F6BFC42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fab0f91b87366ec2f967dface4ac9e036f1ef2","datavalue":{"value":{"entity-type":"item","numeric-id":5705682,"id":"Q5705682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b57cb90590eb50e48cdccb1a6a49867e708ed5","datavalue":{"value":{"amount":"+0.7620461583137512","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":"Q300345$5FD93365-2BBE-4B5A-9ADF-F8BB7A4D1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f09b835f8e8d50ccc9e20aab37055cb58328c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2387426,"id":"Q2387426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0cd6e44d5b1230e6844fb18a2e202b01f3d118","datavalue":{"value":{"amount":"+0.7560281753540039","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":"Q300345$5D6BF03B-7340-4639-AA36-1245EAB6F11A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic issues of AND-decomposition of Boolean formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_issues_of_AND-decomposition_of_Boolean_formulas"}}}}}