{"entities":{"Q851146":{"pageid":852994,"ns":120,"title":"Item:Q851146","lastrevid":64827075,"modified":"2026-04-11T22:29:51Z","type":"item","id":"Q851146","labels":{"en":{"language":"en","value":"Termination proofs for string rewriting systems via inverse match-bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073793"}},"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":"Q851146$DC2C9B7F-0937-493B-BB44-3DCD1BFC84B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836d779479279c817c7768684824bcde01aab0ea","datavalue":{"value":{"text":"Termination proofs for string rewriting systems via inverse match-bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851146$79E1190F-07E0-4080-BE21-4219441182DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"810177543f0de10212a2530a9a34dd2a6513ed9a","datavalue":{"value":"1105.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$F12B395C-6298-437C-AA68-1A6D95B9044C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daae3e1c4a91d851e44eeb961260350c6d531d3","datavalue":{"value":{"entity-type":"item","numeric-id":851145,"id":"Q851145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$0834BD67-FED6-4739-BDA1-2C5F18F8271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$AF0A5DC8-A0FE-4F41-96E6-5C5F31A42CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8608b3d845665df20a4960779896ea8329708b5c","datavalue":{"value":{"entity-type":"item","numeric-id":703574,"id":"Q703574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$337780DA-D7EB-4A2A-A3B8-607C6FFBFD48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$BB49E9AF-6C91-4179-8105-2F47957E79FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851146$CA6886B6-208B-48EA-9842-281211EF59FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba3dec0950387540e4f748b09928cb50df5dacb","datavalue":{"value":"http://hdl.handle.net/2060/20040086792","type":"string"},"datatype":"url"},"type":"statement","id":"Q851146$FBF09411-F775-415C-89DC-9344DCE1833B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$D557EDB5-8A5A-4F97-B17D-09903F9743F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$7AD5CA64-54E1-4F4A-9E41-3A74614F8CC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a4d8df331624662eb52d15ef335b383d5c39ae","datavalue":{"value":"5073793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$8AA68B5C-A74D-426E-8222-7F493620870C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$B8EBFF55-4A97-490F-BEAA-82A57DA3BF2C","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":"Q851146$7F21444E-D941-494B-B33B-F6596A8C0337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d642308a0b4dbbea4cfd15c70b6a2254dc509ffe","datavalue":{"value":"W2093130576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$894D6524-F6F2-46CC-90CB-569858237F20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$3E853079-90E9-4E37-87E0-5C2B4DE9F4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$7964ACE1-EF75-42C6-968E-4D0AC4735360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d89deea42fc4dd7fe0f3c8327eb9ff7e8808ba","datavalue":{"value":{"entity-type":"item","numeric-id":4218931,"id":"Q4218931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$9DD25311-5EEC-414B-A5BD-0018A0CE0286","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":"Q851146$B522D8D6-E877-4B02-BD1C-D06BE1C16249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826359df9ea86153289ddfc7adcc3ec4da17d084","datavalue":{"value":{"entity-type":"item","numeric-id":1575660,"id":"Q1575660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$B52BBD01-AD3F-4429-9690-D58A17989DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0969a79c2bd5d5222d27c6e480a642f2ad2083db","datavalue":{"value":{"entity-type":"item","numeric-id":4447248,"id":"Q4447248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$20B343F3-1D44-4882-8CF6-7E3E93CFE8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f4e38b2e51caadd8eaba6ef6c9817a0f1de294","datavalue":{"value":{"entity-type":"item","numeric-id":5431332,"id":"Q5431332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$043CDEF2-0FE3-4CC4-84D3-55E032ED07F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b72966a319699b998b4693b5e56bc40dadff2","datavalue":{"value":{"entity-type":"item","numeric-id":1762560,"id":"Q1762560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$C33A39EE-BB8A-4D00-B220-CF974384B261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ebe42065072c2651975ffd42ded54071b5d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$6E7EA1AA-5728-4EC5-A7FA-B6DBFB3FEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eaa65dded2fbed140aa1af8387e96ddb93771d","datavalue":{"value":{"entity-type":"item","numeric-id":5521477,"id":"Q5521477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$BD3A4D44-2E2B-4AC7-B68F-0C1B30AA759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61faa801c930ef1c9a32a11c8ab75603fb90701f","datavalue":{"value":{"entity-type":"item","numeric-id":4042666,"id":"Q4042666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$AF7CF91B-6ACA-43A6-93A6-0825BD09E0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338247f5d8bd51e4605d689a2940f4a8809cb811","datavalue":{"value":{"entity-type":"item","numeric-id":703575,"id":"Q703575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$92CCAF54-D063-4062-A6CC-A0DE8993943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f18bb1d756045e3db4bdc68a4413a8b3bc7dd","datavalue":{"value":{"entity-type":"item","numeric-id":5958138,"id":"Q5958138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$01075449-9DF8-48EB-90C3-00043FA6FCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a261f5f404eecbd3134a4375603d265bde82451","datavalue":{"value":{"entity-type":"item","numeric-id":3998014,"id":"Q3998014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$4985D213-F505-46A9-BE31-716E9B147433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c17dd62f078c00b135308e79fab1b1f7b775637","datavalue":{"value":{"entity-type":"item","numeric-id":5947359,"id":"Q5947359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$D1EE4632-DBC1-43BD-9973-D2BF1DF04F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a5acdfd78d81d3d4e2fe8091d8cfdd6cd3af25","datavalue":{"value":{"entity-type":"item","numeric-id":4407712,"id":"Q4407712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$600452C5-C7CD-452B-A9B9-49065480BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a2a765a511606ff7b6e791883415448f30af03","datavalue":{"value":{"entity-type":"item","numeric-id":5691608,"id":"Q5691608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$B452BFCF-9586-4343-8F7B-8ED59635D9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b7b71c8ef4b60e463528bb0824dc13330c040","datavalue":{"value":{"entity-type":"item","numeric-id":1583881,"id":"Q1583881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851146$08A86E33-1CE0-4EA3-9BD4-CACA3DD9D6FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d37534ef7631751884f37b189d53b0e0f08fe1d","datavalue":{"value":"10.1007/S10817-005-9024-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851146$AC96BCA0-E607-4A0B-9503-FD9DEB37C468","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc0210fc9b97f4ee854e218ae9438ac4d0667e","datavalue":{"value":{"entity-type":"item","numeric-id":5431332,"id":"Q5431332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffc6f5f519562302ae1a868144af342c553f439","datavalue":{"value":{"amount":"+0.9158992171287536","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":"Q851146$E8BC973C-EB19-4EDA-A094-7F2A85536C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d39281892be982282c5cac3d0766bd0ee415e44","datavalue":{"value":{"entity-type":"item","numeric-id":1762560,"id":"Q1762560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ea4922b2f5dc3bacc95a3f91ebc4c522530f84","datavalue":{"value":{"amount":"+0.8958891034126282","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":"Q851146$0167A86E-AB6F-41CA-817D-F1A571340B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80392d589cecfdcfc2f68b6fda0ce5e9d763801e","datavalue":{"value":{"entity-type":"item","numeric-id":1041044,"id":"Q1041044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5802a90a299ce21dc30e612f0de086e548af7a","datavalue":{"value":{"amount":"+0.8181381821632385","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":"Q851146$A361732E-AD8E-4FC4-8B9D-B2CEDE31EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4519d5a74bcac466672871c4fca01e38fe88f517","datavalue":{"value":{"entity-type":"item","numeric-id":5389154,"id":"Q5389154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d5b14cf846c64c57cb99cbe86a14d0642448b3","datavalue":{"value":{"amount":"+0.7850140929222107","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":"Q851146$393C04C3-9C57-4D06-88B2-404842FC99E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a06eaa6aca70d7fa017c3699e7fc20fcbfc6437","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2e5e48bbd8c85abb7986cc1502f86f4eb6f3aa","datavalue":{"value":{"amount":"+0.777374804019928","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":"Q851146$E9EA4915-4EB1-42BA-A7C4-C8634DED7ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination proofs for string rewriting systems via inverse match-bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_proofs_for_string_rewriting_systems_via_inverse_match-bounds"}}}}}