{"entities":{"Q287483":{"pageid":289250,"ns":120,"title":"Item:Q287483","lastrevid":60759966,"modified":"2026-04-10T18:57:46Z","type":"item","id":"Q287483","labels":{"en":{"language":"en","value":"Proof theory for lattice-ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6583455"}},"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":"Q287483$854F70E2-30B6-4563-B298-D5158A47BB1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0836b3fc1940ddc0773f7d85197cc005be0581cc","datavalue":{"value":{"text":"Proof theory for lattice-ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287483$C7D77E96-FA26-4A3B-AA31-44E4F8B1DBDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a4944c3786211434a5c140eb4ac9c9bbec6014","datavalue":{"value":"1348.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$F92C27F6-A19A-4FBD-B344-7C321A401897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$2783AD4B-7000-4946-B089-23CD56602657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$AC0F5827-3298-4CE9-878C-D23418407B69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$4901B3F7-87F4-4E7E-B64D-09647E2880D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"206c3c6e81f9d9944e5def066a21d9c872111ac3","datavalue":{"value":{"time":"+2016-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287483$F1D5A870-260A-4F03-B78F-006E38408751","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$DFFF9CBD-1E83-44AE-A308-C224C1B67E1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$23EE0134-C1D1-4D79-846A-EC5E4D382D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$F08D49BD-F02A-4D5D-90B3-0915E6B48909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$120DB5F4-7829-4768-B5B3-954AB3884F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$57F22B72-5AF5-48DE-AF90-7FC456A0B1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$E18D45E2-762D-4A0D-AB49-72757C429D14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a3ca29680b6cd426054a2ad5c83afcf0554da51","datavalue":{"value":"6583455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$FCEC9DE4-084C-4E98-B7C0-8FC62C3AFF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3025b2fd155dc94179dbd6c8a3a744ff7f108ca2","datavalue":{"value":"lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$BCA46E07-CC3B-4EC9-85CB-C63DD6AAF01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$1B08EE75-68DE-437F-B2EB-C88183FE55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$840352D2-9F40-4C3F-AC1F-47AEC68ECF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$73740EBE-FA38-4A01-ADC7-347C53B0F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90860f13b657213c8230d0eedbf59cb5156678e","datavalue":{"value":"co-NP completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$E169AE81-4FE2-44C2-990E-013885BB8DED","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":"Q287483$94C3456A-E2E0-4A20-878D-53E287EF6C82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"874d75c8b4ae5fdcc8f57016600dec8a8d9fcd47","datavalue":{"value":"https://doi.org/10.1016/j.apal.2016.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q287483$B63D3757-5945-43C5-B2EB-9909D39AC82C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cffa5fa5829124be81377ab306bafd5bf5dd7ef7","datavalue":{"value":"W2343933684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$FA83DC6D-1264-4923-B00B-BA69B23E96F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$EFB8646C-35D4-45CD-9B57-576FD01DE173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$78ADDAC5-4719-4A76-8D75-234F16BC8885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$BC8D05E9-B7C6-43B2-90FA-0826A5ACF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$E946F875-7541-4F18-AF2A-5BD78E69810E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658e58d24c242b57ceffc8ac4074fb3b3b46b127","datavalue":{"value":{"entity-type":"item","numeric-id":4805459,"id":"Q4805459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$644D7B28-A952-4AEE-A8C3-5E0B91A3E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$3573B0F3-050E-444E-BB0E-5247664CAFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52f87bfff5e15844694cf22d79c2b75967d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":1770501,"id":"Q1770501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$7AE09091-F834-492B-BB00-A5A1BADC3FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e74fb22366df2b5034dd9e49d22b7da36641d3","datavalue":{"value":{"entity-type":"item","numeric-id":2625704,"id":"Q2625704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$E1AA99DE-7C90-4051-9011-6E615EAF0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bbf249f0d3f8a67755aed5720b42a73b5de6d","datavalue":{"value":{"entity-type":"item","numeric-id":4106253,"id":"Q4106253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$3B917223-FB8A-4FAD-9F07-A3D230059ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d640c4169036a6c845a59db3eb602aee0f67ae","datavalue":{"value":{"entity-type":"item","numeric-id":4168953,"id":"Q4168953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$4EA1738F-6D14-48BC-A236-DC7D3A5B4279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81dce6f558d568a9ffa7ba2a3d970eea92e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3783337,"id":"Q3783337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$A4C0A3FA-7D3B-428D-85F4-C8F6639DBBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31356ca538c608b26ae7e9529491cb170c50394","datavalue":{"value":{"entity-type":"item","numeric-id":3411997,"id":"Q3411997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$D391530D-D4E8-491C-958A-CDD7ACDD0EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$0AF15FC0-2C2F-4949-984D-40B818BABA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f442e40f56a8912ffb1f09904007c9397a293cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1762728,"id":"Q1762728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$AAB22B03-5538-4390-A4CD-FE19CE9B3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$62A1C926-2CAD-4920-969E-8A0170AE1C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$F2163229-FC45-4E76-AA39-4036C7A731C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3996c15e4ba37ecea77f21e60849490c9a39e3","datavalue":{"value":{"entity-type":"item","numeric-id":1035670,"id":"Q1035670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$2150B281-FCB0-4435-AEE6-190A9463DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab45441a289f133d8d44cd0d1acafa9edc51a3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1066930,"id":"Q1066930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$681E2E3F-AC9D-4FAB-B7C2-7BA6BA809F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8c6cfe8c07f7c77985d9bd44929e609b86710c","datavalue":{"value":{"entity-type":"item","numeric-id":1095897,"id":"Q1095897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287483$C2EEFD3F-A2BB-4FC2-A8B8-867F00B69C2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b22227aafdd01646999bf15de30001de290ee8","datavalue":{"value":"10.1016/J.APAL.2016.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287483$8D12C5FD-72AA-4FF5-A662-38F71AB51AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202ad28d4569456af0926b9db805730afc3f14be","datavalue":{"value":{"entity-type":"item","numeric-id":1685913,"id":"Q1685913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e132c0ea1d4df102e722dafe869a28f9e0d033b","datavalue":{"value":{"amount":"+0.8500801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$6955B3F1-6768-40D5-A397-EFC68A2DC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e086e742564ac66669e3c3eb3f6bd011c508d95a","datavalue":{"value":{"entity-type":"item","numeric-id":4692952,"id":"Q4692952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b05fd52e3aebb0944276751cfe8c04c2755f5c9","datavalue":{"value":{"amount":"+0.7410401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$AA2D5446-80A6-4773-AAC0-B63AFE5C2BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8f36bc433f1fde31213a098730e31b885e2527","datavalue":{"value":{"entity-type":"item","numeric-id":2702594,"id":"Q2702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31af7ae9e2d1c6d93ff37754aba22aa380a7600e","datavalue":{"value":{"amount":"+0.7241116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$F5B81080-75F2-45AC-9699-B033F106D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30939ebf56c05b65d8b08c9fd4e0f1a32bd730c","datavalue":{"value":{"entity-type":"item","numeric-id":3682535,"id":"Q3682535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfd88f9ff8fdbedfeedecf5890dab913f9fb699","datavalue":{"value":{"amount":"+0.71975726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$41B76079-B0DE-4A0D-A817-9E43AFB4B377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28072f9ae2ee374d09451c9f68fb69e4584e785f","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41070c22adfe05c538c83245fbb9e760ba958fb6","datavalue":{"value":{"amount":"+0.7087083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$4C6A4E21-89DD-4A72-BB9D-AADC9B05B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9366841f07f0417218fd1fc222b7dbcb5dd9394c","datavalue":{"value":{"entity-type":"item","numeric-id":795854,"id":"Q795854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d84437476e0d26c93032954822457efc2f2fa17","datavalue":{"value":{"amount":"+0.7078474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$28320E03-5B6E-4DFB-BE29-9766A25A11BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d7fc3b4b886c2fda924f4962c013e22331e12e","datavalue":{"value":{"entity-type":"item","numeric-id":2318348,"id":"Q2318348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f29943bca5012eef20716d31ee21801cfeaa66","datavalue":{"value":{"amount":"+0.6973646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$657C85FA-7891-4937-9092-2B8B5112F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb821d5f67c9b1fbfcb143bef6d843a66fc7ab8c","datavalue":{"value":{"entity-type":"item","numeric-id":1740455,"id":"Q1740455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3015396a02827e8507d542b485dcf3e94102b2d","datavalue":{"value":{"amount":"+0.6948656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$F66BF639-C27B-4553-AD10-49D01AB0B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9bbf9aedab07f5cf61b75a01e6c932121da204","datavalue":{"value":{"entity-type":"item","numeric-id":1304914,"id":"Q1304914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e4f02e263608fd46898981d16ee034516f0c3c","datavalue":{"value":{"amount":"+0.6907664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$60108927-1393-4BFB-A977-44C3ACAF90A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b1efcdbf1f1de6fdaec67375dde64bf51e604e","datavalue":{"value":{"entity-type":"item","numeric-id":3731644,"id":"Q3731644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5de74a1d53f857c90c27a99d1913e5508f83bf5","datavalue":{"value":{"amount":"+0.6871271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287483$FE368E72-7B0E-4543-83DC-71E159F97823","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7253841b0b699d27488bc805ff43954598733b90","datavalue":{"value":"The authors develop a proof theory for lattice orderes groups (\\(\\ell\\)-groups), as the title of the paper says.NEWLINENEWLINEThey establish the following three main results.NEWLINENEWLINETheorem 5.4. The variety of \\(\\ell\\)-groups is generated by Aut(\\(\\mathbb{R}\\)), where Aut(\\(\\mathbb{R}\\)) is the set of all order-preserving bijections on the real number chain \\(\\mathbb{R}\\).NEWLINENEWLINEThe result was already proved by \\textit{W. C. Holland} [Proc. Am. Math. Soc. 57, 25--28 (1976; Zbl 0339.06011)], however, they give a new syntactic proof and show that an identity is valid in Aut(\\(\\mathbb{R}\\)) if and only if it is valid in all \\(\\ell\\)-groups. It follows from Birkhoff's variety theorems that Aut(\\(\\mathbb{R}\\)) generates the variety \\(\\mathcal{LG}\\) of \\(\\ell\\)-groups. 2. They provide a cut-free proof calculus (analytic hypersequent calculs) for \\(\\ell\\)-groups (Lemma 6.5 and Theorem 6.6).NEWLINENEWLINELemma 6.5. (CUT) is \\(G\\mathcal{LG}_b\\)-admissible.NEWLINENEWLINETheorem 6.6. A basic \\(\\ell\\)-hypersequent \\(\\mathcal{G}\\) is \\(G\\mathcal{LG}_b\\)-derivable if and only if \\(\\mathcal{G}\\) is \\(\\ell\\)-valid.NEWLINENEWLINEFrom this result, they prove the (known) decidability for the equational theory of \\(\\ell\\)-groups and the cut-elimination theorem for the equational logic of \\(\\ell\\)-groups. Moreover, they give a procedure for obtaining proofs of valid \\(\\ell\\)-group identities.NEWLINENEWLINEFrom the result above, they show that the equational theory of \\(\\ell\\)-groups is co-NP complete (Theorem 8.3).","type":"string"},"datatype":"string"},"type":"statement","id":"Q287483$E9422AEA-CEC1-44AF-9156-62CE79E87745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for lattice-ordered groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_lattice-ordered_groups"}}}}}