{"entities":{"Q837190":{"pageid":839038,"ns":120,"title":"Item:Q837190","lastrevid":64745838,"modified":"2026-04-11T21:56:58Z","type":"item","id":"Q837190","labels":{"en":{"language":"en","value":"Existential MSO over two successors is strictly weaker than over linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5602755"}},"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":"Q837190$34DCE0C3-1D4E-4786-BACA-98AFACDDC405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84ccff51e386c95dfd60c578505ec0d6243d3761","datavalue":{"value":{"text":"Existential MSO over two successors is strictly weaker than over linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q837190$5876E767-A7E8-4B3B-BAB9-7E607EA07F56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74d59b13ccea6c0cbbbb7e9308693926e274a2c0","datavalue":{"value":"1171.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$3458FF32-AC97-49E4-B994-9BCAA75DCC9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5560294eb65d68fadf2feb96d4daeff190990","datavalue":{"value":{"entity-type":"item","numeric-id":837189,"id":"Q837189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$F43AC441-DB70-4CF9-A502-46BC5F6B3238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$D7EDC002-6A13-477A-A8B2-4EAA40E593AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b166ae75e722a83b8bddd2a19323f18c1176021","datavalue":{"value":{"time":"+2009-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q837190$E0808F49-8B42-4470-8061-20614C99658B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$EADB589B-8EA1-4B2B-9CBA-D5AC8DEBD945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$5CDA49D7-C6C4-45BC-B8F1-883EEC3CBE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$868F715B-50CA-423C-8FFF-2291CD40F4E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d268b95fca0f09c53a46b2ba8d6ac0135ded84e","datavalue":{"value":"5602755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$DE812897-ED1A-4CF4-B75B-363E283A4FD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6126605359c39008e33dc69a7938db4ea7e388a6","datavalue":{"value":"existential monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q837190$62C4118D-A1FE-49EC-A69F-E30C854853BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q837190$1953608B-FE34-4284-B193-3DB5E36D3FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"991ffa7cea93bfea6fbafb787b7f8bee0215878a","datavalue":{"value":"Ajtai-Fagin game","type":"string"},"datatype":"string"},"type":"statement","id":"Q837190$AC46B94E-9ABA-4C53-8917-1C62151372AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70ea25e0d8a6166ff602662374a0e14c6aebcb6","datavalue":{"value":"texts","type":"string"},"datatype":"string"},"type":"statement","id":"Q837190$DC83F438-88EF-4571-A7B1-6A52A1E4043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95478e968af3a1cc0e9c6b993f02f816312bf82","datavalue":{"value":"successor structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q837190$16F949E1-DB65-491E-8330-A163A2AFF88F","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":"Q837190$F3BAEF61-F30A-44B7-A740-58284C8DBE33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e81c39915c1ec3dd77e6818d932856dc3a8e272","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.04.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q837190$B4423590-FC73-4957-98A1-1505C4161DFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceacb48288487a8fd708898e39bf02b0605669e3","datavalue":{"value":"W2141383569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$47EF9782-0518-4766-9A25-C93A698CD0AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$B9FB4E9A-A311-4903-85FA-BA718FBE00F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$463FBE4D-D4BC-4F41-89BE-8D00064FBF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$859CCC12-E55C-4047-94CD-3F6B71A89D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd97af3ae5662dd88ebdd727ace8bc7b0124b9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4492680,"id":"Q4492680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$BB861A34-AADE-401D-A18F-ED1EC5227CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$17C84359-50DB-4F6C-962D-E0B04417441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e052e1c6d6452145e27f005330619cf89baa14c1","datavalue":{"value":{"entity-type":"item","numeric-id":4654639,"id":"Q4654639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$74E297C3-F009-4AB1-AF6B-F176269FB5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336f2275d018fd4c1f2e835dff5ad098beff6c7f","datavalue":{"value":{"entity-type":"item","numeric-id":913822,"id":"Q913822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$1AE0A2DF-212C-450F-B6E2-1D198BDDCE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36ba454d2b0db5eb8831b83875d2ba59243d246","datavalue":{"value":{"entity-type":"item","numeric-id":685376,"id":"Q685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$E6C4C38D-0E70-443C-9591-698759A2047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae240c506fc7d3d243c4414233ca66fa695f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":1323383,"id":"Q1323383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$9C17924D-AF76-4283-9C0E-07EAB85ACE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$AE087AA8-F4A0-40C2-A422-AA8DF5E7B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41860ad1fbab1a6b02b28955021f95c13ecfb850","datavalue":{"value":{"entity-type":"item","numeric-id":4353557,"id":"Q4353557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$567A5D53-AE3B-4366-B13D-21AFA30CB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$886977E2-1C28-4A05-9901-C68B690A76FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$62F7E566-EA48-4447-A36B-8697EF637DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d60d957c8f454098cc4dc5a7ad3a6a1a63a741e","datavalue":{"value":{"entity-type":"item","numeric-id":4874660,"id":"Q4874660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$F7BA1008-0926-4098-9D45-45C660970970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2611eebd7b38014dacc318e7dcf7143f1b9cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":1361884,"id":"Q1361884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$8210939B-5550-4D80-87EE-905FA62AA948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802fa16dd849b709f8453e66818db125cb4f0db7","datavalue":{"value":{"entity-type":"item","numeric-id":5428243,"id":"Q5428243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$09737432-857E-4E33-9404-88824C6FE912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a0021bb8eb537cd0811e93c7490e7e9ba98e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3683903,"id":"Q3683903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$13EBB204-6572-44AA-A252-BAF55FAA6051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e9815fac0d68e12739ba69d2d4e83721370536","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$E9682590-6EA2-4CF8-A957-3F51759DD04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$A31F7252-32F8-4F1B-A6C5-588C28FACB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$FFEC97F2-1027-415F-A0C0-588C3210CE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452cbeebbcb523130e42ab08d1693abf380edfde","datavalue":{"value":{"entity-type":"item","numeric-id":4036584,"id":"Q4036584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837190$10E081B9-ADC8-4A62-8BB2-7731677D17EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e711903cda5b97cd37743252749eba37db6cf7f7","datavalue":{"value":"10.1016/J.TCS.2009.04.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837190$4C5F5256-97FB-4D44-B901-D7B375C68419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9b81cf1901c48d711554662ba0c0cd454599a1","datavalue":{"value":{"entity-type":"item","numeric-id":4406309,"id":"Q4406309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966b19abd176cea9d587f657f18572e0eb6cab93","datavalue":{"value":{"amount":"+0.786383330821991","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":"Q837190$A4A76359-109A-434C-94AF-A6F11C3A396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d486ba7d8fd01682853904d1dd16458433c8ebce","datavalue":{"value":{"entity-type":"item","numeric-id":4474837,"id":"Q4474837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e974daf2b8589b22e35ad7538c8f6c6a46c18d","datavalue":{"value":{"amount":"+0.7609933018684387","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":"Q837190$5CA228DC-3C90-4278-997B-F885CECFCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd05fcdb175dde87fa9df4c7979d04676a6bf2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5096900,"id":"Q5096900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e082d45b384aa7f1079b46ded2d7bb5920f96652","datavalue":{"value":{"amount":"+0.7377182841300964","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":"Q837190$F2829412-C90E-4990-A1BE-7AE4EEE3684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7383aa5f586520805ab77ff48f023e1c7387aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4910729,"id":"Q4910729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327c7d67dcdb82fd64765bc2c08a4065253cd95e","datavalue":{"value":{"amount":"+0.732132613658905","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":"Q837190$A9556C43-3AFE-4620-86E2-36932719FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35136f72dd157094e5bf76d67792c6234e36b43a","datavalue":{"value":{"entity-type":"item","numeric-id":4608629,"id":"Q4608629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acc5acf88cbdc4a08ce00f225b971c5922c37db","datavalue":{"value":{"amount":"+0.7262846827507019","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":"Q837190$7D81D2DA-6DE2-460B-96FD-7B94369BB3CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential MSO over two successors is strictly weaker than over linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_MSO_over_two_successors_is_strictly_weaker_than_over_linear_orders"}}}}}