{"entities":{"Q3804692":{"pageid":5834598,"ns":120,"title":"Item:Q3804692","lastrevid":90731516,"modified":"2026-06-04T21:12:17Z","type":"item","id":"Q3804692","labels":{"en":{"language":"en","value":"Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4072953"}},"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":"Q3804692$2FF6571F-84E9-4BF2-8556-6A876F99DAF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08c3e8b969bf7e3e7c8412817c9ab6552e601186","datavalue":{"value":{"text":"Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3804692$96AECD41-2795-48D2-8D41-87DF5E8C7FC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8bf1ade7d6918d9111ed0c28a36bb8c54d206c2","datavalue":{"value":"0657.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$79B16098-6F58-4219-AB0F-81990AE7CCB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9f253c9bd97a65ef24ecc0b5f7393848028ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1205167,"id":"Q1205167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3804692$63022D26-AEE1-4A8F-AFC9-0F5141DEA805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a7b0955b900f28b65d0eab42581ab6a2fb502f5","datavalue":{"value":{"entity-type":"item","numeric-id":3772919,"id":"Q3772919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3804692$9D600BC1-D7C5-47E2-9904-08E85DA1E006","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":"Q3804692$4CE4E97D-92AA-499C-8B1C-3E4056615422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3804692$CCC0D6AE-B734-4DF2-9AFA-9AADA9C0E4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$21F3A3FC-FC0B-47E7-8ADB-628F767C0662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$435BDDFA-1A93-4936-A359-2B2A8C1DEF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$A0E2850E-8010-413B-B5EB-950BBD1DCFBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ce6dd07dbc7a09aa13f3e8fd863e076574257b","datavalue":{"value":"4072953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$35393F10-6392-48E9-9901-BE79998E3821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22e40f44d05ca2cb1f477dfde3ae9c6daac7d8bb","datavalue":{"value":"deductive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$6011185A-B9A5-49EE-84D3-9FB38831AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5de30c865a1075969317cfd4d541dcbaa1d980","datavalue":{"value":"dedutive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$A52A0A9E-D16C-4416-9784-7317303E0C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70902c1c69db0c83075206a62d00902f7f8db31","datavalue":{"value":"proper filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$EB332F5B-6B81-4085-8115-CBB62FBF7BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$CCE871B3-49E8-460C-B6D6-6AAAA7CDA010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$B50D726A-0E42-4D6B-BE0A-D76464127302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e8f0135155ab4b5b70617b5808eb6746561557","datavalue":{"value":"Boolean Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804692$CC5FDBBB-EACB-4E42-B181-4368F5D06ABB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a89cebe013f2bab3da6f3d902078a035214b790","datavalue":{"value":"Q114235705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$1A1793E8-B228-4824-8E94-E0562BA9787F","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":"Q3804692$6C039E6B-EF32-43AA-9E16-7014E489BB84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fda9fa4e84ce2141b85630f767949fad58554883","datavalue":{"value":"https://doi.org/10.1002/malq.19880340305","type":"string"},"datatype":"url"},"type":"statement","id":"Q3804692$E54D8DE7-49F9-4104-8071-2ABDBD48DF3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cea8bc41a422e6934099d9fc731f9641748f3ed","datavalue":{"value":"W2074101257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$0B8D6141-7AC7-4A72-BFD8-6363853735A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"103611dae1ee3e99bcf4db140ed5484eb31ed536","datavalue":{"value":"10.1002/MALQ.19880340305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804692$8CE4915C-D577-4688-BAF1-11F53F339319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a27154f915c3234c0051cfc4de9240d08094f4","datavalue":{"value":{"entity-type":"item","numeric-id":4954725,"id":"Q4954725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fa27e3aa1957f5e7ec1d169737634fffbfc2dc","datavalue":{"value":{"amount":"+0.8470479846000671","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":"Q3804692$AF6CFB48-B1F5-4556-9277-96488750DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797ad54cf0b3a811d4eb8b30f8bdaf561a50c31f","datavalue":{"value":{"entity-type":"item","numeric-id":3751628,"id":"Q3751628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bd3de84acaf94237aff8d7b5b6e033818ee952","datavalue":{"value":{"amount":"+0.8433257341384888","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":"Q3804692$0519D901-3FB9-45FB-9722-3FF8DF2B6B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c09b72e6188f0317ca76e1df4dcd2f3d8e34e2","datavalue":{"value":{"entity-type":"item","numeric-id":3708845,"id":"Q3708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c55a0feaf6a759a7b575ae86e428382301881e3","datavalue":{"value":{"amount":"+0.840238630771637","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":"Q3804692$73F5DB59-3035-4F60-B29D-4116EA4B93E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12368d0f4346b6f526733612f12f4c16c53e3df","datavalue":{"value":{"entity-type":"item","numeric-id":3755490,"id":"Q3755490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dff3354fbb222c1fcb4f0294813229e52d33c9","datavalue":{"value":{"amount":"+0.8308367133140564","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":"Q3804692$A77AD8F1-31D9-442B-B53B-3FF0A3FBE2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9269a918184daa44bc299ad79685e27d58346eae","datavalue":{"value":{"entity-type":"item","numeric-id":3024391,"id":"Q3024391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49879316dafd48b2500d14fc2af64f945bdcbc2a","datavalue":{"value":{"amount":"+0.8107355237007141","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":"Q3804692$76FCCAC8-847E-4F29-B8AC-41BE47A04B43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras","badges":[]}}}}}