{"entities":{"Q5089023":{"pageid":7118599,"ns":120,"title":"Item:Q5089023","lastrevid":91338728,"modified":"2026-06-04T22:55:06Z","type":"item","id":"Q5089023","labels":{"en":{"language":"en","value":"Sparse tiling through overlap closures for termination of string rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559287"}},"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":"Q5089023$792B66A8-D746-426C-8802-4BEAF95E4AA8","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":"Q5089023$E7F54822-4E53-43F9-BB45-BD8C632C0E7C","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":"Q5089023$DE9EA1ED-D4E7-484B-A6E6-F840F389A1AA","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":"Q5089023$B9286CB6-6DCC-4265-9D79-594D8DF51F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5089023$A057E4BA-2BC1-4E49-BF50-93C2D6383940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe0d143de01cb4d01cc8d959be8c1ff77bc1a7e","datavalue":{"value":"https://arxiv.org/abs/2003.01696","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089023$2A219AF6-B8AB-411A-A0E9-304AB7B38794","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089023$26620C2F-8373-4257-972C-55B753C241CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089023$88B355CF-D962-47F3-AC37-5D8DC06773DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8379c957039274f47f6a025c9fcf324b94df4dab","datavalue":{"value":"7559287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089023$A7A7D8D0-8F09-4B52-A3CD-75251F7C5113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260f8b8a63a01e52cf209b11550ffc4ffadc0a43","datavalue":{"value":"relative termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089023$6124DE45-9497-402D-8F07-E8BD7DC87E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a97c66addb1ce47c99aa03068c2824f0d9acbc","datavalue":{"value":"semantic labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089023$416D58FB-D5A7-4574-911C-66CB855FFDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed31580fd747df303ff428180d66432f20d4aa62","datavalue":{"value":"locally testable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089023$8D8022F3-8590-43B0-A7C0-FEF52729B0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b745d377d95fce4ad014195d57172de3e6a5d3e6","datavalue":{"value":"overlap closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089023$8B5F278D-B6ED-48F3-8EA2-EC85C3EAED90","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":"Q5089023$6FB24D85-1A72-4A19-8DD2-E89A73239ACB","rank":"normal"}],"P223":[{"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":"Q5089023$65EEB41E-2F59-46DF-8EB1-D8D13F85A685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$240DC974-368E-462B-A76D-E53AAAAA1CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed57241d6fa54ae5c03b07b6d45d302fb40598f1","datavalue":{"value":{"entity-type":"item","numeric-id":2786137,"id":"Q2786137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$D4A27BE3-670B-4BC2-9BAB-2EC4546A5AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46eb30931a106187b53e34840737e34505e0741","datavalue":{"value":{"entity-type":"item","numeric-id":515687,"id":"Q515687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$884478BD-2D0C-43B6-96DD-B6888635DA24","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":"Q5089023$48FE7961-30C2-4FB3-8363-868B52F93817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a695ada40035e6b9321eb27b6a6c4e86a51d912","datavalue":{"value":{"entity-type":"item","numeric-id":4718895,"id":"Q4718895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$0C7D43A9-4A6A-4EC5-BC43-B0B9A2B741BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$8F1E8424-3CFF-495D-BFCF-F6E3A10FACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$4FA75C32-BAD6-4EDE-AE1D-C5F7D1BFD90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$FB7ECEB9-0811-4122-B93D-1DED4E8D7C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b3c686850867dba523f25352988532c0df7b98","datavalue":{"value":{"entity-type":"item","numeric-id":4647535,"id":"Q4647535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$094D1B8C-194A-49B8-8B59-E53B93D72AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2663840fa2f44a8b4c689328f2fed2ab6062ab","datavalue":{"value":{"entity-type":"item","numeric-id":3651209,"id":"Q3651209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$E3743AF1-6369-4E35-8A7A-672BBA0CE984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2aeab78839285f339530a4e8859d5b9b361d60","datavalue":{"value":{"entity-type":"item","numeric-id":3522028,"id":"Q3522028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$A7CD15ED-6D6F-433A-AC0B-A4D1717E7430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b54381bda7e84c69a65662f4f5f159ddd960cbb","datavalue":{"value":{"entity-type":"item","numeric-id":5389090,"id":"Q5389090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$C247D663-8BC4-4D71-A1D8-FE47C8C15EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ad440f4feeec1d3441afe180168d32af61cbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5015379,"id":"Q5015379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$4E36913F-048B-4E56-ADFC-4D05CBA5C914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd78746c4eeefd396eb2e07511da40c1156abb0","datavalue":{"value":{"entity-type":"item","numeric-id":2554236,"id":"Q2554236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$6B3539BB-ECE4-4049-A67C-6445627C52BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$0BBF3FA4-EC37-4403-BBC6-E6E88400EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089023$1A23EDB4-0943-477D-BC88-6DE0B77ADC4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"788a083220c5d77463109cd5fb66d6d8680cc915","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089023$425AEA27-CC3A-4BE0-B5B2-60DB051996F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a5b6fd6ad07547147e37d40832f2621c2cfa7a","datavalue":{"value":{"entity-type":"item","numeric-id":5463973,"id":"Q5463973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c8ce9dada9f8792bc77624e2549e50fd5a63eb","datavalue":{"value":{"amount":"+0.7638582587242126","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":"Q5089023$7A9A7828-30A4-4740-9A41-72304C30239B","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":"8cad033c0b11c810c69db4b2834909bde4bcbe6e","datavalue":{"value":{"amount":"+0.761311948299408","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":"Q5089023$50F9A596-63A0-49EE-9528-1904F6DD8A58","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":"20829d27a3a9c8805b7ec8063425b781191c33a7","datavalue":{"value":{"amount":"+0.7474216818809509","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":"Q5089023$526E9D83-B291-4115-97DD-993055991576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190e3b746ffab3a7e6559aacea42269f79a5bea","datavalue":{"value":{"entity-type":"item","numeric-id":3515227,"id":"Q3515227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9963c448fe3c2534e45eaed2455f28232b9fd5","datavalue":{"value":{"amount":"+0.7455567121505737","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":"Q5089023$1EA25141-2940-4B9F-A3BA-7E3BC63E23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb1de9692bd4a5efb433c155e896e596a3020b","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad51d8c9d6cb6d209f05587533e622257d53646b","datavalue":{"value":{"amount":"+0.7411574125289917","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":"Q5089023$755A8A3F-A56A-4F11-B1FF-C4879C92DABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sparse tiling through overlap closures for termination of string rewriting","badges":[]}}}}}