{"entities":{"Q4630297":{"pageid":6659879,"ns":120,"title":"Item:Q4630297","lastrevid":82162331,"modified":"2026-05-06T20:15:07Z","type":"item","id":"Q4630297","labels":{"en":{"language":"en","value":"A partial solution for \\(D\\)-unification based on a reduction to AC1-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045148"}},"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":"Q4630297$8AD3F244-3A0F-4191-9759-EFFE4F7D3E1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ce68e61811331cf5249d7cec6219569eac00154","datavalue":{"value":{"text":"A partial solution for D-unification based on a reduction to AC 1-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630297$5F2478F1-5E0A-4AD6-973E-43B1128BEBFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b18a4c6632e05f2cdc932ef046aafb42c5ef396","datavalue":{"value":"1422.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$120BD862-2503-4A28-9209-1BD8BA05497C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b42301faf2082dd2bd5d9425d8a83e2ff729dce","datavalue":{"value":"10.1007/3-540-56939-1_107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$229403AB-2375-4D63-B834-FB2A0188F4EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$5D985E5C-44E8-4E6A-A98A-196F4541B3BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$3F16FFF7-11E7-42A0-A7E5-2FD93682EB49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630297$9DE12172-B626-42E7-B416-265CCB01FFF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$BD8D5D53-9AEA-4FDB-8A86-9600BCF7254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$35C4EFE0-F02A-438B-9797-2C64416CB432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf37c52868b8ec2e58f854e269a9e9fc0dd6f3f","datavalue":{"value":"7045148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$894D970A-6156-49AD-88A2-4D7DAAA3698F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0492b44807f6e304fecad16f43044587aabd4324","datavalue":{"value":"variable identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630297$6B9C77DC-7C73-47B8-8FAA-453955A259FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630297$4E0D0695-F789-4E54-9606-8580932B10F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630297$74E413A8-DEC5-44CB-B3A1-B4E64CE81E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ccf56720c6cab3d62019be535766050a08cb8","datavalue":{"value":"Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630297$890C56E0-0BFC-449D-ADD8-1CE4CC28AE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630297$3C0FBB47-5872-4700-8BD6-C766C15506F4","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":"Q4630297$F1D7FFC7-7A0E-47C2-8B56-023716B70B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fe3216f2847872373630f5d9d7c4ed83eb79bec","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_107","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630297$E2E95DC4-5F14-49F5-BDD0-808B66965BAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"646b41dd039f5d14ab09bea8dae14e4c9b755117","datavalue":{"value":"W1803054864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630297$C57A3604-0E61-4943-9B4F-892CE6E37864","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$02775CDA-E243-483B-8A30-E635B0AF5BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442fda286202e664a839f93dfc76b2cb5fb8ec94","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$0A4F6CBD-A0EE-4A9C-9431-CC3B9E6C3766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$42EE5D05-24E5-45F1-A6C1-8D84F966B672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092348088466a9288a4b352c8d624aae9ff71ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4159542,"id":"Q4159542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$065DCA00-789F-4826-8FFE-63070DAE555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$B80A7EED-7355-43EC-AE9C-3112D3D0A38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$B85C1D84-CAD5-4CA2-8F31-E84FB930530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f90c485ed1d89b3250f5647f723259f01b989","datavalue":{"value":{"entity-type":"item","numeric-id":3313256,"id":"Q3313256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$ED86827B-8416-4E66-A836-778BF4C61D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c554ed5d15a766bb2fb9ed51f6e955854f5f519","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630297$2FDF2D97-FFFA-4B5C-9E07-A15DDE789A04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b06b031134b6fabac31e5d2d837e077e4d09a2","datavalue":{"value":{"entity-type":"item","numeric-id":1322774,"id":"Q1322774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f503c66adb5734df0923b9c73f46b821d69ce5","datavalue":{"value":{"amount":"+0.9285227060317992","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":"Q4630297$865AA6A9-088C-4DA8-A443-D4582A721BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4f67592cf7c311b48fa4d87b98ca84e05c12ce","datavalue":{"value":{"entity-type":"item","numeric-id":1774555,"id":"Q1774555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f0d0dedf0cfaf38a38fba16597082d0027410b","datavalue":{"value":{"amount":"+0.8227276802062988","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":"Q4630297$249FA872-E00E-4D5C-A36A-390F79B35712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50424faeb60622a18fc7d79e18a701036a97b99e","datavalue":{"value":{"entity-type":"item","numeric-id":5055867,"id":"Q5055867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec24f1b579b58ae2dd4364a698de9e5b27fdbdb","datavalue":{"value":{"amount":"+0.8004435300827026","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":"Q4630297$549C4145-D59C-494D-80CA-2D26674A4D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb4afc175ef8e7b41ce467192bd6110a48eba28","datavalue":{"value":{"entity-type":"item","numeric-id":5900732,"id":"Q5900732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabc6bd211fe288f8d1a82c877f1aa2fe0630ad3","datavalue":{"value":{"amount":"+0.7982949018478394","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":"Q4630297$43B3CF29-B816-4C29-B7FB-E0B60C06BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c356d92da9a6953c2a8ee30e1b61325550faf9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1275018,"id":"Q1275018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048807465a932c60cc019f75c65b53a21bc99797","datavalue":{"value":{"amount":"+0.7944891452789307","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":"Q4630297$B067D261-D919-491D-9586-87F0C75C838C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A partial solution for \\(D\\)-unification based on a reduction to AC1-unification","badges":[]}}}}}