{"entities":{"Q2215964":{"pageid":2226707,"ns":120,"title":"Item:Q2215964","lastrevid":73369386,"modified":"2026-04-14T15:38:20Z","type":"item","id":"Q2215964","labels":{"en":{"language":"en","value":"Anti-unification and the theory of semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285591"}},"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":"Q2215964$CAA7BA61-690E-4DFC-9925-B67676D7DD1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b930a9dd55f31754bb64224ec17ec4e973766a0e","datavalue":{"value":{"text":"Anti-unification and the theory of semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215964$A327AF24-229B-4D3E-8277-ADEDFAC83880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"579f95968562934a419011cd304e2e3668469133","datavalue":{"value":"1464.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$75CF0EE5-56E3-451E-8C19-F89E9414CDE4","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":"Q2215964$9FBD6DDA-1A21-4821-94BA-D2D27B9E42DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215964$BC5C67C5-AFD9-4D7C-A68A-0D7F07ADA679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$3F666EDB-92C2-47A1-BA7A-CAAD30917105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$9EA3CC2B-19B5-4E60-B15F-34CDBE00E4A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c042fe000a074cdb01c0931b1d62b2463b9e8d16","datavalue":{"value":"7285591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$3878CCF8-D6FB-43D7-87C0-5D59C2FC189C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215964$FBDDC777-6CBF-430B-9948-D08BE0943C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215964$1454E6C8-AF28-4B21-B769-4C58E2BB9FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78e0e4815b6666d254fcb2da2b812c8a458b637","datavalue":{"value":"nullary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215964$514319FC-104E-47BB-BA7E-C7F5D30C9622","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7490637cfd12b26393a0da15bef6e77e2146896f","datavalue":{"value":{"entity-type":"item","numeric-id":5972715,"id":"Q5972715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$D9FFFBB7-48BC-4D8D-AE0C-F598D404A562","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$6864022E-701D-4874-82D9-659A417DD7AB","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":"Q2215964$35579606-361E-47C6-A077-945179531AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9190cec2d136f25a4e11f9e5c6148ffce5f0ade3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215964$9D0CB314-452E-43ED-916A-D92C1431CD8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9374c47e97b3cfc63cbbe9a97adac3e53941a76d","datavalue":{"value":"W3094511856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$CF151D5B-3410-4E58-9025-5A0F626D4F1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$8CECF4C0-C3EB-45D7-B89E-0224F64EB621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ebe282e06ee5417251ceb207554999700031ba","datavalue":{"value":{"entity-type":"item","numeric-id":581000,"id":"Q581000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$50A3F624-FFE9-42C7-9952-26485DEB0779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36616b185d46b86df03954cf9c690775b1d779e","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$A5CC0435-75A8-4832-ADB6-CE93BB183C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$E2076C66-DD1E-4F2A-8B99-3CEB19C2DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$3ED1FBA1-DB94-49E5-A14D-23BE43F8F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$223B21C6-7B3D-4265-A37E-1F565A4D0F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdae2f9abfb6a0c290fa453ee717c5806580158","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$E39E83A2-51C9-4D20-B94D-DA26D9DD206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234434bf4756046f3787f34a8aa2d75f36530888","datavalue":{"value":{"entity-type":"item","numeric-id":4972174,"id":"Q4972174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$8841B405-8734-44D1-88AC-160E6BAF4EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8a67a88b73ba76387f7f61989f14ff1e966f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5089010,"id":"Q5089010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$1D4A8BF6-AA0C-4D5C-B8AE-8F82C792EBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98fd547d19be8a20901c74ce0390630b8770d5","datavalue":{"value":{"entity-type":"item","numeric-id":1601844,"id":"Q1601844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$E7D54E01-9B3F-417B-BA07-969A23421E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0dfce9058ec9e7df125de82f01de860173b64","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$6A782B63-5BBD-485E-99A4-DE146A20CBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$F1621430-4FFE-4B9B-80E9-74214148680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$44597D3B-8EED-4D6E-A88F-44CEE00367DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eed01591d6303bf42a7de70ea185dc89a3400f7","datavalue":{"value":{"entity-type":"item","numeric-id":4608715,"id":"Q4608715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$47719C32-AEA2-4CA9-9F71-6DCACA9A3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40675f47bcaa35bf66f72f66b07d94668d806cca","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$238FD568-28FE-4E28-9395-80CA55AE0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b36a13ea79c16c027fbb4e0beb7b61b1c31957","datavalue":{"value":{"entity-type":"item","numeric-id":5055751,"id":"Q5055751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$294A4357-B3F8-4BCA-90B8-03F5C99C7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$BE1E34A3-DEAC-497C-A3B5-5EEC4857B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$A4B32E0F-8423-4776-9DA8-94A718AC27AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623cd7d73b698876c6f22f312233b6574180cd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4993335,"id":"Q4993335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$5862E68E-2037-4EFE-931C-40BE47C9E8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7434998b2e70f40dde05d79beb9ec28871dffc0","datavalue":{"value":{"entity-type":"item","numeric-id":6488564,"id":"Q6488564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215964$C64A3B7B-F6CF-4229-A437-8F481536CC87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef3d662f4d56fd0b5b48e168307f8bb7b399791","datavalue":{"value":"10.1016/J.TCS.2020.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215964$5DF01D2C-D677-49DA-8E5D-CDC04D390860","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8052409c93ae54a67ce094fd79c1cb37e4e01c","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f484b2b247c788739b12e9954d40ab69ae528df3","datavalue":{"value":{"amount":"+0.7449122071266174","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":"Q2215964$4CBAAAA3-149D-4569-882B-07C78E5DEC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aade5c3f358d30d7c3f0b40c4a343114bc349274","datavalue":{"value":{"entity-type":"item","numeric-id":5055754,"id":"Q5055754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ac4dab913725170ce09deb43f06f3f93e9332c","datavalue":{"value":{"amount":"+0.7417715191841125","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":"Q2215964$6E9AC72E-9C29-43DA-9EFB-7801B8ECB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d5fcd2e926fd56ce1b0d2d726ac31cf7853358","datavalue":{"value":{"entity-type":"item","numeric-id":4972174,"id":"Q4972174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab31b3e9b948faf193aa4caab330a8b5225104f","datavalue":{"value":{"amount":"+0.7374144196510315","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":"Q2215964$0364211B-121B-479A-9CB9-17E3818293C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9948083e9cdda5744999a165bfed461fdb9dc13d","datavalue":{"value":{"entity-type":"item","numeric-id":1098285,"id":"Q1098285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646c367ffb2109f6d87dbb08ff50b49e0cf0699d","datavalue":{"value":{"amount":"+0.7353965044021606","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":"Q2215964$E716FE47-0734-460E-B34F-90C2768CAACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3550eee67ef915f9151c7b65b064ed3643c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ef3a514a4060f3d9276e5cbfa6c57523e5cff0","datavalue":{"value":{"amount":"+0.7328107953071594","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":"Q2215964$EAB81D3F-D464-4E0C-9DBF-1449E7B756F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anti-unification and the theory of semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anti-unification_and_the_theory_of_semirings"}}}}}