{"entities":{"Q3586006":{"pageid":5615910,"ns":120,"title":"Item:Q3586006","lastrevid":90339107,"modified":"2026-06-04T19:55:17Z","type":"item","id":"Q3586006","labels":{"en":{"language":"en","value":"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779209"}},"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":"Q3586006$DE6CECA6-FDAE-4396-ACA6-66FA59139CED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07dc17f88014aff9527a53968b3ead7b6e00e7cd","datavalue":{"value":{"text":"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586006$7AAF4FAC-D261-4BAB-AA3B-46AB784639A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"583cf972d12defd1c580d580316ac59548202128","datavalue":{"value":"1287.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$31F9F5B1-0CF9-4719-AC32-4D82F2EFF6B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1928351da8c03d4431c30c1f5d379305372a90d2","datavalue":{"value":"10.1007/978-3-642-15025-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$465DBDB1-8186-4D7C-9C78-BA16288A9E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$A358C042-E7A3-443B-9628-0F56E288A6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$C2F4D7C1-16E8-47DD-833F-A7EC306621AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$4EA4D228-F360-4C76-BDB4-5932BF0DF315","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$9C63B177-4E0A-47F5-B58A-7E071F4781B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586006$4990A892-D28D-4E99-9078-66030553E8FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$F4730A15-3485-488C-B8A8-3D98A563F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$2632D135-ADB3-495C-A88E-4B1401975DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$A4E6AED2-1D19-4894-BBE0-014D41B92D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$A9D6A27A-2639-43A3-BD0E-1B877B55246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$EAD298B7-639A-4DE8-9B91-A238363A3825","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c480a561626977f4396296d60a2a981257d77d8d","datavalue":{"value":"5779209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$02C6CCFD-D287-41BB-A2E0-4A39A26446BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$CE3CBBE3-4DC7-43B5-96E8-2AE9E379C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb6aa2fca823cabc305bb780773b7668a9cf8fd","datavalue":{"value":"Gurevich's classifiability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$50698558-9D65-4CED-B990-3E72C51027BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$41D8F59E-FD90-4F62-BC8D-71590C5DBF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$4FAB1D5D-7160-4C98-9D3C-23AB7DABC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$DB8B4499-5D97-44CF-9091-F84BE8B2ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$7A88B28B-8E72-4571-A455-A3D498765FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586006$FA914AE5-F9B9-47EF-AF70-0914D14C850D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89907154c6f429338f152f65070fb23be8cda80d","datavalue":{"value":"Q59259582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$C03FF82A-3595-4013-8B13-EA56538A9711","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$1424ACC4-1632-4607-855C-0AD7EAB5BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$236446D6-A669-42F6-8040-5AD0F874B55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0030e146758a8258971b2e3af8b4eb237697050","datavalue":{"value":{"entity-type":"item","numeric-id":31919,"id":"Q31919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$E68E9CC1-DD52-4B6C-8802-ADFFF8F14AEF","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":"Q3586006$18C937D1-D378-4234-BFE3-A09B16949C92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21db3a5b87c98c55cf7e69e6eae5c92c84276ca0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586006$EFEE7B53-6545-4452-92B7-A2AB07DA6C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12a21d57d92477121e984a55a5a5e240d90c337e","datavalue":{"value":"W1570464944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586006$B4AE087A-A6F7-48A8-8353-EA5BE034E7DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df816b33fac97ec53d1e3d54a2c170724d4fb5b1","datavalue":{"value":{"entity-type":"item","numeric-id":5309712,"id":"Q5309712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$54D5169E-A9BA-4208-9EA6-24B56BA6193A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8ad5f8c74e27bb2448b1c1609e7d70e2639358","datavalue":{"value":{"entity-type":"item","numeric-id":4799290,"id":"Q4799290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$E32CFF90-84DE-4FDF-87DF-33B87794C9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$67299249-9FB0-487A-B38C-DAADA143229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$2C317901-7FB2-4712-AB4B-31CAC3533ABB","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":"Q3586006$35C6C2DE-F428-4B6C-A64B-2BF46EB1A53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$C731203E-4686-4740-A97E-81388802517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$1C1621E1-A7C3-40CA-B2BA-04BFBBBA5FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$3E75EB4D-3861-493D-B91A-0591FCA1F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0c9fb5fa626e4d501dd510bcd2f95ebbda7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1919763,"id":"Q1919763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$BB41F17C-F60E-46A8-AD34-DC26243EE9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b1d92151fb8aeafb786d6d64f74def8c9fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4406309,"id":"Q4406309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$15A0EB36-006F-4E64-8834-FEC3D2B50762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b3f8e091cf1794854e9b4d5f6cfb7fe3535612","datavalue":{"value":{"entity-type":"item","numeric-id":4737894,"id":"Q4737894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$3EB5CD56-1920-49EF-BB59-05D4E6AFAA5C","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":"Q3586006$1945EF74-44EB-41BE-8BA0-D859869CFF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$30ED9543-066B-4DBA-BAE7-E6124DC50B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e1a5761344429a3949758bd8a91810c4d77deb","datavalue":{"value":{"entity-type":"item","numeric-id":5307062,"id":"Q5307062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$00D29649-03FF-4FBF-BE73-83B302C5B0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036ca08b863c23ddf593865e2452a13cdb978a9","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$4164FB69-E6BC-4452-BC6B-E4BAC2A70E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03bdde2160e97b05b3878523710001cdac260e8","datavalue":{"value":{"entity-type":"item","numeric-id":5501192,"id":"Q5501192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$BECBEE8F-C09E-4C1C-A6BF-6534E705D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b47c7f228d90ddff16e23ed7fd314b85751dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2946620,"id":"Q2946620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$9CFDF144-2853-4CC3-9D58-F40F28775210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f41154bbd2d88bca7e09d5d12308024b53be4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3699679,"id":"Q3699679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$DC151292-3080-4D7C-85FB-1792CC445A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$1B102BBC-6865-4ECF-ADD3-5C27F3978FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da6ee2be15f73ef668a4a8e7b3e5fc2d871df2b","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$6A886B7B-368A-43AC-816B-FD6EE3F6C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80376f7cc809f5fabbe66e9681f7bc7df01d5677","datavalue":{"value":{"entity-type":"item","numeric-id":1430213,"id":"Q1430213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$4814B1BB-CFF0-4776-86C5-27350EC0205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3ab20cc0356eca70d973d2fafb83c885f14abf","datavalue":{"value":{"entity-type":"item","numeric-id":4474840,"id":"Q4474840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$D9DE3C03-13D5-4BE6-861C-71321CAFDE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ff9c0bc839db785d823b1defade22b16954cd","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$2D4EC967-148A-4470-9783-7311858D3E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d6a3380ce85df6d8bde910a70075841d037ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1198956,"id":"Q1198956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$A7FB7514-624D-49E4-9AC8-864E447491EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$1114D0AD-A2D1-4CA8-BAA1-5165D5B978AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821a0533f3197970993412f59328a8ec61b2d38c","datavalue":{"value":{"entity-type":"item","numeric-id":1607226,"id":"Q1607226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$E1127447-8648-46AE-BF4E-E9F63413D715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c95efbea759d73264522e170c2c2027f6c1efd0","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$9C890AD9-96F5-4B61-AFD8-D16452377CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$F8F66F5B-82A7-4F59-86B3-D0B6A2C919E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca604e3778a15f0e13f316dbb09c68d2fbcee30","datavalue":{"value":{"entity-type":"item","numeric-id":4318987,"id":"Q4318987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$56695DFF-C31E-4E64-BA1F-87298A898F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae87928413c1bf059be59ecda97860ccb741a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1817074,"id":"Q1817074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$613C1E9F-3338-48B9-ACC2-63FDE8A20446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$2A91573B-6A01-43A3-AED0-57D709F9F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$60CF79BD-4B2E-44E4-A67B-E972F7578DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$E41BE456-81BF-4874-9D14-9294C65AD931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$A9929BBC-870E-44B0-9142-9370D1454796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$EA42F366-C7E1-41EB-AF10-3FACA95CF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea99545d688c2cf5ee66cf79d9217d7659688c3","datavalue":{"value":{"entity-type":"item","numeric-id":3812269,"id":"Q3812269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586006$3066464A-ABA6-4A24-8651-0A32F3FE80A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08576fbce313a10bbe0679c2f6562288ffe9317","datavalue":{"value":{"entity-type":"item","numeric-id":2762493,"id":"Q2762493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaed8870b202d98ae75a9541befff1c248d761ee","datavalue":{"value":{"amount":"+0.8869372","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":"Q3586006$1EA0AD0C-72B6-41DD-B8A8-DE9C6E03E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a1ad90f45d7cc1d448bede72a7c30e1cf83d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f39581b00f2e9f99337da7e89c230ed9719d1f","datavalue":{"value":{"amount":"+0.87793255","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":"Q3586006$48660195-A0A4-4C18-9997-5B43F5BF0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2901b80a3861a943f3a33853d277185d4bf0b18f","datavalue":{"value":{"entity-type":"item","numeric-id":2986804,"id":"Q2986804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d961346f0543f7c0ae700b8710e6f536d2a5cd","datavalue":{"value":{"amount":"+0.8763257","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":"Q3586006$0D32CC2C-045D-4DF0-ACB0-73EB040809E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed60f6ba4229f9fb40a141ea20b6854f3db1a6a4","datavalue":{"value":{"amount":"+0.8756207","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":"Q3586006$6986AB90-A966-4ABE-889D-DBA4420A007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788c0400f1636d2f27cebd14a226815e57c85252","datavalue":{"value":{"amount":"+0.87531805","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":"Q3586006$AE2581EE-A8B3-42CB-B8FA-8DCFD545503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd213817bda1a6b560b486f4a6af1356b2a151f","datavalue":{"value":{"amount":"+0.874312","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":"Q3586006$438196DF-60EC-4C68-BB54-6AA523F8A05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead95edf747b58382409dd61d9885823af2f4dbf","datavalue":{"value":{"entity-type":"item","numeric-id":415286,"id":"Q415286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96ad89e399c6fc3a4779274df0db486283f9c4c","datavalue":{"value":{"amount":"+0.86684614","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":"Q3586006$4B02C2ED-26C0-44CE-B69B-85E5575F6DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1b20dba2def1ffbc351f1c3bec44998a97713","datavalue":{"value":{"entity-type":"item","numeric-id":633088,"id":"Q633088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef77654f3e8cd4bc7f727514db65cc3fd79c05a","datavalue":{"value":{"amount":"+0.86654633","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":"Q3586006$7DEBB674-510C-4E5B-A863-A3369019E105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey","badges":[]}}}}}