{"entities":{"Q5278312":{"pageid":7307887,"ns":120,"title":"Item:Q5278312","lastrevid":100707860,"modified":"2026-06-05T22:54:42Z","type":"item","id":"Q5278312","labels":{"en":{"language":"en","value":"Decidability in the logic of subsequences and supersequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744910"}},"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":"Q5278312$7030470C-0A7C-4439-8BB1-2424519654A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce750983767414f4aa9d38e4999acd285034e04d","datavalue":{"value":"1366.03167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278312$41FEB39E-F9B8-4493-B999-B17D422010D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-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":"Q5278312$107B9940-6B2A-4372-A398-991F0D944C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d0238057e2cec9b5a5b26078e7b53a70caae548","datavalue":{"value":"https://arxiv.org/abs/1510.03994","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278312$183B3A21-8D75-4329-93A3-318A7052184F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278312$EEE61B50-E12B-4C9F-8B91-6D3B89A6D7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db479f8922456e2444f9e0a2a71757cf8174c369","datavalue":{"value":"6744910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278312$616394D7-2483-4166-9C72-08EA70F12F15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e422c878f3869d10d601341fdceec81e20986e5f","datavalue":{"value":"subsequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$AD480A44-2E46-406A-9F16-C09BAA4FFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9129eb98e7541d9df8d83fe7856664ab823ed593","datavalue":{"value":"subword","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$F08C4EAD-6DA7-4342-BD7D-0C35A0D487EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$54829E66-54D0-4237-81C0-44A6DFFFAD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$93450974-FE3E-44C6-A32D-104839C9D4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc31de625471c1ca229492d307bccc5566eea18","datavalue":{"value":"piecewise testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$ACD5500B-B577-4FA8-AC35-D8E2F0BF8D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb33c1a08cf6d043cbb75ba1ec162dd216c56a5","datavalue":{"value":"Simon's congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278312$9CA8B2DF-C470-427E-B7C1-06BAC2A6159F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d17d50640ebd25880d8207ef1f2991159a63465","datavalue":{"value":{"entity-type":"item","numeric-id":2354595,"id":"Q2354595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278312$77C9F055-1264-454E-AD46-FF8296D365C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278312$51D3D7FD-1E85-4C0B-929C-39A2BB26BAE7","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":"Q5278312$B9B80E61-3764-44D9-8D67-63CDCF57E584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8fd616bfe0788b565e7adde32809a2dbd85f7ad","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2015.84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278312$1E8395C3-3E94-46DF-9204-85835D28099E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50685542b2a989ed71feee7e1077a2c877f97ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c247493c97ff0ea63e99c62f5a99970ab9a5b88","datavalue":{"value":{"amount":"+0.7966479063034058","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":"Q5278312$6B0EDA14-BDBF-456B-8465-045086667B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a638aa54c03a67d82e60c853d82704f7960770","datavalue":{"value":{"entity-type":"item","numeric-id":3374756,"id":"Q3374756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439b6e1c23bcc753495eb180954d6e3850e466f1","datavalue":{"value":{"amount":"+0.7556580305099487","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":"Q5278312$5F5CAEF1-DF2E-4DEC-A494-B68A7D20C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f6a50e9a1e2200c7d08129c1a8425258d7a8ac","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff912caba57d2621f8989486a946da4078b71922","datavalue":{"value":{"amount":"+0.7394691109657288","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":"Q5278312$784CAB07-997D-483B-94B3-88F2BA071516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92aba65c4784b6aabf699bb3317b7439b59d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3498460,"id":"Q3498460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492b75f1f5fbaecb02586578900508630a1bd8fe","datavalue":{"value":{"amount":"+0.7356240749359131","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":"Q5278312$A56236F8-5CD8-4B37-BB55-3BE1CEA96642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7730b935827ab3b541b17b5ac799e99a4f7aa38c","datavalue":{"value":{"amount":"+0.7351210713386536","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":"Q5278312$09E40AF6-6948-40E9-9892-390224B827B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability in the logic of subsequences and supersequences","badges":[]}}}}}