{"entities":{"Q2851051":{"pageid":2861771,"ns":120,"title":"Item:Q2851051","lastrevid":51837716,"modified":"2026-01-20T07:12:27Z","type":"item","id":"Q2851051","labels":{"en":{"language":"en","value":"Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213293"}},"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":"Q2851051$5B19716C-83C3-46F8-83D5-B167567FA93B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e957f2da5572287e855dedc7d1b312a4c75da0","datavalue":{"value":"1272.03137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851051$01878647-7D4E-4F43-8C6C-7A3DC5949D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$84F5CC6A-0487-4427-B1FE-062324B0EC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$DA85F5D6-62E0-4CDE-ADF4-A1DFAF6CABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb735f824891e392843975a86aa36cde815c1132","datavalue":{"value":{"entity-type":"item","numeric-id":875515,"id":"Q875515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$DB4CB4D6-EA8D-42A2-983E-23834B6C28CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851051$F9137E8C-A317-41F0-98A6-3034A17D538C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7db37899e002ebe8838ccdfba94f35dfb9df4221","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825319","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851051$11FFE92B-69E8-48D0-AC8E-B1F8B7A14967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851051$8B857BFD-A552-4EA3-93C2-2B4BA77353C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b665f808421a325b78302b4c615bce6a1186958e","datavalue":{"value":"6213293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851051$259C6C17-51FC-4B9E-84D0-50ADAACFF06E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$00B732B5-FF1F-45D5-861D-C8DE356FBFD9","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":"Q2851051$FF7EBAF9-EEC3-4C56-909B-0894034D67FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68542f59985cb9a88443cd52b24bf16e883af1d8","datavalue":{"value":{"entity-type":"item","numeric-id":4472433,"id":"Q4472433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$F37B8AA1-19F5-4384-A5CF-E690E88308EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f677a0a05c4143a04355b57e0f82ee90f1dc0a73","datavalue":{"value":{"entity-type":"item","numeric-id":5277707,"id":"Q5277707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$3BCA1163-C1B0-49BE-A472-649AA018A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e72e86189ac2504861784ad173ee9db28a12b4","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$5563552C-8DA0-4387-8300-7EDC64E0A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$9EC96124-779B-4479-8E9B-23416572E8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef99484234e0e2307a8d429f1e1a558442d61af","datavalue":{"value":{"entity-type":"item","numeric-id":2703706,"id":"Q2703706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$F10BBE1F-AAE4-46D2-9F73-C320F9CB4778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a63be2c40434c2537dfdafff346ed2717f4dcb","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$C0958B55-250F-4B43-9E7B-6F58B3770B06","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":"Q2851051$3934A414-543E-466C-8245-644E9F04ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$0DF53AF1-AD83-47BF-8B15-D5974502BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$B9015B48-9F9F-436F-9E08-EB1F22064AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7d68c03d2aadcf6fc8ce086c0bfb1afd76502c","datavalue":{"value":{"entity-type":"item","numeric-id":2841300,"id":"Q2841300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851051$D6968BA5-1C57-4C28-9CC8-589E902F13C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2fea3ab103d159bb079dd924267b5831627a46a","datavalue":{"value":{"text":"Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851051$5B222A89-5494-4F28-9E27-50FCBAB6D6D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3777d41a4c755d453c8405ef54e222d4cab9543e","datavalue":{"value":{"entity-type":"item","numeric-id":875516,"id":"Q875516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115a2b47f882041fb437d072e04ad8ba53e96879","datavalue":{"value":{"amount":"+0.9738423228263856","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":"Q2851051$F5926B61-C4D0-4749-97B0-D86DD4E977DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572ff63ac711dfd5b65178c21704c3af53e3ea0f","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108c2abb910931725c637874f352fbf9d4cf754c","datavalue":{"value":{"amount":"+0.8599189519882202","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":"Q2851051$E8152E9F-322B-4E00-8A60-F701DD95BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b575b5b6e96b843e9be8bd9fab7f260eda85bda","datavalue":{"value":{"entity-type":"item","numeric-id":4223000,"id":"Q4223000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a47425210949ee9fb69aada55c5cac3ca9da84","datavalue":{"value":{"amount":"+0.8555949926376343","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":"Q2851051$C4A96F3E-3CB2-454C-8F10-824FBCF19B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff29ee89187f69a6b5819af35d62a9048131ed7b","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a70c455cde76f38e5c75049809774cebc96c3c","datavalue":{"value":{"amount":"+0.8507598042488098","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":"Q2851051$2836736A-73A6-4AE8-84BE-B4A3067E8F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19118d14a947e6af33fd309a7fbe5f1fab42df4","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a70c455cde76f38e5c75049809774cebc96c3c","datavalue":{"value":{"amount":"+0.8507598042488098","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":"Q2851051$4A2FFB90-ABB9-4080-B739-82072CB8C146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851051"}}}}}