{"entities":{"Q3224956":{"pageid":3235664,"ns":120,"title":"Item:Q3224956","lastrevid":80096429,"modified":"2026-05-06T15:26:00Z","type":"item","id":"Q3224956","labels":{"en":{"language":"en","value":"Relational string verification using multi-track automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013991"}},"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":"Q3224956$54DAEDE7-77A8-4DA2-90A0-C2A662E8AECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baad93c63013cccda367c9be010cad83796a52d0","datavalue":{"value":{"text":"RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224956$A15B7984-F3E0-479A-95A6-1CEB52BC76D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e1e42446db795342c232e970e4d75d80c78ff06","datavalue":{"value":"1234.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224956$7BB51738-102A-40A3-99E8-4FBCCB88482B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db60e8782e25ed669befa7aacd3b24ebbd492f55","datavalue":{"value":"10.1142/S0129054111009112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224956$4418B40B-157C-4CB0-A501-35D4DEB6489D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"248be6192f931f4e9398d983f4f2a5eec0838b40","datavalue":{"value":{"entity-type":"item","numeric-id":255818,"id":"Q255818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224956$525D251C-3FB7-46FB-8037-6698AFF201F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224956$8BE88BAB-7352-4B5D-9A4D-E7B448486DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224956$C2B30C07-72F8-4ABB-ACBC-8F0462E496E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224956$6A5BAF76-0B54-4E98-8F3D-1C53E58C3588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224956$8A10BF9E-43F0-410D-94A2-E6C1725FB03E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224956$22C95D46-6120-4D78-A256-3F4B958E102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224956$349BAA88-9E77-4CE5-8D1A-FBA5C2E89DF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00422b391465a2db2a3946c0546d5ef22fee70eb","datavalue":{"value":"6013991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224956$2BCF4547-012D-4785-A387-CADFCCC62A7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224956$889B327C-884C-4AC1-9F8C-4F6E3D8AF84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224956$DDBC6284-53AB-4CA3-8A5A-2C1F8C9B48BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f0290d114f7312c69ef613dd7e19da99261f75b","datavalue":{"value":"multi-track automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224956$22B3FF64-49DF-47BC-A93D-43B4EEBC9731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec88b17705f549dda74785088c03a5cce48ac7d","datavalue":{"value":"word equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224956$56DB3497-2657-4AEC-99B3-65338B004518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224956$72F1E74E-8A8A-4B76-BDEC-9D0BC2B5FD31","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":"Q3224956$D140E5AF-DC13-419E-AFBE-8E178D5AFBD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538be63854859c33f6478e2594a8f5771f792984","datavalue":{"value":{"entity-type":"item","numeric-id":3073648,"id":"Q3073648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a785f56433d3e294da3c51423669dbca86a5a2ea","datavalue":{"value":{"amount":"+1.000000238418579","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":"Q3224956$E718A855-EA1F-48D7-8A94-30DB69C6A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbd904384b427c302b0cdddb29cb2f644a768b1","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567bf2e9c5449a89fc915288e0e537a55f9dbb0d","datavalue":{"value":{"amount":"+0.8042449355125427","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":"Q3224956$01004982-E01B-4FCC-B720-1A51FDC55B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b16501e2f35b21c29ced38507ce7f6ffc00838c","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1391424644aade94c764b031451713d7bb26d2e","datavalue":{"value":{"amount":"+0.7779186964035034","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":"Q3224956$1C470F1E-07A6-45D7-87C7-416474E38688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb3ca15e02a8a61fcf6e9bd29c66d7baa99fcca","datavalue":{"value":{"entity-type":"item","numeric-id":3617765,"id":"Q3617765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37bde371cb45c6c1ad89c79d027c0ef5533d295","datavalue":{"value":{"amount":"+0.7555522322654724","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":"Q3224956$31D01139-81DE-438C-BA69-E03BADBB2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7baa1a024065d3811f1aab1f0b0c3cb4be30dd","datavalue":{"value":{"amount":"+0.7095165848731995","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":"Q3224956$6AFB4FDA-7650-4A06-942E-4F07372F9AA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational string verification using multi-track automata","badges":[]}}}}}