{"entities":{"Q5222957":{"pageid":7252527,"ns":120,"title":"Item:Q5222957","lastrevid":53469719,"modified":"2026-01-25T00:29:10Z","type":"item","id":"Q5222957","labels":{"en":{"language":"en","value":"Two-variable first-order logic with counting in forests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076870"}},"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":"Q5222957$06452545-DF67-457F-8610-D85F7961B181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"734c04f05f7268c1aeb34ffad7bfb729419b0d29","datavalue":{"value":{"text":"Two-variable First-Order Logic with Counting in Forests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222957$4A7D0B6D-CF30-4F53-8D8F-E01DA9A83151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d86d92b95220e366ae2b565953aa770d79feda3c","datavalue":{"value":"1415.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$FD6EB1E5-6D4E-45C5-B19C-94CF4078EEB9","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":"Q5222957$AED7A69A-9DB4-4692-B450-7A6D925D7105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"435f834484a7a69470fa6635b91e4b8e00bd2a77","datavalue":{"value":{"entity-type":"item","numeric-id":5222956,"id":"Q5222956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222957$B7E33604-1FBB-4880-A8BC-AD4F97114259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222957$AE74462C-6660-4EFB-995F-010607BFFE2C","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":"Q5222957$38251A45-2417-4C52-BCDE-14EDA46C3AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222957$7921F36A-AD27-42AA-A211-6B926D409F49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222957$41068147-CB91-4519-BBDE-47087805FAAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$238FE58D-D187-46F3-9515-4F87B1EF7D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$180F0EDC-20FB-4E86-A6D1-035F5AF344A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec565ffea1444b580bccc4b0ff4588cdd019c174","datavalue":{"value":"7076870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$AF186F76-A9A6-4214-9799-5574F707A2B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$FFC08BC5-9F30-4DEB-B667-5178D5CC3604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$AB1FCB0B-34E4-4EE6-BED9-EE3CF5A23A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fef892a4f348353d8d2c99fac51aebc6715f17f","datavalue":{"value":"general satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$BBE89606-DFF2-4675-A7F5-1EBA234D8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78cab37619295e09b7704c36b160af39396c07ca","datavalue":{"value":"logic and computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$37A02769-796C-472B-BDF2-D620A4ADD99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d019cbfc57ce3d1390606dc665a7e7e202ccfdf","datavalue":{"value":"two-variable logic with counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$6CA1FE35-BBB8-4CD9-AF7C-D0E93A2D1035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eadbbffc234d560bb325472716e6d98722a558c","datavalue":{"value":"unranked trees/forests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222957$22C7B5D2-E771-4328-A685-7A8F9149563F","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":"Q5222957$0253ED4F-89A2-43DE-8691-565CB75F43CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cab0629e5b2b149ae1f94970b1996dd85fee5c9e","datavalue":{"value":"https://doi.org/10.29007/24fm","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222957$3B942DAA-CBDE-48AE-9399-540D06F8EC5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c0b8d6d1c49a75e596109d7c12b1b356e2fbe47","datavalue":{"value":"W2906987173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$2EE255A4-DD36-4757-965F-12363C3F6777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8530fd97be0cd85f60eadaa99938457b3e0a1544","datavalue":{"value":"10.29007/24FM","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222957$94F60724-4967-46E7-9267-BE4E26AAD5B2","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":"d6cdfcd0846c62a680c8a6f976c1ca5e55014090","datavalue":{"value":{"amount":"+0.8978198766708374","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":"Q5222957$9C365986-A461-4A75-8ADD-500A619CCF71","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":"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":"Q5222957$1C3E94C1-B72D-4C3D-9C79-FA577DE6AFC5","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":"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":"Q5222957$11EECA6E-F7F2-4D0B-B508-08ECD50947FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55958dec6f04d280060ce2e215ec95eb1d6a1292","datavalue":{"value":{"entity-type":"item","numeric-id":4635661,"id":"Q4635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f69da10cecc74f03c676c3c0b6d8a021145968","datavalue":{"value":{"amount":"+0.8236812353134155","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":"Q5222957$D98F6007-4D69-4EEC-8CEA-536677C1264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706d4b7e10e9a9b3930a2164c7e14b486272995e","datavalue":{"value":{"amount":"+0.816001296043396","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":"Q5222957$E7D5191E-7B70-47E3-B7E1-7244493BB707","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222957"}}}}}