{"entities":{"Q4910441":{"pageid":6940020,"ns":120,"title":"Item:Q4910441","lastrevid":91597208,"modified":"2026-06-04T23:34:52Z","type":"item","id":"Q4910441","labels":{"en":{"language":"en","value":"Termination of rule-based calculi for uniform semi-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145857"}},"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":"Q4910441$E5959AF6-9791-47A1-B184-57E18CB3E814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8382a0c75cbc8dd3ad286e5e673521d9ddd8a0ad","datavalue":{"value":{"text":"Termination of Rule-Based Calculi for Uniform Semi-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910441$FD979F02-FC5E-4A16-B94B-B108C78F0B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d4356c1f28ba527bd98b0f9f0970b8154002dc","datavalue":{"value":"1377.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$8E4341F1-DC5D-4327-B11E-BE85499EDC3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e69b1d4a1eaed5b0d6b5778e34c51f393205e34a","datavalue":{"value":"10.1007/978-3-642-37064-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$EA7E654E-5790-46EA-8500-481307B01694","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910441$D9DAD1C5-36B1-4297-8ADB-F78214462268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7996a8b23d1eb8ebd49d40e3772d490c06bc7f","datavalue":{"value":{"entity-type":"item","numeric-id":2232281,"id":"Q2232281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910441$4DF9AF97-86FF-44DF-8BB0-063B5382C78A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910441$BD289AAC-1969-45B9-8B16-FB5B9163B9CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910441$16858E78-82EF-425B-8188-2681FF41A486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$B8B757CF-92F0-4020-B4FF-02054079D062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$CB76D0CA-8CB1-4369-BE3F-E9A0E6F51C5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dfd1c576640f791fadf6c1ade17e000c1efe17e","datavalue":{"value":"6145857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$11262CAB-BC12-49F7-9BE3-8CF24348D0CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910441$F409C2D1-8AF3-4500-84D4-BAF24F97A23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfaf97f244dd1d1c89421abc55a2f0ddda381728","datavalue":{"value":"rule-based calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910441$38491072-A98B-481F-8A9A-FA7918E66D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910441$20D5D375-ED8F-4746-A14F-ACE0AECB1E00","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":"Q4910441$869DD07A-BCD6-4A77-B2B8-4526ED670807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8a33ec0192d00473b1d590e5610d219c8fd8bba","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910441$41119E1D-3034-437E-84A5-81027C3D1131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9aa4caa11d9ef783241bb94e815b0fd64a1536e","datavalue":{"value":"W152954056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910441$5D365C04-7B28-4707-8F29-033C16DEC25A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a13a378a61b86131308d831b0ad40c6e7bb4fe","datavalue":{"value":{"amount":"+0.8376465439796448","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":"Q4910441$FDD92D3D-2434-4F80-A750-877821432678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e0c9d7eb391dc19d080e6ba053dcab2f39fdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b376450254dae354cd61a8e603f0b64dee2d4f","datavalue":{"value":{"amount":"+0.8357487320899963","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":"Q4910441$5AF21101-3AE9-415D-8151-FAE821562AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc38cf96173d1fd56a6081c50dbff622604b848","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9fac8c287b17b21908ae601e9eaa7f6a15ec1d","datavalue":{"value":{"amount":"+0.8029200434684753","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":"Q4910441$CD463CCA-AFC6-4731-B48D-58E73B2ADC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488e481466be4f0d0004cfe9a7a1a4245bbf58d4","datavalue":{"value":{"entity-type":"item","numeric-id":3204025,"id":"Q3204025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd82ab68f1df4cdda19ec8e3c9df0390e44a5f34","datavalue":{"value":{"amount":"+0.7638334035873413","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":"Q4910441$97E67C4B-1548-4783-BF3D-E8FB289C9DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468a06ad8a1d0bf42d8a062be0ba1ebcfbb958a8","datavalue":{"value":{"entity-type":"item","numeric-id":4035264,"id":"Q4035264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7691409302fc2aa7d72573af3ebf6413f961c3ab","datavalue":{"value":{"amount":"+0.7563658356666565","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":"Q4910441$8422751F-3B6C-4EBC-AADE-77B3E8398530","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of rule-based calculi for uniform semi-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_rule-based_calculi_for_uniform_semi-unification"}}}}}