{"entities":{"Q4593089":{"pageid":6622674,"ns":120,"title":"Item:Q4593089","lastrevid":82249256,"modified":"2026-05-06T20:27:19Z","type":"item","id":"Q4593089","labels":{"en":{"language":"en","value":"\u03b1Check: A mechanized metatheory model checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804633"}},"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":"Q4593089$2ECF94DF-5302-4047-8586-C8C1BE409626","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b6737fa075323837d7e1875abeef640c306499c","datavalue":{"value":{"text":"\u03b1Check: A mechanized metatheory model checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593089$D7D3E431-4742-4DEC-8D1D-CAEE025ABBBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a23e31f2a6b8f5bb6b3cad1431db954711eb498","datavalue":{"value":"1379.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$D6A6342D-EE52-4A50-B9E1-DE6B111AE8EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad61499d342f770c17befa4360a6b740b414082c","datavalue":{"value":"10.1017/S1471068417000035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$6DF7BA20-9846-4E73-9B3B-87AADA44DC59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$CE08DE54-A1AD-4998-B447-4F9F7A0BEED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$028899CD-9C13-43E7-A24E-631AE89EBB31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$1E695D93-6BB4-41B4-94FE-A92DA3B08B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593089$BF619151-E552-4901-92EF-F6C70FA1EC55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93f81922a6ce3357f19e495cf482a83398c4e0a5","datavalue":{"value":"https://arxiv.org/abs/1704.00617","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593089$F9722786-C4F1-4EC8-AC71-9E9EC366253A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$0736AE9A-E9FD-49AA-876F-211901E6480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$B2DBEDE6-988F-4183-AF52-90D2CE260314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$47457A43-B322-40C4-8D48-66DC76A409AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf84b0cf3429ecd3007332cb08e40754608191f9","datavalue":{"value":"6804633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593089$184E63CB-6548-4389-92A5-64FE4CA77106","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593089$790FA86D-73F2-4A1E-8EF9-192786C00F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593089$7535D986-D0F0-474F-8F1D-6660867FE8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d9e093070395c2b35877c29a790a29dd38ec2d","datavalue":{"value":"counterexample search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593089$95668803-9A07-42C4-B5B2-C1ACC39DF70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506d769fe3d4d457c5fac111ff11e0572ca50f70","datavalue":{"value":"negation elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593089$5A43F2E8-AB6C-41FF-8D43-ABAEBDE8A177","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$BC1A210C-8E7B-466F-8FBD-6FDB3BEE70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$8CB93286-8168-4FEB-9909-20C6D6C31D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$F8672B39-FA10-4D83-A183-C28AB2FA076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c2d21782b32bfa00e2aad959e98ebada6c3787","datavalue":{"value":{"entity-type":"item","numeric-id":26112,"id":"Q26112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$D0481622-E25B-4060-9990-8CC4F9C0EAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$D09E0A06-9585-4A85-8920-01BF24865C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0996c451b14a06853df9996b5aeda4f0ca33756","datavalue":{"value":{"entity-type":"item","numeric-id":21900,"id":"Q21900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$7DF4D48B-B70B-483A-8B16-1A5D001918BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$65B6DE55-FB8A-4E19-86C4-FAFC5A670592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$6D1F3A26-0972-4184-8B85-6D9E6F9EE43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$2E8CD818-6D75-4523-933D-60CEA043B1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$308196E1-C187-4EE1-A80B-FDFB98AFA9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$7F2818EF-F417-4179-A5BB-6EE4C5DBACD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$CAE97AAB-B95B-468E-BBB6-7C572CF88D0D","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":"Q4593089$E445F06F-8500-4666-9634-E22FCFE65136","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cb28b6ba8bdc7d41f64398243cee28f99076f6","datavalue":{"value":{"entity-type":"item","numeric-id":2451829,"id":"Q2451829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$E86FA55E-2311-422A-A996-9A5A15B56154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$35A05F44-40E5-44B6-B25F-556DC845C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cecf39dbce940c58e40445d47d899d6f66b714","datavalue":{"value":{"entity-type":"item","numeric-id":5369476,"id":"Q5369476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$BC26D902-8F5A-47C6-85D3-9F72221C9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$D5C1362B-7FD4-42C9-B637-FD47D60EB5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$61655DAB-67B7-4FF1-8F03-17C0DCA342F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$F04718CE-0FA6-4224-8842-954AAFD165EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$57FA1384-F7CA-4230-A06F-570F09FD00E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd36074c392243e287c4c41aeb16f40c44dc2fcb","datavalue":{"value":{"entity-type":"item","numeric-id":4954441,"id":"Q4954441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$EB18D26A-219B-48F5-A07F-2CEC497106A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$C95685A6-1882-4CD3-94FD-C91917200DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdea7f2380833e0f3d3fb448c02c9b83e681722","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$99646F8B-14D1-4ADC-A0E8-4D12926646A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5676b55ec708f7e32bd0e83c7cea03b63cbabf8","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$82528483-838C-4EFB-AD79-5A8331D62443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e024e43b5522fbebf813f4ccd0044d40737b537a","datavalue":{"value":{"entity-type":"item","numeric-id":2936781,"id":"Q2936781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$3DB4D967-35D9-4038-A4B4-334DFF107C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5d9fd92c048548663706afb0501fe422e367e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477637,"id":"Q5477637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$DBDC0A83-839B-427A-B576-FB454C0214FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242d0bcefc8537fabd0f6215bfcd685ef643b539","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$C6BA6246-92F2-4BF4-BFC1-0DD338276636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2ff906a513727d4eb715d0fcb783ab23e056b9","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$FFC854A1-B49C-4F2B-AA6D-F9D829FE437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508445245117b76d4143f574f14f7e8f72f18fc4","datavalue":{"value":{"entity-type":"item","numeric-id":298994,"id":"Q298994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$E83A3D5E-58E6-4383-BDAD-AFDE96F9A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$1E86866A-78D5-4946-A4B8-F870FB0EB66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c40b45145381f8eb5922725b0ae3c91669375cf","datavalue":{"value":{"entity-type":"item","numeric-id":2372191,"id":"Q2372191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$67039797-D942-4F1B-8AFC-9C5A63B08DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$5A43FC99-90F9-40C5-85C1-9566CAC56F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$D0544EA3-32D6-48DE-AEE4-7F797F153E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$4469DC3B-9752-4D90-844E-68D8EF37BB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287df1ea431675163738285b883b42a2e03d7746","datavalue":{"value":{"entity-type":"item","numeric-id":853745,"id":"Q853745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$6F9C9ECF-BD01-43A6-8170-911C60F9AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67768604a4726b8d613643c7e82d83a8b6eca3","datavalue":{"value":{"entity-type":"item","numeric-id":4272507,"id":"Q4272507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$F8DF4D29-80C6-428A-B9EF-6051A66800FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$736C6965-4F26-47F0-AA9B-BA6572014C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f3a468e9328628410ad976d6cae50c5590f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5088085,"id":"Q5088085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$DB35C288-89C6-454F-9055-1180DE33F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1330af7b5e629d1fbe63da4ba4f5238f6f02266f","datavalue":{"value":{"entity-type":"item","numeric-id":3617690,"id":"Q3617690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$3F9FA352-E508-4365-A958-3A50797BF5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$E06CA2CA-B943-4DEE-96AD-9314A50EFF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd58b44b465ac87cbfe56d155513913ba5ac7605","datavalue":{"value":{"entity-type":"item","numeric-id":4452636,"id":"Q4452636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$A9D9B58A-8D58-42AB-80F3-F573FE091F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9a9c0b836dd52deb4af6247573462295b48a90","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$4E53F453-B5EE-460C-8E2F-2ED2BA11E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad1227fa023993d276fb94370681df53e700120","datavalue":{"value":{"entity-type":"item","numeric-id":2936800,"id":"Q2936800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$F590C57E-0DF7-4728-9EAF-90C2C6B9208C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$B6457FD0-FACC-4A81-BD88-5FB216CC3064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693ee42653a3b11e8160602b1f85eb4bc2fd3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2753689,"id":"Q2753689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$587E871C-214F-462F-B2EA-8D98AEA35D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d6ea3aa76260140225736dbaba84c0d0810f7","datavalue":{"value":{"entity-type":"item","numeric-id":5267440,"id":"Q5267440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$FD4DB3DD-1B16-4A7C-ADD6-2E07878C21B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b292e65f0205d2ef8ea75d2c771291e9ad1818","datavalue":{"value":{"entity-type":"item","numeric-id":5308011,"id":"Q5308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$4E0B17A3-6139-43CA-84E7-3D7DC1FBA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ac46286c7033dcb5803b1ad27f063d4d63e9f3","datavalue":{"value":{"entity-type":"item","numeric-id":4259962,"id":"Q4259962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$E703AC2C-6866-4CCF-B594-EA519E57E860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4b25e6383a18ae75d6ba09fe70e07123686d41","datavalue":{"value":{"entity-type":"item","numeric-id":3533116,"id":"Q3533116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$CE86E3E4-E182-49AA-B6DA-A737D54E2498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$76467935-04BE-4AD3-BBED-C63CD3A0F588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701be82a30486b7ebafbaaa8a5ae4564b64a8404","datavalue":{"value":{"entity-type":"item","numeric-id":2945645,"id":"Q2945645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$6B3FD816-237D-4708-BB36-3549A2132F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441ab522372dbc56337549e9359e4e2646de59a9","datavalue":{"value":{"entity-type":"item","numeric-id":850496,"id":"Q850496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$E7323380-F1F6-45C5-B4D8-980DBB40327F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$7B72BA18-34B0-45F0-8C43-F734A5A438ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509562d7fc2763f459538f26ff91c9605252e482","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$9154B756-0E53-43F9-9F55-7C169B157A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$530BCBE4-9371-474A-9D40-DBA00776424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec96b029e482e10db536be7b33a5e610511f3b1","datavalue":{"value":{"entity-type":"item","numeric-id":2754127,"id":"Q2754127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$8683F692-89D7-40A0-9B70-719C43CC8F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$33433DE9-B32C-409E-9B5D-BD60BE8D028C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f5bc4fa26fc2fd789ae9dacfefd6ae0c0e79a2","datavalue":{"value":{"entity-type":"item","numeric-id":2871857,"id":"Q2871857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$21D5918F-F9A1-43E7-A9B2-67E8DEFF67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8995610696de6f75b854cd93b7ba9a971f10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3183521,"id":"Q3183521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$B243FBB8-DEC3-4EDF-8E91-314B89ECB147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a37d46eed0861d3cef1d05ad4dceb687abd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$F4F02AD9-40E7-46C0-A902-5677A3CA80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7913480d86f9fd8801a27bed001e38d91d767","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$C6144ED9-5000-4974-B0B6-871D833521E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$982A0940-93EB-45F2-ADCC-631E8EC0A846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$B14E8AD4-1F6F-4D65-A7D9-6C0FB73930BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$95F57F03-656F-4480-BDB2-80CBE49F0D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$B9C02E17-261B-433A-80ED-B8357E4418EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c1a42147dcc667a79743d1dbd6810d7251c512","datavalue":{"value":{"entity-type":"item","numeric-id":5501457,"id":"Q5501457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$008FC1DD-FE49-4072-AA3E-B02665270739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e05d299fa7f6a8c75ff2783cf006e569807898","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$DA8A58F5-EBDE-4015-BCCA-3708D0D0029A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593089$4E46CCC7-D85B-4C15-B759-7E0245F1C87B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8aba500f89cbf727442fbde664c82a20d58a91","datavalue":{"value":{"entity-type":"item","numeric-id":2108191,"id":"Q2108191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007d7572d97ace00c768814bec7b839d6f2d80c9","datavalue":{"value":{"amount":"+0.87401503","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":"Q4593089$9AFEAD1B-8675-41E7-ACF2-97B5643C882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e391a83ea6df087f5fe798e62f3a4d2ec47818","datavalue":{"value":{"amount":"+0.87270427","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":"Q4593089$A5F20018-0931-4ACF-AAB4-E96137F6EF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5374a685b3ad64a9cc08b51af3ff70626b89f79","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad576c21ba7bd36f9a3919281e6cd0f496085b00","datavalue":{"value":{"amount":"+0.86876374","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":"Q4593089$E6E63101-BF94-48AD-BE3B-84D12D551274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9011ec651169a0ed28bfa4d7d4d8fcc71ed5fa7","datavalue":{"value":{"amount":"+0.86690944","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":"Q4593089$858DB8CA-9255-4855-B015-1D18CA16A6F1","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":"929ebcf0af6bdce4fd6d942f308b4455b34419f6","datavalue":{"value":{"amount":"+0.86105716","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":"Q4593089$0F0D7EE1-394F-4E05-AFF9-77EB7CFCBFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6813a937de341aff474780cc4b262bda68aa4efa","datavalue":{"value":{"amount":"+0.8607121","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":"Q4593089$B7FFFEFC-341D-42A6-A490-F45B94527236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d04a7f8764e61a8096147cce06cbc1b6ce138e3","datavalue":{"value":{"entity-type":"item","numeric-id":3305555,"id":"Q3305555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52af5980277a1b9ec62a8a24181e0102924ed33d","datavalue":{"value":{"amount":"+0.86030275","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":"Q4593089$EE785993-B577-40AE-BD1D-CB8DF34B8C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5320d10f1d2fb87e8b27dd3ac24de72f8000f9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4806210,"id":"Q4806210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8742a328f9b8c179fb8fe08dd17e29cae84f62","datavalue":{"value":{"amount":"+0.8590781","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":"Q4593089$C1F70F51-1A33-463C-A384-6C694C1E7F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2354685b260f18674ebd054e43dc88ce09d927c7","datavalue":{"value":{"entity-type":"item","numeric-id":2055847,"id":"Q2055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f33ce51e6a4ab74dafcbd08e202c0ef24f15f42","datavalue":{"value":{"amount":"+0.85879374","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":"Q4593089$C85382F8-C1C5-4A85-A2BE-3B61F437119F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u0391Check: A mechanized metatheory model checker","badges":[]}}}}}