{"entities":{"Q1168306":{"pageid":1179055,"ns":120,"title":"Item:Q1168306","lastrevid":69781770,"modified":"2026-04-13T09:20:50Z","type":"item","id":"Q1168306","labels":{"en":{"language":"en","value":"On direct products of automaton decidable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3775491"}},"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":"Q1168306$44F2219A-2201-4F3E-8264-B855926C5971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a0ec56b1b0628114d34c1446aed968a6952bad2","datavalue":{"value":{"text":"On direct products of automaton decidable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1168306$EFBB2336-D047-410A-B900-128C27141F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9bad06c8afe9edd199db797236e4d203de5e0ce","datavalue":{"value":"0493.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$A392CF38-3D5F-4540-96CD-F6DD6BA69CF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50196a3652af6b2cf49edf954f69647181b347be","datavalue":{"value":"10.1016/0304-3975(82)90042-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$DA07CD2D-0F4C-43DC-A98F-D57E85246175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cfe7feb0a9f29a12954c6b9a9eea15a480f4f85","datavalue":{"value":{"entity-type":"item","numeric-id":790802,"id":"Q790802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$2905631C-4A29-4C4A-A4BF-EB66D894EDE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$80F0047D-0FD4-4F20-BC70-11D61AB8A0E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1168306$64D1DEE7-F221-4251-B990-123017E24821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$E24591B7-A290-460D-8C68-CFCF3E0B2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$C6B81948-7EA1-41A3-A8E8-14C3089E186E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$8625A364-5102-41BE-B181-7FC03BB0693F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab67bb607ac6e8cf4417aeb40bc20ce6669690b","datavalue":{"value":"3775491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$004FE146-08DB-40E6-B2D1-788AB468B8AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c927d85990bc074284bdc99549eb379bc18f1eb","datavalue":{"value":"automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168306$165F3849-2BC9-4649-8935-27DFB5C67BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9421433d191ca8ac09dc4196a36815cd1ad3c2","datavalue":{"value":"products of algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168306$6A226949-C28D-4384-B94A-A5CCA9D8ECFA","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":"Q1168306$C8EBA470-D08B-47A2-98BD-53F4FEEA0728","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cc59c9f5ca33e833986929deb10b8b7a1bcf92b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90042-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1168306$84189E99-924F-4076-8D74-10D1822851F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ed9c1192300c6741ccdbc2fff09854b22726e0","datavalue":{"value":"W1998523218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168306$4B8F6AD4-08A9-4EE6-A80A-E01C6280C723","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$7E5EC2D1-9C58-4DC9-A651-13FA1A90A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92a171c183f8eb8e618490f508b6b07fbb69939","datavalue":{"value":{"entity-type":"item","numeric-id":1240575,"id":"Q1240575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$EBC97527-1521-4541-BD49-28CD0FDFD8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$4BD93D15-F4B6-49A6-B822-F5A2141C37CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$61C39BA5-4AA3-4596-AA2A-FE29E4F82605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$91A04BED-6CC9-410D-8B0D-AC206BB1477A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e123f2e3e5ea23e8be912e7e37a99a76e19b49","datavalue":{"value":{"entity-type":"item","numeric-id":5677651,"id":"Q5677651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$2AD794C6-5423-4F96-B107-B2A09B6F3E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a014883cd2462205c714ec3149bfd9958862ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3893341,"id":"Q3893341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$4DEFBEB9-EC68-45AF-83CD-96DA47B34DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168306$11BCC846-7504-4691-AD27-1505CACC7459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On direct products of automaton decidable theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_direct_products_of_automaton_decidable_theories"}}}}}