{"entities":{"Q2910982":{"pageid":2921707,"ns":120,"title":"Item:Q2910982","lastrevid":42487829,"modified":"2025-06-28T19:01:25Z","type":"item","id":"Q2910982","labels":{"en":{"language":"en","value":"How to construct a product of a-frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6081347"}},"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":"Q2910982$755F2B74-CD36-450E-A22C-F3058C05C659","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb5da8592c73904389e6f83af79f76af0599232b","datavalue":{"value":{"text":"How to construct a product of a-frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2910982$FC808C82-CF90-49B3-AA91-3FDC4A29CE0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaabefcfadb3373a78ab0d87b98249c489413fe5","datavalue":{"value":"1330.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$D854EB6A-5A3D-4FAE-A8EA-55ABF4B5D460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$2B11C8E5-BD03-4084-91AC-322B81D95C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"392bef464532f1fb6c9d97acd60a5df3e0795638","datavalue":{"value":{"time":"+2012-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2910982$6005424E-83C6-43FC-B7DC-58260DF36477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$42762D93-819E-445F-80E5-9DF10E773A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$FAB9755A-AA09-4F4E-9AE5-DB5BC219A49B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"689366a6b3d58449341b2b54576fd2e202ad0ef0","datavalue":{"value":"6081347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$BE32C1CF-D0F2-43FD-8DDE-9D711D6B0375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289922a023bb610011657afe6c06498efdf08c14","datavalue":{"value":"constructive lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910982$21F1736C-E24B-4843-8C46-887B0C6FDFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01547e6e091590fe2b004b752a2147c5ece10568","datavalue":{"value":"a-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910982$A702E81D-F4B1-4AC9-8F7C-75666EBF9D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6dfdc683b94ffef2799f865d83713238823c1bc","datavalue":{"value":"product lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910982$05D8D91C-A738-4A6B-9AF5-596479B05CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b270a9ed73ba52329fb34dba947a364940903e5b","datavalue":{"value":"decent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910982$1F201814-09DD-447A-845A-E32F7860DC03","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":"Q2910982$BDE90006-FE3F-4F99-82B6-97BE18B0F233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0937cd3e76d238dcba8e814993282309bbd5f4","datavalue":{"value":"https://doi.org/10.1002/malq.201110059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2910982$DA05A452-B4F8-4AE5-BFED-A3503E27C4B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bdf685e75f33d2c1d7917ac3ff7e73c290a080d","datavalue":{"value":"W2110384939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$50C43F8E-F8FC-44EA-AD77-7C897271F287","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$C9BF48FE-F6BE-496F-97A6-23B4DDAB21C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531f5dc292680092c6056c4daff41e5551ab7a0a","datavalue":{"value":{"entity-type":"item","numeric-id":5448612,"id":"Q5448612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$5D0BEAEA-C327-4D2F-9F5D-C85589BC84BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f330e666d5778c04ec5d5d092d617ab68edc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3627310,"id":"Q3627310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$B94A393C-4B44-4008-B388-B785AD3844AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f67541167d1d74038af98d02455f843552cba65","datavalue":{"value":{"entity-type":"item","numeric-id":3092706,"id":"Q3092706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$B5F8FF10-E445-436F-A231-46300C6F49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$E939F01F-B99F-47C7-9BA5-902BAE2270BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$1E2B975E-2594-4398-8006-9035FE315868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$205FD0ED-C458-426C-915E-ED80369519EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7399a0731f44282fa9a327079c7b1be7cdb242d","datavalue":{"value":"10.1002/MALQ.201110059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910982$92559C24-191B-44AA-A965-791C8D8B1E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f1ba152f26a5ac6cd2aafdc7d4a3f96b288318","datavalue":{"value":{"entity-type":"item","numeric-id":5448612,"id":"Q5448612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5922b718b02ac01cc5ec568c6663734893afccb","datavalue":{"value":{"amount":"+0.797891","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":"Q2910982$18F7F196-655F-40A9-AEEF-863238790DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f2ed86eb54335a56612a7af564f6d9e2fdb95d","datavalue":{"value":{"entity-type":"item","numeric-id":5190154,"id":"Q5190154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded2c4359e78013bdff41c532fe36c310275ea13","datavalue":{"value":{"amount":"+0.7716977","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":"Q2910982$E2CFB3D5-5773-4A2F-A953-87A3D58F6F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badf99d37c7ddde1a8cad2c2238737dd9e383d64","datavalue":{"value":{"entity-type":"item","numeric-id":752428,"id":"Q752428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600f7b114b4e633725c1f79a03344673afcfef2e","datavalue":{"value":{"amount":"+0.7642409","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":"Q2910982$9BB11EC7-4EB0-4F36-AE63-8B17D8AFEE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840d52440dad9080ef926d07a3e5b94300f45843","datavalue":{"value":{"entity-type":"item","numeric-id":1317202,"id":"Q1317202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689d186c586ab5cf94184d1af3af7d3091728520","datavalue":{"value":{"amount":"+0.7519924","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":"Q2910982$F407EAC9-02F3-42AC-8B3A-6A8700AF3155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d229ec471b39639f137b90338e6ad159df7e89e0","datavalue":{"value":{"entity-type":"item","numeric-id":805965,"id":"Q805965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a99f9abeeef91be11a23dd1acc658c55c35867d","datavalue":{"value":{"amount":"+0.7517907","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":"Q2910982$88D23DC3-33F5-4CDF-8302-8E391B6B9BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e640165119fe52244d3c8c91e468de2ad3ce298e","datavalue":{"value":{"entity-type":"item","numeric-id":2067796,"id":"Q2067796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5d12d977b9e9201e47f967f24fa041231daf00","datavalue":{"value":{"amount":"+0.74852","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":"Q2910982$3BA1B682-56BC-4EFD-85C2-39ADFAEF25F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7779e5be4213ed72def1cec28be73b84f6039f5","datavalue":{"value":{"entity-type":"item","numeric-id":4268925,"id":"Q4268925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032cee95cb617478594a973b7c020aa758e8bb50","datavalue":{"value":{"amount":"+0.74647707","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":"Q2910982$85835CD0-02FB-42B2-9C14-496606D6F097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba228ba48f37ee2f53904833371e9fd18424c93","datavalue":{"value":{"entity-type":"item","numeric-id":1985618,"id":"Q1985618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce34218297aa313c170447a09d1750522b632ab3","datavalue":{"value":{"amount":"+0.74448454","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":"Q2910982$16810A5B-FC02-48D9-AEDE-C99A6AA4EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3257e7e9ec20c498582ba2bb93e2694fa8071b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4979786,"id":"Q4979786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca700a0e7c3b2906b813194d3b24d01485327ab0","datavalue":{"value":{"amount":"+0.7424119","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":"Q2910982$BD9FCDC9-5716-48C4-AF84-12BBAE0078F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845030326ea4c56a78d61d7ac784cced5aedb629","datavalue":{"value":{"entity-type":"item","numeric-id":2932253,"id":"Q2932253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ef0947262d54166bb3bbe083c752c17255df17","datavalue":{"value":{"amount":"+0.7387454","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":"Q2910982$010A1360-3EF3-4F85-AB65-B50DE764CE96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$7168584A-8779-415E-8662-D70FF4C6077C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec220c68647ac86eab1fbbecd441e18b9b40f133","datavalue":{"value":"This paper is developed in the framework of constructive lattice theory, where constructive mathematics is defined as mathematics that uses intuitionistic logic'' in the style of E. Bishop. It presents a notion of a-frame, which in particular is a complete lattice, i.e. admits arbitrary joins. (It thus seems to the reviewer that, in opposition of what is stated in Footnote 2, non-trivial examples can only be produced using some form of impredicativity.) The question which is analyzed is then when one can put a structure of a-frame on a product of two a-frames where such a product is characterized abstractly by some axioms listed in Section 2. A crucial role is played by a new notion of ``decency'' for lattice. A lattice is ``decent'' if \\(x\\leqslant y\\) follows from \\(x\\neq 0\\rightarrow x\\leqslant y\\) (a notion which classically always holds but is intuitionistically non-trivial).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910982$F9E52B36-A876-47E7-9E69-52E3083F2084","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910982$66FD17D2-774F-4852-A7E8-F0C1E87F12DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2910982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2910982"}}}}}