{"entities":{"Q3033747":{"pageid":3044463,"ns":120,"title":"Item:Q3033747","lastrevid":80222930,"modified":"2026-05-06T15:42:15Z","type":"item","id":"Q3033747","labels":{"en":{"language":"en","value":"Extending \u03c9-consistent sets to maximally consistent, \u03c9-complete sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132139"}},"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":"Q3033747$2B37520C-3B34-4320-934F-1C8B4D650E91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9abcff657f1b14e1bfc5597f6250e557f889b567","datavalue":{"value":{"text":"Extending \u03c9-consistent sets to maximally consistent, \u03c9-complete sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3033747$69EF5038-7058-44F3-BF30-7D4788291CE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b87d4521f0126ccf9bf798ad54e0a5ac39c69664","datavalue":{"value":"0692.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033747$E9B1752F-C518-4DC8-B5C8-1FD47BDD1A9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156b9f0d2675204e6da49b8b446f70f44b7abadd","datavalue":{"value":{"entity-type":"item","numeric-id":1183714,"id":"Q1183714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033747$1B832353-A29D-4D7F-ABC9-7C1B3FBED40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66029be16c472eb1e4d4ce92c265f3637cef78d5","datavalue":{"value":{"entity-type":"item","numeric-id":758984,"id":"Q758984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033747$1AB8D0C4-7AEE-42A5-BC31-45CE6B52570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033747$7F27A674-5E4D-4B00-85EF-A677D46A63E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033747$ADF981DD-FCC5-4E08-AC07-5097CCA9B3C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3033747$169B9960-F869-43D5-855B-F54311D38C75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033747$FDDCD25C-27D3-4B49-9314-896574466325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e815bdb8c7c4e1885bba7a74a5283e4ff5403fa1","datavalue":{"value":"4132139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033747$15229EB2-21F3-4571-B13C-67939D3A988B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c46536592355f54cee6ba9dbe32602e9f8d87e49","datavalue":{"value":"Henkin's completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033747$A3759396-7C0B-4283-9592-EAEEAB1D3093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45d45675b73a54ec20c2e0ee831c2a1b662ba","datavalue":{"value":"maximally consistent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033747$84E2F85F-6C4C-4FB9-A118-6E643EDE70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f82ae734478e0f7b573dd6f9c5c7a43fe47d88","datavalue":{"value":"\\(\\omega \\) - complete set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033747$FE4A1411-277D-40F7-B58A-21AD85D4860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5731438a442c9b0d15ceb53da79a5ba082fdc92f","datavalue":{"value":"\\(\\omega \\) -consistent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033747$A50E161A-D006-44BB-BDD9-7D1CB519475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fbe4e5395b177e37826768f93bc761caacedb6f","datavalue":{"value":"\\(\\omega \\) -logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033747$6AD7AC56-CA08-439B-B55E-FB69F4B92B7D","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":"Q3033747$26535E4B-9390-493D-B55B-6ED7976A487C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ae6a85db5ade840d2c5e69c8df487d26d86f3a6","datavalue":{"value":"https://doi.org/10.1002/malq.19900360503","type":"string"},"datatype":"url"},"type":"statement","id":"Q3033747$A2488561-9E9D-4313-88EC-2AB5622A24BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7158b3506ffc8abf15235eb5ed4cc1345c4cb17","datavalue":{"value":"W2151480327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033747$936694D1-EE8B-4856-8826-BB52EC5466BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3a6b29b21a46334906d06b26292ff2272572883","datavalue":{"value":"10.1002/MALQ.19900360503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033747$C25B4646-81B7-486E-B069-2291D504B7D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131d10c4225507427d5073947b959e46a90642f5","datavalue":{"value":{"entity-type":"item","numeric-id":1183715,"id":"Q1183715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8489e8cabe5399d500467964eddde6e9343417c1","datavalue":{"value":{"amount":"+0.8080991506576538","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":"Q3033747$38A4B2F4-259D-4527-A272-588619ED4DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd796c2f2b48244b5c0cec14e0d27ff135cd9ef","datavalue":{"value":{"entity-type":"item","numeric-id":1203774,"id":"Q1203774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d16ee0ab1fa3f1f8d58a423188dab59ffbef5b","datavalue":{"value":{"amount":"+0.8038809299468994","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":"Q3033747$7BFFA66F-DC7A-4BE0-B87A-550E62BDFE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f94021b8390bd794d54b93d5bd77a333b1a344","datavalue":{"value":{"entity-type":"item","numeric-id":1337603,"id":"Q1337603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0527a5db15008273375148ff2d4807eb030d8ad","datavalue":{"value":{"amount":"+0.8038716912269592","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":"Q3033747$5BA67C87-1763-4BAD-9A44-56FB51859396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25583a8eb591ad097e0ca7876fc41f1f8bcb53c9","datavalue":{"value":{"entity-type":"item","numeric-id":1207341,"id":"Q1207341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060529f6c15309531a65b8fbf7ba8ae1847c81be","datavalue":{"value":{"amount":"+0.8024027347564697","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":"Q3033747$1C464171-89FE-4595-9994-0AD365866973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fab0fe5669f5cd4754210ef5c65f47ccb3873a8","datavalue":{"value":{"entity-type":"item","numeric-id":2852156,"id":"Q2852156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a261a5aa340cc5b625de00e9985b6d7d8ffa5e6b","datavalue":{"value":{"amount":"+0.7442900538444519","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":"Q3033747$769D91D9-028A-4ED0-A6A4-E0D25EDFC2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending \u03c9-consistent sets to maximally consistent, \u03c9-complete sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_%CF%89-consistent_sets_to_maximally_consistent,_%CF%89-complete_sets"}}}}}