{"entities":{"Q1799100":{"pageid":1809842,"ns":120,"title":"Item:Q1799100","lastrevid":53239757,"modified":"2026-01-24T12:59:50Z","type":"item","id":"Q1799100","labels":{"en":{"language":"en","value":"Efficient encodings of first-order Horn formulas in equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958112"}},"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":"Q1799100$A4C72793-059A-4062-B0D3-CEC545EDAAF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0c81a58faad2218b071be90e446729f3b76bf74","datavalue":{"value":{"text":"Efficient encodings of first-order Horn formulas in equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799100$A6D81F6B-3DCB-4F8C-A8F4-2AEDFF4BD572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d4cfe5926864375677c113be0509764bc478b0a","datavalue":{"value":"10.1007/978-3-319-94205-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799100$87BF1920-52F7-440C-845B-2B43262A9A8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$F97BBB68-6DDB-46E1-A0FD-3BBE655553D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e49fcbc4c548063a98ad501641ee3ac5ded892","datavalue":{"value":{"entity-type":"item","numeric-id":1799099,"id":"Q1799099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$216F3255-31AB-4B44-BE9C-D7A5106FA9D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799100$2BD7A123-CD26-466E-AF5F-9678CDCA9831","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04fb86fbd0f618ad1679c3ac9256239e15b1ea31","datavalue":{"value":"https://research.chalmers.se/en/publication/504180","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799100$2D3A4D1C-E385-418B-AC59-8120A5BA8591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799100$1736BF47-EBEF-4E53-8AC7-F56EFFF5155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799100$844A2CED-79CD-4390-AB63-25E998763150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"764801475ecc98da2838a70c7bcc87a934652d63","datavalue":{"value":"6958112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799100$8836D85F-20E3-4590-9FEC-BCEACF8CDC6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$F20DD1CF-5500-4688-862B-72DE8C7D81D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$EC72803B-4486-41DC-A61E-A2A89FEBE8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$0C13A555-080F-412A-912E-C73AC4FD69F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$32C20862-87B1-4ACB-AD97-22507C7F7E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7788e96f7710fd06d5acfc0fd58327b3bfce3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":40346,"id":"Q40346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799100$CC69CBD8-4E98-4566-9722-61119D4800D1","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":"Q1799100$E8BC97CD-E00C-42F0-AA70-4CB422241BD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6284b6f095a4a0d4d7bd86d6a3dbd3a0dccce542","datavalue":{"value":"W2811206835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799100$4568C1A7-C275-4DE2-99E0-EB92189D0238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6f2cec44844c72e9fc7515a40e1492a5f2f917","datavalue":{"value":{"amount":"+0.7402458786964417","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":"Q1799100$313C8A43-ECFD-4A74-B973-79116188CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b065cdf9ee5815d7aba3bc448dd3137c103308e","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287e8edb3ccb866517927c9cfbca77017389184b","datavalue":{"value":{"amount":"+0.7382722496986389","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":"Q1799100$6090EB51-BA8E-448F-BEF1-6EBAE10A96E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec8c26505847033c33f5d119dbcfed6b29dbe8a","datavalue":{"value":{"entity-type":"item","numeric-id":4263159,"id":"Q4263159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dc248a1a5ab1f4db9c109b01851aa780ea21d9","datavalue":{"value":{"amount":"+0.7339396476745605","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":"Q1799100$AAE196E0-E5BD-4E82-9F92-B6CE3F3B2612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8f876536e97d17cc6ed748e2816cb3912a178c","datavalue":{"value":{"amount":"+0.7303945422172546","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":"Q1799100$7CBA7B9E-526E-4D64-8AE0-8DD8C83BD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5e8c09986f82cf1dc15265a33a380b34037d33","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42620f40d3a6820eb508146c9e7ecd01b60f0e4c","datavalue":{"value":{"amount":"+0.7290522456169128","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":"Q1799100$25BBEB01-3218-49B7-A57C-2BF89F72BF10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799100"}}}}}