{"entities":{"Q3764124":{"pageid":5794030,"ns":120,"title":"Item:Q3764124","lastrevid":51828569,"modified":"2026-01-20T06:09:24Z","type":"item","id":"Q3764124","labels":{"en":{"language":"en","value":"Monadic second order definable relations on the binary tree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021098"}},"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":"Q3764124$21C56C00-3E70-426F-ADE9-165C96F64F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c0d8ec46b57fa1d6f5401d7fb5b00eae3bfa97a","datavalue":{"value":{"text":"Monadic second order definable relations on the binary tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3764124$6BB2ADA3-42AC-4E1F-90E2-87BE3E6BAF17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cdbd5e7da26e60b3f822c3bc5cfba930919d1a","datavalue":{"value":"0628.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$A711D717-5313-4E78-B99F-31C4650C4A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"596cd1e9ece1007a7485032551dc940eb5c856d6","datavalue":{"value":"10.2307/2273878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$70D80F81-73B3-401C-8E6A-438C349D0F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2fc23a437999415d85a1124b225f7dcb617ab3d","datavalue":{"value":{"entity-type":"item","numeric-id":772666,"id":"Q772666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$7C1DC470-3069-4369-9261-82585E02C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceadad30a6499bccb39c4aa8ee75dd390000cfc6","datavalue":{"value":{"entity-type":"item","numeric-id":3028969,"id":"Q3028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$D856C652-4A83-46D8-9848-CC618EB7487C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3764124$2DA840DD-6EA7-41F4-877D-5159EF93AACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$73B72309-F888-4172-9B34-305E0BE6E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$DB836B39-D4A2-4CA1-ADCC-B33415E8982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$9DBBC420-FB46-454C-903E-078234A27A91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bef4cc7e64964152ce9398b1cee5521937bca05","datavalue":{"value":"4021098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$CBD5CFE0-971C-4D39-A357-53EE22F37848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ba89a1196230731f0f761eb736b27ab430ac69","datavalue":{"value":"finite tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764124$AC8FD84E-7D06-4B00-B751-BE43AB6DAAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7bcb48c25db0908929ba2383247380f87f15321","datavalue":{"value":"binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764124$6CA09359-66FE-48AA-9A75-3CF11E1D2D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45f6d7cdb1f2144caa8386e334d438715ddfc45","datavalue":{"value":"two successor functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764124$73BAF596-22B0-4646-A341-6A6949DE654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278231b00986d461204829ddbef32a972791c8a8","datavalue":{"value":"second order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764124$EB1AED23-965D-475F-9F28-1D37972737FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8748ad29f3b6061aff5890cdbe6619c8686d99d","datavalue":{"value":"definability of n-ary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764124$C860E8F4-D7EB-4FD5-8AF5-0F2323C0BDED","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":"Q3764124$226D2CE0-A437-47D0-9237-CA48844FA68C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db5900d19152d68a1af001c870cb84471e8afb5e","datavalue":{"value":"https://doi.org/10.2307/2273878","type":"string"},"datatype":"url"},"type":"statement","id":"Q3764124$885F42DE-1099-48D5-A196-A2CB00E3BB6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c27594e1c3740ca8dd9cc595649e161717eb266","datavalue":{"value":"W2061100541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764124$49963150-F726-41A7-B6FF-8FB0B98725E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2c1841f2e844a6aa0a0e0676b13dd83b0b34c8","datavalue":{"value":{"entity-type":"item","numeric-id":3869336,"id":"Q3869336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$EADA1F69-D98B-45AE-814B-EFA2EB986310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$85201639-08AF-4D96-A5A3-63AC8ED96991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$3A9B0B45-AFB0-4082-A221-DB414A7EBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a2cb9424d35028b0282f861b8ff5cdccc75079","datavalue":{"value":{"entity-type":"item","numeric-id":3877655,"id":"Q3877655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$FC6EDBF3-ADB1-486C-A35C-D0ABD07DC80E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764124$DC739F6A-9459-445B-B346-3D185CC196A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3872718480c33feef9cb471cc19a8487acc9f04","datavalue":{"value":{"entity-type":"item","numeric-id":4941910,"id":"Q4941910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369013f0f22d73b745238b709c1e16b79f337043","datavalue":{"value":{"amount":"+0.8178926110267639","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":"Q3764124$F09627F8-5EDA-4241-ADA0-19A3DF5267AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149d90017813494af3d1634ff54c1c7b68979182","datavalue":{"value":{"entity-type":"item","numeric-id":3787992,"id":"Q3787992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369013f0f22d73b745238b709c1e16b79f337043","datavalue":{"value":{"amount":"+0.8178926110267639","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":"Q3764124$E4B75578-AEE1-4DEB-A59F-F783A07BCD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846e04194f368a896bd4b652d2436431e165c44","datavalue":{"value":{"entity-type":"item","numeric-id":1847374,"id":"Q1847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2860bcbcf4e41ce055403c05ce813ec94e30bf4c","datavalue":{"value":{"amount":"+0.7954191565513611","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":"Q3764124$625481E9-5FAA-4BE7-98B1-D5850378A191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea7bcbc4d377dea91703b5637d9b120b5655f67","datavalue":{"value":{"entity-type":"item","numeric-id":3356287,"id":"Q3356287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fe6ac123081de0151c497efd7558143e09126b","datavalue":{"value":{"amount":"+0.7937912344932556","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":"Q3764124$359B051E-7CE6-43CB-B4D1-2E3A169267E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02359dd02b01a399e99c714b80ebe744eb86eebe","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6960e93e487d94ad55976cb8d4c49c40e3aeb1","datavalue":{"value":{"amount":"+0.7906964421272278","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":"Q3764124$480EBEB1-267B-4AED-B44C-65B1E60671EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3764124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3764124"}}}}}