{"entities":{"Q2671819":{"pageid":2682562,"ns":120,"title":"Item:Q2671819","lastrevid":55412620,"modified":"2026-02-17T15:50:12Z","type":"item","id":"Q2671819","labels":{"en":{"language":"en","value":"Distributivity and residuation for lexicographic orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537430"}},"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":"Q2671819$DC152B87-39EF-44F9-BB3F-9A4201972BD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ce4b70cbbc592bd34484dd8a7dfebc203968e9f","datavalue":{"value":{"text":"Distributivity and residuation for lexicographic orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2671819$2AD12997-4783-43FC-9B24-3BD6A92275DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$1D39EF68-90F9-4364-A670-0F365F931706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9617be33a04916e8cd44fb68d00e3c0f51e24e76","datavalue":{"value":{"entity-type":"item","numeric-id":344545,"id":"Q344545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$2AD18857-7AB1-4EB7-AE39-0DB00C95E31B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$051AD84C-C717-40EA-BC1B-B75D75BBC7D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2671819$42073BA1-9AD3-445D-B474-00955031FCD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671819$319F8661-7A12-4357-98EE-94A0A0AF3071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e7ee5093f707c0601152d7dd11999a5f224ab79","datavalue":{"value":"7537430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671819$78C59FE7-3610-44BC-B1FC-9AF62CE0E6B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671819$754BDA09-C045-42E0-AC99-147F69974842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8918c7e9a2693507f1e80b740ddcd3177f96fdf","datavalue":{"value":"residuation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671819$684B79BB-8820-4B4E-AEEB-00598EF209C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb2d14e2b122838a26ea7a670d0a2a5c6c989e9","datavalue":{"value":"lexicographic orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671819$A8BB74CA-D13C-482F-8ADA-22F38E597E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5255d6bc95f67a9ca072e18d3acb3b764e225be","datavalue":{"value":"soft constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671819$80A9C02D-C80B-4378-ABFB-6B490EABD376","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":"Q2671819$F82337C6-C6F0-4EDB-93F7-10C4DA04594C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71714e771b80fae5210b15401019992d24f1dc24","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2022.106271","type":"string"},"datatype":"url"},"type":"statement","id":"Q2671819$36DEF4CB-AA16-42C0-B237-406612152C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fa7e83a86c2a9d45f3baae053d5e344fdcda676","datavalue":{"value":"W4224284002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671819$CE2A2705-098A-47F9-BE84-596875483F27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$9F84B9E7-EB60-42D2-BF5A-4F834B320CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$6E2873CA-4BE9-4701-A8CE-6485941372AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6647b1e0398d9b6b6c3d86b35f9768e1b7d42f66","datavalue":{"value":{"entity-type":"item","numeric-id":814581,"id":"Q814581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$34E9C6B0-67D5-4A99-9E59-E29B521148DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c3b1d0982f5827c60541235741b581a41a9933","datavalue":{"value":{"entity-type":"item","numeric-id":344546,"id":"Q344546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$31AB3A78-6AD7-4BD7-BB83-2DE3555A95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe35c14e7b5ea22ba1add4f08605978be50b8856","datavalue":{"value":{"entity-type":"item","numeric-id":2403819,"id":"Q2403819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$87B9CA59-9703-4EDA-ABC4-09DB972DA707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a53ca8c18d2799ccd662617348b8494353b80e","datavalue":{"value":{"entity-type":"item","numeric-id":5256343,"id":"Q5256343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$158C809A-BC10-4A67-97E9-CAFC2B86C9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdb829033bea0260294abed6b3d3511d113dd1e","datavalue":{"value":{"entity-type":"item","numeric-id":5918138,"id":"Q5918138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$423C96AD-8252-43B6-BBE6-5DCFAB8E9410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7a42abf9f14237ab35ed8f31f0bad71b48d690","datavalue":{"value":{"entity-type":"item","numeric-id":2055790,"id":"Q2055790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$71FBFC45-41CC-46E8-B7BA-4F5E32DA99FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab45dbe9856493ba568b820973e7e6e773873e","datavalue":{"value":{"entity-type":"item","numeric-id":3053874,"id":"Q3053874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671819$41DED4B2-79E2-42DB-898E-5499165D1137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe00965ca97b46866f1d7722625a73233229370a","datavalue":{"value":"10.1016/J.IPL.2022.106271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671819$46FC8FDE-C409-4BDA-A3F9-5BAA162E3C11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18680e75dcfec97a5eb6f7b05795ea37abcbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3366500,"id":"Q3366500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370409d3cbdf5669200a7fe46d5b3758f66ce7c2","datavalue":{"value":{"amount":"+0.698191225528717","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":"Q2671819$A42C2EFD-AC95-4835-B713-166A495A7252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa93c22d5158c8a3ba7f4a0b86ae10f802de3c2","datavalue":{"value":{"entity-type":"item","numeric-id":5898793,"id":"Q5898793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d477c74877e2f94be4bc2e73950c2782ec1eeaf","datavalue":{"value":{"amount":"+0.6861469149589539","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":"Q2671819$E11D0796-06F1-417B-9609-7761B056FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b65f166b881c9175fe62c52b9d374745ecc186","datavalue":{"value":{"entity-type":"item","numeric-id":2506231,"id":"Q2506231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a20019c3ac3000aa3b8f64cd5eac947e182750b","datavalue":{"value":{"amount":"+0.6849130392074585","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":"Q2671819$8054C6A0-8645-42CB-B1D0-1C7348E801B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d6b468bc536e8a426ca082a98626aaacbe5a43","datavalue":{"value":{"amount":"+0.6820642948150635","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":"Q2671819$04860CEC-B8E3-4A37-9D7C-CA1F394A4416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b75ae43e992af68f1980913563be5a6335446b","datavalue":{"value":{"entity-type":"item","numeric-id":4609512,"id":"Q4609512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617684a1d7e345745d584c8e2b0a1dedded762d1","datavalue":{"value":{"amount":"+0.6812980771064758","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":"Q2671819$6DDAFA61-20AC-48BF-9DFB-1091CCB75EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2671819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2671819"}}}}}