{"entities":{"Q2784784":{"pageid":2795522,"ns":120,"title":"Item:Q2784784","lastrevid":79437995,"modified":"2026-05-06T13:54:31Z","type":"item","id":"Q2784784","labels":{"en":{"language":"en","value":"The theory of finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1733002"}},"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":"Q2784784$0C013C64-74C1-43A5-9A3B-D9A596D40119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a982e488e04d9401e2aa9de96dbbe8cd61d5c7a","datavalue":{"value":"0996.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784784$50E54F7F-91EC-4138-8979-833297474350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7228cc0f80087ac2ae65801a9851d83c85c8e2","datavalue":{"value":{"entity-type":"item","numeric-id":1862913,"id":"Q1862913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784784$68F1B668-E6C7-44A1-A8D2-7626730BC377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311ed7fa9222ebce3571fb58ac7575ce5e3b89fd","datavalue":{"value":{"time":"+2002-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784784$D4D9D8C7-8978-4A97-81B2-15D97541FE98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784784$AFCB5969-7F54-49A4-B865-B8ED05906310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784784$FA59D311-A75F-4A0A-9B87-DED537297841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812c279d723fb29c783d90095f9e7066bd16f762","datavalue":{"value":"1733002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784784$2BC09786-8E19-46D6-A9F2-150EFD60ABEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784784$079EDB38-7F58-45F4-AFC0-C5F9BB767798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a24cfe952ca14ca0ed21e3037cd500d9737405","datavalue":{"value":"first-order logic without equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784784$399A8075-0A9D-4F64-9745-D6280ED29AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c098f20c3abfab10c3f7cf95d9c12b29a9e16dec","datavalue":{"value":"preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784784$02360245-53DE-4162-A5A7-F9B2DE44E216","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":"Q2784784$46D9833E-8801-4386-950E-FA2D445EDB31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc253378d588beedf168e7be983b1778af55ef4c","datavalue":{"value":{"text":"The theory of finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784784$AA0677FB-D50F-455C-9E7F-0B49830D3860","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4cad8a07615a4c38309fe11a840a1aa9ef333fb5","datavalue":{"value":"For finite models the author studies some model-theoretic concepts for first-order logic without equality (elementary equivalence, completeness,\\dots) and derives some preservation theorems.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784784$58BE11F1-9C1B-4A36-BE78-223448F58499","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784784$4D87E00B-506E-4402-8E47-B44FD7F4C99D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theory_of_finite_models"}}}}}