{"entities":{"Q3053471":{"pageid":3064187,"ns":120,"title":"Item:Q3053471","lastrevid":58117602,"modified":"2026-04-03T21:16:41Z","type":"item","id":"Q3053471","labels":{"en":{"language":"en","value":"Continuous first order logic and local stability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5808232"}},"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":"Q3053471$B2E5B3D1-7996-4D5C-A2E3-6A6C71EF19ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3670fefaf829f8d2f887aa4721d89d155ad881b","datavalue":{"value":{"text":"Continuous first order logic and local stability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3053471$D2738221-8397-43EB-AD93-A9BB8E02D41C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee8114de6e7d4696e985625d3d3784589544d815","datavalue":{"value":"1200.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$9D56EE08-14E2-484B-B6B7-7F1730C76B43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed6cfdce16e480c1e8000b655723525e92b93582","datavalue":{"value":"10.1090/S0002-9947-10-04837-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$B5A5616F-28FC-4AB4-8312-3EC3C06681AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be6d53cf5d4185884085e4b1d12832c3e469335","datavalue":{"value":{"entity-type":"item","numeric-id":521603,"id":"Q521603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$9F49C862-612E-4F47-B1EB-6E3067228C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc8295213a0fbbda3768bef613f47a6c6b902e54","datavalue":{"value":{"entity-type":"item","numeric-id":532607,"id":"Q532607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$A9AD8985-7DCC-4AA7-BEBD-CED6B27C6573","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$1169A17C-4E21-441C-ACD7-335E28EDB4C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73b9dc56eda22db7a5be38dab54269befdd9b5e5","datavalue":{"value":{"time":"+2010-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3053471$471FC08F-B122-4193-A05C-8AAAF9C0AA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acbe1d0de261ae1146b74c2067a8ad5da24743e8","datavalue":{"value":"https://arxiv.org/abs/0801.4303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3053471$8F8AB540-F1F6-4F5F-B26D-9721A2F41BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$DE5C7FD3-C817-4D6C-9CE6-09C488F98CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$0CB58148-F9B9-4C1B-B199-B06C2B9CFA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca25392be9f87402395fcde27d35b006a8ce7501","datavalue":{"value":"5808232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$1DE732A8-1A3F-4FCF-82A2-2442603F9036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3053471$A3B5C14C-8CEA-4CB6-A298-7B6B450952AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2751e234d63f1493e30fcce35b4e4be978b8cb58","datavalue":{"value":"metric structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3053471$C289B71D-BA46-4EC4-8F69-2CDBDBCD7823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3053471$315A6585-8A31-450F-AFC7-7ADE5E948450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1807f8851d0a366bf7ca8fe54f3cb4472d8d74d","datavalue":{"value":"local stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3053471$AAABEABD-0710-489C-A098-87E1786ECBF3","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":"Q3053471$C83FC09F-DEBF-494A-9A66-34ABD9031FFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75835acf4d653fb7d563e8eee85262130de188a","datavalue":{"value":{"entity-type":"item","numeric-id":636032,"id":"Q636032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$9DFFF1A2-3756-4CD6-A281-0AF714C3EC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9b1f7f0eb0df801475a74f85bee3de13449f98","datavalue":{"value":{"entity-type":"item","numeric-id":4931092,"id":"Q4931092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$13479CEB-3946-4418-A2E1-6CE8668D8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb030a96068640c46d82da622b8de53051b4117","datavalue":{"value":{"entity-type":"item","numeric-id":5305059,"id":"Q5305059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$63626F8B-237C-4772-B028-907FAB51B6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1003c3b824402da75d1eda2657089a22fd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$6D47879A-53B4-45E7-9DE6-5776499FB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883529859e33defe9138f674f356f6ad6f0fcab","datavalue":{"value":{"entity-type":"item","numeric-id":5718690,"id":"Q5718690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$0E3E9207-5270-4AC0-BACA-B9CE540584A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85add2269d9296b83ebe3527564e5bff38d90b7","datavalue":{"value":{"entity-type":"item","numeric-id":1039539,"id":"Q1039539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$1A43856B-5888-426D-B0DA-AAAA2954E868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bf1d2c6e929661d07223f589abea3eacaa783b","datavalue":{"value":{"entity-type":"item","numeric-id":3621280,"id":"Q3621280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$FEFF75F8-4359-4C43-A3F5-6CD705732A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88570d4bbd129d19666381ab107bf1a05b41bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":3419248,"id":"Q3419248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$A8A13EA8-237E-4309-832B-6BFC884A2CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f650f4f7bc706bdedd6674688059df4f6da8202","datavalue":{"value":{"entity-type":"item","numeric-id":5527811,"id":"Q5527811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$AF6A4195-AC5C-4230-82C3-F72B4B3ECD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4900538c35ee6bf8c6f3236180ac4962a24f865","datavalue":{"value":{"entity-type":"item","numeric-id":3598958,"id":"Q3598958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$932DBBD5-6137-4A41-90B9-A528536E24A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f793a945156c8476f826747073c8bc4a95c728","datavalue":{"value":{"entity-type":"item","numeric-id":4411217,"id":"Q4411217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$539A6E6A-3153-42D2-83FC-E4B671AF3CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a60c0661cd950b4b50bfb75ee4646dc6293bd6c","datavalue":{"value":{"entity-type":"item","numeric-id":1836122,"id":"Q1836122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$3C1961E8-FC1D-45BE-9401-3A9756F7ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93299f77e077889e3de293e1e6631906342f2762","datavalue":{"value":{"entity-type":"item","numeric-id":3215997,"id":"Q3215997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$21C0FC47-EF9C-4D33-8308-84F6FF15109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$6B78D787-FAB0-469D-B54B-271CFDBC4389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab3bddd6ba1dd3ab69638017c014b1bf8400367","datavalue":{"value":{"entity-type":"item","numeric-id":532608,"id":"Q532608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3053471$0081D026-2404-4155-A237-F5EFCAD143AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"902aab7f82bf69f75a562930a7218aee20f91f43","datavalue":{"value":"W3099595641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3053471$C565A28E-BB73-4AE2-851F-EA7486AD0144","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85087fbbc5f5d3cfc467b374926460afc8cc2f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bce79505ccfa03b9a8c8f293dc1014814fcff38","datavalue":{"value":{"amount":"+0.8836407","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":"Q3053471$17DA7857-C01F-4DDE-B234-8010B57183E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506151ce750674621b1ef198fe2d8c92e3c26ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4243913,"id":"Q4243913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f9709aa448a35ab52cc3a184c12f71ebbb16c9","datavalue":{"value":{"amount":"+0.88284093","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":"Q3053471$E6B2B090-6E8A-44E8-9BE8-BFAD191C2180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6f69ddb09421cf7fa944451541c2900d61e6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5305058,"id":"Q5305058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a679e06b757a2708dc3059bfed6173faf634f355","datavalue":{"value":{"amount":"+0.8786098","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":"Q3053471$A70993BA-AFE4-4096-97CF-DAF8C1499522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7433c02572489af94d7371fbc73bf0a6b88363","datavalue":{"value":{"amount":"+0.8778418","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":"Q3053471$F12F6CD5-827F-4040-8267-282BD19F296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cd03c6cdc3f80f20449ce208f61e04b6b8f342","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f294f5ae1ac3a9e2e19f792749c6c913c46557b0","datavalue":{"value":{"amount":"+0.875304","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":"Q3053471$9BC2BE74-2052-4BEA-9E79-ABAE979246F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058bf4f99cb411681f666b742b4382259431bed8","datavalue":{"value":{"entity-type":"item","numeric-id":2391775,"id":"Q2391775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ce8bf8a66b0d0b484e765852a488a6ec51cda7","datavalue":{"value":{"amount":"+0.87019753","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":"Q3053471$A8EEE4B3-5361-4213-8B5E-36CC0FADE1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d735c76e950c19ca72b57b09f63dc9a460762e28","datavalue":{"value":{"entity-type":"item","numeric-id":2747724,"id":"Q2747724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eccb1678133b4f30923a3a9de2255f44614447f","datavalue":{"value":{"amount":"+0.8697758","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":"Q3053471$048A2278-EE4C-4047-97FE-656E85D622F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec821a7cf5d3422e52b10bf444c6441bb456d03a","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de951e8dcf66292394f228842ebf021c2ec2b1d","datavalue":{"value":{"amount":"+0.86436343","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":"Q3053471$8F7196E8-CFCA-4DD5-B1D9-40A4ACC96C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b35cdd9a6cf84efb091eab12ce90747a561952a","datavalue":{"value":{"entity-type":"item","numeric-id":6053505,"id":"Q6053505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f472b361e02ecc72b1994afd13ea0bf8517841","datavalue":{"value":{"amount":"+0.8642338","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":"Q3053471$B3E02ECD-2762-417B-B468-FF95EEF14E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0604a904f3074a58acc10f411215b5795dbed355","datavalue":{"value":{"entity-type":"item","numeric-id":5738900,"id":"Q5738900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3d904359284306f66f58a66ab97b9fe6ce8bb0","datavalue":{"value":{"amount":"+0.861531","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":"Q3053471$C9CE1743-C478-4E9C-A33E-7E8BA8F41D2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3053471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3053471"}}}}}