{"entities":{"Q875516":{"pageid":877364,"ns":120,"title":"Item:Q875516","lastrevid":65039295,"modified":"2026-04-11T23:54:29Z","type":"item","id":"Q875516","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 5142389"}},"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":"Q875516$54B11120-5700-4ED2-A67B-8DA60E0C35C0","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":"Q875516$F1EC5538-DF9F-4CBE-9775-76FF5962A422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9c038b746ecd9d7e5b0f69090be887a485939b7","datavalue":{"value":"1111.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$2DC23AE2-EBA6-47F0-ABFD-797D74282077","rank":"normal"}],"P16":[{"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":"Q875516$093436B4-F49C-44DD-8FAA-662F911E3DDD","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":"Q875516$7C86588D-A9FB-4C02-9425-97F0979C3F23","rank":"normal"},{"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":"Q875516$96E16493-E9D6-42A5-97C7-C238478066B5","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":"Q875516$1E74B464-5BA3-4237-9F50-220827ED1384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-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":"Q875516$A0E7EF1B-40EB-44EC-953F-6BB2840A252A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$03BDDD33-6F47-48A4-B9A1-77A6EED81628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$615DD9EE-8444-4CEF-9A0F-9C4768734F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$8237199E-E61B-4159-BA0B-7B14A62C7B00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ece09ea345218d3c24272e3982fdfd58fc5dd9e","datavalue":{"value":"5142389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$501D7BD6-035C-4E5F-A20A-026AED423EF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$13A572BA-CB46-4DC8-8F0F-F6DC920214EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed64f63a2b152e67bc5474f6939bef3b05a76c03","datavalue":{"value":"reflective logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$49E8C5AB-9E08-4D23-B162-E8E6D2967A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d9b760b91a54f645a359502b0b02a9f0e46d4b","datavalue":{"value":"reflective programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$F9701802-B1F7-4594-A78F-5675B2746627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b47609299fed974b8e12ada106d10fc5e4de74","datavalue":{"value":"universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$32CCB26F-0DA8-4EFF-9208-FB83B6797F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$ECBFDAFD-C2AC-4877-AADA-D73FBE8C3A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$3A33BA94-F368-42BA-92CF-C4429D0ABD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q875516$BDE5BD97-1B9B-4790-8F9C-60F7D7DF0E6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$E264D2AC-D9A0-4798-8FA2-17F68DC392C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$C840D2DF-6D04-4BEE-909F-D537F1C7131F","rank":"normal"},{"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":"Q875516$F21B467B-FEF8-4767-8567-6C542EBCA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$F1EC879A-EABE-4FD5-A67F-0FA152890AA7","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":"Q875516$DAE77C49-7191-4D0B-9F0C-9479FD94E95D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d59f391b3b2e385090b11e5abdfbb5b17e71cb41","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q875516$C3447A8B-7DBC-4382-9C32-9CFF3D68A429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42194950aae9575cf8091c351375409d29ed88cf","datavalue":{"value":"W2131954800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$1031379F-CFCD-40D8-9A4E-616D5BBF5F74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"998f905fe33a3a6def4e4e03b2af66662d095983","datavalue":{"value":{"entity-type":"item","numeric-id":4536762,"id":"Q4536762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$A19D20AE-2668-47BB-B743-7B90280E533B","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":"Q875516$DD4A8EF9-57E8-4212-BB62-3BB7EFD50A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$56E4CAC1-90DA-473A-9486-8EC823F3631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$81A1CEC9-29F2-4251-9B1E-662FEB8C2487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$801F546A-7301-45CB-ACC4-7427CC0181E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$E96636DC-AC44-41E4-BA6D-3597D18F4D36","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":"Q875516$B3F250D2-4056-410A-9E20-49CF6F77ED34","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":"Q875516$24205E44-30D7-49A9-961E-615F0846AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$5F93871E-9CD9-4FDD-B055-A3CAD9950108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f5865ad55ac10154fe25c9d64b66978450d03a","datavalue":{"value":{"entity-type":"item","numeric-id":5312971,"id":"Q5312971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$9B02637A-E271-4CD9-A9DB-ECF0478065E2","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":"Q875516$96ABBF5B-8122-4E40-9F30-B0503E9D2D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0747651effe3279dc248dea6b43433db1c2cd042","datavalue":{"value":{"entity-type":"item","numeric-id":375747,"id":"Q375747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$005F26AE-8F73-421D-8B8B-624228B91789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5f64107f2c14959cfe7ec702acea37a2a818d1","datavalue":{"value":{"entity-type":"item","numeric-id":5936650,"id":"Q5936650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$4EC87331-EDB5-4FDA-96CC-23507D60B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e8a60620c7b8649ec7c33270721c91dd74b094","datavalue":{"value":{"entity-type":"item","numeric-id":2767191,"id":"Q2767191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$0F261EA5-09F7-45C6-AB9A-98025DD35C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78051514151aca4804c29b73bf87a3e4855334e9","datavalue":{"value":{"entity-type":"item","numeric-id":4933279,"id":"Q4933279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$EF5BB3F0-7AA0-4D7D-AEF2-B39FF01F9CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9271671afe3b477f8f321126d6b1013c61a172ff","datavalue":{"value":{"entity-type":"item","numeric-id":2841246,"id":"Q2841246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$C6B8C8B1-3D59-45D1-B311-FF85870D16FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$A1E28EA0-5A21-4F14-A7BA-E25CBDEEA6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c20b0340498e6430fd374975123692c2ae4aee","datavalue":{"value":{"entity-type":"item","numeric-id":371260,"id":"Q371260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$D4FFC73C-4DEF-45E3-857C-156923D70399","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":"Q875516$3DB80802-F9B1-4916-A368-1F6C21904937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$7D854B03-E626-4425-B50E-3D6E0F129298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dadb8fe597fe169d0f966baa932899a4a5aa96","datavalue":{"value":{"entity-type":"item","numeric-id":1273563,"id":"Q1273563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$2254A4F0-FC0D-4A47-BCB0-0E16091458C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5dcdc7d400199d9211a9d57cf38dac80d205ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1887352,"id":"Q1887352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$5EF08BB2-18D9-4F17-A949-9D413730F5ED","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":"Q875516$97168AD4-BC2F-4688-89A5-0E0E58CAC50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$E5B35EE5-0C80-4EDC-8422-1A7066849066","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":"Q875516$B1C5CB8E-5012-45FB-B914-570D167D3E65","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":"Q875516$2931768F-D727-4982-8348-1E2BA04E5D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$2EB8D3AF-98BF-4D5E-BEC2-7F285C85DC27","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":"Q875516$B7CBA3C5-50B1-4548-BD0B-4235359D9131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$DA1E2758-BF62-47AB-AA22-DC7E587B58EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$9B8FEF84-55E6-4398-895B-0F64BB69D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acc84c64e46319842ef17497b61b468633b165c","datavalue":{"value":{"entity-type":"item","numeric-id":5622168,"id":"Q5622168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$9CF14BE1-AC11-4BFF-9440-77A87D36B4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7643293467287b538da53a9e92f70fbc16f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2851059,"id":"Q2851059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$2C173AFC-C14D-443D-BFF6-EDB8BE326B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$D0C49E7E-67A2-4E72-8624-149740168379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ad184aef8cab142a89257ac297b8256b7f9ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5954971,"id":"Q5954971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875516$A184B035-4589-4539-A2B5-8A8FF24EBB2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7eabbd42f837e4f4fd2b74c9f5c35f9dc9a3171","datavalue":{"value":"10.1016/J.TCS.2006.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875516$0C93F8C2-47BA-4C79-99E7-2EF85A9BBD99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26b695f1b6ba26006e2dc38f8d73c3f1c2e3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2851051,"id":"Q2851051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$253F99EE-EA48-45BF-83BA-B830D60D3145","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":"178cdb7815d0375b3de8bead39c70bab8ed042a5","datavalue":{"value":{"amount":"+0.901744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$ACA242CE-2366-4BDC-9B0D-2D7D4DB9353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824ee019bc472f19672ebef391804728ed1073ef","datavalue":{"value":{"entity-type":"item","numeric-id":4222984,"id":"Q4222984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b2308cee8bbb52afd4f155a46fd43ee28c2931","datavalue":{"value":{"amount":"+0.88726723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$6CD6D17B-5807-45A6-8A84-2A914F38CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9725cf36236e7fecbfb6158607afee08c1c3120","datavalue":{"value":{"entity-type":"item","numeric-id":5394603,"id":"Q5394603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2803b933cb473c29b8ed6e305ea60c4bc4f73826","datavalue":{"value":{"amount":"+0.8828179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$9F144AEE-14BC-444C-9085-A8E7C3D543B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df644106b1fa944a40123e202f52c08955519b9","datavalue":{"value":{"amount":"+0.8794357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$A5570CDB-FEC7-4E32-9D71-C101AE27D1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf8fda8c6313c06df19da93c145a4e5eb7b83ae","datavalue":{"value":{"entity-type":"item","numeric-id":5757935,"id":"Q5757935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25a777a76dd33b995d30919d1b5483f7439c7cc","datavalue":{"value":{"amount":"+0.8724722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$0A17E5B6-3E1B-4AF6-8C8E-38A30F38455D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376fa173538d68e8bdbe43feae7ebd9b93814081","datavalue":{"value":{"entity-type":"item","numeric-id":2754042,"id":"Q2754042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581781d2e2067619e1ac7bb241055c73277e1af0","datavalue":{"value":{"amount":"+0.8682916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$ADE78399-D04E-4BF9-9CB4-13418A392713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afa134d7470aaccb08587d7bdc0d041f87c1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a697a8e43d2614ddb6553513523ecb29693e113f","datavalue":{"value":{"amount":"+0.8651224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$9EA92AB2-B110-44A1-985B-EBBFB615C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f58bba5757c0010947a089bb5540bd2b08c715","datavalue":{"value":{"entity-type":"item","numeric-id":4011724,"id":"Q4011724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e24823f85fe24aa0e3a40d5ad865fe45f07ce95","datavalue":{"value":{"amount":"+0.8646121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$E5E55A96-8FFA-4AB8-822B-B9328E2F6CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dabffd8410080e5dd6b834985316b119c3bc245","datavalue":{"value":{"amount":"+0.8628342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875516$27AA8897-F16E-41BB-9258-C5FDE8E85FFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflection_in_membership_equational_logic,_many-sorted_equational_logic,_Horn_logic_with_equality,_and_rewriting_logic"}}}}}