{"entities":{"Q5415637":{"pageid":7445211,"ns":120,"title":"Item:Q5415637","lastrevid":51997514,"modified":"2026-01-20T17:26:40Z","type":"item","id":"Q5415637","labels":{"en":{"language":"en","value":"Term equational systems and logics (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294837"}},"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":"Q5415637$0E7A4EDF-A836-458A-A7D8-2F955B10B9C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92bf89a8d368c0f4ff557c307d5264ffbe4f7ea4","datavalue":{"value":{"text":"Term Equational Systems and Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415637$F0D5B389-DF8F-4005-8685-B64DFE1F3D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"631512ff67ad75ab98428b605c56c8633147daf4","datavalue":{"value":"1286.03120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$97F43F78-0940-40B5-ACB8-51E5F6D40CF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$950EF660-6EBC-48BB-817B-4BD2D121462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$B509E611-0AC7-471C-9C71-A44BBFA57BFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$DBD2A6A0-C1AA-4A6F-A938-576A0F8F8AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415637$E7C21950-A70C-479E-8FFA-864CF4759680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$799FF753-9A50-40EF-8A80-8777FBACD3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$68E9DC20-EC0C-411C-B274-3958497177E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$DCC72BB1-1D99-4558-BFFF-E4C2CD5E35DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$2E4A6C77-8F1F-4478-851F-70CC2C405257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b976f4cc846c8d3551f762d9cb9efce815b1607","datavalue":{"value":"6294837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$9F235D20-FDF6-495E-A3A2-65F17EC09B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca67c23221239d27f86e0dfb16c7b269d52adce1","datavalue":{"value":"equational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$DAA54B3D-5407-4AE4-89D8-04015F9DD115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$992F8C1C-14BF-42FD-85CC-77B0D38F6666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$D06CEC5D-85ED-47FA-9691-FC982D063679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$E1C0CDB6-AF1E-408A-ADFD-FB8E384B801B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$2AB8E758-B4CD-4186-B436-2B17896A734C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$F82A7B0D-7F8E-4B34-A083-482B297AE153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$6ACFFBFF-A4BF-4AE2-AC4D-180D879E9976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0de3f4cf623a7036a97801028376e48e5d8ae8e","datavalue":{"value":"Schanuel topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415637$D2877260-554F-4229-A5A1-FA248E4A8A83","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":"Q5415637$92050790-CE7C-44D9-AFB3-31A82B4A1FA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"151f612f78bae3a00afb90449cdb65a1321506a4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415637$29A209F3-570D-4ECD-BA47-709698EE95F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f9c0070e897c72eccf10fe8e213e9826a66a1e6","datavalue":{"value":"W2044511080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$822E7F55-8BE8-48F0-8012-39594B8F910C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$725C7D5D-7784-4C25-A3B4-F30BA37C42A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f65308a516ceacc2e0490df7c26943ed27174e","datavalue":{"value":{"entity-type":"item","numeric-id":4682103,"id":"Q4682103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$5877320A-4C31-434A-9AFF-83AD21D146FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5adc47a96ca420bb12283570fe24dcdb71dd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$45B7175A-C529-48C5-933D-B4749E928397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4d4d51eec50085395d381accdbc188dc3b4d39","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$0F474B10-3184-4E78-8872-9C6490719CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815d9e2de99bf2ef5dc01fe0c8e8493a45b26434","datavalue":{"value":{"entity-type":"item","numeric-id":1014644,"id":"Q1014644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$23C2F985-8578-4549-9BC4-D6DE65DBDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b77c76291788d67b5cc53456f4160970986e99","datavalue":{"value":{"entity-type":"item","numeric-id":3612660,"id":"Q3612660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$9461339B-1808-4E49-B988-95BA9793AE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$8258C7A9-04F5-423A-941A-55BB5C0E7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d9060cf421e0c2075d90927e72c1a502bf32ad","datavalue":{"value":{"entity-type":"item","numeric-id":2762218,"id":"Q2762218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$4E5001FA-61D7-46D7-BC5F-5562C714BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$9EEF616F-769F-4925-8E3A-B01901113B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$707C58D8-C2C9-4D90-A391-0BDE0BD91153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$790B7837-6C90-4ACC-A883-86F19716C8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d90bb9c7483f2b9eddcb54d776cc4aef07085","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$FE6EB6EF-FF20-4F14-B3C6-9C779D8983B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$A4FC8C45-FEBC-4AB0-B681-A8B7078AFDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$72E7B249-2EED-47AC-835E-FA7242DE70AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905df8a88311db82e37f87e5596b4b57104bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415637$B13EFA34-C023-4833-81C6-95413238E153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdf6c9528111cbbd0669fc347a259c95470baee3","datavalue":{"value":"10.1016/J.ENTCS.2008.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415637$3753E1A0-466D-4EFD-A988-DB1A9EEFA518","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3ccb70c81b2aa6d8fcb74bd82e8f8dfd51e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3224678,"id":"Q3224678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d9c2792fd3d09f9ad5015196922483739e6619","datavalue":{"value":{"amount":"+0.8143658638000488","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":"Q5415637$6B0AEE98-1FC5-4500-AF32-0CB01B4FB762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774073da3bfbd10184e3b3d7fa824e1ec3da4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572bc481853b3043baa5459f853322bf7a56f4f9","datavalue":{"value":{"amount":"+0.7951934337615967","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":"Q5415637$6EAA7358-A9F3-4346-83CE-9D0C8B5AFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ae17d67872f9481233c1c936212871c28f0174","datavalue":{"value":{"entity-type":"item","numeric-id":420858,"id":"Q420858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727ce146d30f8c343e0b3dd9639e653f7232c40e","datavalue":{"value":{"amount":"+0.7844119668006897","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":"Q5415637$526B2F35-8E40-471C-9E9C-A8C1DA12D2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad376884e3682e272581f5a93ba92b63f6bf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a925cc4b0b177747d6a8ccf96a1e13f676c0474","datavalue":{"value":{"amount":"+0.7724971175193787","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":"Q5415637$FED66423-ABA6-4725-8FE3-FE0CD809F713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e9cf39c403b7993970bc6b280b46cc1dea39cb","datavalue":{"value":{"entity-type":"item","numeric-id":2855643,"id":"Q2855643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6995d10d096cfb87f7e77d29c471d7a6e12ff4e1","datavalue":{"value":{"amount":"+0.7603775858879089","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":"Q5415637$AE959730-3227-4F2B-990D-95EE1A4AE6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415637"}}}}}