{"entities":{"Q6490961":{"pageid":14069730,"ns":120,"title":"Item:Q6490961","lastrevid":103503257,"modified":"2026-06-06T07:30:12Z","type":"item","id":"Q6490961","labels":{"en":{"language":"en","value":"Existential definability over the subword ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7836574"}},"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":"Q6490961$6C68F0EE-ED9E-4BCB-8219-DCF8A08AA77A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e2cd282b0981052e0a4b305aa4153f824ee872f","datavalue":{"value":{"text":"Existential definability over the subword ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6490961$2AE47B62-55E1-4B0D-A3DA-11436B5CE225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb75d309cc5a8735b9305cec5986873617c0952d","datavalue":{"value":{"entity-type":"item","numeric-id":6091194,"id":"Q6091194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490961$1C9DDA6B-6786-4660-B6DD-F7640D44DDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2526676e7f7329cc9635203c2b68a2a96851cbde","datavalue":{"value":{"entity-type":"item","numeric-id":1647671,"id":"Q1647671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490961$4AC5B0A9-B472-470F-8134-7A0B20553615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82689a5132e5af2eba382a0feec183a206a83c16","datavalue":{"value":{"entity-type":"item","numeric-id":2044218,"id":"Q2044218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490961$360AE4D5-3176-4F49-A68C-82A4C21D0B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490961$7F0E859E-82B0-4C15-B22A-D295B32A1896","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"032f9a20c202a9b1863ae3bd37fdc8353d28eb47","datavalue":{"value":{"time":"+2024-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6490961$50ABDEF2-1F92-4094-8214-5613DE33B4AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490961$21BD7D10-16D1-4B31-895C-6B8FCF84309F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84afd5a1253cf3191600b9e6e983ad8869b705f1","datavalue":{"value":"7836574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490961$AAEA821A-0600-4BC1-8FE7-9AEA282ECC69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9129eb98e7541d9df8d83fe7856664ab823ed593","datavalue":{"value":"subword","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$E14C987F-7C32-476D-9A06-868BCA4F8ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e422c878f3869d10d601341fdceec81e20986e5f","datavalue":{"value":"subsequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$B51CDFA1-4673-496E-A672-22467FE22B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$B88C41DF-2677-4566-874D-754701AA6198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$60850A50-BF76-4834-91CD-38E035CFD58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$7E896703-1B95-4244-AA3D-2B5B88AA1B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef4848ccb0144e94bed9c2a39e256e8b47da787","datavalue":{"value":"existential fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$C1C8BAE8-0567-4786-B158-F248616F7C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490961$23524D6B-891E-4DA2-9514-FB5CC8367E7F","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":"Q6490961$22A97E3A-336B-4592-928C-6FC1C43472D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d32818b05278439ae675ad7be2c0d7950af412b","datavalue":{"value":"10.4230/LIPICS.STACS.2022.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490961$14DFD284-4DC6-4441-9D81-995B6EF588B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential definability over the subword ordering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_definability_over_the_subword_ordering"}}}}}