{"entities":{"Q1201239":{"pageid":1211988,"ns":120,"title":"Item:Q1201239","lastrevid":47117695,"modified":"2025-12-31T17:55:04Z","type":"item","id":"Q1201239","labels":{"en":{"language":"en","value":"Notes on an extension of the structure of frame"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97491"}},"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":"Q1201239$E82A18A9-9BE2-418F-B91E-2F6A10ED74A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9eae87c03c8ad92446c9f9be76c77a0ab3b907","datavalue":{"value":{"text":"Notes on an extension of the structure of frame","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201239$C0012095-CB2F-452B-B953-31A17E344E62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5070251a0b3c5ce6531264a1df9d8b24fc0c797d","datavalue":{"value":"0759.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$96E66EC9-03E4-40CE-BAE7-D09EACAEE36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eddc9732105ba9f35197493b33a48eeb40a96bdb","datavalue":{"value":"10.1016/0012-365X(92)90664-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$92D732D2-0DFE-4229-B6DD-F933D6788E7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$10B60F68-E6FD-4AD1-97FB-183D09FCFD6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201239$0CBD4C2D-C210-4EEF-AEAF-ACF0C9498029","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4be7fe43eddc176d6c20767ce35af508528406d","datavalue":{"value":"A frame is a complete lattice satisfying the distributivity law \\((\\bigvee a_ i)\\land b=\\bigvee(a_ i\\land b)\\); frame homomorphisms preserve finite meets and all joins. An extended frame (\\(E\\)-frame) \\((A,\\cdot)\\) is a frame together with a binary operation \\(\\cdot\\) satisfying the rules: (1) \\(x\\land y\\leq x\\cdot y\\), (2) \\((x\\land y)\\cdot 1=(x\\cdot 1)\\land (y\\cdot 1)\\), (3) \\((x\\land y)\\cdot 1=0\\Rightarrow x\\cdot y=0\\), (4) \\((x\\cdot y)\\cdot 1=x\\cdot(y\\cdot 1)\\), (5) \\(x\\cdot(\\bigvee y_ i)=\\bigvee(x\\cdot y_ i)\\), (6) \\((\\bigvee x_ i)\\cdot(y\\cdot1)=(\\bigvee (x_ i\\cdot y))\\cdot 1\\). An \\(E\\)-frame homomorphism \\(f: (A,\\cdot)\\to(B,\\cdot)\\) is a frame homomorphism \\(f: A\\to B\\) satisfying \\(f(a)\\cdot 1=f(a\\cdot 1)\\) and \\(f(a)\\cdot f(b)\\leq f(a\\cdot b)\\). The corresponding categories are denoted by Frm resp. EFrm. If we denote by \\(U: \\text{EFrm}\\to \\text{Frm}\\) the natural forgetful functor, a natural construction is shown to yield an adjoint for \\(U\\); a characterization of the extended frames thus obtained is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201239$84EA7CAA-C5CF-4E60-B3D4-F9B2BB034D05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$F1869407-B4E7-4635-9E0E-BED2C7CB4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$E4C774C2-41B8-483E-882A-FACDF0438E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6557f1af3bd36b7e9b4e899a342b014277ce8618","datavalue":{"value":"97491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$11766C73-E4E8-4D1E-8723-077C5688B0B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2ba6531e18a23b6fcb468e7547bb26d2ab72bc","datavalue":{"value":"adjoint functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201239$6D42D06C-C540-4E7D-A236-0F02215FEA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb1236262830983c9a978fabc80d1d25cec00c7","datavalue":{"value":"extended frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201239$413F51F9-41B5-4FDA-AE4D-94C2A2252F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa16ed6eee55f10fc8dbba753e12a0286b94dfe","datavalue":{"value":"forgetful functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201239$50EF047C-5F53-4F71-A3B6-8300EBE22BC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$490B6380-2EAB-4DAA-8324-F3A5EF83979D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$8AFEC3A0-09AE-4865-B856-5D0B4B0268CE","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":"Q1201239$421FA098-2425-40CE-8DA7-1BFEFB9200A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f484ba619b24e8d6dc7548e3787ac753243f0","datavalue":{"value":{"entity-type":"item","numeric-id":3927875,"id":"Q3927875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$0EEA7C50-4E60-41C6-9781-178620FEC9C7","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":"Q1201239$771F1BDE-67FC-48C3-8057-049D55FA4932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3926e0679842fd54ca65667282287d0be108808","datavalue":{"value":{"entity-type":"item","numeric-id":3774535,"id":"Q3774535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$D18D2D93-9BDD-4B60-8C70-464BEB4A8242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$0C4F9B5F-EC89-44AD-8F94-F31E91E6A747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7da5b2ddf6e590990654adf9a78389a4d67321","datavalue":{"value":{"entity-type":"item","numeric-id":3331896,"id":"Q3331896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$A3B19F5C-CDE8-4E2A-9696-E9BBC7C06637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2fb5a34deb6e73d7909f41740bb5c501535d33","datavalue":{"value":{"entity-type":"item","numeric-id":4733082,"id":"Q4733082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201239$565E8C7B-A8EB-45A1-94FB-714DBE64EF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8839e380eee041e76e0fa8698fe70f76deb65a16","datavalue":{"value":"https://doi.org/10.1016/0012-365x(92)90664-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201239$56119B18-2B83-4754-B735-B5F32E6EC247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eff463205f7abd838d70a08ff7fbff518d7a0ea","datavalue":{"value":"W1968725575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201239$C3AB997B-7118-4F60-9161-FC1DF8E84CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee22e88b1487c1ab1f191543524336d0e5d47f8","datavalue":{"value":{"entity-type":"item","numeric-id":1913868,"id":"Q1913868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e067231ddf7cc062b1de57bf7590fba79ac865","datavalue":{"value":{"amount":"+0.7983832359313965","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":"Q1201239$6ADB8829-E570-46CA-B27F-FBA11866F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2444ded21663460f2f2c86cdbe23ca96f1353806","datavalue":{"value":{"entity-type":"item","numeric-id":4280790,"id":"Q4280790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4f5ebff5fae658b8459611ed48d1cd43ef0c84","datavalue":{"value":{"amount":"+0.7698898911476135","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":"Q1201239$7CFF4528-6345-4AA5-BF1D-80B899356F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95815481eb77e19b3a0567354ffa886508450ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1208200,"id":"Q1208200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd3ab25a73596949f3992f92070a0833e4d1ef6","datavalue":{"value":{"amount":"+0.7696985006332397","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":"Q1201239$679EE012-CF16-4075-AC39-C20075B881EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bd17846d11571d93402aa3f83a764be558a474","datavalue":{"value":{"entity-type":"item","numeric-id":3135949,"id":"Q3135949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36d8a55674ddc7376b2aa973ab7a6554115bb8e","datavalue":{"value":{"amount":"+0.7637283802032471","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":"Q1201239$7695304F-7B26-43F3-A84B-30F04FA6EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b178918f251307c325e764be032fcf500c849887","datavalue":{"value":{"entity-type":"item","numeric-id":425299,"id":"Q425299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9164485bd00972261458abb842e6f559252a3462","datavalue":{"value":{"amount":"+0.7628390192985535","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":"Q1201239$A2945A36-6184-4F01-962F-D986AC523301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1201239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1201239"}}}}}