{"entities":{"Q5111178":{"pageid":7140752,"ns":120,"title":"Item:Q5111178","lastrevid":58423173,"modified":"2026-04-05T04:00:25Z","type":"item","id":"Q5111178","labels":{"en":{"language":"en","value":"Extending two-variable logic on trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204303"}},"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":"Q5111178$7E3F8567-8586-4DF9-A734-5E4FC1ACA47F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15f71a633b988b31d1966a7bbdddf39650d4905c","datavalue":{"value":"1434.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$1F03A7D4-4256-456D-98FC-9079CBFCA971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111178$EA732CFF-B60B-4FD6-BC49-F4D447820F6E","rank":"normal"},{"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":"Q5111178$AF480C33-098A-4383-8844-BC89F8F49F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111178$B06F84DB-523D-42C4-98FB-FE5D85F87F28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111178$CCE9E685-9A72-4166-8220-757AE61370A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c3de7c49f3f265b8e6fac74e02ab0f161274212","datavalue":{"value":"https://arxiv.org/abs/1611.02112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111178$DE3F7D01-A65F-43A9-A3AF-5F81CB4CDF26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$33995676-2014-4E16-941F-7A703873B31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$8DBDE01B-080B-4F04-8746-6C9D14C68AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$33B73762-A140-4CDD-BD83-BCA7E15072AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$3D2A6B43-035D-4BC0-B138-5E851020014A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01d99e1abaab6b71395f7adc1f89915b1919c3b3","datavalue":{"value":"7204303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$6B55E37A-06D6-42BE-8F19-EBED93A6DC99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111178$012B5D17-4BC5-4E25-B437-72935E40EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111178$9AE0986C-9B74-4D3E-830C-3AD7902091AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111178$F9C360FE-3DAB-40FB-889F-96D5AC16B10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111178$4AC78006-ECAB-429B-83F3-686459B00AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111178$6AF2D10C-3A37-42B6-93AC-4C4EB41B414B","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":"Q5111178$98177DE7-09BB-4B93-A481-B8637D37BFAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f2428e04910d852d0e6af6b733c54177e959e8b","datavalue":{"value":"W2554629120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$F09C452E-5C4A-41C5-9F89-68DF3A80B110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7c1528dcfd88100d2e868e159ad79367b0b3d31","datavalue":{"value":{"text":"Extending Two-Variable Logic on Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111178$2DEF06D0-6B50-413F-BC23-5F15995DA1E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f9f195d4c5e81fea163f7dd572f8d7d4c915cd9","datavalue":{"value":"10.4230/LIPICS.CSL.2017.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111178$DA0EBDD1-3216-46A4-853C-20242394C0C3","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":"d8fc4b5b71ae7017a2a067995886c3a0d17b1cfd","datavalue":{"value":{"amount":"+0.8727515935897827","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":"Q5111178$6A99D36F-BB3B-4EB9-B8FD-963C3379C4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b52184ef4a6ef36d41e76f19916fc37cb6ec8d","datavalue":{"value":{"entity-type":"item","numeric-id":5278191,"id":"Q5278191"},"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":"Q5111178$24BD0D7C-85D8-481D-AAE0-5B610A09268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fa416cb4cb26d0f6b9b1757c095a88e9794f7c","datavalue":{"value":{"amount":"+0.861214816570282","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":"Q5111178$937C2C01-AD0A-4FBC-9508-A544F795B87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1de9d2f4c5bb49b51f27519f8642973375f89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef8f677d92e815ca6e10c38d88b9bd7095881ac","datavalue":{"value":{"amount":"+0.8600183129310608","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":"Q5111178$DA240B25-D6C6-46BC-BF71-CC3F0B080503","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":"df439ed22fbc0291088d02e87a9e75804abc603f","datavalue":{"value":{"amount":"+0.8528282046318054","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":"Q5111178$962B79E7-DE2B-4B5C-9583-E72B5F8E9ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111178"}}}}}