{"entities":{"Q3518274":{"pageid":5548178,"ns":120,"title":"Item:Q3518274","lastrevid":88319459,"modified":"2026-06-04T14:13:05Z","type":"item","id":"Q3518274","labels":{"en":{"language":"en","value":"An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308837"}},"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":"Q3518274$B353AA62-15BA-487A-B33A-CE093E98355E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa99ed56450cb7ed802f5c0e8f1d9bf6fe04799","datavalue":{"value":{"text":"An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518274$16BA71E7-E6B7-498A-AFBD-557FD8A98F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfe84230cd021f552f858ec927ff581b7f0b44f0","datavalue":{"value":"1149.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$FD4A9C14-30B4-4A05-A9AD-06E5232AC8F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9881976a2b4167a44f7bd2c41e90e7f8346fab40","datavalue":{"value":"10.2168/LMCS-4(1:8)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$312402F0-227F-4A11-8EFD-4BF236047C21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518274$5F950DD6-9906-4E50-A6EF-2E445EA1A9AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518274$3E4A1DE0-E383-4447-9100-D6CEB4F92198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518274$7F8AEF63-3A9F-47C8-BC3F-D8D129E670EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$5BAE0520-B007-4CD4-AB02-D2AB77B1DFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$AB513F32-D3B8-49F8-A307-E2F8A1B970BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$325654E4-1D42-4FEF-B707-23493F419CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0fd2c1376e121a226f0646a7a26a5c97a269144","datavalue":{"value":"5308837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$B6E22D56-D799-44FD-9183-F4F36F9B27DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$5B6E925B-6057-4DAF-97D6-C8053E70DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$C6473933-6DF4-47CB-8B60-77AC9BC7976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8ea21cf1043ad00382a112f88954b4cc064c7","datavalue":{"value":"logical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$BB391985-2BAE-4D05-A3AC-00BCC57E6011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$8C53D053-5A99-4D5D-B129-0327A4FB673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ef5e221605411d21d034c74fd2a31b119a3ff7","datavalue":{"value":"infinite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$D976ECE9-7BF0-4794-B893-C4BFF055AB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516dcd5dafa2606e2eb6922b7926872afc09c4e8","datavalue":{"value":"definability in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$C8D9BAA6-F944-4F3F-9C67-0A41D9BCECFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7db6223680257382e830fd97fee415943fe9bb","datavalue":{"value":"recognizability by automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$A8B0F0CB-4B68-45A4-B1F8-388AFFF19951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$1BB9C1A5-6A61-495F-80AC-015249EBC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576513b27c89ce22b095b95a4e7f50aa6d98bce0","datavalue":{"value":"relationship between definability and recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$F34AD4DD-52AC-4B3E-9EC2-4B2FC01A6C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c18c3b2eed625409ea58bc00812bf10692c6c25","datavalue":{"value":"Feferman-Vaught method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$D8D0470B-052D-48DE-AE11-2DA013C059C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b83bde98b26770a4af40fe7e9ba556696c413","datavalue":{"value":"composition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518274$21B243D2-B8A0-47FB-90B4-4D398AA30495","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":"Q3518274$3EDAB31A-E596-43F6-BCB8-9D9FA0C516B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14ae47a9afb396229fe77e4a146780dcc4929612","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(1:8)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3518274$D39B397B-7E1A-4588-B7EA-A32A6A1A3597","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3050c07af9aa8d2e626ca56578dffe84dbc7c64","datavalue":{"value":"W3102786666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518274$9535E00E-5017-421D-8BB4-9CF306649ADB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798208dce76d6c52f31370b84258e4944b44a139","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7c19f2eae1f33e5e70ffe07f9aee6faec48377","datavalue":{"value":{"amount":"+0.7597427368164062","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":"Q3518274$6EF8BFD6-A4F3-4857-B409-E859E457160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0163fc59cb948036614d3eaba7ae7eaa13434d9","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bcd0963a7c09a4d219aa51d84543f95c2dcc94","datavalue":{"value":{"amount":"+0.7536420822143555","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":"Q3518274$CD2AB164-9761-4469-9E21-712DDB9FD753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea59e9d8f45e4126c9bd052aaf0ace2312adfe6","datavalue":{"value":{"entity-type":"item","numeric-id":843605,"id":"Q843605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213c770380ebd422f1774c53c780c00e3bb3b931","datavalue":{"value":{"amount":"+0.7448724508285522","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":"Q3518274$D2502E80-E41C-4EDD-9251-32988381A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f7502f841bdbe78c0f33cf9182a633de0bb19f","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f379b33498cb6b564ad7e86738c603157b9e89","datavalue":{"value":{"amount":"+0.7342274188995361","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":"Q3518274$284C10F3-620E-4EFF-A690-C1A4EC1885EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422a59fdb865405e2b86faee996e3cc71460ac63","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ec25c445d19f042f77e6f59d2bc6efb4bba07d","datavalue":{"value":{"amount":"+0.7331113815307617","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":"Q3518274$3EC4C112-3F8F-4EF5-99BD-AF29B553701D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet","badges":[]}}}}}