{"entities":{"Q800356":{"pageid":802204,"ns":120,"title":"Item:Q800356","lastrevid":64552332,"modified":"2026-04-11T20:39:44Z","type":"item","id":"Q800356","labels":{"en":{"language":"en","value":"Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875275"}},"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":"Q800356$4C24F8EF-C991-47FC-948F-4FAB1E72D8CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e89d6517a0ebee42f1587a6717f3c5a3fae4c18","datavalue":{"value":{"text":"Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800356$0AF18540-5AAD-4764-975F-EC4E68EA3BB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d162faeea59abe46ab8b0e2e4ffcde9d49785ca","datavalue":{"value":"0549.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$2AE0B4BB-1D23-4755-8837-FC5E480EAE6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e9f94792ade6a805ab9cf29e637631b004e09e3","datavalue":{"value":"10.1007/BF01063837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$4553E987-E8D4-4A8A-A63B-85635E4D48DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$C832C44E-B145-4457-82DA-5200C2FB0F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$A2A60F90-3FCE-4147-A47E-870CD7543A74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800356$72B0E87D-773F-4E00-B070-2DCD03C93901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$94BA008C-10A1-4246-8A96-13F40F608F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$008342F1-3492-42B6-9982-502325097104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29ed05c6c65b4714f67555b18b374d35cc715905","datavalue":{"value":"3875275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$95EABCC6-561C-4F38-8300-7546823E1208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e23e93b763674dfab794c5a516a234c377b6ff6","datavalue":{"value":"lattices of strengthenings of the intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q800356$6B0DAF33-022B-4440-A9F6-20F2503C1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b82d7e52dd54216c23d603d111e296bb2b63f9","datavalue":{"value":"proper ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q800356$77101F33-3271-4548-8BBB-210597DDAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bed8e82bc38e4a1491a13087cb1c115cced625a","datavalue":{"value":"structural strengthenings","type":"string"},"datatype":"string"},"type":"statement","id":"Q800356$A914DD4A-03D7-41A3-AA52-AE84709E6AA2","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":"Q800356$D0C01547-8D4A-437B-A08D-FB84CD502A03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f1ab90b67cdaf2b2802be75c8cb8dfba1d43e6","datavalue":{"value":{"entity-type":"item","numeric-id":1159192,"id":"Q1159192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$B6F48ACC-BADD-43DD-8D6B-C15D5ACABB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265563707eb328ca2a5a04582d8c0cf00fe1347a","datavalue":{"value":{"entity-type":"item","numeric-id":1219875,"id":"Q1219875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$77D7D560-F839-41A9-A107-A733F6C3DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$BACF0DDE-EA33-4B80-B7F8-62394A02DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$7AC573AA-B4E4-4A29-80C4-9B0F06761885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$38EAFF7B-8141-409C-9C67-AEF53179701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1cb1a6e7f6ede319803b887aafa40f2d87fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4109644,"id":"Q4109644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$B49611F0-37AF-44E0-AA2D-841521FC16AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e58a4d13513c59bc261f6ec6481583e04418c7","datavalue":{"value":{"entity-type":"item","numeric-id":4744323,"id":"Q4744323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800356$EFE54295-EFCC-4C49-8A18-A0B90A8CEA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f109b06457f224b3f64015ae5cae0e95415542bd","datavalue":{"value":"https://doi.org/10.1007/bf01063837","type":"string"},"datatype":"url"},"type":"statement","id":"Q800356$D0B3A74B-E927-4596-AD0A-A6850D4F408C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"627253cbd8fb25ecfc22c83918c7268a632c27c6","datavalue":{"value":"W280953097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800356$38CC09F2-0773-4114-B3B9-307EFBEB050A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf09c65a40c08773d5670c716f11b57b0866868","datavalue":{"value":{"entity-type":"item","numeric-id":3979184,"id":"Q3979184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97aad8974e2b3241ed08bd5398bebb55c0e12a28","datavalue":{"value":{"amount":"+0.8666566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$C156DDB5-D3E5-42D0-87B3-387B9966774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251260806abc0f300ec5771aaca2ad69d4754335","datavalue":{"value":{"entity-type":"item","numeric-id":4288806,"id":"Q4288806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b0d9b1519a92fd75cfc1c9b23c4bb77ed28dca","datavalue":{"value":{"amount":"+0.8666036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$C42B6F29-D23B-4FCC-B868-8B92625BA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0012ffe91d969b8569ab8c08169eba24dcee0115","datavalue":{"value":{"entity-type":"item","numeric-id":4384760,"id":"Q4384760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4deb6320c9741066cab507d6492e0133d663c8a9","datavalue":{"value":{"amount":"+0.86166966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$F1F9676A-E665-4D2C-A5D0-89FFFCEC3985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd31e34bab079d12b1ff3552d296c998283cb30","datavalue":{"value":{"entity-type":"item","numeric-id":3820583,"id":"Q3820583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936a93b74328ec7ca0fdd6e89c5c099aab9c0397","datavalue":{"value":{"amount":"+0.8612287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$91A7F76C-139A-40D2-B940-B78C7CFEC1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21773c5c2e332a4d11a8fd3552ffc443191dd620","datavalue":{"value":{"entity-type":"item","numeric-id":3067425,"id":"Q3067425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad16aebd9e7176e5aaa85f40519acbe616cb93a","datavalue":{"value":{"amount":"+0.8585123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$D9172843-2C3F-4D8B-868D-C90554105CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b12c3a801059c79e322cbb82ee095c89986ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5900815,"id":"Q5900815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5c5843fdbd9d00c7e096686e7a6277056e9682","datavalue":{"value":{"amount":"+0.8572848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$2F5A53DD-1F45-4B09-8223-18DDF3621787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc5b1b96f957566f39de7740b8a40aca1a405c0","datavalue":{"value":{"entity-type":"item","numeric-id":1280312,"id":"Q1280312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a92d60247a1a25287aadf14ba450ab5128e65d4","datavalue":{"value":{"amount":"+0.85660905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$F7DCF8D1-54FC-4954-8090-8CAE56E152EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3ca0bd081408813083cd5f01aaf79becf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3775537,"id":"Q3775537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616755dc3f7c2bd65f76a99c351f994b19b00248","datavalue":{"value":{"amount":"+0.85590625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$DE6B4E65-46C7-4242-8A69-DA1167C4634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d701bae057176767af9944e850cb160423ec3674","datavalue":{"value":{"entity-type":"item","numeric-id":3004854,"id":"Q3004854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fedd7e0bc89df4288402f99d3f5db34b642dc0","datavalue":{"value":{"amount":"+0.85428274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$E0B1986B-ECB6-4A07-AA42-231468BCA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2722843a5476c30251f88d085af74ec5f9d816b","datavalue":{"value":{"entity-type":"item","numeric-id":412013,"id":"Q412013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d751495c9d64022740759184aacc882c71bd408d","datavalue":{"value":{"amount":"+0.85051316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800356$C68DC03F-447A-4370-8CC3-7CE3D42C1950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinalities_of_proper_ideals_in_some_lattices_of_strengthenings_of_the_intuitionistic_propositional_logic"}}}}}