{"entities":{"Q3437036":{"pageid":3447739,"ns":120,"title":"Item:Q3437036","lastrevid":80677676,"modified":"2026-05-06T16:45:01Z","type":"item","id":"Q3437036","labels":{"en":{"language":"en","value":"Existence of EF-equivalent non-isomorphic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152280"}},"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":"Q3437036$62436481-AC24-419E-AC9B-B6606431F323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132ae8e1b51921b2f0e2e1bdb0f3b36da800965c","datavalue":{"value":{"text":"Existence of EF-equivalent non-isomorphic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437036$6998BA66-7017-45A7-8FA5-4BB0DEC93B88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce637e611ea20fa2c043f8c5745e1be4c9c886e","datavalue":{"value":"1115.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$92A79669-2377-4965-89A7-8929D1F8CEC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89b78265949575b4506fbbc04e1225a3e034853f","datavalue":{"value":{"entity-type":"item","numeric-id":3437035,"id":"Q3437035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437036$65AA77FE-CDE6-4186-84AD-D769A1660CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437036$DC811DA0-9C6F-45F8-8909-17064CBA24A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437036$17E83FC0-720C-4BBD-B04F-8A402D7FA0F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437036$82F33ACA-6401-481C-B70C-8DDF09A52928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a02d00924414dc01a69dc2110f488dcd11d0b1a4","datavalue":{"value":"https://arxiv.org/abs/math/0612245","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437036$E50C6F95-8EBE-4ED6-972A-3A67C9EF7078","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$D1D1A233-D304-443B-AB84-CE36566A25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$7D1D3A95-5DE5-4421-9318-7BBB970BA236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86c450e8b208f89ceb07d26155529b64d11c66ae","datavalue":{"value":"5152280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$BA1B9B2D-DEB6-4B13-AA9C-96334B918981","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437036$CC914139-A28F-4DC0-9F96-86704952B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437036$25270CBA-AF8C-49CD-9533-9CDAA5FADB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce756bcec5f4cc6ab6a0787c8b361ae34aa9c4be","datavalue":{"value":"non-isomorphic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437036$09D0F7D9-4FA8-4D39-A758-1E052DE961D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437036$3AC19FF8-FE64-46A2-B68A-97F9DD65CCA2","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":"Q3437036$C7671C06-C943-4B24-8FEE-2A876337348E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c881bf6078fc6a418eec66a7d79de40c81de1dd1","datavalue":{"value":"W2142133920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$FFABA133-9017-4944-B785-CB9FDFC3C1A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981992121b6f6d0bae6b0ffdd0a5694351fed4b","datavalue":{"value":{"entity-type":"item","numeric-id":5477364,"id":"Q5477364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437036$BF186EF4-320D-4DCB-B70F-B1791E9CE1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1c8ad388c5748126ae418e5b297acf43372184","datavalue":{"value":{"entity-type":"item","numeric-id":4395557,"id":"Q4395557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437036$F8FE288C-E632-4115-8569-3F1791C4F00D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"448161e9626aba9eec340c126dea068f4a168c5a","datavalue":{"value":"10.1002/MALQ.200610031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437036$F330F423-0BCA-4A3B-B6A2-EA79E1A8354A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9bfe080ee8aeea9e0102cec304ff02539ef9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5477364,"id":"Q5477364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c7cc22aac3241353c458aed88d17ffedbe8fde","datavalue":{"value":{"amount":"+0.892120897769928","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":"Q3437036$A8EE7AA5-C318-4085-BA38-5F1D9463E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce180741e0807b2c172f02c7d860f414f5e92b90","datavalue":{"value":{"entity-type":"item","numeric-id":4876324,"id":"Q4876324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda4d612d5642cb31081a52e957ee5e8e3d928f4","datavalue":{"value":{"amount":"+0.8058064579963684","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":"Q3437036$31959909-D416-4BB5-8119-49CC627C7BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740b6d441192f8acbaea69106723a6e488d24142","datavalue":{"value":{"entity-type":"item","numeric-id":1879004,"id":"Q1879004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d57a0f5ad0acb7d725c82d1f0601f5db6cc3fdd","datavalue":{"value":{"amount":"+0.8043311238288879","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":"Q3437036$6A930BD5-193B-4671-821B-22A5BECDE7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8730a24fe68a25cdae515db3a4d160ab10caf291","datavalue":{"value":{"entity-type":"item","numeric-id":4314685,"id":"Q4314685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f4812937ba251848ab4a823d9f601cb579bff4","datavalue":{"value":{"amount":"+0.804031491279602","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":"Q3437036$74A6B14C-3F18-4493-8DF3-5EFEAE59279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508cac50dcc68084fa1cad6fc27cf7e12aad5200","datavalue":{"value":{"entity-type":"item","numeric-id":802542,"id":"Q802542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e2a980f2ed19d088fc554ae8dc282884ddf9b2","datavalue":{"value":{"amount":"+0.8040314316749573","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":"Q3437036$1DB80514-98E3-4898-B5E3-7FD6D809B06C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence of EF-equivalent non-isomorphic models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existence_of_EF-equivalent_non-isomorphic_models"}}}}}