{"entities":{"Q869787":{"pageid":871635,"ns":120,"title":"Item:Q869787","lastrevid":64967997,"modified":"2026-04-11T23:26:10Z","type":"item","id":"Q869787","labels":{"en":{"language":"en","value":"Complexity of sets obtained as values of propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132506"}},"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":"Q869787$D90AE988-B786-4CC7-9BBD-01292A2A1087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7a22d18125d242dbc046e1503800af46d0e2f94","datavalue":{"value":{"text":"Complexity of sets obtained as values of propositional formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q869787$E570CB80-DC60-424A-8267-BA5D170DCD05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82013de6402b3f10effd08a687633949d073ed3c","datavalue":{"value":"1114.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$AAA1007F-AE24-4F94-8D9A-095E862B6082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e05f025f682ea17cb160a00d736925c49c2bc0d1","datavalue":{"value":"10.1023/B:MATN.0000015028.10892.68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$87636DF0-3494-40EB-A241-5ECFA650A2EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869787$88F4F735-33FE-4895-B7BA-4F2F0555881A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f90b7842433e42ce1b6e09c20a835573b6e91f9","datavalue":{"value":{"time":"+2007-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q869787$E008167C-D17D-4AF6-8713-C530ABAD0F00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$4A15314C-9A83-455B-82E2-C815D059B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$E6FAFE24-6EBF-494E-BAFC-1D7BBB228217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7b7527cc2d5e8261d139c9ebed9708455b3f0ab","datavalue":{"value":"5132506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$6CA99927-1501-4462-8202-8313074A5D3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$BFD51829-1CB8-41CB-9B2A-467917D2A5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18463181be6f31093c8c6fe4270210dba7ee5d00","datavalue":{"value":"logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$DD60CD8B-25D7-48E3-BB69-5815ADB1C2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a9c1f43a890a71dc63292ab56a2d288c63e948","datavalue":{"value":"law of weak excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$79CE668F-CEBA-4DD5-98CA-B470D30DB1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$9574E8D6-C1EB-495A-9B7B-06BC56FBBDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$CF635C20-39A1-4ED9-B6DC-D718DCFC0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q869787$70A5EB37-A836-408C-B5AB-5FBDDC40F6CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01d6a1b3acfa6364483fe3374232c21a26235460","datavalue":{"value":{"entity-type":"item","numeric-id":235579,"id":"Q235579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869787$D7626FFF-E2FF-4633-93B6-D86CC4FA2B8F","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":"Q869787$7FCBDB17-2451-417F-B173-AB79B34A2305","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6802a1b17f3bf7ac00f31021ed376764417ed9e7","datavalue":{"value":"https://doi.org/10.1023/b:matn.0000015028.10892.68","type":"string"},"datatype":"url"},"type":"statement","id":"Q869787$12785D19-26DD-4A1B-AE83-A76443CD1DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d9a28cb7f16308ccbf977637667cfa545ea56c1","datavalue":{"value":"W2054594741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869787$C0BFA01D-B312-417B-8878-963D3C29C7BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049bfaad1d7ecfdd921d60c255f0a0034af9b53d","datavalue":{"value":{"entity-type":"item","numeric-id":2387846,"id":"Q2387846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6788e0c0be77984f127db92ffcfb6b3d00d8c0a7","datavalue":{"value":{"amount":"+0.8134843707084656","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":"Q869787$902FDEE0-A1CA-4849-94F0-EA61F5C1E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b639a5977d01e8ce9e3ee0033496b438ed59c111","datavalue":{"value":{"entity-type":"item","numeric-id":1275011,"id":"Q1275011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c109d96ece326296c36216b7f869d76d509a5ed7","datavalue":{"value":{"amount":"+0.7676509022712708","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":"Q869787$D1D024F2-F14E-4755-8263-BFA108D9C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24340a13350805d2ba360d38aee34bcc853e626","datavalue":{"value":{"entity-type":"item","numeric-id":4411816,"id":"Q4411816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff2414b4c2425b7b37d0ff4f115958b8208d006","datavalue":{"value":{"amount":"+0.764130711555481","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":"Q869787$AD7CD460-FDD2-4E10-9E8E-5B438A5DCCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b383d4292feb341f35edadf2839fb785e7141d83","datavalue":{"value":{"entity-type":"item","numeric-id":5958286,"id":"Q5958286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e8c5567b3ebec27d7048eaae75d070dacff73f","datavalue":{"value":{"amount":"+0.7582206130027771","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":"Q869787$7AD2BBFD-88E0-4E26-B7C0-C00430911FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856c23ed25743e6918c850503c8f355b922ddbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4691408,"id":"Q4691408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27580aafe27b42eae54b58b85ae986c5719c2325","datavalue":{"value":{"amount":"+0.7552148699760437","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":"Q869787$D224BB81-62B6-4DA3-87E7-7F09DA84FA80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of sets obtained as values of propositional formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_sets_obtained_as_values_of_propositional_formulas"}}}}}