{"entities":{"Q2978509":{"pageid":2989234,"ns":120,"title":"Item:Q2978509","lastrevid":58082073,"modified":"2026-04-03T17:48:20Z","type":"item","id":"Q2978509","labels":{"en":{"language":"en","value":"First-order definable string transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707763"}},"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":"Q2978509$9CFF4105-3D70-4F8F-AD86-CD20BEA4B54A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbda177e92446f3eb9c2fd01b081f248359300aa","datavalue":{"value":"1360.68555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$BDEF12AB-B159-4A87-8211-ED5C51592DC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978509$3B307501-69B1-495A-97F0-8A00E6E8396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978509$A04ADFBB-C161-4182-AB39-AAEEE146333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978509$FD226473-A3B8-43BA-90D7-A7867F774123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978509$A9D81E71-B3FB-4189-AD65-0537D92280E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4512bca83dd59ad53420c12d69c9acb9de1c7cdd","datavalue":{"value":"https://arxiv.org/abs/1406.7824","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978509$021B4853-CA72-4295-9E4D-3AF4C3E22CAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$D8EEF661-3131-481A-BACB-A3771C077F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$6784B1E3-8B04-431B-9D86-1052D9C1FC1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990c7c3a1b4cbf49d46fded15091caf45f00171e","datavalue":{"value":"6707763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$9071AB2B-76BE-4F83-BE48-D1D4AA005BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978509$9994C83D-D791-4A45-A98C-83C5A35E0979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d6b0f76a1ea5dacc5f7ebaad28df95c0fc8640","datavalue":{"value":"streaming string transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978509$E34DE2ED-AC0C-4D1E-BE12-66FA35EF74F0","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":"Q2978509$BBCA8E4F-CB4C-4A81-B72E-470779519EF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36452bc97eea8228c9be1b2d2960fdf7664f50c7","datavalue":{"value":"W2258630338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$18D12C6B-72EB-4A74-80FD-BA6787D4E33E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d386555ba3ecdb000b5e62e6093b93ce93935711","datavalue":{"value":{"text":"First-order definable string transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978509$04EA604B-5BA6-429F-8C63-C32BA9B86D12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dd5388b7595bc23dc55f511c1673c4bf131394c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978509$A08525B0-3D97-4551-8D00-FA04EB86C47C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f2265fc13442f7e1d14531b952a81b0bbc6b6","datavalue":{"value":{"entity-type":"item","numeric-id":4636559,"id":"Q4636559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766e236f3ea119ebfee922d802540304ccb63cf1","datavalue":{"value":{"amount":"+0.8586623072624207","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":"Q2978509$05912AE4-7D96-46A2-8948-6E2D81340E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0796851906967800b644de8fea8079b8b6a8df1b","datavalue":{"value":{"entity-type":"item","numeric-id":5271083,"id":"Q5271083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b335bfab7ef834567b2693c75bc66032a29c3bc7","datavalue":{"value":{"amount":"+0.8256139755249023","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":"Q2978509$D06C67F3-DECB-44FC-8ECB-83CCCAB0268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3cdc527e1fa162986ae39a7b595c7cda3a46c4","datavalue":{"value":{"entity-type":"item","numeric-id":4683232,"id":"Q4683232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ec18c95f23f1a2b56a483251d491ba8ce53bff","datavalue":{"value":{"amount":"+0.7994959354400635","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":"Q2978509$4B061A93-7A1B-4692-9B16-A73DC8FA8D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2497d137333c9127394362356567cb33e7824d88","datavalue":{"value":{"entity-type":"item","numeric-id":4406290,"id":"Q4406290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5523cec32ab42e35c384bc09412fb1dc2d5abfda","datavalue":{"value":{"amount":"+0.7798560857772827","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":"Q2978509$F3F633C2-2B84-4089-A60D-9311F7C82FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5089462b8d4a284bad08acb22826533dcba59d74","datavalue":{"value":{"entity-type":"item","numeric-id":2817381,"id":"Q2817381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b29a3ffb320456832edbb0fe7188371b03f13b","datavalue":{"value":{"amount":"+0.7721062302589417","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":"Q2978509$CA781CE0-DDC0-46FA-A4B8-EF2BFE83E00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978509"}}}}}