{"entities":{"Q3010357":{"pageid":3021081,"ns":120,"title":"Item:Q3010357","lastrevid":85499414,"modified":"2026-06-03T09:01:47Z","type":"item","id":"Q3010357","labels":{"en":{"language":"en","value":"CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916701"}},"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":"Q3010357$4DE32149-DAE8-4B38-8F61-8E5CBA081399","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c6e413a24acf016e6fc8a0bcb7d1806ed90149","datavalue":{"value":{"text":"CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010357$95A02179-CE01-44EE-8572-FB33E62EB5D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec16036cd388402fac5e2698560642faab577d3","datavalue":{"value":"1331.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$6CBEA89A-65AB-4D2F-8F1D-C235E1616270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec8b0fbccffffc64368fa755c6be198d6c786fe5","datavalue":{"value":"10.1007/978-3-642-22119-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$08A7A706-BDAE-44DB-85C9-320AC3B0488F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a1b60f40159fbbdf2cd881549ca3760a89c346","datavalue":{"value":{"entity-type":"item","numeric-id":2804317,"id":"Q2804317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$98CA2A0C-BC46-4681-B0DC-07B878D71725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$BE6E5B73-972D-40C2-9E2F-C1B9AB66E06F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$291BFE40-30F1-42AA-B767-C4B16DB2BE0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010357$017EEB8B-3A2C-4457-9DA3-EF6B72FDC63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$69A72890-385A-4F32-A259-E33B38688C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$1DDAA3D8-4D6C-4A18-B111-B5491ACF4203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$E86BE94B-9968-4A78-91F5-DE9FFCF7F843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b1b28ae055ac860bc0a17c86fdd7ee2978ece9","datavalue":{"value":"5916701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$55ACDDA1-9154-498C-8280-B1D829C28244","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1514c6e3e095f4543ad1f3b263635c1946fbef6","datavalue":{"value":{"entity-type":"item","numeric-id":21960,"id":"Q21960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$FE964A36-2F7D-438B-9614-ADB6FF1859FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"928bd6743ddba4efd56b4623f44babcc3f338b12","datavalue":{"value":{"entity-type":"item","numeric-id":21961,"id":"Q21961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$5F64F442-8F43-4C00-AC97-953BBB841238","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":"Q3010357$8E5EFDFF-FE1E-49CF-B755-6C2942E76DAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9126ecc01d07efc2c51397419c1354168d3e4d3f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010357$53DD1CF7-4C88-4D0F-AF2D-DF4EE506F7AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf66a66a915c19abd4938cbcd1cb4dce969578f1","datavalue":{"value":"W157215312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010357$C39FEB6C-EA00-436A-BC83-1F261AAF709A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f89b99efd7d3c99e4b1a997bea3490783eae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3185758,"id":"Q3185758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$6C74539C-D51F-4DEB-AE0D-61000CB9C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c428f584bae51f7580f1e391eddb4e1cae622f79","datavalue":{"value":{"entity-type":"item","numeric-id":3648718,"id":"Q3648718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$157A8546-1E99-45A7-ABFA-17BD9A60C47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38dc911d5ed7c28370a5e9883ca4c30a469ee52","datavalue":{"value":{"entity-type":"item","numeric-id":3586033,"id":"Q3586033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$F10AC887-BE98-4189-8316-EEF4162D4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f79cd08232d3842e8713b5079d2db773b90954","datavalue":{"value":{"entity-type":"item","numeric-id":5387872,"id":"Q5387872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$59E50A37-2E17-4210-9418-C54DB4E235E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39db36833e9e1fc16d8aa301c8187a743d979065","datavalue":{"value":{"entity-type":"item","numeric-id":636293,"id":"Q636293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010357$23CFDAC3-2C56-44EB-B732-C4B7EE14E5AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52edf7774a67c2abb0abe2989f27a790a92770","datavalue":{"value":{"entity-type":"item","numeric-id":5234710,"id":"Q5234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7031ec15ad369a53b39b6a4350a7ed609e7b3a","datavalue":{"value":{"amount":"+0.8668778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$97D36D5B-A10F-4BE6-AD48-44D970314EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4b57b99512761b1cc40534468a9fe18f9d3a4f","datavalue":{"value":{"entity-type":"item","numeric-id":5703799,"id":"Q5703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d661357a0aa48a8c9842b652d8dd42e4b99084","datavalue":{"value":{"amount":"+0.8563176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$8B7A381F-F7B9-48C4-994D-DEEDA3F070CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bea38970a8a66f7f72a388ca870ab6c2ecdd95","datavalue":{"value":{"entity-type":"item","numeric-id":3185758,"id":"Q3185758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c1a4c96b375f9b2a3e7f54e7bb4b69c46939ad","datavalue":{"value":{"amount":"+0.84026897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$C8F35981-F2DB-48CF-ABE5-B02AD34BE88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ce432841fa2eb2db67028f123dcc304f0cb80","datavalue":{"value":{"entity-type":"item","numeric-id":5170293,"id":"Q5170293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560cd286cba13387e04e95b2f0b7168ee0b5b71b","datavalue":{"value":{"amount":"+0.83802277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$156C412C-D99A-4104-9E5A-4D8AEBBF86F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aea7919ebb0448a4cc56ca227584941c5cda3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4721670,"id":"Q4721670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9395080df5ef384c0b86357f669a622eac29b7ee","datavalue":{"value":{"amount":"+0.8371176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$9D467021-5D01-425D-B161-38E014FFDEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77363608aba1bdf19f0ba434a1dd2532164d45cf","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000bcf96d2185ff5e74262ab80532afce6c6e5e4","datavalue":{"value":{"amount":"+0.8358461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$3959C144-63F6-4B5B-A791-90CDF5F84694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72677547aec7bbeed0d7f0c6cab2a8458ecfc71f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c7ceaf8aafb0cfc6b3ed6066f51f70f582bf7a","datavalue":{"value":{"amount":"+0.83485115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$DEDCAB72-E9F3-4727-BCC0-3FE8BE000F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4351e34d20cf2c58a515baaeba4ea69233b51d","datavalue":{"value":{"entity-type":"item","numeric-id":5931130,"id":"Q5931130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9816f8282e867a6e324e2ce813abcb519526e416","datavalue":{"value":{"amount":"+0.8304166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$6E34A8A7-DA46-45AC-8FEF-BDB19DF4196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76d75f6d652356dfd0f159a40a60ab636470e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2397231,"id":"Q2397231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5967345c05548e5307eceb290abae2100b09e68b","datavalue":{"value":{"amount":"+0.82871926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$13970798-55A3-47F2-9335-C350B9CBFE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae772c6a3459e9fbabf3f56064e1b0c1cd84e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34604ef9b60f92c862a7bec0e476664a86c5e33a","datavalue":{"value":{"amount":"+0.8283396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3010357$03960438-8E71-4C10-8D7B-0F540012372A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces","badges":[]}}}}}