{"entities":{"Q2911629":{"pageid":2922354,"ns":120,"title":"Item:Q2911629","lastrevid":85064369,"modified":"2026-06-03T05:45:14Z","type":"item","id":"Q2911629","labels":{"en":{"language":"en","value":"Dependence logic with a majority quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075076"}},"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":"Q2911629$AF0120DD-7025-43F0-9CBB-8F65C13902B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"279c73677203c3cb92fab45cfd135cd4c44e719c","datavalue":{"value":"1246.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$86F77257-FA3E-4D7B-AE6F-80E117AC39FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b82a23595fbcb5b1156c148fd35f761f8929ef","datavalue":{"value":{"entity-type":"item","numeric-id":235688,"id":"Q235688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911629$D543D96F-7C4C-4990-9D7C-75F797DDA1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd8d245d358f34b340c085c816bde52f6e291e69","datavalue":{"value":{"entity-type":"item","numeric-id":302213,"id":"Q302213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911629$5DB37818-EC6A-4A40-8482-0D4BB7382001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911629$833449FF-9908-4E0D-B879-805541BB6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911629$9F4360C4-13E9-4A73-A8CE-A0E047A4871F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2911629$0E951843-09A7-4D5C-9E0B-212387863547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98388b12fbb9c13717ee20a3a9c4e6378e1a0182","datavalue":{"value":"https://arxiv.org/abs/1109.4750","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911629$5AE88792-D0E3-4017-A18D-249635D059A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$02893E56-DD52-4596-95D5-19ACD22E9105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$34DCA548-C71A-47E1-9D14-C731574019C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$8D6F3ADB-E78E-4BA7-AA38-B8132BA9A116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9b0550ebe8a7b6e6b298b0400558d345c37078","datavalue":{"value":"6075076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$E11D105A-F274-4786-BFBF-B9DBC83F3A58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$C38D977D-351E-4C8C-B214-CBD120D81697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5077dd048c088806de416d08f29970c861169e","datavalue":{"value":"counting hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$421AE87B-FE94-4D05-8FA3-A15C168351E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c42df0e6da9961c286f3437f58d17827ece860","datavalue":{"value":"majority quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$EE5D7373-DA33-4C80-BE64-EF0F89A437E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$3A1CE9A0-5D4A-460E-A996-38F7E3AE7B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$F15F0739-FA54-4D63-BD1E-B8BE89484A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911629$8D79E70A-A511-4AFC-A901-94826492AA4B","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":"Q2911629$E3C7F254-62C6-49E6-A174-2D1C06D7D327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33432240ab5b66810c91de522507fadaaf27c058","datavalue":{"value":"W2338270372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$02BA8E65-E356-43B9-AD31-4FB07702320A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3521343b24f2d6c272efa32d4fba5a97d26b35cd","datavalue":{"value":{"text":"Dependence logic with a majority quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911629$9EF59B51-ABA3-4552-8153-17BEB49F590F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cfd3fba12a44d29b1bc4904fe6792f8eb09ef8e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911629$FD92B663-E1B7-44A5-BC05-C2CAE99C93A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af8d524b12483ebc995bad3b2f2078a4d1d1808","datavalue":{"value":{"entity-type":"item","numeric-id":302214,"id":"Q302214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b15fe3d443e6ffede9f3bd40b4a0ad3ddf5e06","datavalue":{"value":{"amount":"+0.9876237511634828","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":"Q2911629$21D0421E-1134-42AF-8D9A-A3A423AE3A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce960857d5ec302e66818cea9f2c60a9696880b","datavalue":{"value":{"entity-type":"item","numeric-id":617710,"id":"Q617710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407b12c42ee090362f6a2e59987093b9b4dd673d","datavalue":{"value":{"amount":"+0.777544379234314","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":"Q2911629$7E126197-ED78-443E-A9C6-BAFDC8403BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0257bd6a55b3dd670a5fed1d0945dc503a1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2849428,"id":"Q2849428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d25b15b4233e724c00dee87124fa1cbc9130bb","datavalue":{"value":{"amount":"+0.7610498070716858","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":"Q2911629$48DF8348-2769-4A85-9711-BD4EF9BDF357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3147f6e6d51cced904ef8c5a4542352fd0e2e","datavalue":{"value":{"entity-type":"item","numeric-id":2361348,"id":"Q2361348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ddce8aa85becee4706f9e536f20e6cfe84c592","datavalue":{"value":{"amount":"+0.7607114911079407","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":"Q2911629$22780F89-78B4-484D-B58C-8A7D2B3F1179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78071f2f5294ec8ea5968c8615a20784dcc70804","datavalue":{"value":{"entity-type":"item","numeric-id":5249667,"id":"Q5249667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abe74c0013b465a4c461b6d4ce67c870aaa9905","datavalue":{"value":{"amount":"+0.7578737735748291","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":"Q2911629$4FF9D995-B3AF-4850-BC0A-B7C887D33010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependence logic with a majority quantifier (scientific article; zbMATH DE number 6075076)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependence_logic_with_a_majority_quantifier_(scientific_article;_zbMATH_DE_number_6075076)"}}}}}