{"entities":{"Q922523":{"pageid":924371,"ns":120,"title":"Item:Q922523","lastrevid":65434587,"modified":"2026-04-12T02:33:58Z","type":"item","id":"Q922523","labels":{"en":{"language":"en","value":"Definability with bounded number of bound variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168653"}},"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":"Q922523$40F4F62D-FD53-4762-8534-D0D8EC300717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb18d67f20ed19f13f256a23dd83839a73049992","datavalue":{"value":{"text":"Definability with bounded number of bound variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922523$8781B087-B2C7-4266-96FF-9C3F5B202104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c6c586c8ce60da27b0ef4858a4e97c37150b62","datavalue":{"value":"0711.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$CECB4A2A-E9C1-4EF2-AF31-EA2E85DBF362","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18d2166549b0bff19253323dd86a2987c14f273b","datavalue":{"value":"10.1016/0890-5401(89)90055-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$C3AB0A89-E135-4EB9-89D4-C7549B6E238A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$F56FB5B5-A2F7-4A10-A70A-A25A386C72AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$2FB4F147-287B-49E1-862F-564A5146F5DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$A9D1543A-B52B-4697-9CC0-D815FACC09EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q922523$958A97D8-86A4-4978-9F29-D7E1D07042BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e29c32eaf08d3575b02c2ee5dbe3e36c6f2c7b79","datavalue":{"value":"A model-theoretic method for establishing the k-variable property is given in the paper. To study the k-variable property is important from the temporal logic point of view. A first-order theory satisfies the k- variable property if every formula is, under the theory, equivalent to a formula with at most k bound variables. The method used in the paper to establish the k-variable property is based on a variant of the Ehrenfeucht-Fraiss\u00e9 game. Results in the literature for linear orders are unified and simplified by the method. Some new k-variable properties for various theories of bounded-degree trees are established. These results imply the existence of a finite basis for the first-order expressible temporal connectives over tree models of bounded degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$68B5CF1F-0F97-4A40-8A9D-F96BFEC45A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$ADE731A2-6394-4CD6-A6D0-650DA271D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$982E00B0-F92F-4C61-A964-9EC9CC3FEDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$CD75166F-3534-4D59-AD85-138273C21F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$C36FB1FC-A226-4224-8CE5-BDF51E7F5CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$8C00C655-8A68-4A28-8062-D308B226360F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb09961af0aeea2abf3e48ce8dc756e43f91dc89","datavalue":{"value":"4168653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$5988292A-AB78-41D9-8113-F797A297D642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26a761c45e407dc5ae017b75612f46c45820ad9","datavalue":{"value":"k-variable property","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$A80CF273-16C8-4256-8163-9C448F795084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$86379639-7AB8-4AA5-AA0A-5619B6BFE9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1afc8af89c919ae7b337a1d7857916903eb3d5","datavalue":{"value":"Ehrenfeucht-Fraiss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$0F9DACCB-2DF1-4215-A899-33CA45B4F3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f626ff38cea62e5ee3d023063ae338c076ca388c","datavalue":{"value":"bounded- degree trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$F4552B0F-A4BA-4809-9F9A-FED435B971DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305c65494d0d12ef65f1ec94888c98a3521fac71","datavalue":{"value":"tree models","type":"string"},"datatype":"string"},"type":"statement","id":"Q922523$F4D590E7-3293-4AAA-B610-EF3C419DC429","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f16d300f1af622676dccb372accc3bc0c9d577af","datavalue":{"value":{"entity-type":"item","numeric-id":588374,"id":"Q588374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$70ADF6DA-7F86-4EEF-91F3-0920BF961AAE","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":"Q922523$197E0D16-00C6-4CA2-885B-5E804420F112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563107b364b9911a3dcb0d2772e79aade7778737","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90055-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q922523$6D6C43BF-EAC1-4048-A0B2-F13316E21AC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3473f205ce74ee3fb3b295b76cf45d7751e64e81","datavalue":{"value":"W2053510959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922523$DE4571DF-2FD3-47B9-9622-416DBF437E01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3cb796d90b511626bb23f443f8abad64aa2ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1090324,"id":"Q1090324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$099AC991-3090-4B59-BD26-90DFEB81B84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$DC1DA7CB-333B-4F91-82A7-D2FB916D5FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$FF6AEC54-6DFC-4042-A64C-7172D9A58CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$6C950FF7-C31C-4110-9D5F-2EB695C1A2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$E4E83C7A-742A-488B-A912-B2DEF2E253D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$B8872C69-048E-4D38-8763-49B5B7078AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693d4d2c0f293d1fccb74636ce199dc482f65b07","datavalue":{"value":{"entity-type":"item","numeric-id":5549024,"id":"Q5549024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$FD74711A-160B-46E5-9FDB-5D60738073E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$6E21BF1C-93E3-4BDF-A34F-C5F95F8B68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d1b54f39385e475024bcf36a9244162838f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1137036,"id":"Q1137036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$1957907E-9D5E-487B-B25F-B66D0754E879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$807CF6A3-F095-4C5C-A03E-98F89E4899AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a650084c2b01883133d78255ff6ff7f2916617","datavalue":{"value":{"entity-type":"item","numeric-id":4744254,"id":"Q4744254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$4B81C838-5DA8-44F0-979C-9787DE67FA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$5F1C7A2D-92BE-4982-B71B-5DF2902D1C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a143e54b8aee374dbfcd789cfc7fa367c0c156","datavalue":{"value":{"entity-type":"item","numeric-id":3735076,"id":"Q3735076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922523$F50794B5-D557-4FF7-8899-9199179AEE27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d2946b476f4b326e902089e16311550077d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":3743393,"id":"Q3743393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe592d693fd8c8d7664670c775181fe97735604","datavalue":{"value":{"amount":"+0.89103603","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":"Q922523$B456ABA7-399C-4A9D-BE97-FE0C63241D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5d2d52a1bbae370f9a7aeb4021b509bc3236c3","datavalue":{"value":{"entity-type":"item","numeric-id":3483272,"id":"Q3483272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c842f559e27d365b88dab55d6020b357ee54ad","datavalue":{"value":{"amount":"+0.887864","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":"Q922523$2625F45C-743F-43A3-BBCE-AA89081636BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55cddb3018dfb38cd38936f1474432ded220fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1387092,"id":"Q1387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49f0efce5ff1270fcf5e7d9c13a55dd2690a103","datavalue":{"value":{"amount":"+0.88573766","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":"Q922523$11D99849-0A53-460A-BFA5-99C9397A556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca708f2276af65dc0e23f4ab1e01c6d6d4b8e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2454641,"id":"Q2454641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a86fe990f776c28f8a812274c659572953e8387","datavalue":{"value":{"amount":"+0.8810759","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":"Q922523$501B62B3-0FC2-4FEB-981F-1579BF8339E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47976d5937eae512ad890a7d08a436f77dd56593","datavalue":{"value":{"entity-type":"item","numeric-id":4706821,"id":"Q4706821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a6441d6edd36078c3c71c05c713968aa298022","datavalue":{"value":{"amount":"+0.8769807","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":"Q922523$4BF9EAC8-0296-4930-90B0-2F41D72B3F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc9a166428cc7afc81fcddbc61d4b7d4b5232e3","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acd3c6131903c386308d21df1e455e29cd977cf","datavalue":{"value":{"amount":"+0.8767068","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":"Q922523$C390B5CC-DD4C-410A-B256-50FFA67BB5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4eca7fb18b28fc9f86f51468db5ffacb23586ef","datavalue":{"value":{"entity-type":"item","numeric-id":2753675,"id":"Q2753675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d02e6b465f8bdacf7f7a111d173f61c1b74ad5e","datavalue":{"value":{"amount":"+0.8726549","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":"Q922523$D38F9996-BA30-48FD-A45D-6768169B76BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbbd12db6ec0558cbf87d021084a12ba6e5878b","datavalue":{"value":{"entity-type":"item","numeric-id":2710591,"id":"Q2710591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace771407bdc1e3ef3efcce7a85793b9af74c716","datavalue":{"value":{"amount":"+0.8711531","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":"Q922523$AC667E55-A39E-4A77-ACDE-64DA5ACF5696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0118af342830a3fe8c5415da24b3fff6a369d43","datavalue":{"value":{"entity-type":"item","numeric-id":4281250,"id":"Q4281250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934f623da300513f34f0b182dd9055afec80f20f","datavalue":{"value":{"amount":"+0.8692384","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":"Q922523$97C68B7D-ECEB-4A7A-B609-F243B2ED40BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353f4c039b04d46b96a218c8dbe4d084b2207db1","datavalue":{"value":{"entity-type":"item","numeric-id":1852368,"id":"Q1852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae4abdf3cb8573fc1cdbf4d192bc2c045321c38","datavalue":{"value":{"amount":"+0.8689995","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":"Q922523$A5FC295A-F430-4FDC-B150-E1575292F884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability with bounded number of bound variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_with_bounded_number_of_bound_variables"}}}}}