{"entities":{"Q1154492":{"pageid":1165241,"ns":120,"title":"Item:Q1154492","lastrevid":66720750,"modified":"2026-04-12T12:23:48Z","type":"item","id":"Q1154492","labels":{"en":{"language":"en","value":"The first order theory of Boolean algebras with a distinguished group of automorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3728337"}},"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":"Q1154492$68E6C4D7-822A-4CEA-9578-FBC1343DEFE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fb5fac4aec5c0c6376d42dbd26eef0d93c8620f","datavalue":{"value":{"text":"The first order theory of Boolean algebras with a distinguished group of automorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1154492$D94DAF4D-62D3-4489-8FB4-276BDCEE0BF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70301461d04a71b44d85bbec42ebeb9dcc298358","datavalue":{"value":"0465.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$46128413-C2BD-4FBC-8D59-69C502B3285E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36a19a7e53d59039383c26c0e533072be2ca438e","datavalue":{"value":"10.1007/BF02483719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$FA5CF087-C6B1-4947-82A9-B2A2C3F4B56B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154492$B2106672-0C94-4813-910B-8BADD681D32A","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":"Q1154492$69EAEE91-A043-45D7-99AA-64F16E1A6FAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$7E1E9778-C36F-4FC0-9DB4-39981E9B1B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$96E4C307-379A-4AF9-812D-B3C6C2D8C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$74DBB017-2B42-4519-BCE6-FCB8D9B1B1B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65519fe0156ec6eefbef00ce039f6f1c692053eb","datavalue":{"value":"3728337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154492$3F77AF65-C6A9-40AD-81E5-4FA82200653B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3463949f310220198d24df296efddca39a0bd0","datavalue":{"value":"variety of Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154492$5B4C641C-FB2B-469C-BA54-75F143D274D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a846df34c2bf89784d652b58868bdc8ec0341ea2","datavalue":{"value":"finitely generated discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154492$D9C22989-AD85-47E3-A2C1-F858021B07F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154492$37AF0506-BBDB-491E-8148-886DA792F3FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154492$5E2E8B5E-099D-49FD-8F74-DAC214A3E63F","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":"Q1154492$DA8C0B59-D632-4718-ADA3-7C9A09559502","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb773def9d9b85afd4dfa221fc523f7a81c2122","datavalue":{"value":{"entity-type":"item","numeric-id":3941388,"id":"Q3941388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154492$EDB1E00C-5C25-4270-A89B-8EA6526EC671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154492$335D7C97-AC70-4657-A0C7-3D734809E3AA","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":"Q1154492$FC2658C7-A2F7-4F63-A9E7-9AA11D58FADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1254654b48579f540cd26f3d67aae24ee53f96a9","datavalue":{"value":{"entity-type":"item","numeric-id":4124831,"id":"Q4124831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154492$908E1C63-3C48-4D5F-A424-44187DFDCA16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first order theory of Boolean algebras with a distinguished group of automorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first_order_theory_of_Boolean_algebras_with_a_distinguished_group_of_automorphisms"}}}}}