{"entities":{"Q5278191":{"pageid":7307766,"ns":120,"title":"Item:Q5278191","lastrevid":52852097,"modified":"2026-01-23T15:46:17Z","type":"item","id":"Q5278191","labels":{"en":{"language":"en","value":"Two-variable logic with counting and trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744576"}},"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":"Q5278191$1060F6D6-A52E-40AF-ADA1-5582440DDB18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34fd93839001a8fde1a59cfb00a8facbc4237ea3","datavalue":{"value":{"text":"Two-Variable Logic with Counting and Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5278191$E3070710-BDA9-496D-8FC3-E8AAD0D1EB48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8146253fb41e38378515ccf3de5034a44a67e58","datavalue":{"value":"1367.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$3B0D03B3-A200-4FB4-8DC3-B98F798BC024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a1394db6424ff56a1cd5024a3f50b72e40dc379","datavalue":{"value":"10.1145/2983622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$530EF1C7-2FB3-4A63-9E72-1AAD994ED671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$F5B58018-0F94-46EE-8D5B-80C659BC9014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d18650a5e9899bc95ab6c4da94e429f6e171687f","datavalue":{"value":{"entity-type":"item","numeric-id":734667,"id":"Q734667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$BF41EE30-44E8-4471-8E58-925C6613D8EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$1028FCF8-033A-47D7-BC57-D8BBEE0B9DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278191$7BBE0B82-0AAC-4C14-814A-D8B3F3BB7947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$043E580A-272F-48F3-ACA9-1431D6A3617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$6EED60A7-5145-483B-BC69-6AEC865C1C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b95c5518d37eee2a120e4a52b9cce18ce8b11e","datavalue":{"value":"6744576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$F8DB37DF-27F6-4AB0-8524-14286B8ACDCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6edf921a50e472e89c4cd28e9226fe7c1973848","datavalue":{"value":"counting quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278191$F5A1B6FA-94BD-41E2-ADFD-AA0C91BB3122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278191$B1B30164-BBAF-4C89-AA7F-FC8E364B8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278191$785341EE-101F-4BD1-944E-49A64D24F3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278191$D8AAF07B-61FC-4F39-AF98-0D0853614FF8","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":"Q5278191$9516EF0F-151E-4E8B-87D6-D77979BCC7BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6832d5e586d03676d304e91339f6d3f0523c797","datavalue":{"value":"https://doi.org/10.1145/2983622","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278191$7E825818-FB75-4A7B-9869-F0308C61FBD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f958daa878328830f0490cc4a8999d43682430","datavalue":{"value":"W2549023517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$F3B4009E-8929-44FF-AE63-694458149DCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a2204457daa561b2ce0206111234eafb7e3fac","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$18ED48EA-1FD6-42C9-B0B7-6FC52D5A22AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$29075A52-EDD6-4CA7-B7BB-7ED274AE3D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20fd17f68723f9ce0cd78e7cc50feb0ba05a8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5394591,"id":"Q5394591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$40AB8F0D-B7A0-43D2-97DD-3E49DC558496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1e2f99fd0c690446a31b9894fa990104a61e95","datavalue":{"value":{"entity-type":"item","numeric-id":4933305,"id":"Q4933305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$7D711205-68EB-4A74-B991-4836B3422736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f908550a46ad5c511e1f5757d4dbf2c397a011","datavalue":{"value":{"entity-type":"item","numeric-id":5271042,"id":"Q5271042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$00AA1708-99B6-4223-BA4F-0A395AF6D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a0c20658d52692a35b482a0d99019a4c8cb225","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$E7D06CDB-26B3-4470-9412-095E709C9D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$CB79EAE3-B1D1-45E1-ABED-6B340E3F8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$BCE947D1-6561-4079-909E-92EDEF4B1A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$56816785-1CEE-4558-8308-3FF5DD0A7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e3ced44ff451dfddf89795b2c3f2552eaeb120","datavalue":{"value":{"entity-type":"item","numeric-id":3498475,"id":"Q3498475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$06EFFBBA-452A-4348-96F5-AB9D4C0B744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb881882f19643cb97959bf0b0bbe15e34558de4","datavalue":{"value":{"entity-type":"item","numeric-id":4649561,"id":"Q4649561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$C1AE6438-F0A7-42C9-8C8D-62BBEBD1350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1f7e04ff9fdd6909616f01cd17235f45c786","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$5FAF1C72-C07F-4F73-B4D5-E2DE5CF89EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$AE510E06-AABC-4DA3-9A06-81DD64E455A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a2f7b800efae48f4474af8c37295759cafcc28","datavalue":{"value":{"entity-type":"item","numeric-id":3586109,"id":"Q3586109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$1C5B26B7-B256-41ED-AEE2-30336A06CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$0B8AB708-5FDA-495A-8502-188D013C4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f4a4ef253d9a8ec95cdc9075adadcda07ff943","datavalue":{"value":{"entity-type":"item","numeric-id":5180853,"id":"Q5180853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$702D376F-DBEA-419F-A200-AD5A4976AE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$FDE7C642-38C0-4F62-813B-559A906CD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$5DF82F8C-1A3C-40CF-8CBA-A9AE2AE17955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29cac0f07e33291d0529245afbf79c4094ee1d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4931588,"id":"Q4931588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$3CA38EE4-C46E-41CC-A792-58911EF648E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b385791b5f19cf0803fb8b62a394b0fef7fade8","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$D4FDA011-F6F4-4700-8536-0D04890C6B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c212ac7c8cd1c77c5d03362102365d083ffee","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$7F321BD4-B6D4-4BCB-AD43-7C9476682902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c433685e38299ce9ba5b24d85f0be52a44902b39","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$8DA15A2E-8B51-4B31-B781-9E3298BAA294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a0ac5f4749565631888f084cc56f1b1d719939","datavalue":{"value":{"entity-type":"item","numeric-id":5710721,"id":"Q5710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278191$B58FE1AC-25C7-4359-BDD4-A9737B3AEFEC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5d9f6cc51b891a0cee54fdbb22777a4352928426","datavalue":{"value":"Q130844039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278191$FC8283F2-FF4E-4699-8924-75015C36EA78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef4ee6b76eb8a36b807b527d2f86af3e40d628d","datavalue":{"value":{"entity-type":"item","numeric-id":5271042,"id":"Q5271042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf995e8784b34915067917ec0813ae3eb58c23aa","datavalue":{"value":{"amount":"+0.9973685145378112","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":"Q5278191$1D669DB9-049F-4FC9-8647-694821913941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f6c2e823a628d05a61b731eb56c153e579c030","datavalue":{"value":{"entity-type":"item","numeric-id":5222957,"id":"Q5222957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73a00ae631638161a0e7f6827c6264d435ac8a9","datavalue":{"value":{"amount":"+0.8967205882072449","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":"Q5278191$47E13E80-0CF0-4F8A-9BC3-DBD34D51855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cb3c862bbc5733dc405243ce70156faad1af9","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9acefad430c7ed215e2e7bde9b84ce8ef2b338","datavalue":{"value":{"amount":"+0.87144935131073","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":"Q5278191$2FEA9BDC-A279-45D2-ABE3-38E09FCEB3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5c0f7ac44aa3d0bf33b8fa840bdaaf514ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b908608f5d0c4ef3bab0b1eb8a9ffa164108bd6","datavalue":{"value":{"amount":"+0.8447689414024353","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":"Q5278191$319BB69E-F27F-4318-8FCE-949EA48EBF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34aa167f11676c4834906c4c1d9499e727483f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9397b0814ce7b5acd8e781d4d3ff5e485f002505","datavalue":{"value":{"amount":"+0.8404085040092468","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":"Q5278191$CED13CCA-3AA2-46B3-A6A5-96778A5164D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278191"}}}}}