{"entities":{"Q2413417":{"pageid":2424160,"ns":120,"title":"Item:Q2413417","lastrevid":44047065,"modified":"2025-11-19T08:15:18Z","type":"item","id":"Q2413417","labels":{"en":{"language":"en","value":"Interval dismantlable lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6857724"}},"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":"Q2413417$F4F53111-69C8-41E7-A00A-3923146E88E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a63205403c9c1306eeb8e90761b2eb0f7d4aa117","datavalue":{"value":{"text":"Interval dismantlable lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2413417$80D0DC1D-0742-4D03-9946-43FE514A97AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbb14be3a7541c7c9fd1625c6c9081ea744d6af7","datavalue":{"value":"1405.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$74E32B03-1B88-46FF-A88F-E898D224CA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f542c590689b7db9e238ff6636ee04500855c3","datavalue":{"value":{"entity-type":"item","numeric-id":922574,"id":"Q922574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$B40545CF-F9D9-474B-948D-12AD3A6AAFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1522473f024a98235930f93c992bc903e4abeeb1","datavalue":{"value":{"entity-type":"item","numeric-id":284224,"id":"Q284224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$47156D50-80AD-4F86-9E76-A8E875F921DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$6AAD1E0A-C879-4F47-9FF8-8DE2B750A77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6c7c13f79df3493945bb3eac148fd4a412831b","datavalue":{"value":{"entity-type":"item","numeric-id":219076,"id":"Q219076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$6D5ABE3A-EF77-4C5C-B13D-F53509C480E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$A1162345-967D-4EDE-A8EC-8B3D89FEEB5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7b04a932915a16080ff16768997e390c5868b4","datavalue":{"value":{"time":"+2018-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2413417$0BA74B07-F906-45A7-8983-731D5EC04993","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0ac6028a46a1cfbd87b0f521c3834637c1c3bee","datavalue":{"value":"Dismantable lattices were introduced by \\textit{D. Kelly} and \\textit{I. Rival} [Can. J. Math. 26, 1257--1271 (1974; Zbl 0271.06003)]. An interval dismantling of a lattice is defined to be a partition of the lattice into two nonempty, complementary sublattices where one is an ideal and the other a filter. A finite lattice is said to be interval dismantable if it can be reduced to one-element lattices by successive interval dismantling. The authors find a quasi-equational base for the pseudovariety of interval dismantable lattices and prove that there are infinitely many minimal interval dismantable lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$F4C1094F-2622-437F-A7E0-E7AE608F0A5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$078C3A92-583D-4BF9-AB6B-851453E04B8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$9B93342D-D0D7-42AE-8370-992E67FDD1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$B500B0CB-66A3-4EE6-840A-9723CBE1584E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a28715e53378bb4b3c3f44c72825138e6a9dd86","datavalue":{"value":"6857724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$EC392124-658C-4403-B413-CB80C54F02D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$6EE75958-1954-4083-8C8E-D38C1A4D81EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc49771020e3eeae435b653251a15da266aa83e6","datavalue":{"value":"join prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$649D8CBC-5251-4F83-98F4-916C9FA739E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd224526f5ec6a7ca89abcfae6d53812daf27dc","datavalue":{"value":"meet prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$FB482B2B-93F5-499B-9BD9-7B2FBD21DAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2f1c4c7a47c98c7bd9b25cb4a54e8239b113a1","datavalue":{"value":"generation set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$F514846A-2647-4E49-9816-D7402BDECB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413417$088C4E43-DE34-41A0-9D8D-25FCE3F3F816","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":"Q2413417$7D2612E9-5E7D-4DC4-B91A-4CD5EF67F8C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"866635b9991814702fbad805ea7775d02c423e14","datavalue":{"value":"https://doi.org/10.1007/s11083-017-9422-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2413417$7CE7FA44-9A9E-42F8-AFC5-4C6BC94E0D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ffd18f63c9eba54215a25bc7d7e4ff510d74d9","datavalue":{"value":"W2583502390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$D18C14B2-28AA-445B-AC14-5A1BD8693446","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de82296442d03cbae358a6fae31988d64ea15c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215514,"id":"Q1215514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$ADFF36DB-DBE1-4344-96ED-3454574A3EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eff65327e75c44d90f5456356b926e13f3a1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":799720,"id":"Q799720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$0C46DBAF-DE65-4EC2-B523-8C8BE2D0E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$D56780E0-79D3-41BC-A313-110D89294EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4600cb636653380337b949ef0530ce969b337fb","datavalue":{"value":{"entity-type":"item","numeric-id":3215248,"id":"Q3215248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413417$A01C2510-8CB2-499B-AF60-922B7D1F262A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a15dc451a2eaa92677f95fcabcce560b6d2de052","datavalue":{"value":"10.1007/S11083-017-9422-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413417$3BF2F490-9606-4BBC-B961-2D64DFA6BCF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08832203dba4f71ad2f04f7d7065522867d11c1","datavalue":{"value":{"entity-type":"item","numeric-id":6116527,"id":"Q6116527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c080c72492783d6d3a37a8782bd5f7c62c7ae5d1","datavalue":{"value":{"amount":"+0.960598","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":"Q2413417$916CA02A-9BC4-4566-AD4F-0545E9DD26BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d9dfdaab4ae0e7e13324ad5806b6164c575971","datavalue":{"value":{"entity-type":"item","numeric-id":4664901,"id":"Q4664901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1058a074d0400f89d372d448e8b23c7fdef18f03","datavalue":{"value":{"amount":"+0.91979146","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":"Q2413417$F09A89BE-F8EF-4A05-A5E3-136F20F2711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ce05b883f6534f90b2d557634de753a64d2edd","datavalue":{"value":{"entity-type":"item","numeric-id":5957709,"id":"Q5957709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdf4347927458c9378b3f91fc36bf8029a58ee1","datavalue":{"value":{"amount":"+0.8877272","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":"Q2413417$A5C0CE8F-8ABA-46CD-BFFE-8B18EF197FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c313b1b6199127b35a36d5b7d5ce07d7b3f41659","datavalue":{"value":{"entity-type":"item","numeric-id":4634587,"id":"Q4634587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4407ca2ea5268466396af0ebf3ad07eaae218cc0","datavalue":{"value":{"amount":"+0.8862457","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":"Q2413417$194BC33B-CD7F-45CB-BD97-BA3A78712566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca29ced8c93bd2cb7c8b723c859b8675932a2089","datavalue":{"value":{"entity-type":"item","numeric-id":1410433,"id":"Q1410433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ddf2948f3b14ab24d7f8407a7b943e919e59e8","datavalue":{"value":{"amount":"+0.88100266","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":"Q2413417$036A79CC-98B4-415F-849A-B25F15CD4325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bac98c260d7eb6766953c2227fa477597a3998","datavalue":{"value":{"entity-type":"item","numeric-id":1057292,"id":"Q1057292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3571b712311693bb80e579e9ab37d1ce98ccee3","datavalue":{"value":{"amount":"+0.8770509","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":"Q2413417$618A443A-E4BB-4FCC-B614-A49380AD63AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0f3bb53ba9a1cbe0b3f182ab651d40e37fd1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5151368,"id":"Q5151368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649f895dba0101c702a488978ea42f0b140f6509","datavalue":{"value":{"amount":"+0.87584585","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":"Q2413417$46EA6749-38F3-4E28-ABA6-193EAA7DF97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03229e26496b92d78f86b1fc97c71451f1a9281a","datavalue":{"value":{"entity-type":"item","numeric-id":1908933,"id":"Q1908933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba452dfc70b18db89d3043d401d51980f86d4db3","datavalue":{"value":{"amount":"+0.87349474","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":"Q2413417$33A7DE5F-9C3C-4687-A417-C4DDEE0A2B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6652e04ad0456da65dedac75f8509e3b76baa6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3815355,"id":"Q3815355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4a5892b34b80ec2a21d3fc99a15d20c46c9875","datavalue":{"value":{"amount":"+0.8710905","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":"Q2413417$374841BE-37BE-48AF-AB05-5E792953DD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344fb68eb04c2c5591a2ef9caf81a279c211ed96","datavalue":{"value":{"entity-type":"item","numeric-id":3720651,"id":"Q3720651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fedafc090e0ec79e243691ef7ed71c3bc10191","datavalue":{"value":{"amount":"+0.8691819","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":"Q2413417$755DA02B-0E27-4A18-868F-0D77A98E035A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2413417","badges":[]}}}}}