{"entities":{"Q1768746":{"pageid":1779488,"ns":120,"title":"Item:Q1768746","lastrevid":69263850,"modified":"2026-04-13T05:51:21Z","type":"item","id":"Q1768746","labels":{"en":{"language":"en","value":"Constraint solving for term orderings compatible with abelian semigroups, monoids and groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2146192"}},"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":"Q1768746$DB1C15E4-331F-4164-BF25-66FBFFC84798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"633bfecb9ef1539a96c232c06c2855bd0c229035","datavalue":{"value":{"text":"Constraint solving for term orderings compatible with abelian semigroups, monoids and groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768746$8E0DA64B-563A-4AE0-9EB9-46F7BCDF1051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76f8476c97841a45713292078e6ee8e891cd256","datavalue":{"value":"1074.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$BAAD9BD6-43AA-4ABD-AE59-22010F06E5D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768746$BE376C42-26DA-4816-9B1B-9911C875C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768746$ABC26EEC-253A-4A8A-BEFB-04BE7CD82F2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768746$77F12E35-196F-4C79-AE9D-E2A34E4AC5DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1768746$80D86030-9CFF-4CC5-88AD-C2D21F6065E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$788C2444-E6E0-4D00-9B44-7AE77B5D10F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$FD3A2F85-33F6-4C3D-B969-9B18E067DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$DABC53A6-93D6-427A-BB21-368CCDE1C612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e61f915caf2445a38ec5686341f30ed50285264","datavalue":{"value":"2146192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$F24AABE8-2EE8-455B-A9C4-0D6307FF3134","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e17e497a03dedb0bcd7e478dffa1adeb94467e","datavalue":{"value":"symbolic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768746$0605BBCD-22D8-4F64-9CA1-A29D71D152F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fdf7e49c11598990d3e6385d95cb4e5490ec8e9","datavalue":{"value":"term orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768746$2B37CE63-F9AF-47BA-A2EE-AEE3A0235309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768746$F7DB7684-B7E0-4F65-AD08-AF8301F7EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3307b3bf06a616fac903a911814762bbece9bc","datavalue":{"value":"built-in theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768746$F9A1E71D-7EF2-4665-9FEA-98CC2F3C4B69","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":"Q1768746$86B46E85-CA17-40FC-9E0E-7C9633BF1389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a40c0aee31f190a89a2da9c596e8aac59c86043c","datavalue":{"value":"https://doi.org/10.1023/b:cons.0000036021.31386.cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q1768746$BC072957-71AE-49B4-AEA0-CA9405E4F330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0ad66f276d497161ee31e4073b536360258a9c3","datavalue":{"value":"W2049395160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$E41C8E79-3267-4380-A54A-AFACD788A38E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97989a3f7431848ea16d1f88a2f07aa545a4b23d","datavalue":{"value":"10.1023/B:CONS.0000036021.31386.CC","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768746$7A8D4A42-5335-42E9-8874-BA381997A6D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b90152383a36e8bc6576cf3eacb06fc6bff521","datavalue":{"value":{"entity-type":"item","numeric-id":1400710,"id":"Q1400710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b190e7586aad1037250e1da709b7202cb6f156a","datavalue":{"value":{"amount":"+0.7503599524497986","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":"Q1768746$F89E1B71-143C-4F9B-AD4D-0B26313EBC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c1c955aa09a454aad3b7822ac2b797f0973045","datavalue":{"value":{"entity-type":"item","numeric-id":5096318,"id":"Q5096318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1192d954495cbd555a318788442826f3c2a31080","datavalue":{"value":{"amount":"+0.7421528100967407","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":"Q1768746$1D6518B0-6148-4494-8923-38761ABA9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b793e628f5bf73506c61847959be3fb4f6f225ea","datavalue":{"value":{"entity-type":"item","numeric-id":4938596,"id":"Q4938596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d207a45ff2b3dd6eb374febbac7dc2429d01576c","datavalue":{"value":{"amount":"+0.7332892417907715","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":"Q1768746$F91E5E98-5857-4B66-8798-741D6CD165C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d207a45ff2b3dd6eb374febbac7dc2429d01576c","datavalue":{"value":{"amount":"+0.7332892417907715","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":"Q1768746$3FD7AEF6-C3A8-43D9-9DFC-D0ABC003FABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58640135e8e82c819c1be7527df756c6c9bf248","datavalue":{"value":{"entity-type":"item","numeric-id":4036585,"id":"Q4036585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d720e951a91f784e710a191c7cdb6f8db4c2e1","datavalue":{"value":{"amount":"+0.7234274744987488","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":"Q1768746$E2201EB3-2A62-4730-8E53-5DFAAE6082DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint solving for term orderings compatible with abelian semigroups, monoids and groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint_solving_for_term_orderings_compatible_with_abelian_semigroups,_monoids_and_groups"}}}}}