{"entities":{"Q2519398":{"pageid":2530141,"ns":120,"title":"Item:Q2519398","lastrevid":50549093,"modified":"2026-01-14T09:00:51Z","type":"item","id":"Q2519398","labels":{"en":{"language":"en","value":"Positively closed classes of partial Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5497515"}},"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":"Q2519398$C9346872-0501-4B74-B6F3-BD0F4D734E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"439e7d613fe4130b3f301c11bb90643fa18fa1d5","datavalue":{"value":{"text":"Positively closed classes of partial Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2519398$BFA71037-3D1F-4562-9F9E-ACD65979B461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd9451169c87bfe4726253727b75e71f994c5e78","datavalue":{"value":"1160.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$DDECF6AD-AEB4-482A-9E11-04DB57D798D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20d517e5c3b034a2d80866d206add8a44891b0a4","datavalue":{"value":"10.3103/S0278641908030059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$4648B7AB-3FD8-4E37-A7C8-9D004C49A36D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b26281df9a66a76d6ad92870fdeb860809b9933","datavalue":{"value":{"entity-type":"item","numeric-id":2519397,"id":"Q2519397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$ADB87A5C-76DB-469C-A745-90BF99602849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4a95f085b4acb7c793008f4f9d663da3cb59bf","datavalue":{"value":{"entity-type":"item","numeric-id":314212,"id":"Q314212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$5DF44096-1E82-49FD-943E-E493DEE94F55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa4e0e353121dae82cdaefca14a62dc9d4bb34af","datavalue":{"value":{"entity-type":"item","numeric-id":163582,"id":"Q163582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$82F70556-629A-4FD2-9B36-F1AF8C669D2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b4ba3f9918c1a78f7dd009f97873681096874e6","datavalue":{"value":{"time":"+2009-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2519398$B2E4A0B5-3317-4A76-B3C9-C705A01FA33D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b90b9d82658ad01b760eb1077df91b32a94924f5","datavalue":{"value":"Let \\(P_2^*\\) be the set of partial functions of any arity on \\(\\{0,1\\}\\). A language Pos is defined whose terms are built from variable symbols and symbols of functions from \\(P_2^*\\). The semantics associated with Pos uses the truth values T (true), F (false), and * (undetermined). The positive closure of a class \\(Q\\subseteq P_2^*\\) consists of the functions \\(f\\) such that there is a formula \\(\\Phi\\) of Pos such that for all \\(x_1,\\dots,x_n,y\\), the truth values of \\(\\Phi(x_1,\\dots,x_n,y)\\) and \\(f(x_1,\\dots,x_n)=y\\) coincide. The authors prove that there are ten positively closed classes, among which three are precomplete. In each case a positive basis is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519398$EE8F8709-8FCF-40B3-A16E-BC6A4C1203DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$35A96BAE-626D-427C-87BB-7565EE09770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$B35E8437-A6CD-4F69-BB04-CFB4A001CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$374D9FD4-6837-4B13-A496-40790692AC45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc76cf1ff7148991e32b7cf37d88088f28c17707","datavalue":{"value":"5497515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$63A89413-2DD3-4A6F-B3F2-B76AB6FADEA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519398$D6FAF256-588E-4155-85F4-F234C61A4FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d944b0153ca1a495c222a7ba81864c0cd67cdf0","datavalue":{"value":"positive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519398$B3686B02-6BCD-49E3-BD74-18617BF0C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac66e171120d022e609defa43b145d0c6413b98","datavalue":{"value":"closed class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519398$521C91AB-5E93-42C8-86A4-01F336D2AC8E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$1B8A8285-C324-4BF1-A529-C9FAA369390F","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":"Q2519398$8E163BA1-1A00-421B-A854-27B590396FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74b46a032a007bf029c6817044b027e815abdea","datavalue":{"value":{"entity-type":"item","numeric-id":3835754,"id":"Q3835754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$846DC1CB-971C-4E82-BBFD-E52CAE128AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd59a3870ecfa1845968075a5570e80b61f568e","datavalue":{"value":{"entity-type":"item","numeric-id":3115597,"id":"Q3115597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$92C3687C-7C7C-424C-A360-1615153FCF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac288cc3736f85556e4a1b581060172fe064cda3","datavalue":{"value":{"entity-type":"item","numeric-id":4520903,"id":"Q4520903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519398$1D97D22E-92A0-4FD8-8097-8ACF0A5E94D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b797629f54ab805405a686b71a9a79338f3b1b","datavalue":{"value":"https://doi.org/10.3103/s0278641908030059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2519398$7E2E52B8-D737-4315-8B3F-A34C25A33FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71ccfa07279fa046e1fbbd67e9a87c3fe5bf5b37","datavalue":{"value":"W2151817055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519398$833549F2-0728-47DF-8AE2-C3F8567CB217","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78808b30f98569c0a90f44635482f9be6653588c","datavalue":{"value":{"entity-type":"item","numeric-id":3115679,"id":"Q3115679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f2fa67cc90320daf3a35418d8152d4f06bcedd","datavalue":{"value":{"amount":"+0.8284549713134766","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":"Q2519398$1B58AA85-7297-4941-8038-25DD71F09783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52b82e06320dbf4bf6a4765cb2b6866a90b003a","datavalue":{"value":{"entity-type":"item","numeric-id":3835754,"id":"Q3835754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2eab32b79085091351f9e35ff45fb3309831036","datavalue":{"value":{"amount":"+0.8155542612075806","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":"Q2519398$48943327-1304-49A2-A024-CDDA43202B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c189fef6150ce3f95152adb0a9a56c5a3a7a0f9","datavalue":{"value":{"entity-type":"item","numeric-id":4366131,"id":"Q4366131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b29207d9f8571c0325cb84772ce75b6f7bbf5b","datavalue":{"value":{"amount":"+0.8144904375076294","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":"Q2519398$00249CED-FA22-41EC-B330-50842D7C8F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d3add1fe4c09f737cb8726b3d811991c726b2e3","datavalue":{"value":{"entity-type":"item","numeric-id":4520903,"id":"Q4520903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b29207d9f8571c0325cb84772ce75b6f7bbf5b","datavalue":{"value":{"amount":"+0.8144904375076294","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":"Q2519398$A9203BF1-C6DD-41DD-8923-0A89C177F94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861059efc44232a32e22d3fc8ff9e0c6a6cda7ec","datavalue":{"value":{"entity-type":"item","numeric-id":951723,"id":"Q951723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6014a0aa5871a8fd494ead315b1f56caab65f21e","datavalue":{"value":{"amount":"+0.8122251629829407","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":"Q2519398$C34330C8-EDDA-4A16-AFC7-17D80DFEA13F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2519398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2519398"}}}}}