{"entities":{"Q3073648":{"pageid":3084364,"ns":120,"title":"Item:Q3073648","lastrevid":51186518,"modified":"2026-01-17T03:30:28Z","type":"item","id":"Q3073648","labels":{"en":{"language":"en","value":"Relational string verification using multi-track automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850603"}},"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":"Q3073648$3573BA55-EE25-4989-9980-C709C3C25FB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51baf7f3aab7c6d55377142a67b52274d8fe77f0","datavalue":{"value":{"text":"Relational String Verification Using Multi-track Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3073648$75DD550D-1786-42DD-99D8-605935C75F53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5471014aa07d3dff72dada51e5283b23578407d7","datavalue":{"value":"1297.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$BF490841-D395-4821-9C47-972D761F327F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fcd599e010d6761c2cec0dee352156856f1a6e8","datavalue":{"value":"10.1007/978-3-642-18098-9_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$4A62A0B4-4A9F-4B33-BEC1-2444398998B5","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":"Q3073648$2934FF2C-3970-41B1-A32C-63E35AF4AE3A","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":"Q3073648$4A505787-CFC7-42EA-9402-573ACFAA5C4E","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":"Q3073648$31ED3A8E-227B-4B61-BCBE-6DBC794E7460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$22BC9307-1D82-477D-91DA-45379E3BFA34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68c84d94dc2b0d372224244b271c713d0aa2e67","datavalue":{"value":{"time":"+2011-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3073648$7FFC2A56-462E-4372-BD92-47421E35EC81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$C7BD2608-C41C-44CB-82AB-41D8BBACF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$3BF9DE41-A78B-4125-94FE-07356D54B861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18643ea65b96dbd8a19cfb16856d9858f8e57fba","datavalue":{"value":"5850603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$D653509A-A029-45A6-AFE3-620679984DE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0176915bcd8e9197e025aeb643840aa8fcdc5722","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$1AD35B94-CC48-4795-9077-B60AF1E0F5B7","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":"Q3073648$76E578AB-8E02-4169-81A5-3473E496C7E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b10911b31b1e4fa9ba2845b66b3c8c517b26f6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18098-9_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3073648$6710DE0A-D25D-4840-8083-9B7029831E70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"397a7a93a9b10a12e6f7ef4e418d3b8a69ff4187","datavalue":{"value":"W2157623558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073648$3A35BCD2-2E17-43B9-964C-22B5DFF9D017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$20D7CDE8-0712-4863-AC36-5F33CE51DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$83DB7B67-BD14-430F-8467-169C1A9BFB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$D67DD114-C2FF-46C9-A68A-5B86EBBD6524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$E5E6BEA7-3ED9-4503-87C3-6B8AA4B54D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$3E287592-2B79-45D7-9D4D-25DE57689A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0575326ee4146a185d8f7188836c49aee6505f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3617765,"id":"Q3617765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$0EBDDD27-C019-49BD-A3BB-3D6B54AE78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e775efe37940a9e40595524bd121e77a99b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3224956,"id":"Q3224956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073648$EF0641E6-309B-4D58-AA83-920BB9B02B27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e6330f79c2f817e21f2668d9dbf6c264e9999e","datavalue":{"value":{"entity-type":"item","numeric-id":3224956,"id":"Q3224956"},"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":"Q3073648$48761DCC-9310-40EE-BAB3-A2B479C7AB10","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":"62c2e540b73e9e1a62461efa71766a8aabbd2d7c","datavalue":{"value":{"amount":"+0.804245114326477","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":"Q3073648$CC53AFFA-42C8-47EB-B333-FD21BD09BE15","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":"8cb0ab863cb7de7f0f57457a40c5b51f7eb29376","datavalue":{"value":{"amount":"+0.7779188752174377","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":"Q3073648$DD164B6D-06E5-4D76-8AE9-9A27CB63BB6C","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":"f6417f9b8e86dea6626f5f3bfff16ae538f416d1","datavalue":{"value":{"amount":"+0.7555524110794067","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":"Q3073648$F8DF10E0-0307-4DBD-A014-815582A26695","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":"b74cbaed5e6c93c46b19abbfd9516c09d6d55f60","datavalue":{"value":{"amount":"+0.7095168232917786","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":"Q3073648$D809EF48-3FC6-4580-9608-C85C1DE32E76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3073648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3073648"}}}}}