{"entities":{"Q2145347":{"pageid":2156090,"ns":120,"title":"Item:Q2145347","lastrevid":57751461,"modified":"2026-04-01T06:47:41Z","type":"item","id":"Q2145347","labels":{"en":{"language":"en","value":"Symbolic automatic relations and their applications to SMT and CHC solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543925"}},"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":"Q2145347$17297DAB-8EC4-4FD2-B233-F04EF82F0ADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a20006dc2306a500fbaf19860a83eddba2252c1d","datavalue":{"value":{"text":"Symbolic automatic relations and their applications to SMT and CHC solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145347$E5CC7AB2-FFC0-4E17-9CFC-8E016F472537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f01213c349f1baef5bc08738dcf6e47528b7e1f","datavalue":{"value":"1497.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$E6729AB3-C464-448F-BA89-51BF1F57F721","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4c17cf8b06d8fbb9f360b61af6915c0eec23405","datavalue":{"value":"10.1007/978-3-030-88806-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$3E6F3103-0743-4C4C-856E-567449FE1CDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768de7c7f56572fe8791f6df9ca6c4b3bcc38e2e","datavalue":{"value":{"entity-type":"item","numeric-id":2145345,"id":"Q2145345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$AC86CA78-6E1B-45AD-AD97-94BC2EBC0D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$A93251CB-3DA2-4EBB-AB5C-D89E16D56663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0581f98edb9409b3644da18bec1ac1e018640b3","datavalue":{"value":{"entity-type":"item","numeric-id":2145346,"id":"Q2145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$68CA7564-6B0C-4E70-B0AC-C45063D6663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"265a8705f244c9d097de3e98c6937abd8a7b8993","datavalue":{"value":{"entity-type":"item","numeric-id":365066,"id":"Q365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$1A9E0DBF-9396-4DDE-BAC9-01A8B26981E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145347$DD7A824A-DB23-4CE0-B852-8334FAABA2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5590dc3af9f7d95c6fa45a3d93fb633bed6c0708","datavalue":{"value":"https://arxiv.org/abs/2108.07642","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145347$595E1FBF-FC58-44B8-B03F-B0FD71B16E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$3B0A5B09-006F-45B0-B1F1-324597924FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$2B531D01-5043-4C99-B6A4-B60E1DA60A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$1F0DE3CF-0855-48AC-8D6D-C656C719719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$2541E737-3F65-4143-A1A7-032D71FB24AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eabab6ac1ff015f24ce128bb38536a46f2777e9","datavalue":{"value":"7543925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$E94510B1-3F63-417D-8270-0FF57B9F0E89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$BE714175-671A-477A-AE15-51CAFB637D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$35D64B90-9D85-4743-B6F0-79D30E5DE095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$7F8A45C9-13E9-4113-8DBA-07ED4F48FDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed0bf5d6b75788e181baf5a7281b42463e65a5dc","datavalue":{"value":{"entity-type":"item","numeric-id":23824,"id":"Q23824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$88BB59AB-9BDB-497B-A226-77AD128CBB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$37CFE85E-2107-45E4-87FC-64A47A3DC1F7","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":"Q2145347$66326BDF-DAD9-4229-9F26-CAD875746809","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f73ccad761fb7cadf6775830c537352cb7f684fc","datavalue":{"value":"W3209569347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145347$939F0CFA-B77F-4D34-BB53-BE9A04E983A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$69F54326-9F83-4D2E-9489-04E86316783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$E4ACBC00-C749-411D-BD21-4C5348697D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$7403DF8D-8444-4F98-A7C1-B3A3B55D2A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db65470a7463e2b5434913efc5d0f584c1f934d","datavalue":{"value":{"entity-type":"item","numeric-id":5919002,"id":"Q5919002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$FC4F5E2B-F1B6-4608-AC4E-55C020B07DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2831285e9c06a668cd481d158a9997660e1e160","datavalue":{"value":{"entity-type":"item","numeric-id":746776,"id":"Q746776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$1A1240E0-92C7-46B4-9FE6-B85DDDA192E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a84872841e456c541578d17e5a87958b215028f","datavalue":{"value":{"entity-type":"item","numeric-id":2151231,"id":"Q2151231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$CD14C1F5-6F35-432B-8ACA-2F9CE38FDC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$F1D80FA5-E894-4DDF-9F56-9A88F9A7E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd8482babab92ea1eb8f19cb38f95441073c90b","datavalue":{"value":{"entity-type":"item","numeric-id":2096439,"id":"Q2096439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$C2636021-427C-4FF2-8F8C-FA69204118B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e1cd74f444f9f83f544eb9d4ac310d69b30889","datavalue":{"value":{"entity-type":"item","numeric-id":2233489,"id":"Q2233489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$D422BE7F-D373-4FF5-A3B5-2A4366BA35B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddac2cb0cab9a9a11856f9a2de1033720694bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5145615,"id":"Q5145615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$B82BCC11-122E-4D06-99AC-A31012E7B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19cd92e570c6dddc63b43d315e01307ee930c2","datavalue":{"value":{"entity-type":"item","numeric-id":5747656,"id":"Q5747656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$21872A59-34AE-4AB6-946A-A2F131EEF858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4f27326ba1b39abb6810942a72d8b72dba84e","datavalue":{"value":{"entity-type":"item","numeric-id":6064290,"id":"Q6064290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$CA8503F5-18CF-4A87-80B4-FB559E080008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$70B453B1-1EC9-4383-8BCD-ABF5468019B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$74C171D5-D255-4A2D-BDCE-1BC912013AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$46398532-D262-4783-AEDF-2AE613169A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$DFB52E02-A1AB-4669-A82B-F5C3AF2D3FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$42A2CBFC-B017-4FDC-83A2-7FF73712EAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$FF065F4E-61A1-4D04-AA2E-E6EC0B96E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d59bb4561d0e0bbbb65019d830ad4fbb9c0fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3066111,"id":"Q3066111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$A16E2751-283F-4593-9905-556D01A519F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb216eaea9ef5909bc774221bd6070ac3f48525","datavalue":{"value":{"entity-type":"item","numeric-id":2926649,"id":"Q2926649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145347$33EFE1F3-18FC-492A-97A2-38E508447EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882062a8679a0f7d83f5e463089992c860fa95b4","datavalue":{"value":{"entity-type":"item","numeric-id":6487339,"id":"Q6487339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9aa30b5bd2f2076da502e3108686f68b17e9f9","datavalue":{"value":{"amount":"+0.7387387156486511","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":"Q2145347$4CCAE01B-DA2F-412B-A33B-169457EB0EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f2beb968a92a8234db0e3ae391703a42c99f5f","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0814a444ecc7f3ff7b2989f6f2a7dc0cc3923bea","datavalue":{"value":{"amount":"+0.7152826189994812","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":"Q2145347$18B5BE9F-1CD5-4FD1-A7D7-4414589E4069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19196d868b24766d5e4721a7fdb6c18d42baa92","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063075637be4c854944a392aef5cd74e956a410a","datavalue":{"value":{"amount":"+0.7042828798294067","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":"Q2145347$A550A897-592F-409C-ABC6-A921D4551554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69ce4e9f207e1105ec1855c9c6971f5f3bc84a1","datavalue":{"value":{"entity-type":"item","numeric-id":2908472,"id":"Q2908472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a641ddb0d7b00ab3409498ba84c393bf5bf840","datavalue":{"value":{"amount":"+0.7035792469978333","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":"Q2145347$4CBECDAE-3258-4329-901D-AFF64943FC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd7e09f07721535697bf9c6c5e06cd7bda2f986","datavalue":{"value":{"amount":"+0.7032881379127502","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":"Q2145347$8AA8AE0C-0F98-42C7-BFF7-E3E4EC3C87C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145347"}}}}}