{"entities":{"Q1912706":{"pageid":1923448,"ns":120,"title":"Item:Q1912706","lastrevid":43414582,"modified":"2025-07-25T15:00:25Z","type":"item","id":"Q1912706","labels":{"en":{"language":"en","value":"Total termination of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 878200"}},"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":"Q1912706$E8188732-A9F8-40D3-9B14-26979318D9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53cdabb9afea4832d63e3c989fcc65a8e67dfe58","datavalue":{"value":{"text":"Total termination of term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1912706$D0343AE3-B94E-4BCB-A16C-DF2513B233AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"953b84fe162e0895448b88be94d17475ed1bac35","datavalue":{"value":"0847.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912706$8DAB6D3F-656E-430C-8204-AFB38103FFA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f015cedcc4a9dbc73d109ebc3de52338518399","datavalue":{"value":"10.1007/BF01191381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912706$80F05D68-9948-4C19-945C-5D86D2229EE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$17DE213D-6399-4757-8F93-CC9F7DF8788E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3532100dce8aca59dbf3233b7cf352b688cc102","datavalue":{"value":{"time":"+1996-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1912706$A1E95239-A513-40E2-8B4C-4213550299E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912706$A758FBB4-6D02-4C96-8D02-A2F3B922C776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6cd2de9cb686babb00c7e9cd242556277f18573","datavalue":{"value":"878200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912706$41A405E4-90E8-478D-A8FD-084DB9C8788E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec477a5d74f59ab1e82156b9835a2e027652580d","datavalue":{"value":"proving termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912706$793F8E90-DC1B-4A00-A382-CC7903E3AF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912706$94D8BD45-9AE5-425E-9343-B879E02B4CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19976ba920f468539fc130e6ad8da39cf3695400","datavalue":{"value":"total termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912706$DDFBBB97-D321-40F1-87B2-EA0B6489AFE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a885fc1e3c9a4d347fde8fd39bb8b556de926af3","datavalue":{"value":{"entity-type":"item","numeric-id":1290509,"id":"Q1290509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$D8918AC7-4589-452F-A5A9-CAF5D59077B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$49AE9A41-B786-4957-9465-199A8E65D23C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$09DF0551-10E3-4597-89DB-8D3D41D9FF5F","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":"Q1912706$B3198F02-BB48-457E-A568-BFF0A5280029","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$C5D520DB-81C8-4A62-8390-82F88F2C4799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$A7067C64-361C-4DEB-9C30-7EC0A371BE65","rank":"normal"},{"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":"Q1912706$B399465A-4C8B-4AFA-B75B-D04CB39374A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$C84CE253-5DA0-458E-8C0B-8E61CAE2E9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692cc976f94257a4cbc68187b85b0261398f7249","datavalue":{"value":{"entity-type":"item","numeric-id":1912706,"id":"Q1912706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$E02917BF-BCEF-456A-A6A7-239342D900EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f471f788912cdfff520a8ac13be7b96bbc1b92e0","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$F6648039-EEF4-44DA-AE9D-0A36E54E10D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$8CAA5A93-7057-41C3-884E-5E5809313834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$A42ADFEE-E9C3-4DA3-9801-71DE106070A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dc0b7eb984aadd5f3a39bfdb6b5ac7f5ac023","datavalue":{"value":{"entity-type":"item","numeric-id":5549798,"id":"Q5549798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$2549BC14-3641-4CE5-9FFD-DF085C7A15ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9a0b7073b91731822d046010e715ea7ddd67ca","datavalue":{"value":{"entity-type":"item","numeric-id":4358058,"id":"Q4358058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$EBAB9172-84CB-42FC-B046-14F39FC4289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$90B0B774-E71C-47F7-958B-7734BFA9A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912706$7C55B76B-AB07-4ADC-A3C4-221AD6DCEB45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ae8e1c1c40dc25c50d07ae7e7e17042f22d19","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q1912706$D1BA4520-1161-478A-B11D-719998AA7AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d335f8145d775bc612764758c98b47919c42e90e","datavalue":{"value":{"entity-type":"item","numeric-id":1911402,"id":"Q1911402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7df61d42a46d35e52c9676cdc167ddcb7cc4161","datavalue":{"value":{"amount":"+0.93152165","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":"Q1912706$785C2781-15CB-49F9-A9A9-53669BE087C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289ff16cb8f8a4c94c4d732df96d20f9767d266","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757235fe317a46bf5b6a8565d30f72b62add6e36","datavalue":{"value":{"amount":"+0.9307262","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":"Q1912706$A0F34229-1BD2-4D36-8AA5-F6B78E2C8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2761631fb905da6079785d5a1ef901bc820b76","datavalue":{"value":{"entity-type":"item","numeric-id":5941751,"id":"Q5941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dff0408bec49b05076ebb2d719e6d453306241d","datavalue":{"value":{"amount":"+0.9186147","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":"Q1912706$09BCB766-673A-4D8C-9951-21C40FE756FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee611e74c17bfa19b53122bbc4a9c860d76559b","datavalue":{"value":{"amount":"+0.90914685","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":"Q1912706$94930556-9D7B-40E9-8FF1-E0CAD78D50E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea7c6583cfd2b84f9afe3601a34770b09886021","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a015cba24621b4797985b3f5e718ea92d2eb3bcd","datavalue":{"value":{"amount":"+0.90786517","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":"Q1912706$7EA01B60-AF15-4E7F-A0A4-872DEF10DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b93737dd207056426cade4e5dba1254ba6edf5","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e07e961052b3ed78028e4da1902aeae029c405e","datavalue":{"value":{"amount":"+0.9064107","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":"Q1912706$4523CE88-D8FE-48BF-B879-683063F563B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd27c5ee38bad862b3ffcc58afd5956965cc647a","datavalue":{"value":{"entity-type":"item","numeric-id":4702599,"id":"Q4702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cf3cd5881782e335d3dbba1eef0c070bcb4061","datavalue":{"value":{"amount":"+0.90368277","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":"Q1912706$3DF1AA21-D4C5-4F5F-8C0B-211EA92E1650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349622a6ff30c62c26a387e36d5fd204e2e66b","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e984957fda4a173eac65c316579b5d0132ef3","datavalue":{"value":{"amount":"+0.90135974","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":"Q1912706$CCD9CB84-A856-412B-BEBF-07389793A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bccde482fe6ab066f2f526036df3e530826de93","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf1f4fbecd79a158bb9c8487a8b66f1e929d5ec","datavalue":{"value":{"amount":"+0.900957","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":"Q1912706$720059CF-8A2C-4D4E-899B-940FA749D72E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1912706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1912706"}}}}}