{"entities":{"Q2784496":{"pageid":2795234,"ns":120,"title":"Item:Q2784496","lastrevid":42010560,"modified":"2025-05-22T09:57:27Z","type":"item","id":"Q2784496","labels":{"en":{"language":"en","value":"Decidability of termination of grid string rewriting rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732384"}},"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":"Q2784496$44BEFCFA-2E42-417D-BABB-8A1E221DBB68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2953702e6a782ab2afaeebea1cebe72df95d0504","datavalue":{"value":"1008.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784496$320EC13B-6EA5-49BD-9F94-A3477E9C7CA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a9f5e56ea03b013ece3e7ebdb00b185b3b3a704","datavalue":{"value":"10.1137/S009753979833297X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784496$D7CCDCDF-F6F8-4784-A159-D9D30CF59E42","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":"Q2784496$600C09CF-A49E-4578-954F-8CC61D48A668","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784496$66548AA6-BE32-42BC-ADDB-7D0C4C683559","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22e17fffa644ae9f618754e26357d6dbd53b7382","datavalue":{"value":{"time":"+2002-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784496$7A778E14-545A-4A32-84B9-1AECBAD0B59E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784496$9F474C4C-2A40-400E-8830-F43456E99BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b148c262f5e339fc7d3d5af18d7bff2b0d0836","datavalue":{"value":"1732384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784496$AC80D366-189F-40F3-8EAA-34290B21F09B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7fd71c45c3ec574821ea7dae35cee1e6ae176","datavalue":{"value":"semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$43A33F24-844B-49CA-80A3-55563E21DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8414705673aa47690f5c110c546e382669e012f1","datavalue":{"value":"string rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$EF96E6C0-D796-4AA2-AD44-67E67CD727C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d5c8b6b16a0283cd785eb2811b1ad02e04a948","datavalue":{"value":"one-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$2CC0EC9A-4D11-4649-A6CC-24333240AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$79CF52C1-32F5-447A-9D0E-8D6B893230D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2949e14d23cd85d76de5e6dd6c609cb57ea4ff7b","datavalue":{"value":"grid rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$AFD89CB5-26A4-4E83-9948-A4C631D5D853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ebacc626ef4b3048824408772c09cceeca2291","datavalue":{"value":"total division order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784496$0DED7B61-ADEB-4D93-BAD3-79CFE6720D2B","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":"Q2784496$20C70BE0-C4B1-43EB-B7B3-A0F27B850C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88b2dc4705207b98ff38563b272efd00eabb07b8","datavalue":{"value":"https://doi.org/10.1137/s009753979833297x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2784496$5DDA25A2-53E0-40F2-BCAD-9A18B6C5747D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf0e1e9f18f0a2b06d283580dc3c800a6c87044d","datavalue":{"value":"W2001087572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784496$ADBF17DF-9FFD-48D4-BD76-2AC5C52E0E55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1605071c9ffbf2507c9b3e64621c3890d36e19e","datavalue":{"value":{"entity-type":"item","numeric-id":3465631,"id":"Q3465631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0e5f5e5c5408763a826a2977bef02d9f160af7","datavalue":{"value":{"amount":"+0.8934949","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":"Q2784496$EF0F2178-B7D5-4C24-B8F2-410222E4D94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e704c4a36e0b37b05189c4f9d98c9e9fd2ef7491","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae300321d1dcb8d75f91f1e5bea78d9e8747faaf","datavalue":{"value":{"amount":"+0.86989105","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":"Q2784496$423B6845-8D4B-4910-8E7B-CF21DC8F5D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df62854767ffb53976a88512f6b4cf56d67ff92","datavalue":{"value":{"entity-type":"item","numeric-id":5277717,"id":"Q5277717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41635acf5742b4bd2235bfe887aa10f7bb6b6b4a","datavalue":{"value":{"amount":"+0.8696055","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":"Q2784496$2BA73FA5-240A-40E0-8F3A-673760D5818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea635ad35607e06a297aa41c1ba86301ae6b39cc","datavalue":{"value":{"entity-type":"item","numeric-id":286976,"id":"Q286976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5ab09fa666782fefc177933137396e1f1275ed","datavalue":{"value":{"amount":"+0.86954916","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":"Q2784496$30FD5CB4-EAF1-4A62-BC34-E2A4BA0CB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3ff24bbd0e60f997ef359a7e06dc84ce2b317c","datavalue":{"value":{"entity-type":"item","numeric-id":851146,"id":"Q851146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c087b55dfac99d5edb788caaa88e50d938546a6","datavalue":{"value":{"amount":"+0.8651104","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":"Q2784496$9AC344BE-6230-4935-991E-265FA9FE84A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc9aaeaf4ea6cb2079ebbe6cf98d811a4b4b832","datavalue":{"value":{"entity-type":"item","numeric-id":5958138,"id":"Q5958138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6dca2141c37c141526ebb7dd9e0bc78c3f47b8b","datavalue":{"value":{"amount":"+0.8640783","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":"Q2784496$7EDAE14D-D066-43AC-9BFA-F55B75096290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092b89ac730972e8267da53a08637ce8f9de6d9c","datavalue":{"value":{"amount":"+0.8636117","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":"Q2784496$3EEAAD35-CD02-45C0-BCF0-CBA8A6810A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f8094e792cfb2a3f64409ed95b797e54c5bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1325846,"id":"Q1325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5e9797e71840a82b7b9dc9b75e84c23a4dc1bb","datavalue":{"value":{"amount":"+0.8630594","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":"Q2784496$041D2240-C376-432F-9F47-D99C398167C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cbfde43ede8eab52fc49c501c6bcce39310013","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0935c91adff180d38b84af05dd3a68d138eee1c9","datavalue":{"value":{"amount":"+0.8623019","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":"Q2784496$7401BCFC-36D7-423A-9079-B49E892DBCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd13546199e36837498d0f86201f321fdd87908b","datavalue":{"value":{"entity-type":"item","numeric-id":5941752,"id":"Q5941752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e02e073baadc7365a2e9bfd36c567bd90e5e4c","datavalue":{"value":{"amount":"+0.86066824","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":"Q2784496$C6C16207-87AD-40E6-BF2E-701E7D21F3DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb27f0f5518aad2cf847fc376984ef76783c3c53","datavalue":{"value":{"text":"Decidability of termination of grid string rewriting rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784496$1BD73823-47AD-4B13-981D-68D967F60680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2784496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2784496"}}}}}