{"entities":{"Q5277703":{"pageid":7307278,"ns":120,"title":"Item:Q5277703","lastrevid":52850288,"modified":"2026-01-23T15:39:42Z","type":"item","id":"Q5277703","labels":{"en":{"language":"en","value":"Finite state machines for strings over infinite alphabets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743947"}},"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":"Q5277703$7D9DF01D-A28A-48C7-83A3-F6C21D00D995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"660cf8be616a5aa6b0f1ce2f241438e7294a82f9","datavalue":{"value":{"text":"Finite state machines for strings over infinite alphabets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277703$CCFC06EC-FDCF-49D7-8641-DCB78EF7D2E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5eac63eed8d60c2772ec3f04631317bd3207a36","datavalue":{"value":"1367.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$D2DE2130-B19F-4574-A7D6-94EFEAFBAD4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"351148c27631e7c8a3d22faf3de9647042cf8919","datavalue":{"value":"10.1145/1013560.1013562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$82DC68B6-E0ED-4E91-AD75-BE231A0A8F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f74074f05b4440719adb6fc6eb25e991f2fa6f8","datavalue":{"value":{"entity-type":"item","numeric-id":269326,"id":"Q269326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277703$2652F647-B5D7-44A8-AC8A-1B378AECEE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277703$95E67B4F-9A6D-42A3-BB70-42DA72F0BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6229ce91bd04dfd8e4a4b2051753c370a830dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":269322,"id":"Q269322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277703$DF1446DE-48B1-4D09-B8C1-513F28885C49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277703$0DBE100F-304A-4B3B-9474-00DA2FEB5627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277703$1A2C412E-BCAE-462D-A36A-E477BF953577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$2A489F57-7366-46BE-8FB3-1088F44E8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$A07B0861-1B21-4317-BF78-1E58755065A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$CE66D2EB-CEBB-4ED1-9563-59E56F513782","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf2b8e40fd549acd5ea8599fe89230f0be767eb4","datavalue":{"value":"6743947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$2CE75AD9-1C56-40BE-BF84-662FCFD6843B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$3ECC7958-463D-404C-98D0-49E883DE0505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$AC79064E-167D-4675-80BD-60210A0B5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$99EFF04B-478F-485E-AE61-C8F941E0C442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$05F8675B-DB87-4028-B0A9-43CC0C456875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4561d587e504070be053b0022b2bc3a9f1f77417","datavalue":{"value":"infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$3B6D91A2-2D56-413A-9474-6ED2DC0D9038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$8469993E-0FA2-451F-A931-04A59172A048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfb4542c2d34b2561f03bb9a6b0a4ddff21c9c3","datavalue":{"value":"pebbles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$80EE0B75-E29D-4428-A3A7-7A70C08DC6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d122c1ae657a074eb63a48c1ff1e575c23b95a95","datavalue":{"value":"registers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277703$C92B140C-62F0-439C-9444-4BF1D19DF82D","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":"Q5277703$ACED79DC-CE12-47DF-A276-8A2F6E588FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6883885e44043ea4e0588df2d836a9132c296534","datavalue":{"value":"https://doi.org/10.1145/1013560.1013562","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277703$54196C7F-155C-4990-BA56-A813DB92121A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"547591874a51434dae9b98ddcd577e300f714834","datavalue":{"value":"W2056665285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277703$05F0F350-8185-4EA0-9195-03F0D129266C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2f5d4fc3c5cf935c8834cc3c02a173c07b156","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d457d015e7344d08422e56f011adca0ef30e3087","datavalue":{"value":{"amount":"+0.9545045495033264","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":"Q5277703$B50044B9-00AA-4489-97CF-4706406FB3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3ae9d99783ea55d9c7e4f06ee9d50fc2804318","datavalue":{"value":{"amount":"+0.8052515983581543","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":"Q5277703$F67A1B97-E861-4ABD-A71D-8BF4B6521307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc2568fd9208ccd2f9f5f7bf180b745179c49c0","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233942a745b735d91341301fb9fa84f44a8b10d8","datavalue":{"value":{"amount":"+0.7930619120597839","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":"Q5277703$19D35BE4-F788-47EA-8AB7-A6ADFE373F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc22ca43cf927e22173d8181bb63e8e295c3c7e8","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb303934847b6d7a902349fffb7a02d94e899ff2","datavalue":{"value":{"amount":"+0.7913252711296082","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":"Q5277703$36E5FC17-1ABA-4A2E-B6EB-EACB470E309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a203a5dddb3f4517eed6eb917ef1789b5270e87","datavalue":{"value":{"entity-type":"item","numeric-id":5444950,"id":"Q5444950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d8e6570dc8578e738e10def997d84e41bc9bc1","datavalue":{"value":{"amount":"+0.7905834913253784","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":"Q5277703$22E71EAD-A302-4CA2-90EE-CB1557C401E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277703"}}}}}