{"entities":{"Q1918503":{"pageid":1929245,"ns":120,"title":"Item:Q1918503","lastrevid":69460410,"modified":"2026-04-13T07:08:47Z","type":"item","id":"Q1918503","labels":{"en":{"language":"en","value":"Unification in the union of disjoint equational theories: Combining decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 906770"}},"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":"Q1918503$24C1A53D-9AA9-4FC5-B1A1-C88A5EB3BE2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1785ec61308e430178fd089809403adcf577334","datavalue":{"value":{"text":"Unification in the union of disjoint equational theories: Combining decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918503$C29A714E-D04F-4DFB-9087-4F456B7C5514","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7608a8c1b26baa2107e95a49a79000ca1d9249","datavalue":{"value":"0851.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$D5EA2596-4F4B-4D65-95D6-362ACE08144F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918503$EDCFCAEC-C040-429B-A554-FD554DA4D688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef74c3015c2eb47207605c5cffbe54af2df392","datavalue":{"value":{"entity-type":"item","numeric-id":533877,"id":"Q533877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918503$938046D7-44A5-481C-A8BE-346B366D4CA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918503$8A88B82E-C489-45F5-AC63-7BB77A1154BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de90f2fb62ce582a6d325b4c112b8bd95345e057","datavalue":{"value":{"time":"+1996-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918503$2D6CDBC2-5AA9-4944-9BC9-BFA93DB6A9C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"586463eaad8e100c1f400a807bb4ccf7f8b002a1","datavalue":{"value":"https://semanticscholar.org/paper/451f9f9170c015e869a7d716fd6d8b35ae4217aa","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918503$AB077ECB-5B0E-45F5-9E5D-1F43AA7635AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$0B03B1A6-94B5-41CB-9669-6AE51B3C6D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$460E3E2E-091F-4D0A-92C3-1546A3103F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$52716606-2522-40E7-A918-13B2D6411237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77bc91be842724a318eaad852b50267f069190ed","datavalue":{"value":"906770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$34D4CC68-5F32-46C2-AFAE-9F5F0A1A4D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bde3b3d51245ca0eceb0d59c1ee9d33dd4200e0","datavalue":{"value":"\\(A\\)-unifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918503$7D2C287D-4642-4395-83A1-8FA963910368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918503$66EB387C-6F7C-42EE-81D6-6EC3A2B867A5","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":"Q1918503$B649881B-6A9A-41F0-A63B-73BFC75CF854","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b9ed001d26c0cdd6f7c528d3bceb9c6c07c7bf2","datavalue":{"value":"W2082354652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$A9E17973-F117-47E4-8120-AFB70E427BAC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d9c0c3b6eac1a1a2e862dc944e9cc3e7c3dd1aab","datavalue":{"value":"Q57383738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$001AE95A-3711-4C8B-A328-E9248E3092BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c8666d15413efdb35cb1debfbfea40fb1e25eb","datavalue":{"value":"10.1006/JSCO.1996.0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$F6185083-74EF-4830-AC2A-DF3D344993A5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fd4cab3baefb1458cc38f4e92d787e42db98e770","datavalue":{"value":"journals/jsc/BaaderS96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918503$250049DC-9481-476B-AD82-BD4EC5395DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1070e9eea2b21e37fa53e0f6442de7b766932d87","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68eaeb3354ea152f1e6978d896f8ee80de837ed","datavalue":{"value":{"amount":"+0.9517473","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":"Q1918503$FBBBBBF0-18D6-4079-95FF-E0A786F2E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42011ab62695471a9d2250f0fa3696f9c73b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04e691dcf487789d1ad50c662328bb042f5b79d","datavalue":{"value":{"amount":"+0.95174724","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":"Q1918503$D0837B77-1AA0-41FE-A898-847886122670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd92749e24b7eb03c2e71a7601384a8aeb0bccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1917102,"id":"Q1917102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eb95eb69c42da66924947925ec4d999ff7fd6a","datavalue":{"value":{"amount":"+0.9411091","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":"Q1918503$391D3397-94D7-4B98-9451-450D30272C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a44f660a240e3c8f72a0901e61856e5c75aa736","datavalue":{"value":{"amount":"+0.9386813","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":"Q1918503$047355B4-7AFE-44FF-A86D-43664BBFA3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e855e9cb41a8e4a4aa32e7b7e4407fb819150bc","datavalue":{"value":{"amount":"+0.9348879","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":"Q1918503$0330E103-E1E0-4275-BE86-0B46E4393AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0287a2f0a9b0cc67b151c16ee0a81782bc2e08e9","datavalue":{"value":{"amount":"+0.92225903","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":"Q1918503$C7052F39-ABB9-4C25-BA78-0D1D1DC737EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ef17889274ea5e627539d781c3bfc2ef7c8ad0","datavalue":{"value":{"amount":"+0.91934484","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":"Q1918503$83011B4D-8FDE-4EEB-89A3-DFD6031F1A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07780356ce8084e8f413eed8f443fab3f293fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3716322,"id":"Q3716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b02c7786b31baa222c3d45dd22d6d194583df6","datavalue":{"value":{"amount":"+0.91287816","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":"Q1918503$F785ED5E-06DE-4FBF-BAF8-14872E71727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ee6762f89b6dbf51e1c10c41f6424d245eb1cb","datavalue":{"value":{"amount":"+0.91070104","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":"Q1918503$BF076C06-3993-4E5C-A302-83FFB07DC2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567a76f205cb26a29a156ce6a8a11f48fda6f439","datavalue":{"value":{"amount":"+0.9090898","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":"Q1918503$F3D1B81E-B5CB-4477-9726-A289862F2BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in the union of disjoint equational theories: Combining decision procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_the_union_of_disjoint_equational_theories:_Combining_decision_procedures"}}}}}