{"entities":{"Q3489486":{"pageid":5519386,"ns":120,"title":"Item:Q3489486","lastrevid":49412131,"modified":"2026-01-07T03:01:23Z","type":"item","id":"Q3489486","labels":{"en":{"language":"en","value":"Unnecessary inferences in associative-commutative completion procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162297"}},"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":"Q3489486$E6E5C6B1-8EE8-4CC3-A77A-5E8BF39511FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e6a309005102a6922f57d16f7661cd9ab7511c0","datavalue":{"value":{"text":"Unnecessary inferences in associative-commutative completion procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3489486$A582F67D-7A22-4AA3-BB75-C87CC722C1DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649e7e8d89a94002c81ce4e756a718e5690a80a6","datavalue":{"value":"0707.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$FF441D40-1578-4D5B-8D81-F0A35D61D693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222b99c9aad496c325882dc4403fbae1077512c8","datavalue":{"value":"10.1007/BF02090774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$29A1AE1B-BF45-478F-837E-4C0A4B8DB5F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$771D9B2D-FF6B-4CF2-820F-9EB812161DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$D1449D92-9569-49F4-ADD8-15126CB43941","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$587BD62C-A482-470D-8995-03C211F82C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3489486$4D5876DA-5409-42D3-9980-A0D3693A2DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$A23D7520-0F4D-441F-9FFB-D7F66FDCE012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$EA530A2A-CBF8-4F80-B853-9BA485285D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4820541bf2cdefcdc9fcecbc894a45577303dd1","datavalue":{"value":"4162297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$7BA3CA31-8561-4CF8-9191-AC0C13476D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3489486$3BC400D8-486B-4C84-AC35-767B5FF9BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3489486$B4C9CF05-A320-4D51-8C00-F8EFD844CE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e78c793d6b274ad90381ac7e5d81ad110605318","datavalue":{"value":"completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3489486$3E684D57-0D23-471F-93DE-BFF1C5D53E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e72ba1c5fa319de0fd2d6af65a9fdb0baef065","datavalue":{"value":"Jacobson's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3489486$6E4A00F3-A524-4F7D-8FF8-EE0086305254","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$26D42BB0-02A5-4C74-9A1C-BD8E6F034762","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":"Q3489486$43C9A668-685A-4D21-9B29-CCECA8034AF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"becf5f4cc735947b117fb82f7aabc6a54df59ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1099615,"id":"Q1099615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$DBF0F699-28FD-4F2A-B743-2C21E90C1554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$FCC62766-CB5E-4B70-8F24-2BD6760BA41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$01A62C75-BF0F-427C-8EA9-C63FA8A378C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$913EB299-E297-4D8C-88C2-2BFCF7A907A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$668E5D38-90F7-4542-BEFD-AE8F315822E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c077a572f671e8a893ffdb5e7660f67256a308e9","datavalue":{"value":{"entity-type":"item","numeric-id":2652493,"id":"Q2652493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$53C9A60B-92B7-424C-BACE-25C1C96CB5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$31253114-8049-49A3-90A0-1CA54E90816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$EDFAD790-98A1-4AF0-B658-28B087096EC4","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":"Q3489486$BB918DA0-F64D-43FC-A0F0-FA47881B5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81bac0c83a1bb3be4d60a72c12b74b133412b10","datavalue":{"value":{"entity-type":"item","numeric-id":3702510,"id":"Q3702510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$1BF1852C-1D78-41E1-858E-3FCDC9CEF8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$573F55EA-590C-4A84-AA81-4F8D2E9D4124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$C2CB755F-29B0-4418-9581-56A54B9E3C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$8889D9B7-2644-45ED-A1F0-EF1B20D303A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$22BD740C-943B-4FA4-9AE6-5FC801B7A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2c382536762403afd1b57f03346562a0a0a83","datavalue":{"value":{"entity-type":"item","numeric-id":3336737,"id":"Q3336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$AF1ABE61-5FE9-4FAA-B539-A68EC802D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99f230aed63a43035afc2f38788e33caaa052af","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$15D41ACA-BF61-4CDA-B72E-95B94B193BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0693ec7a4ab1ed4a5c14ca5a8d1f9889cb4a1cba","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$E2EBF506-A03B-4547-9F3B-666A2295649A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$30899FC2-EE9A-4DB4-A2F0-D04FDC579DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$282154E2-20E3-4999-8A15-3B07EC8C8BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c9f86a5342fe6bb6ac25007f55bbaf7bd99a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5608782,"id":"Q5608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3489486$CDCEAA53-A6BF-4AB9-94AD-1C990194E2F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc62ede92877bcc94520a5e34bfee9611916c1b4","datavalue":{"value":"https://doi.org/10.1007/bf02090774","type":"string"},"datatype":"url"},"type":"statement","id":"Q3489486$FD0436FA-E5AB-4475-9BF3-FDC0C1FE2629","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07a1fd0a5b96cb93e38d29f8966ee791992f27f0","datavalue":{"value":"W2049670190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3489486$5CF961BC-50B7-4004-8683-549462056949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9581d1067fc8acad2f29e3b65f264db275253534","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dff5b7de3410a53fbd6303906c4686dc25de8d","datavalue":{"value":{"amount":"+0.7464661002159119","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":"Q3489486$9D7A7BE4-5618-460E-8F1E-3CDEDCECF664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b388de467cfead1bf66750db2e302ca88aea0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5055743,"id":"Q5055743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbec60cf079e17ce9ee42ce9cc621ef6d83fe398","datavalue":{"value":{"amount":"+0.7457694411277771","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":"Q3489486$B45A6FCD-5DE6-4C04-86A3-681223CFB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9bc103ac6abca6432b206f30fd565c83d1948","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a19401f002c3962e6a56771b9fa91989d13999c","datavalue":{"value":{"amount":"+0.7430334687232971","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":"Q3489486$DBBA29B1-DFD7-44CF-9943-9F5A6C8F8C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a19401f002c3962e6a56771b9fa91989d13999c","datavalue":{"value":{"amount":"+0.7430334687232971","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":"Q3489486$3AEFB406-D2DE-43FA-91A5-5866B3B00F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecda5e3a46bcf7593ba405dfe633a1c293b69b7","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7a6f00114c7570d3537ad9caf5243ee46c12da","datavalue":{"value":{"amount":"+0.7333070635795593","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":"Q3489486$74E18ADA-3248-4C1E-99ED-B8458F8B82F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3489486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3489486"}}}}}