{"entities":{"Q5350328":{"pageid":7379902,"ns":120,"title":"Item:Q5350328","lastrevid":96091253,"modified":"2026-06-05T10:23:29Z","type":"item","id":"Q5350328","labels":{"en":{"language":"en","value":"Finite-Variable Logics Do Not Have Weak Beth Definability Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6766458"}},"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":"Q5350328$1A84C607-254D-4F01-B061-F5D7753380B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97f6ee02592e80f5ef0c6aa41d9de5481fc95138","datavalue":{"value":{"text":"Finite-Variable Logics Do Not Have Weak Beth Definability Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5350328$173DBC9B-8B1A-4A82-9A1C-8028015F4174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9b2f520ef0f6b1bf6a3d0cc1afad5fdcb157d5d","datavalue":{"value":"1371.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$7CE06323-FC0C-4493-9FC8-8014F0DB0267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4044cc90c2623db8ee36442b4c54cc048d5d8163","datavalue":{"value":"10.1007/978-3-319-15368-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$9751E466-005A-4857-B0C5-3A35E510AC20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$0B924648-B11D-4620-B3C3-E9E6DEC3C0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$3A02CEAB-60E1-47A1-8745-C1670DE24F7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$EF543071-FCAB-409D-B23F-81819F46E12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfa483fd7326164e5b02d47e6ff7e6718ca29594","datavalue":{"value":{"time":"+2017-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5350328$D139FF60-BBFF-42B9-9A5D-E78A6FE835CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90eb1fe2d0a20c25d629c7b9aebdbff55728daf5","datavalue":{"value":"https://arxiv.org/abs/1409.5059","type":"string"},"datatype":"url"},"type":"statement","id":"Q5350328$A48FBFB7-737A-4634-8243-C3AF1D3E3835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$7D319A8B-F3C7-405E-8435-B22426A417D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$58A9B88C-69CE-42F4-8AB7-670D6F933FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$EC9C0B2D-CF27-44A9-AD03-929A6205997E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$ED69348D-DE67-4913-AA2B-FD1D6EE2A4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b532e442b5ccd534c391cde0e83c3d69eb1aaebc","datavalue":{"value":"6766458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$37182EF4-8461-4CDA-B6F2-84C78067D682","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c01af2e43ffdc35a2941b03ede6293383bd1e60","datavalue":{"value":"definability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350328$8660B1D1-480D-40F1-A181-4DE270AB1BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06ef8478d4b97e45d97d5a4cb2b64b3f1995a96","datavalue":{"value":"weak Beth definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350328$7E921C9F-F5AD-458E-AA77-8F14D973DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e1737caf4827c9bcd6c53b5cfb9852144b89cd","datavalue":{"value":"finite-variable fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350328$B4B02FCC-0588-41C3-8463-DEA6DD6660AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350328$C4DF24B9-11B9-4575-A6F6-0DD55D320C29","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":"Q5350328$DF40C614-4B0A-4771-88CF-BFA7B7B68CA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e83813ed27b8ae8f95920d987e0144d0728dc41","datavalue":{"value":"W1791238186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350328$750FA751-1ED6-44F5-A3EF-C4B110856C18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$AEC39C46-F418-4970-AFC9-D8C0C4791733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7008217736bdeb9f94e618fd30903f016c4313d","datavalue":{"value":{"entity-type":"item","numeric-id":1047108,"id":"Q1047108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$9584165A-88FD-44D0-8368-AA0D10549674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d5a0a94e71947256432fee574df5cbf61f1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5249669,"id":"Q5249669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$9B1521B5-6B2E-4B55-B316-0EDC2DF77937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$0D64FDA6-AEA6-42E2-B81E-D0295446DA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdf7b36f5fc3a4d7c3714ec3c7dab3e680dea45","datavalue":{"value":{"entity-type":"item","numeric-id":1164615,"id":"Q1164615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$83B4BFDE-C8E6-4CDB-B678-764BC9DC2985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283258d8f6a50611821873bfd86a3de7be3d7b97","datavalue":{"value":{"entity-type":"item","numeric-id":2433094,"id":"Q2433094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$F9ABBDA5-6555-469C-BDBB-FA4E6C96963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$3B493FC5-9AC9-4A23-B6AF-10A6DDE78D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$BBC53185-B97C-4AEF-AA80-7670490B5308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$2693447C-EC49-4F78-9C7B-D0D1253AA423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$74A01CAC-C7A8-41E1-A2C3-63F270EA0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c21d94cfaafe1e7827ea1a6ddf0852456baf439","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$9F9E23A4-535C-4837-89DE-7101FD44AC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6178f47fbbfa344f8cdf396e9f7efff797a1782f","datavalue":{"value":{"entity-type":"item","numeric-id":4744264,"id":"Q4744264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$C126D8B8-8C7B-45D6-980B-FCC666B1AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9205511073475f107e12a017508b448191b8588","datavalue":{"value":{"entity-type":"item","numeric-id":2853724,"id":"Q2853724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350328$D9F48193-8625-47F1-A061-B5ECB74A4E88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03528b824e327258922199ad22432e2281805551","datavalue":{"value":{"entity-type":"item","numeric-id":5159499,"id":"Q5159499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82874cc72946acf0852f4756db56734e3d5edc4","datavalue":{"value":{"amount":"+0.9189343","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":"Q5350328$E171616E-50A5-4B09-B756-CDA3368334E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd4aa8021526235806e070cc8b9c7c17341ff91","datavalue":{"value":{"entity-type":"item","numeric-id":4250047,"id":"Q4250047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4298c8ee67e4be35d5685d3e5bfba996d9f2fe16","datavalue":{"value":{"amount":"+0.860022","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":"Q5350328$5A0BB187-DA46-4F69-9145-72BE2E10BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d171b15c4d9d446afa6967c0ea149bd56fd754","datavalue":{"value":{"entity-type":"item","numeric-id":4870564,"id":"Q4870564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df88c35d467760a065efc1f8911f878d515d0045","datavalue":{"value":{"amount":"+0.84935373","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":"Q5350328$A1328A94-94C6-440E-9385-9B8FCBA02974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd0abd2ce730ea455ea28215c1d402a36128505","datavalue":{"value":{"entity-type":"item","numeric-id":4336698,"id":"Q4336698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637b38809ad45b98db775ea0a2e8ccd9f48a1849","datavalue":{"value":{"amount":"+0.84830135","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":"Q5350328$7F98272B-3D40-47D7-9212-DC59E276DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d4fb1de3991f4db7e060674e6c41368b96cbe","datavalue":{"value":{"entity-type":"item","numeric-id":2071578,"id":"Q2071578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f927cb4a6e1668af795852933ab07c82b600c33a","datavalue":{"value":{"amount":"+0.84531075","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":"Q5350328$7778B0D1-0FB4-4509-ACF4-894735492028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbfd76b3231d44a86bf7fe4759bf7641573709","datavalue":{"value":{"entity-type":"item","numeric-id":5027235,"id":"Q5027235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964c15ed9a80f252d4ffd35b84c55f39de1af7ee","datavalue":{"value":{"amount":"+0.8441863","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":"Q5350328$984C71C5-8FD6-4176-8735-B2D640E24B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f8716fcdde95b44e2cf039251f221fb0c8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f496f51e3e2a62caad30fe71b3c1055025b8076","datavalue":{"value":{"amount":"+0.8437379","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":"Q5350328$6A60D6D8-DFC4-4345-A4FC-81DC8313AE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee548f2490da7e1eebb2956e490cd4a543c7c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4877446,"id":"Q4877446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d3350d264503872b807fbd7f7c3fe6dd0d459f","datavalue":{"value":{"amount":"+0.83679754","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":"Q5350328$F15D57A2-7A61-4905-AFB0-D30622CF78BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ec7cb0e91689479d83d8d123864acb7c35c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5411402,"id":"Q5411402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11659166877176142b9e7869b43eac366f3af53c","datavalue":{"value":{"amount":"+0.8303292","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":"Q5350328$51B993E9-B56C-4E79-B1E3-67E306E4F566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc9d173ebedade2fbea141a1459a60bb2d9782","datavalue":{"value":{"entity-type":"item","numeric-id":1378430,"id":"Q1378430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fa60409749615eb218016f89782daceb5b468d","datavalue":{"value":{"amount":"+0.8298356","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":"Q5350328$9AAF6B20-C4D5-4BEF-AAEE-5E939FCA875A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-Variable Logics Do Not Have Weak Beth Definability Property","badges":[]}}}}}