{"entities":{"Q752696":{"pageid":754545,"ns":120,"title":"Item:Q752696","lastrevid":64111884,"modified":"2026-04-11T17:43:29Z","type":"item","id":"Q752696","labels":{"en":{"language":"en","value":"1-ary functions and the f.c.p"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179353"}},"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":"Q752696$28D5F480-D0D2-4FB4-B2C9-5ABCD0139EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8ad6a5e8f30bc86b8b88449e0bb6fb761de208","datavalue":{"value":{"text":"1-ary functions and the f.c.p","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752696$364C5447-B901-4988-AEF7-EC58231E1E1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b38068ee35c4fc5ba646d83dc07cf36483eb84","datavalue":{"value":"0716.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752696$198DC769-0BFF-49D9-BE92-57979C071E57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752696$9574F987-ECC7-4F8B-880C-AD27E6222ECB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752696$CE997DDC-BF0F-49BA-962C-C8A8948589A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q752696$9A55C08B-FDD1-49EE-A364-AD1F417820A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36d77c3ca1ea3a52c99a8e9c096e6c53035080d2","datavalue":{"value":"A full classification of theories of 1-ary functions that do not satisfy the finite cover property is given. The proof uses the superstability of these theories, and the characterization of the finite cover property in terms of nice pairs; more precisely, the fact that if T is a stable theory then T does not satisfy the finite cover property if and only if every \\(\\omega_ 1\\)-saturated model of the theory of nice pairs of models of T is a nice pair.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$6C3D12B1-9D90-493E-BED7-3ED76218585A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752696$57E2E11B-B3CC-47E9-9541-8F5436C832A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752696$E4DF0D3C-FD97-4367-A97B-B7E0274895C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752696$EBB71332-F728-4E9E-98E6-214060AEFF37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68a2965203742ede32614d16a03bb8d10437a068","datavalue":{"value":"4179353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752696$63C674D1-77D9-4031-B2D3-03D0D50C3ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$2EB27BB7-3E56-4BAD-9F61-FBB4837844A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1de3bf9a94867bc2961f56091f554c8289676b9","datavalue":{"value":"theories of 1-ary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$B8054C09-62D2-4134-AA35-F82163F837A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbaf82674f5af8b4b10dede28f531ed1d967cc5b","datavalue":{"value":"finite cover property","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$C1230D8C-16CC-4807-AFDC-C5FE40963072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d07c6361f08f43f2dace247dd0f29321add1bc7","datavalue":{"value":"superstability","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$C19CFA31-5964-4712-9647-C2CA61C1B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6055627988eac941303c7b58dea54e914489c2","datavalue":{"value":"nice pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q752696$3A9E03E1-26E4-4208-81D9-47CC4BD0C1DA","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":"Q752696$04E1C214-E603-404D-94C6-8CF2E869FBC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e91f21d22ba488a10bf7680fbe13fff0cfccc7","datavalue":{"value":{"entity-type":"item","numeric-id":910399,"id":"Q910399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402cc1f74ce00d3ccd591f7d616754b6d9917af1","datavalue":{"value":{"amount":"+0.8567988276481628","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":"Q752696$B914BEEF-6D92-456A-A527-2A284B8B6069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d198487da4fffedd57ecf32acb24d31c13d875d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332500,"id":"Q1332500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07eb9a921c1be30128d5cb7a124359f7df98780","datavalue":{"value":{"amount":"+0.822641909122467","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":"Q752696$CE91A3AE-8D9D-4FCB-BA24-04A30FB15A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9df5380896fd469602acac8098ac1b7f400342","datavalue":{"value":{"entity-type":"item","numeric-id":3795663,"id":"Q3795663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b1bb5574c3242d046d668ccc6f6ab8bfaf0294","datavalue":{"value":{"amount":"+0.8114370703697205","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":"Q752696$83CC2939-BA01-4372-92D0-8B46E32451AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829ff34ea1104b7ad2648b1c0578f832ce16c36d","datavalue":{"value":{"entity-type":"item","numeric-id":5287892,"id":"Q5287892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb98e644b84d14163f3994968a5d699055ca3f1","datavalue":{"value":{"amount":"+0.7900601029396057","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":"Q752696$9F53E6DF-F35D-4944-B3C3-48FACA69752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df42b0cd094624ab1bc1ba58dc52f4b59d247e69","datavalue":{"value":{"entity-type":"item","numeric-id":2758050,"id":"Q2758050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb98e644b84d14163f3994968a5d699055ca3f1","datavalue":{"value":{"amount":"+0.7900601029396057","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":"Q752696$D5FE84CF-4442-4D08-BBD8-57EF432C2889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"1-ary functions and the f.c.p","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/1-ary_functions_and_the_f.c.p"}}}}}