{"entities":{"Q5886460":{"pageid":7916011,"ns":120,"title":"Item:Q5886460","lastrevid":101845757,"modified":"2026-06-06T03:00:09Z","type":"item","id":"Q5886460","labels":{"en":{"language":"en","value":"The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672619"}},"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":"Q5886460$84A1D140-4A73-4FC7-921E-8D910BAA4A64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61a490e2088187bb4c1d35ad014e053ee4770e9f","datavalue":{"value":{"text":"The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886460$CE18D0D5-FEC9-41DB-9DBB-82F8B187B25B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a116be354246732cb65bb822aa75570e1d96f06f","datavalue":{"value":"10.1007/978-3-031-06843-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886460$AD0F6F98-5FE1-4722-8D48-FE169BEF179D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$9C276ECC-792A-4AA1-BD88-837CA42CA202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$A599E014-30C5-4F19-A983-1D858AF881ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886460$CAF42DA3-65C7-45CA-AB33-218BD26765C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886460$B58EBF73-336D-442E-AB2F-F9B92FBE75B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886460$D5D1C243-A430-4E09-8133-3473D13FE42A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be441c784744ed2fe65da4e62a824e17571f606e","datavalue":{"value":"7672619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886460$8A8EB6A7-E3F4-4554-90FA-A64EE8B387C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886460$95CE3F1D-3C83-45E6-95D6-694BD5EAADA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3879d68bdf285b203b304f4de8281f227c85e9","datavalue":{"value":"modal propositional calculus S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886460$56BDCFDA-5340-4426-822C-57DAA25396AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9eb0e5e819bbbe85164b293182caad04c12e25d","datavalue":{"value":"lattice of all normal extensions of a calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886460$71112D56-07A7-4EEE-B348-1A5AEC2FC75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886460$4199A203-6FC5-4CB4-9F92-B7D5BEC45D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886460$BABE2A33-A099-4558-91DF-48683B66E465","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":"Q5886460$E7D3A1A4-ED0F-4F76-A8EF-13CA20052626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f73f49d2207fd938d98b92a87f060c51a4629010","datavalue":{"value":"https://doi.org/10.1007/978-3-031-06843-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886460$8953243A-8F91-4109-A416-1464AB99C4D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e636b66b095e396a72f6ba73b0ce1c50cbd00cf","datavalue":{"value":"W4312857529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886460$24B96F2F-97CD-4A97-BCFC-BD8FCA3242D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cebce9aab92febbced53c36c1a4193422c46671","datavalue":{"value":{"entity-type":"item","numeric-id":818713,"id":"Q818713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$BBE245EC-465C-484C-9FA9-6A63AE1B6412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$D27170B5-24B8-4182-82B6-743E4ABF9F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$553CB828-9531-465D-B028-FE9003146310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$EA4E5C5F-6517-4F80-800B-A7BC38A69578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ffc6741c75a6b43c653abfc36c04fed8cf6427","datavalue":{"value":{"entity-type":"item","numeric-id":3344180,"id":"Q3344180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$B77FCC05-4B81-43BE-9668-3F3869C87108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$55AC9F1D-6C31-461D-9770-37378269D7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$A1512040-A818-4B63-8160-8D6622E66AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250883ca26eebc75b030eef7d86703c9f5737016","datavalue":{"value":{"entity-type":"item","numeric-id":5639697,"id":"Q5639697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$BCB0D0D0-1137-4947-8BB7-5A34F62657D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cbb1d199784524a85caf14bd0f4233180e86c7","datavalue":{"value":{"entity-type":"item","numeric-id":5623661,"id":"Q5623661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$2DF82C7D-0BA7-442B-92DE-FE68D1C57F1A","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":"Q5886460$FBCD282B-AFF8-4D10-82AB-5230AABB8CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13f50da9042f2f43e4eb607bb6a80929a61b53e","datavalue":{"value":{"entity-type":"item","numeric-id":5590782,"id":"Q5590782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$A9CC6E83-BF52-4EE4-B2F2-74DF35E235C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e02ef366425bee914a3948d69a60170198bc","datavalue":{"value":{"entity-type":"item","numeric-id":1220915,"id":"Q1220915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$224D868E-145E-4A28-AE0E-9B163AF12077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$BC8234C1-FEBE-4260-9602-15F0D167A0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d486ac68af681f8a85b54847acb6484d81487ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5599784,"id":"Q5599784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$746F048A-80FA-49F9-88B3-D7F62B7550C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d7423eb3da7e7ed0478e456e4e18b31bacb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":2372685,"id":"Q2372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$6BB9B54E-B4D7-4659-BCA6-0BFC361C46BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26fc81b03196eda2a4d116f53a9849dd10918df","datavalue":{"value":{"entity-type":"item","numeric-id":5255795,"id":"Q5255795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$D92B8C5C-352F-4100-92A3-5ADE5B130CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da70c56e53f8007e4c84a8c15d0b86ab81ab9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":5214738,"id":"Q5214738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$DB3A184E-B98D-4EA4-844A-EA747D1FE92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$25ACCEE2-E743-4C99-85E6-91920ACF39CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$281F62D0-55CE-4E5B-BF08-3EAF37F0CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$40724914-A2F0-4D3A-B4A7-71E30196CB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211d09e04c32010a5130c2b816f52d0504e6d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5275572,"id":"Q5275572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$3EAC806C-5DCB-4492-A504-62336DF58F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$B8A223B0-3EF6-43F3-8705-404031545507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ade8724826c93ce804a9756d7cee4ad81a9f4b","datavalue":{"value":{"entity-type":"item","numeric-id":581390,"id":"Q581390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$9CC5853B-815A-41DF-96DF-46EC45A6C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d06ba6299162423e75361245706d4d2cb1fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":5255793,"id":"Q5255793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886460$5E939C32-4422-4C89-942A-D57AF916FE12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259a234fd7a7fbbbf5247d264bc676658b36dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":5214738,"id":"Q5214738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c963926fb198fa608d0454f3ae31902b3bf0787","datavalue":{"value":{"amount":"+0.8492358326911926","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":"Q5886460$09B6198E-A5EC-49CD-89DB-9282165F28DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba530f85281c17c198e50442a49f6e3189b1a20","datavalue":{"value":{"entity-type":"item","numeric-id":1125058,"id":"Q1125058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a7779379686f40c4d5abc1e12e69cc79691960","datavalue":{"value":{"amount":"+0.7649515867233276","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":"Q5886460$A5DCAFD7-D04A-4AF7-9349-0BC8287CF202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7180c0a6fee01497e0dc5601ffc3b44dc9cf716","datavalue":{"value":{"entity-type":"item","numeric-id":2436104,"id":"Q2436104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cc160bc773abbd363404200b7de1bc54d93849","datavalue":{"value":{"amount":"+0.7470366954803467","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":"Q5886460$A7BF8542-DC93-4478-B58C-FBD015E5F7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a524d9bdd4ffd96be8aceccf0d5a627c239eab","datavalue":{"value":{"entity-type":"item","numeric-id":2399606,"id":"Q2399606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec7a49977029b84d30cdbedda4aa12c96465cb4","datavalue":{"value":{"amount":"+0.7458833456039429","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":"Q5886460$778700B5-6C10-4831-8433-4957E1DB6EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b220d2727f97c02874dda1c5407d0fd29ff84daa","datavalue":{"value":{"entity-type":"item","numeric-id":2372685,"id":"Q2372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2adf5f1b695ebb93a64254c59772d7cb6654915","datavalue":{"value":{"amount":"+0.7379623055458069","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":"Q5886460$DA354329-E355-46D9-92DD-155A419EA821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond","badges":[]}}}}}