{"entities":{"Q1887659":{"pageid":1898401,"ns":120,"title":"Item:Q1887659","lastrevid":71065557,"modified":"2026-04-13T19:15:02Z","type":"item","id":"Q1887659","labels":{"en":{"language":"en","value":"An existential locality theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117328"}},"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":"Q1887659$7684451E-6DA2-4811-8DD1-83E75DFC0E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b1be62de35d5ff5044e8147f9eaf77b257517dd","datavalue":{"value":{"text":"An existential locality theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887659$D697EABE-7E91-4467-B85A-19D223745D40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eef552cb16fa7eb023cb58d63b84d4f1dd31d82a","datavalue":{"value":"1056.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$484058CE-F6B0-44D1-87CA-548FB5306D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$384655C6-D810-4CF7-93B6-AB411CEF61E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fdd73c7da035ce2e5a15b291a3abfe56fe3276d","datavalue":{"value":{"entity-type":"item","numeric-id":1887658,"id":"Q1887658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$4F5F3081-4693-47DF-AD61-4DDFC14FE194","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$12CACE3C-25E4-40D1-B3DF-E4B70EEA8E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887659$9014919B-4713-4B7C-B89A-919E3468A256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$85794925-2EC9-4E8B-919D-6A00E567BD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$20F58122-D451-44DC-9424-C237F3DF5DAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8952d25a858c50ced2e4a381a5ef8b4c22685fb0","datavalue":{"value":"2117328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$C5361781-0059-4264-8A5B-078BDFED58AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887659$178AB80D-AFC5-4867-AFC4-93FF8048E030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5939a03730f2cd62af91dad3a0718a27a1882","datavalue":{"value":"Descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887659$68D91F54-896D-4B75-A696-2534EA0C3E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c851a3d9c5ca497b8d1997eca808c4c274b7201","datavalue":{"value":"Locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887659$CC844EBA-AEE0-40DE-8FD1-0FFBFB43A195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce6bc83d81423bd79c588cb2b521c75225c378","datavalue":{"value":"Existential first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887659$DF52E321-32A4-4844-955E-774558493CB1","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":"Q1887659$EEBD4739-0879-4C02-BE31-455F6AB94301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca827ed950add636d90ddc924065bd14072ee58f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887659$51EBB726-F829-4ED7-9693-5FABDE2EC396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc96684bb5745b3acf9695810d9f9a2f169abf1","datavalue":{"value":"W1983533869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$6AC0DE63-DA3A-429A-87FF-F9CD7AEED0AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$4338EF1C-394B-4F18-BFB7-51BC3FACA08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$37A5D021-426F-42C3-8B68-171A744BECAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$8A054083-6990-4475-BFF1-6564F0072AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd78cd552e0c2cdb0b65ec89b4b08270ed37a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":1575140,"id":"Q1575140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$35731A6E-F80C-4ED3-9575-4CDE4D2A5BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$45388C07-682B-4F45-B4B2-3470942E942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d5352adf00d3ba6c6280f75a2382719f6f5022","datavalue":{"value":{"entity-type":"item","numeric-id":4217593,"id":"Q4217593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$F26EE578-AC40-4710-8C03-C81444123F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$D7F4D7AE-0F6F-429A-80FE-6EB074A234C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5e2bb90c8cf8d80fb6cdd156087f7560a367d5","datavalue":{"value":{"entity-type":"item","numeric-id":1578412,"id":"Q1578412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$16285CD0-A7E0-4539-B14F-7E27E1B097A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$FB83BF6D-AE57-49AF-92BA-1901CA03CAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$69100F14-87DF-44A2-90FE-144E948E93F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$83B19980-4D56-4C2B-9C44-B6968CEEC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c6738e66ac796c260134596dd9befdbe139a8","datavalue":{"value":{"entity-type":"item","numeric-id":5441362,"id":"Q5441362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$703BAEE3-7A83-4930-BDC8-CE4319A81EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be719665281956acdb9f7a7501756960460e95dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948541,"id":"Q4948541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$1415B8BE-1AC6-412C-9DAB-25C2456C8A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717f0613f94c6a5360848d447324e634c7ab48a2","datavalue":{"value":{"entity-type":"item","numeric-id":5738897,"id":"Q5738897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$1F6D39E0-ED77-4AC3-8748-3E792AC69D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef0f89b3d4848285d16b9f024f89d4a5e76a218","datavalue":{"value":{"entity-type":"item","numeric-id":799684,"id":"Q799684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$55FFC957-88CA-4D64-89F6-DBEDF329BB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887659$054C2E72-DD37-4D4F-B242-0AA92E096708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c93d1c05931775ed256bc80658822941fed2f88","datavalue":{"value":"10.1016/J.APAL.2004.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887659$29CA87DE-65A7-4F78-B350-507D2BAFB8BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edde15f3ff7041d34f50ec1953d1198adfbffb8d","datavalue":{"value":{"entity-type":"item","numeric-id":4783304,"id":"Q4783304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","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":"Q1887659$314E87A2-006C-42F4-92DB-D9A793D7FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a989e34bb8fdfd7f94fa8a6b405ef3fbe5c893aa","datavalue":{"value":{"entity-type":"item","numeric-id":310092,"id":"Q310092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899187624f84d5d26a30d16a7cfb0873d06f6a35","datavalue":{"value":{"amount":"+0.88780665","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":"Q1887659$E92BB728-80A0-4D03-8D62-4ECBC75900F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7507ffded3ce8433437559d4dd543284bc27dd","datavalue":{"value":{"entity-type":"item","numeric-id":982186,"id":"Q982186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3027befe7e3c39ef170ab8a6f613bf5352ed0ed","datavalue":{"value":{"amount":"+0.86266786","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":"Q1887659$1CB9343F-DBF3-4B4F-A989-A53897B180F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16a6599bd466718b5cf313cd391c1ec72e63198","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21ea91cf26691bfecde263bdd55bcdf80ce59e9","datavalue":{"value":{"amount":"+0.8615936","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":"Q1887659$BACE5938-AF34-40E7-AD77-1D0E4CA8D6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbf768240af104b340b88abe9e3e49637f7700e","datavalue":{"value":{"entity-type":"item","numeric-id":4206946,"id":"Q4206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d367fce2b76f5415a8174cde77f97d4fb7996f","datavalue":{"value":{"amount":"+0.86019707","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":"Q1887659$CC5E89A6-41B0-4B8B-9FAA-FC853A7D42BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64882dbda82ef4300c217fc546ad080c0f09c3d0","datavalue":{"value":{"entity-type":"item","numeric-id":4205615,"id":"Q4205615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90b6b97f1ba37b71929cf78ec884da095e6706d","datavalue":{"value":{"amount":"+0.8529817","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":"Q1887659$BF5723DA-95B6-42CC-8DF4-E9072E172341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fac0392df98e1e46150c62d1cc4c615a2b31879","datavalue":{"value":{"entity-type":"item","numeric-id":4880884,"id":"Q4880884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cb115de8165a8bce1e7b89c3bae8c1ac26eaf7","datavalue":{"value":{"amount":"+0.8519833","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":"Q1887659$C13450C9-B80C-4E94-A782-9423E23224A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7d72a3bd86b313a84e59fe9f497f918acc6961","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc619b0dbc9ca43c853d462dd90565da931165c","datavalue":{"value":{"amount":"+0.846423","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":"Q1887659$23CE4AB6-F512-4B7D-99E2-050BD8A5951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7e26085d3ad6304431d82cfd54f7c1a07bfb7f","datavalue":{"value":{"entity-type":"item","numeric-id":1795741,"id":"Q1795741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c024d3595eaba00f345bf785dbdc923c3fd9f4","datavalue":{"value":{"amount":"+0.8462975","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":"Q1887659$1E29CBF3-554E-4957-98F9-9BA1B6F09518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c651a0f6897e6738c5e6c65d294fa55aed728","datavalue":{"value":{"entity-type":"item","numeric-id":3473887,"id":"Q3473887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341e612f2e9104d423bb229a3b898dac98190a48","datavalue":{"value":{"amount":"+0.8451873","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":"Q1887659$46796D03-B285-41EC-A78F-385ADD844763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An existential locality theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_existential_locality_theorem"}}}}}