{"entities":{"Q794641":{"pageid":796489,"ns":120,"title":"Item:Q794641","lastrevid":48712675,"modified":"2026-01-05T16:50:14Z","type":"item","id":"Q794641","labels":{"en":{"language":"en","value":"Decomposable collections of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859113"}},"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":"Q794641$D846E6A2-F177-400B-AE12-3B01073174FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0202e89fc8ba62ea75791580be9d553c422f6db7","datavalue":{"value":{"text":"Decomposable collections of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794641$05E3F4AE-5A8E-411B-A6D1-17591CC0B668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1bc921f4bd2e723494702aab2aa0c4680d5bb01","datavalue":{"value":"0541.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$6B2FD099-5FA2-445D-81E6-C9508E61BAF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc2ae3dc2fdd815e645c4d8d1fe4259fbd363d51","datavalue":{"value":{"entity-type":"item","numeric-id":794640,"id":"Q794640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794641$CDD919C2-41AA-489D-872D-A9D3F6D80C21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794641$33FAE64D-E239-462F-AD5D-BC04CAB9AE36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q794641$A103ADDE-5279-4228-AF89-47F00BEB2BCB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15b9095a7a03a8e99ecdf7201e518632002e8fa6","datavalue":{"value":"\\textit{C. Green} and \\textit{G. Takeuti} [J. Fac. Sci., Univ. Tokyo, Sect. I A 24, 23-28 (1977; Zbl 0358.05020)] gave sufficient conditions which enable a Boolean polynomial to be factored into a statement in which no atom appears more than once. In this paper, the author presents a new proof of the Green-Takeuti result, and extends the proof to cover the case where the Boolean polynomial is infinitary. The notion of a ''weave'' is used. A weave is a set-theoretic object that corresponds to a two-person game in which each player presents a choice of moves from a set of possibilities, rather than a single move. In the new proof, the given polynomial is factored into a new polynomial, using an ''algorithm'' with infinitely many iterations. The use of such algorithms will be explored by the author in a subsequent paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794641$8E31341F-D749-49E3-934E-E9ABC6329D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$D4561D62-5B19-41FA-9D9A-005D95C559CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$9E01E759-1D0B-4274-AC5A-F6D1219042DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$C757A3F5-166C-47EE-A8A1-B3A0AAEC95E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$14B82992-27B5-4368-82C8-73E17E3850A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf34fc3e4eb990a305aed4c961b0a7fd0881fc6a","datavalue":{"value":"3859113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$DE5A6974-283A-46C3-ACDA-68DDD03E924B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q794641$62F59EBD-8FDF-4C4F-B3BB-018BB2AAB14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ca7bf7a6a59233a912a321ae0fa344209f1ad5","datavalue":{"value":"Boolean polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q794641$E58D67C7-2E69-4832-8D49-291C79A40330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852d8895c9af4233f0d14345edd970c8aeef049b","datavalue":{"value":"weave","type":"string"},"datatype":"string"},"type":"statement","id":"Q794641$BC2B7401-E3E1-4445-AD5A-5313A0568B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24f3edaca475ae51ec02d1eba0e06f083be4b617","datavalue":{"value":"two-person game","type":"string"},"datatype":"string"},"type":"statement","id":"Q794641$62391B6F-8966-43EB-98F4-AD23E40F0979","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":"Q794641$DF38AC3E-BE3C-4B6E-91A9-75C2C43839B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e981d67650937a052d2ffa606c177f71e560dbb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870516","type":"string"},"datatype":"url"},"type":"statement","id":"Q794641$4139E997-D843-4ABC-91A1-D8A4C5BB40F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dee56b63744cba30598fd8aaa3d43ae964987b4","datavalue":{"value":"W2005300187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$E50E8FBB-B416-4297-9CD2-8BFD43FCF6C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9184e80034bf01fc6b3d6182b371dbae88fca8fe","datavalue":{"value":"10.1305/NDJFL/1093870516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794641$B9F88908-B209-4790-8021-E461EE4561A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc0dd6b8a2d1b3ed6c78536c47144fc6c41c91e","datavalue":{"value":{"entity-type":"item","numeric-id":4132535,"id":"Q4132535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32da56a78fb0a5daf64519bd7f92e72bb4b8d372","datavalue":{"value":{"amount":"+0.7037628293037415","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":"Q794641$7FC9921A-C58D-4752-AB4D-5006F01CF9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d19bc4fbae0540d1ab8a1562fc40d60833ec2a","datavalue":{"value":{"entity-type":"item","numeric-id":4133654,"id":"Q4133654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2740e35b8311a2b2435fbbe9a76bdbf34afc6e5d","datavalue":{"value":{"amount":"+0.6910550594329834","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":"Q794641$0F75C552-AD65-4DF6-9CE4-41A8DFAD6A0D","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":"67d496ccfc37456d4cdd383e19778dacb7474133","datavalue":{"value":{"amount":"+0.6644856333732605","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":"Q794641$CA0FCA69-C4D6-4D21-B83F-DDF75C110AD7","rank":"normal"},{"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":"25f46035c63b711870358cce29c6e3312e71aa8f","datavalue":{"value":{"amount":"+0.6602962017059326","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":"Q794641$A5BED0FB-A2A9-443A-96AC-0BD1F9303A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b49d2c06d453aca57372bfa56386ff5c98f88b","datavalue":{"value":{"entity-type":"item","numeric-id":3680278,"id":"Q3680278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2204e11dd60fcb673845a6c4afb12f85ee4f8be1","datavalue":{"value":{"amount":"+0.6584768295288086","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":"Q794641$BEF58449-03C4-4209-A22A-029937FF06FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:794641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:794641"}}}}}