{"entities":{"Q4934027":{"pageid":6963609,"ns":120,"title":"Item:Q4934027","lastrevid":40908606,"modified":"2025-04-14T00:58:57Z","type":"item","id":"Q4934027","labels":{"en":{"language":"en","value":"An elementary definability theorem for first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389454"}},"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":"Q4934027$195D6573-BF7E-4F45-AE55-D73C34FD0B26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83b3c99ad87eee5c126e9d43d75b82fe6f5fd418","datavalue":{"value":{"text":"An elementary definability theorem for first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934027$00ECCFB0-48BC-420E-928B-F33D048C5767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"605deaea108f80aa22d982b2bddf1d89576604cb","datavalue":{"value":"0945.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$555CC318-B46A-4C8E-9C94-19DF906EE401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52e79e9f8e03dec095f9df2532b09574425548f5","datavalue":{"value":"10.2307/2586617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$16988360-0E11-4D56-BAE1-0303207D059E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$8C72058A-E9BC-4B0C-B262-6D5DBF5DB8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$8B8256A3-00AC-423B-9070-ED522FA98C6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$D47DBBF7-2B4A-4BCB-98F5-14FBE6A826CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a21e07de487f67db9a06dfe5a09ead0ebef66850","datavalue":{"value":{"time":"+2000-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934027$D09DBE44-13E5-4F64-8852-DF5EB7A830D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$9FBFC4FC-09E8-461F-B7F1-FF35E610158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$CC3F77C4-9FA3-45F0-A342-BD0C5379C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$CB2D5FFE-C648-4339-9BA3-EBFC99E725EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$CCA308EA-6281-4189-816E-6F84D445E4D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f383c588159008b3012c86534726bfde86588ccf","datavalue":{"value":"1389454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$A830A487-F0F9-4649-AA8B-59602BC3D897","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934027$AEE0456E-D412-4543-92A5-3ADA267377A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35b6c2db5fae2e59a22c74e793a63ed722cfa78a","datavalue":{"value":"Boolean valued model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934027$D9AD32D4-9EC5-4959-932C-299A293A53C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934027$5E6938A1-2920-4B26-AF9D-F0B3878BAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ed2a06b92b8c6480256e949a524d2704302579","datavalue":{"value":"topos-theoretical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934027$72D83CD9-94B4-46E2-8CC5-9F8A6F3CCF12","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":"Q4934027$CEC11382-B00C-4526-881A-12AF04C7EEF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e4ac689488859a42a9162c381feede7cfdfd61","datavalue":{"value":"https://doi.org/10.2307/2586617","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934027$86878061-8154-4F0D-9310-BE4ED4F17A2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86e33ae6cfd56be6b6e05a9a4ebccec1c0fccabf","datavalue":{"value":"W2087316813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934027$316FA8CD-BACF-488D-BCA8-6695BFEC5F07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eab95c327bf019893a6294517c1256fa4f00e53","datavalue":{"value":{"entity-type":"item","numeric-id":1087632,"id":"Q1087632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$9C0A6571-62DF-4E33-A9EE-69EB15D6B356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437ce3643dc5720b07e9c4982638b6b8c063ae8f","datavalue":{"value":{"entity-type":"item","numeric-id":1295576,"id":"Q1295576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$AFD7C1D7-1F31-4223-BF90-F3FBD5F3D6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91d609421008f36c8aecac1d4fcc0fc39c191a4","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$A2F6E542-444C-4ECC-88B4-D243E89B37A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b2552df22122d49147b3088587e6117b7f5c19","datavalue":{"value":{"entity-type":"item","numeric-id":4351921,"id":"Q4351921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934027$58CDF2BE-DCED-41B0-B800-C499FB752D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9e41458dfc0f04035f722eb020181ff48d878e","datavalue":{"value":{"entity-type":"item","numeric-id":4534366,"id":"Q4534366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8892acd7b3843a303506e2603806171599d7a1e9","datavalue":{"value":{"amount":"+0.9050394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$0CF96AFC-B9D6-44CD-A7AC-D493EF1C757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c269ed4ca940fd0680ffaa4133c24910946294","datavalue":{"value":{"entity-type":"item","numeric-id":3762316,"id":"Q3762316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69216b726237182664d1872edb1b0b6726ab42a1","datavalue":{"value":{"amount":"+0.90452325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$AA042FAB-224C-4150-A000-6E3D9B6BB9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a443e12e25fd2c6617e2194a79ad16e7fd4fba93","datavalue":{"value":{"entity-type":"item","numeric-id":1868490,"id":"Q1868490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f621d841928f9a81a1cde122f851bd31dd0bfed1","datavalue":{"value":{"amount":"+0.9035197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$088A407E-CE7F-4B8C-B574-CFE3857B642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d8abe78196e9fd2a5401ab5e0bc500972f204d","datavalue":{"value":{"entity-type":"item","numeric-id":4729755,"id":"Q4729755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8245b858d342e3ff3c65af9188086a3410dc5eef","datavalue":{"value":{"amount":"+0.8988305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$575A00E9-264A-472E-AEAD-332304B66D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ef8a620a96edd639b715384a7345b6f217bab1","datavalue":{"value":{"entity-type":"item","numeric-id":6076364,"id":"Q6076364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5928496c828c0e80464b683fd9605a7947c118b8","datavalue":{"value":{"amount":"+0.89854884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$E6A4B92F-C574-497F-9FD3-909CD1300DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4773d0aefc9fb6908bc7efdbc48cbf63cdf9b03b","datavalue":{"value":{"entity-type":"item","numeric-id":5434477,"id":"Q5434477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c850d2afce0006518aab27ff73be8b2f3af6c2a8","datavalue":{"value":{"amount":"+0.89851373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$354C8EE2-41DA-4599-863A-F9A2F1E16C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab224d5cb305bffb6bdcd1d1445a32f63873ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1263576,"id":"Q1263576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7726204da35adc65c3403ce1151c6dfa313efe","datavalue":{"value":{"amount":"+0.8976593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$3E9443D7-8357-4A2F-876C-100CF1C558C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efef4cabd84c0cc9c999da57b908650579c8bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4806272,"id":"Q4806272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d750b53921bd0d67ecda7defa59cf5749b42442","datavalue":{"value":{"amount":"+0.8975417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$7A880859-C91D-4A8C-AF08-F76B040DEB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022f23cc2930dc19ce7368bc0812d646f10619ed","datavalue":{"value":{"amount":"+0.89151776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$C33C8D2D-2CEC-4EE5-9294-6B26A686ED32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366496dec6b15081765160ad5152223e33cfb201","datavalue":{"value":{"entity-type":"item","numeric-id":3137743,"id":"Q3137743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9132a9302f6a735f4a51bf66fc48e3140c39c95d","datavalue":{"value":{"amount":"+0.89130145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934027$227C5C8A-3172-4B19-9C40-58D91DD31C81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934027"}}}}}