{"entities":{"Q1087869":{"pageid":1098621,"ns":120,"title":"Item:Q1087869","lastrevid":66106191,"modified":"2026-04-12T07:36:19Z","type":"item","id":"Q1087869","labels":{"en":{"language":"en","value":"Finite models are one-generated"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989331"}},"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":"Q1087869$DB4AA2E0-25E8-499A-AB72-81807A0D5B2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a753a77c0279e36d6a893ebdeb26ac8768c3a5","datavalue":{"value":{"text":"Finite models are one-generated","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087869$5C700106-575B-4F46-AD8E-45E667936818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fb2d54fe94ba7e171fc60d9a3ed17accc375c85","datavalue":{"value":"0612.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$43B13019-4B91-4BF2-89C1-3FAAE38A2668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"959e7549d89bb6aa2a857270088a40c45de9ff55","datavalue":{"value":"10.1007/BF01188398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$FB7FDFC4-1DCC-4DBA-B0D2-ECB012E99A27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c87a630932830090c0738262492a01419f5273","datavalue":{"value":{"entity-type":"item","numeric-id":1087868,"id":"Q1087868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087869$FA1B4670-C546-4426-885A-553862F5440B","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":"Q1087869$FFC50775-70CF-401D-8FB9-A3DD915C26F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1087869$6E5F560D-8053-41DE-A217-78D06D45DC50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e18da29280383da39c4ba3fbfcebf529d6187a00","datavalue":{"value":"The theorem proved in this short note is: Any infinite dimensional locally finite regular cylindric set algebra with a finite base can be generated by a single element. The theorem and its proof have interesting model theoretical consequences. Firstly, every finite model is definitionally equivalent to a model with a single relation. Secondly, although on any fixed non-empty set there are infinitely many different relations, the number of definitionally non-equivalent (that is essentially different) models with the same finite universe is, in fact, finite. Finally, though a rough upper bound to the number of these models can be, and indeed is, given, the exact number is not known.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087869$7DB74CE4-C9C7-42AC-A7FE-9AAF8A43427D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$12AE2124-F1AC-447E-BB5E-148F8A860C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$6E318A4A-90E2-45A9-A50A-2C32E561053E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560a9138811be533f44ef48563a2c0fc8ee56312","datavalue":{"value":"3989331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$FFFECFF8-BF9E-472D-A1E6-B57B9D79F112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c25b9415644d2830e6030e0d08e17a54bdb71f5","datavalue":{"value":"cylindric set algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087869$2B599587-0D9E-4079-BF74-BE61A016B14D","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":"Q1087869$CA6A5E4A-EEBA-4E72-B33B-050010733318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087869$D35DE4E1-EE55-4ED6-BECA-E5E3E83E53E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da53538dee9153e4faa0aad04340c29ab741c6a1","datavalue":{"value":"https://doi.org/10.1007/bf01188398","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087869$1CFD436C-2F4B-4C59-8729-7532FB2F9CC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc554af983cd0e05f174ff04ff2f65d389d7f553","datavalue":{"value":"W420054770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087869$9EC7FF64-D56B-4DA7-A8C7-FF2E257C4E20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666bab024290d020240d3220da16bff846ab4ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3329462,"id":"Q3329462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fdff74658889289a61838a89ee1fe205491d58","datavalue":{"value":{"amount":"+0.7952159643173218","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":"Q1087869$23F13144-F8D3-4807-8BF9-A1369F42CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f8646503e5c7849d641ecd411ee2d78c10d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":792324,"id":"Q792324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52112ba188149a01fd52dc1e5aa8dfc02d9e79da","datavalue":{"value":{"amount":"+0.7685962915420532","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":"Q1087869$7F42FA99-1A14-459D-BA9A-1296AC192EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35bbd236fdb56ac3b64a680b88bfd3abe1dcc76b","datavalue":{"value":{"entity-type":"item","numeric-id":3745837,"id":"Q3745837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849a76cad274401adcb4d4323b4ec8fc3da2b8b9","datavalue":{"value":{"amount":"+0.7615916132926941","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":"Q1087869$9657455A-7514-4E7A-AD71-375D404ABB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc607e478c18dbdb6ae0fa7496ba691bb43f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":761449,"id":"Q761449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b1367b4c46d132a57bd4a38dab70d3e80f79da","datavalue":{"value":{"amount":"+0.7496695518493652","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":"Q1087869$C6F7AC4B-B9B8-446B-B53A-F84CC5B3B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f1876e4ff2e7f503dfbf322bc4d9c56d4848e6","datavalue":{"value":{"entity-type":"item","numeric-id":3762296,"id":"Q3762296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561bc82aff99b220699c76158c9cd3e08af68ab2","datavalue":{"value":{"amount":"+0.729986310005188","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":"Q1087869$229C967F-8740-44DA-B5F6-D1E382787597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite models are one-generated","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_models_are_one-generated"}}}}}