{"entities":{"Q930767":{"pageid":932615,"ns":120,"title":"Item:Q930767","lastrevid":65458086,"modified":"2026-04-12T02:44:11Z","type":"item","id":"Q930767","labels":{"en":{"language":"en","value":"On the orthogonalization of arbitrary Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295958"}},"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":"Q930767$3986BE3D-80B7-44BC-9DD5-F6E533600BC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10d68e573874922eeacc1ba5ac4ea7f4df65154f","datavalue":{"value":{"text":"On the orthogonalization of arbitrary Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930767$C4C18319-29BA-44D8-B7B4-B0F4CC16EBE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bedb6ac07442b824653fe4ac363f0818952c671","datavalue":{"value":"1146.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$270A6FD4-1E67-4F7A-9CE0-28AE30EC9D43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e87f19d5f46a932ef338c84036be0d4fcad0268","datavalue":{"value":"10.1155/JAMDS.2005.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$CC84C990-EE84-4F22-BE3B-C811868B1A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527715c31d225d5d93893467164e1a8892971b8e","datavalue":{"value":{"entity-type":"item","numeric-id":655182,"id":"Q655182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930767$F85532B6-2BC1-4161-99EC-643806793ECA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d127085f944eb24026719a2a4a849158864c3044","datavalue":{"value":{"entity-type":"item","numeric-id":86285,"id":"Q86285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930767$520C0BAC-56A9-448F-BD84-6F0906834010","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930767$6CA17D69-DA25-468B-8478-5E24BB432C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1417340bba6533a9c844a5869ea194e93b9e3a9","datavalue":{"value":"https://eudml.org/doc/129276","type":"string"},"datatype":"url"},"type":"statement","id":"Q930767$94A6F2C8-6C0A-4C56-9A7B-28DFDA9BE5C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"075c82ac2eef0b03e1d8ca271aef4a4c6672aa9e","datavalue":{"value":"Summary: The orthogonal conjunctive normal form of a Boolean function is a conjunctive normal form in which any two clauses contain at least a pair of complementary literals. Orthogonal disjunctive normal form is defined similarly. Orthogonalization is the process of transforming the normal form of a Boolean function to orthogonal normal form. The problem is of great relevance in several applications, for example, in the reliability theory. Moreover, such problem is strongly connected with the well-known propositional satisfiability problem. Therefore, important complexity issues are involved. A general procedure for transforming an arbitrary CNF or DNF to an orthogonal one is proposed. Such procedure is tested on randomly generated Boolean formulae.","type":"string"},"datatype":"string"},"type":"statement","id":"Q930767$08A55462-3A44-491A-8DB8-54E867812220","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$4780D065-3E7D-41EA-8C06-FDC646C80F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$AB55EDC2-E269-4646-95B8-DC301A068E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$4630A7DE-1331-4C76-BE5C-B89813DD4724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"774cc9284a33f7dfa35c0a5d613e43f88f1bb68f","datavalue":{"value":"5295958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930767$5A1D0C93-8C6B-43A4-96C3-38BF14C48537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a271f5015ad77cb48d051b58c55a43800eab02ad","datavalue":{"value":"randomly generated Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q930767$C0AE6F47-2E71-4B87-AADB-9203BAA6DBFC","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":"Q930767$5FD2BF94-7FE9-4FC7-9AC0-43FA0D5486B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f0929a16ed2b92849720915d5b3bc73f0fe268","datavalue":{"value":{"entity-type":"item","numeric-id":4490781,"id":"Q4490781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89460ad17f0b239935f2fd0625c0d1a0bf0c64bc","datavalue":{"value":{"amount":"+0.7790128588676453","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":"Q930767$0D9E69C9-D118-4B57-9682-B1ABBCD8C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f8af7bfed4119e97906b1f278cb136c4b58983","datavalue":{"value":{"entity-type":"item","numeric-id":3342373,"id":"Q3342373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93afc3eafe23af0d9a90e8b2a4e63601318fa984","datavalue":{"value":{"amount":"+0.7475036382675171","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":"Q930767$29933456-A070-4582-A95D-059D38370C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b03f274a7ff7e11d5c6564cf8aee01272f0adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2556312,"id":"Q2556312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36ef65c92dd646beba9a8bd85efbde069d99161","datavalue":{"value":{"amount":"+0.7391493320465088","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":"Q930767$438AE0F4-9F45-40A5-932D-584ED01228F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb00f339c2845107f9084d92c83792144fe8310","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9eda0e80bbc9b6dfcc85614b257470c2c7ded3","datavalue":{"value":{"amount":"+0.7390139102935791","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":"Q930767$793BD39F-1E77-4E71-B209-1C6FD6E14C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d4ff1b62efe04ea757a5901d5756a3cabdc9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1084377,"id":"Q1084377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d238f51db82738edbfa4e1273fef94d9366bfe20","datavalue":{"value":{"amount":"+0.7322241067886353","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":"Q930767$69FA0639-3060-44B3-8242-B3B8E737C840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the orthogonalization of arbitrary Boolean formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_orthogonalization_of_arbitrary_Boolean_formulae"}}}}}