{"entities":{"Q1870591":{"pageid":1881333,"ns":120,"title":"Item:Q1870591","lastrevid":69376611,"modified":"2026-04-13T06:35:15Z","type":"item","id":"Q1870591","labels":{"en":{"language":"en","value":"The max-plus algebra of the natural numbers has no finite equational basis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1909927"}},"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":"Q1870591$02C594D9-06AC-42F7-BB79-A3FACBC71FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a7b9085a3dcefd46019fddfe8a7bd722f8b7c6","datavalue":{"value":{"text":"The max-plus algebra of the natural numbers has no finite equational basis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870591$58956464-2E18-4E27-A9B6-F88E7B57B8FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f52714711877eddbd3c59415e2fb79a5f5c9e2b","datavalue":{"value":"1021.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$76231998-31AA-4D26-B6EC-D3F3915B6F32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c34067e033c52853322defbce232704e94f647d","datavalue":{"value":"10.1016/S0304-3975(02)00236-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$236BE39A-B62E-4B32-9E59-F2BA5D50BA7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$ABB9DB24-FC09-47CF-94BD-A4279F549940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$AA09CF42-3BB2-4E3E-9BE4-895437ED9CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$10C52EEF-5C2F-48D3-8326-D6F1A076E4E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$A8D8557B-0C69-4AFE-9841-66A0B7A59B73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870591$919967BD-ED22-4027-A44A-EB7B592D81F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c137aaf442841a7fff89d64b8847ab18e725a0de","datavalue":{"value":"Let \\({\\mathbf N} = (N, \\vee , +, 0)\\) denote the algebra of the natural numbers equipped with the usual sum operation \\(+\\), constant \\(0\\) and the operation \\(\\vee\\) for the maximum of two numbers. In the paper, it is proven that the equational theory of the algebra \\({\\mathbf N}\\) is not finitely based, while the varieties generated by the reducts \\((N, +, 0)\\) and \\((N, \\vee, 0)\\) of \\({\\mathbf N}\\) have very simple finite equational axiomatizations. Moreover, for any \\(n\\), the equations in at most \\(n\\) variables that hold in \\({\\mathbf N}\\) do not form an equational basis. As a stepping stone in the proof of these facts, several results of independent interest are obtained. In particular, explicit descriptions of the free algebras in the variety generated by \\({\\mathbf N}\\) are offered. Such descriptions are based upon a geometric characterization of the equations that hold in \\({\\mathbf N}\\), which also yields that the equational theory of \\({\\mathbf N}\\) is decidable in exponential time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870591$15E020CC-4A6E-4E55-AE8D-F24604ADF7F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$122B335A-2491-4E66-87DE-59E3D3592D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$8EA4A980-B984-479B-968D-A464FF9E119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$804306D0-DEC3-4D98-9F06-C54367E2FF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$7E365EFB-D9E7-4B07-AAF7-BE1F88373490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$8E92944F-CACB-4FBA-806A-73D510E32F07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb94f32e822e815f682fc60c47f0471c26dcc437","datavalue":{"value":"1909927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$16483EA4-AB65-4D4B-A8D3-8BCBE348E512","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870591$ACC5EF87-E143-4733-842A-676FE0C46EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870591$8F4174DA-387F-4E3F-8863-C0528F617822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870591$5541716F-AED9-4903-A99D-D60571CB522F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f9e058dba3d6a3046e092b5d8f7368e53c1112","datavalue":{"value":"exponential time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870591$2118F9B6-375C-4B3B-B8D4-90ACB39E29A6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$2EEA110C-DD3F-49B1-A4D0-1441982B6110","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":"Q1870591$6A441B46-806C-484C-A1F0-D4FA8D098588","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf34bd19daa0422435ced26b5620ca337dd39f","datavalue":{"value":{"entity-type":"item","numeric-id":4501538,"id":"Q4501538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$52069F94-FCD4-4E54-B432-26E0D8602597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e7d2d6326af91a7150e574a262f0490d2dfb71","datavalue":{"value":{"entity-type":"item","numeric-id":4236208,"id":"Q4236208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$1D7B4A06-583C-4EBC-86FD-72F60E97D446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$913E88FF-FF7E-40CF-8FD7-22A2597F3C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3688b10da96f6d7c9c3dc78940ada65744661","datavalue":{"value":{"entity-type":"item","numeric-id":3951525,"id":"Q3951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$3AD89CDE-959F-445F-960E-819033CE2FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$524C4EDC-9D1E-47B6-A9E0-C239047197CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$D6C82321-9BB7-48B1-AD0D-07B36525C9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$0AA4CBF2-3FF9-48C2-BA40-08A44393F7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2499d280469971bb6ac6392ca0f914bc6b1e046","datavalue":{"value":{"entity-type":"item","numeric-id":1978513,"id":"Q1978513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$1935422F-0B8B-4BAB-8403-408F267AE848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f5dbfdab882d83d3bf018d467653b2e1221e38","datavalue":{"value":{"entity-type":"item","numeric-id":1130164,"id":"Q1130164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$D1783A31-696D-4ED7-9B47-2B1310479A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$6BF89515-A894-42C0-BADE-A4B3D6F834C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$A3993AEF-143A-40A4-A6B9-4409127FFF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$ACE9D0C2-FB5B-4576-83D6-A63D6902835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b552bf80de4b2cc3461bbfcde9fcbff1a366130f","datavalue":{"value":{"entity-type":"item","numeric-id":5806804,"id":"Q5806804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$BA69F35B-7F83-419D-A6B2-5FD98FCC0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$5CC09D90-A3DB-422F-B7A3-055A4C8263F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$6F4EBAD9-7BF4-4096-A0EE-2379D4379611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f60a32046a52272cba7a2a12da1464e6b6a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1201350,"id":"Q1201350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$E3527555-FDD8-4CFD-9117-228F71546CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0050019cbfbdae6446eae614ff351521a06d85","datavalue":{"value":{"entity-type":"item","numeric-id":5534915,"id":"Q5534915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$F589A9A4-A524-41F3-89C6-DAD16B9B8BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f5e1691cfab6362b43542a3b24999af924df8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3050481,"id":"Q3050481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$89C2E4A1-8F9F-433F-A8D3-A2990F1D0D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69add79f7a822458e31bb197b80ccef119cb604b","datavalue":{"value":{"entity-type":"item","numeric-id":2626603,"id":"Q2626603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$9E7A10AA-683D-4265-91C0-DEF05EE39FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$34D5B001-1B65-4296-9B56-92354C2FCAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$8DE1922A-B70A-45D5-8DA2-2A0C2A3F0718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c12a19b9d3a3c7bc5440ceb2000380321e76dc","datavalue":{"value":{"entity-type":"item","numeric-id":4128733,"id":"Q4128733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870591$5CDB6F65-8EFF-48BE-AFEE-6FAE3695AE5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22139272a9d62d0891a7b8a5bcf8c6e29d42c848","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00236-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870591$EBE8E8A0-02BD-4F26-9B64-E1AAE587C0DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71cba693513838b19c887e39c179c1bfe5e154b2","datavalue":{"value":"W2080117016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870591$88F09BD8-06E8-44FD-A78A-E7C3DFE92AEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873927aa5339350fd503e1035ea361d1ec6fdd86","datavalue":{"value":{"entity-type":"item","numeric-id":4501538,"id":"Q4501538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e15f33fa957b250dd8673ebac86e83531f98d7","datavalue":{"value":{"amount":"+0.9122622609138488","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":"Q1870591$99C4404F-CEF4-4197-8CB8-9EEF58E5DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024c5c125e91e129db6b9905f8e13c8441248d92","datavalue":{"value":{"entity-type":"item","numeric-id":2577704,"id":"Q2577704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5671f60712537a8d66b4800cb772fe9241c21438","datavalue":{"value":{"amount":"+0.7371488213539124","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":"Q1870591$C84FF925-24F8-422B-A0EE-7C8D4C66F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbffd2067ad30861f08c2eaa2e96fefc1d6251b","datavalue":{"value":{"entity-type":"item","numeric-id":1874279,"id":"Q1874279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e420bbab1b4bf80e7d2ffa7e599698e616c9a889","datavalue":{"value":{"amount":"+0.7272879481315613","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":"Q1870591$79A23600-CE29-4513-9A44-11F094F49312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439811183ff8a2d9656800f11783b471ba9177eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769423,"id":"Q2769423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43978325297d9229c2b1e660196eecfcb767a2b","datavalue":{"value":{"amount":"+0.7121554613113403","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":"Q1870591$6F18174F-F3B2-45AF-AB99-26C3FE97F87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7048ebb3e65c455edd329c4a8a5c06463a7d5def","datavalue":{"value":{"entity-type":"item","numeric-id":1920320,"id":"Q1920320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bcff86317d95c4bf07fcbc69f8e31f49fce463","datavalue":{"value":{"amount":"+0.704193115234375","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":"Q1870591$4FCD9275-845E-4CB1-8F1C-D37A91C53C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The max-plus algebra of the natural numbers has no finite equational basis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_max-plus_algebra_of_the_natural_numbers_has_no_finite_equational_basis"}}}}}