{"entities":{"Q3455060":{"pageid":5234460,"ns":120,"title":"Item:Q3455060","lastrevid":90151781,"modified":"2026-06-04T19:25:03Z","type":"item","id":"Q3455060","labels":{"en":{"language":"en","value":"On tractability of disjoint AND-decomposition of Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515878"}},"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":"Q3455060$84D3ED7A-C6FF-4166-B217-AA62EF11C429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5f2dd173db3bc67004bb400d5257d77fb7dbf18","datavalue":{"value":{"text":"On Tractability of Disjoint AND-Decomposition of Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455060$96760BCD-93BC-4677-AE16-482219E82C4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1da7a72fc6a5f7af268097fe557248a02113506","datavalue":{"value":"1434.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$5DBBD3FA-DF11-4723-9EA0-506181DF1116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebf3b5f4879306b2163ea9447c416147885fb217","datavalue":{"value":"10.1007/978-3-662-46823-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$09BD8948-C4FE-4405-B5C1-E0C41CCF0786","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":"Q3455060$D8B15C73-2F5D-4AC8-BF1A-F526892C3302","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":"Q3455060$764431EA-590D-49DF-BDFD-6DD3E8812125","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455060$18F84212-33D9-45A7-8E2D-740390BBC3BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-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":"Q3455060$11E27B43-96CC-4BF1-A999-39B85FDF63F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$D7EB6D18-87B3-4125-8328-243C02B4D566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$36E4DD2C-1D7B-4020-A16C-A10C6233C6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$9BE38C86-D973-4EB2-8094-AC2F3189F58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$3A42BC0B-C5E7-42B4-AC46-6A8C2E944BDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e9db973c8dbbd52339eca4a047bdf4969bcc8a","datavalue":{"value":"6515878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$1D54445A-A0E4-4A15-B5AA-AE03F6E26A57","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":"Q3455060$6C7DCBDE-8CC0-4838-BCB2-4C0632B72781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7af11a7c7cf117eed81f3433a00d27244704394c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455060$F8F8E504-8C46-4B47-B92E-46545323EB5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8d1800ea680663eeb12fb96a1c476dca2c5c020","datavalue":{"value":"W835412343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455060$AB396235-2A5F-4171-814B-1456D6DF2D22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e5f311003b8b7570719a68c1e2a1217e6dd7f2","datavalue":{"value":{"entity-type":"item","numeric-id":300345,"id":"Q300345"},"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":"Q3455060$33EBF2F0-B168-432A-A841-53001D79535C","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":"4d4956742e5b8e563468795c94837bc78a96e2ba","datavalue":{"value":{"amount":"+0.8871585130691528","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":"Q3455060$389CE327-CB41-47CB-BBB4-B284906AEA54","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":"2a56a51dca29c4eaeac4fdad46ac6cdbcdfe5320","datavalue":{"value":{"amount":"+0.7752246260643005","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":"Q3455060$6BE868B1-1743-4DCD-837F-95CCC87019FC","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":"7be789039417557c13041bce43234c36425b9af0","datavalue":{"value":{"amount":"+0.7643594741821289","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":"Q3455060$31D71F87-DA6B-4C94-83B5-F3873656D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f599c3c1ca6441fd3fdff139e28403c0b3c84f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2999098,"id":"Q2999098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0390291f9b9acce5ce7d343722abcec7e49748","datavalue":{"value":{"amount":"+0.7429243326187134","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":"Q3455060$A43C3688-321B-4851-8966-0FB8772057F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On tractability of disjoint AND-decomposition of Boolean formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_tractability_of_disjoint_AND-decomposition_of_Boolean_formulas"}}}}}