{"entities":{"Q906424":{"pageid":908272,"ns":120,"title":"Item:Q906424","lastrevid":57208473,"modified":"2026-03-27T11:46:38Z","type":"item","id":"Q906424","labels":{"en":{"language":"en","value":"On the structure and the number of prime implicants of 2-\\(\\mathsf{CNF}\\)s"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6534161"}},"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":"Q906424$93404CFC-E3CF-44F7-A461-15938CC2C0A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bacf4619a130b7d190301aba4536a2acc1ba88e0","datavalue":{"value":{"text":"On the structure and the number of prime implicants of 2-\\(\\mathsf{CNF}\\)s","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q906424$3F8632B7-FAD6-4187-9085-05DC28435EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc4e461eb4ee7a9f65de6d0ed82ab5c6bd35f119","datavalue":{"value":"1330.94067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$55BFD604-D2F6-443B-B6E6-A116313842A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$E3DC0055-AF7E-4111-8ADB-C1C03842BF8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$5E6E6545-FD5A-47FB-B0D3-1A3FC11FC5FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6937e10c11873e4101540e0d8cbdc70be054cd81","datavalue":{"value":{"time":"+2016-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q906424$241217DC-D917-45B9-8454-EEAC4C178EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e66f516c3b2d80317aef6d8faf43cbd59fa2d996","datavalue":{"value":"https://arxiv.org/abs/1408.2662","type":"string"},"datatype":"url"},"type":"statement","id":"Q906424$7CA5E6D0-5752-4D29-8F8B-11C28FE99E81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$35D8DFDC-0F8C-4D94-850E-FBE50ACF3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$EC9B1E9F-2410-476C-918B-4CE34ED199A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b4335d2ba94e0a671f2c0d2f8d541eda2f917e0","datavalue":{"value":"6534161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$01067CDC-95FA-412E-9F1B-9BFBB8B35273","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q906424$34BB251F-A7FE-4047-AE6B-D52564F78869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q906424$34316935-FB2D-417A-9E7B-163CB599B10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q906424$FBE2CC7B-57DF-44D5-BD4C-A4B0FEE5FB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q906424$53994B3B-3DFB-444B-9346-D96E898746B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa5a720b9303b661dc79e2ba472f49f3f1baadc","datavalue":{"value":"prime implicant","type":"string"},"datatype":"string"},"type":"statement","id":"Q906424$AFBBC738-A288-453C-85F6-6357EC43BB0B","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":"Q906424$36FCF88D-4F3A-4A81-8B89-97CECCB1A5D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3eb69a34eae11fce47890670b4361e5f0dc34b0","datavalue":{"value":"W212833240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$11EFC087-9C40-4F3A-8D48-32F671882ECC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$3313F32E-6EC7-4DE3-BA04-F61C7C6D1C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cc2363be2a12bd9971ae6fb9370037234d3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1251656,"id":"Q1251656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$58E47B69-CE0A-4F91-B05B-02D7E87BA40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21151cd03525ca9e174b285b75395f4449a7e97","datavalue":{"value":{"entity-type":"item","numeric-id":2576880,"id":"Q2576880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$89BE7F33-ECB0-43D6-AE33-1782A4A1894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c334f24f0ea0f5930a0f10f3816e5cbac17eea","datavalue":{"value":{"entity-type":"item","numeric-id":5920767,"id":"Q5920767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$D1821D81-A022-4190-910E-ABCF351450DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$64AFF776-0416-4947-9565-CC462E8C3202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4814905ce50ed89bd0107e068fc6ce952d050713","datavalue":{"value":{"entity-type":"item","numeric-id":3544247,"id":"Q3544247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906424$6CB1A63F-F003-409A-A641-DF553C8677BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"043ddeba2ee3457ad8d802d02eaea30f4267c5ea","datavalue":{"value":"10.1016/J.DAM.2015.06.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906424$0586FBEC-10B2-42A1-96AA-A6332DA4D5F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:906424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:906424"}}}}}