{"entities":{"Q5687548":{"pageid":7717108,"ns":120,"title":"Item:Q5687548","lastrevid":46875012,"modified":"2025-12-25T18:36:46Z","type":"item","id":"Q5687548","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957948"}},"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":"Q5687548$F0BC4333-203F-4978-B480-54005C86F42A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e838ac18ffff397ab7bba423825c4959f3d62e2","datavalue":{"value":"0863.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687548$E7E2171F-778D-4B3C-A4B3-40BABA6A3275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ecc260075ee1599934d252f5b5017b5aa41542","datavalue":{"value":{"entity-type":"item","numeric-id":579236,"id":"Q579236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687548$DC5101C2-0530-4998-8B02-E5932C0509B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41120fa38ca7c0e02cc8570d48b8fe3190cff57c","datavalue":{"value":{"time":"+1996-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687548$C255FD67-EAAF-4E53-BCFC-0D1066FD9B7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687548$61CAF4D7-5300-47C6-BD79-16B335BFCCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687548$8776A48E-B337-4BD2-ABD0-0D65CACFEB80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f10f2856076dfae624a69f6d3b4b1fc288f871b","datavalue":{"value":"957948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687548$9BB132FA-D6BB-4C03-A35E-F5563DDAC9F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$8A6D6D0C-5AC6-41C0-8240-1E7A5F08BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$5424B180-DEA4-4CD4-B1F1-06239762199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$AFBED2BC-4FD7-4B6B-B8E7-910590E6B30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$854E2842-78C2-4A9A-A40B-EAB463C5AFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4357be29cd6582e960cbc6dc642130d0a21e7185","datavalue":{"value":"Vaught's two-cardinal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$3B66D39C-A5D8-4134-9046-6EBB07AC7073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c850a4f5bead28a806a6fde0408f6e700570fd74","datavalue":{"value":"Lindstr\u00f6m's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$0489F41A-57A4-4A40-A6F0-D79A641AD8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$A1A439AD-3C89-44A5-A458-E5B26FAA49D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$BAEDFC70-5D11-4C13-88B6-413F1BBE94F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$3E82E12D-AB19-4B06-BFCD-6B2D53FA3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337188a250a96de432be12dc91feaddecdc8f4be","datavalue":{"value":"first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$8BEFA122-9547-45FD-AD24-624887FCB18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc38d3411ff9b651dd98f96e419741caa8dd6e3c","datavalue":{"value":"second-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$B129A453-89E4-45FC-AB4D-F6317C4865F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98368060351ce6a7ae6ac922fe75a8d686eb7a23","datavalue":{"value":"construction of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$A05D82B5-900C-4B4D-B77A-C53B3CA08895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$F3459876-675B-4BF0-92F9-8EB39D0EEFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb1eab08408710abe553062777e22e027ce4880","datavalue":{"value":"Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$0744CEED-E8C2-4CDA-8E8E-C16F39205FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$3AC658FF-65A2-498C-9D6D-29EB6113505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$2C2E1DC0-D80A-4C7F-84DB-E3CE4EB9DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687548$9F942E5B-322F-42A7-B20B-1E8387648780","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":"Q5687548$2B930B7F-8614-4DBC-BB2E-ABAEB27E1226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b1c20bf09aa79ff5a8741aaacb6de1ef35ce0f","datavalue":{"value":{"entity-type":"item","numeric-id":2879568,"id":"Q2879568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770adb8ec53014efc9d6819f74ae3ae386efcc6f","datavalue":{"value":{"amount":"+0.8402388095855713","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":"Q5687548$004E71B0-521D-4711-82D2-58F60569F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"369533bd1697b7070620042e93e83f06e68b8daf","datavalue":{"value":{"entity-type":"item","numeric-id":4224293,"id":"Q4224293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652a7dff04160fc7d26f41072cef75473b4c36ba","datavalue":{"value":{"amount":"+0.8389512896537781","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":"Q5687548$DDD2A1C1-862D-4712-961D-2361FC3DFCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737dbdc30e0f2ea6fca279c17102b5d2d57d37ea","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfccd627e022edea7fa81c26a805dd51fccffdf","datavalue":{"value":{"amount":"+0.821491539478302","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":"Q5687548$E9B6BF32-277F-41CC-AC3E-8BAA627E130B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5687548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5687548"}}}}}