{"entities":{"Q1077397":{"pageid":1088149,"ns":120,"title":"Item:Q1077397","lastrevid":48946234,"modified":"2026-01-06T06:53:29Z","type":"item","id":"Q1077397","labels":{"en":{"language":"en","value":"Skolem fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957049"}},"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":"Q1077397$EB0D811C-28B3-4CAA-93CF-668D5809DADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38bc40c87d31836dd0cdda4792702ad7590f3e4f","datavalue":{"value":{"text":"Skolem fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077397$0744D23C-0D4F-4386-BF1A-50B77300A01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fd98eca8f6db3a51fc4720c77c0bcf778c95dfb","datavalue":{"value":"0595.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$A09A4661-D549-47F5-8B7E-8ECB096260AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a8ded901132d0e92188ee710b2d9708c334761","datavalue":{"value":{"entity-type":"item","numeric-id":1077396,"id":"Q1077396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077397$28934F9B-C9A9-447D-A687-C199EBE16891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077397$0F60F6F3-E3BB-4B1B-A9D8-606D9582760D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1077397$4102DD12-591B-4995-9917-0A7DAF3CFEDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2798dc5d19ed53f92adde4fdeb03680505c3766","datavalue":{"value":"The Skolem fragment of a theory T is defined as the set of all its theorems that are (nonvacuously) existentially quantified. The empty domain is admitted as a possible model. It is held that if every model of T contains some, or some number of, objects (or objects of some kind A), then the same holds for its Skolem fragment. And it is suggested that this provides a syntactic form of one of Quine's various ''criteria of ontological commitment''. For theories without identity the proof offered wobbles at the crucial point, in that it rests on the mere assertion that ''any theory committed to the existence of n objects must be able to discriminate them pairwise'' (p. 230) by means of monadic formulas. (A counterexample seems to be the theory of dense ordering without endpoints formulated in a language devoid of constants.) This is not to say that the stated result does not hold; only that a general proof is wanting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077397$DB278ECF-5E8E-4746-89A6-60DC07ADC274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$391D4175-CE74-42D9-9D2E-C8CB0AEAD303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$E5E849A3-E323-40FF-9A61-6B5AA7D6066B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$02937DAF-856D-4C89-8D1E-6296733B82B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec7baad26c04d8a061a60835fef746e27b6395b6","datavalue":{"value":"3957049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$E3710269-5F03-4050-8ED0-10DD4C724FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077397$84070A0F-56D7-4AAA-B530-8F1B6032C285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937f8ff8443574de1556bb8ea5c3e4bfb46623cf","datavalue":{"value":"ontological commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077397$8FE08D40-C8BC-42DE-9F70-8828A46D90CA","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":"Q1077397$D9D661FA-583C-4E25-A3D5-BB6A10FD9B48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e3d17fdc8b8453c01015cf4fac9b18458413488","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870629","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077397$011DBCC7-4044-47AC-98A5-C3ABDBAAC22D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3f9c4d404ab179111a0fccb99ec242761d0e42e","datavalue":{"value":"W4251863788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$5AC4432D-15D8-4CB1-AC3A-A9D66282D795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf167c437748b68ddc8fccbf6fd1893fe4ed3e9b","datavalue":{"value":"10.1305/NDJFL/1093870629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077397$E2B576FB-53EA-44B9-B8A7-D25B0241D153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6d9196b90aadfbe46f06604044c5d57c9eda7b","datavalue":{"value":{"entity-type":"item","numeric-id":4918424,"id":"Q4918424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a4915fa2d1019dc9075110d28e6d7343a78621","datavalue":{"value":{"amount":"+0.7041699886322021","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":"Q1077397$9159FD80-8DEF-4395-8C66-4EDA78BD9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957b0082b4552dc28eccfb022df1d8e8d75b0496","datavalue":{"value":{"entity-type":"item","numeric-id":3511466,"id":"Q3511466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6611a0c3ece18d7f1cc2659c2cceb391d55533d","datavalue":{"value":{"amount":"+0.6832888126373291","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":"Q1077397$8F0EA1AA-7388-45BD-8B74-0918A396D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8fd6e957e74a06bb61cb102fa2da915646b625","datavalue":{"value":{"entity-type":"item","numeric-id":4227856,"id":"Q4227856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30b778ca06534f8c4a264748d4b02b6289c4418","datavalue":{"value":{"amount":"+0.6815040111541748","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":"Q1077397$94E7F516-D77D-4B13-BC89-66EC0CB28822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0a0ed4675ffa4d7d5b41b3419efa25f310b62d","datavalue":{"value":{"entity-type":"item","numeric-id":4644539,"id":"Q4644539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31b9e4ff51a389722a985d44149524974ec9a1b","datavalue":{"value":{"amount":"+0.6799750328063965","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":"Q1077397$140007BD-7736-44EC-82FA-BFD26C2107C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdca92db52c11cf5d35bea87043f2b89170fd35","datavalue":{"value":{"entity-type":"item","numeric-id":3813802,"id":"Q3813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60df22771c3322fc6af3b8890e8632c046dc2e5f","datavalue":{"value":{"amount":"+0.6791280508041382","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":"Q1077397$2B57F6E7-C583-4A09-BA0D-32B16277FFFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1077397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1077397"}}}}}