{"entities":{"Q2911630":{"pageid":2922355,"ns":120,"title":"Item:Q2911630","lastrevid":85064387,"modified":"2026-06-03T05:45:15Z","type":"item","id":"Q2911630","labels":{"en":{"language":"en","value":"Modal logics definable by universal three-variable formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075077"}},"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":"Q2911630$7B7C9D6C-6EFD-47B8-A97C-FF6654E99922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6ebbe661ef1f7202050792677ae3fd4649694d0","datavalue":{"value":"1246.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$4BB5660B-64A5-49F1-898D-F8D5A987B355","rank":"normal"}],"P16":[{"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":"Q2911630$15918D8D-DF6D-4D4E-8E6C-18F239C5CD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911630$247FBF2C-8055-4A04-AB56-1C1213F0DCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"476d873e743ed0d43ed015c057bd3889fb6de797","datavalue":{"value":{"entity-type":"item","numeric-id":438583,"id":"Q438583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911630$AAC29F0D-6634-426C-BD8A-D4BCCEAAE2AE","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":"Q2911630$146279D9-ABD9-4DFD-A628-8D89B7F89DD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$436DF964-AEE8-4A1A-824A-93F11B651D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$13F265F1-302C-427E-BF9F-2E40D7DC3195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2730fa2e63927b48e311289e21fbfbec8b05ed89","datavalue":{"value":"6075077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$0D18E790-5240-46A2-B675-52AEAE27E43F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911630$CBD77A53-37F4-42FB-A93C-744B4575117B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911630$75A36800-34C5-4BF2-938F-1ECE46AB2186","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":"Q2911630$AC1A2FEB-8854-487B-A9EA-9D9F630CF938","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc44ed6540e849d8c15e6459cd2437fe3f36c73e","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2011.264","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911630$EDCFBDFE-2764-412A-9D53-0A97B2040C00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1685ce89b444d9801c9b3ba35b504137f9237571","datavalue":{"value":"W1608125757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$5C143CE4-2853-41B0-B090-6BF7E6B08360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e34a47b00c5919efcdbedca6a1bca2eaeda32203","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911630$E7EBB2C1-8093-46F1-9404-27914C60432B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be960a380bc92119cc3c208d3d5f8554347c3579","datavalue":{"value":{"text":"Modal logics definable by universal three-variable formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911630$2002903F-6193-4640-9C14-9863DF5CFCB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f79898ee459935eba972eed08296ee37c90f89","datavalue":{"value":{"entity-type":"item","numeric-id":5277903,"id":"Q5277903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236bab3dce91c02f84f1330ce66af8614550cc43","datavalue":{"value":{"amount":"+0.8643174767494202","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":"Q2911630$A3B736C6-A0EA-4478-8610-F42D1FCFB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e443bdf35439f30dfedd070bd1642e96585b35","datavalue":{"value":{"entity-type":"item","numeric-id":2986825,"id":"Q2986825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f5a52b2b1bc0644d67952cc4011bbb5814ac8e","datavalue":{"value":{"amount":"+0.8449881672859192","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":"Q2911630$2D71CB1B-8084-4AB6-8F75-D99AA9DC710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b36897ac062cea1d8f6f72414e75480c38ad9f9","datavalue":{"value":{"entity-type":"item","numeric-id":4611207,"id":"Q4611207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cbea5cd6f6847c72717453404125eaee697fe9","datavalue":{"value":{"amount":"+0.8327962160110474","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":"Q2911630$125FF51A-6864-4D0D-8192-BC36936F7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704502cbdcbda0e7157f8707fb7cbfc0c5b125f1","datavalue":{"value":{"amount":"+0.8186737298965454","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":"Q2911630$ADE70EC9-EEC3-4EB0-A791-2FDDE9EB9A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff02903bab466922d21b34045db2de76a39305c","datavalue":{"value":{"amount":"+0.8182703256607056","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":"Q2911630$C10E808C-6E19-440E-9719-9AB09816C7A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics definable by universal three-variable formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_definable_by_universal_three-variable_formulas"}}}}}