{"entities":{"Q3192198":{"pageid":3202906,"ns":120,"title":"Item:Q3192198","lastrevid":52096637,"modified":"2026-01-20T22:35:07Z","type":"item","id":"Q3192198","labels":{"en":{"language":"en","value":"MleanCoP: a connection prover for first-order modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348242"}},"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":"Q3192198$B61D8944-9119-4C7D-A3C7-04E41F385AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e03026ba3fee192016ff40399f4f68aefbc62e90","datavalue":{"value":{"text":"MleanCoP: A Connection Prover for First-Order Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192198$1DB60BFA-2F29-4D74-8867-7E0E936DAFC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4e2f58d714876ce4b8d82a22bb7aecca1f69cf4","datavalue":{"value":"1423.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$5DC1A2A0-A46A-4323-AF70-B9F7C9064E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e324e009262fc6ecef803c9a325cf74a7d656a1d","datavalue":{"value":"10.1007/978-3-319-08587-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$EA06C4AE-6223-4A62-AD96-9BF42F8ABC46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$C4C71C42-23DC-4877-B390-44C084C09D6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$468D23B3-EBD9-42AE-946A-85A995F8A766","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3192198$9D70BB95-C834-4AB2-9AB0-04944EABA6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$4A19B46C-1634-4FD9-9333-507A71C328ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$03696AA0-1D89-4234-9036-43FB38F3B66A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4911e128acee3af708185b6e50964e2386f15d41","datavalue":{"value":"6348242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$5B054DF3-112C-4992-988B-06F2823AA624","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$35064886-326E-4015-8DC7-F6EF84D0CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$7FF27F49-4436-4806-9AB3-6F019CAB380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$ECEDB562-8F56-4154-9691-D35206899ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d83b780839e730b0091759b62a50b0f768844ed7","datavalue":{"value":{"entity-type":"item","numeric-id":21894,"id":"Q21894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$37E01464-3D0C-4F63-9CE7-3F4601BDD108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192198$A021B408-70EF-41F3-BF3B-BC909270F3F6","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":"Q3192198$30BEB9B9-A782-4D91-9F1B-B84DDB500516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"942ccf2fce158ab4aa61dca06b675c4524ac0f4e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192198$FE9070EE-35EC-4310-A225-2766BBE2AC40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3547156316c8d3c9a308aafe5ff7067a5bf3b87","datavalue":{"value":"W102946451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192198$F6301952-FACD-475A-8BC2-55D964FBCA77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c601f4f623fbf5cc4d0350b613400bfc77126ce","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f105e5be1356b1ef3782a20b7fcd892026fb377","datavalue":{"value":{"amount":"+0.8224924802780151","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":"Q3192198$742A52F3-3097-4059-9112-85775F6C99FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b7fde6af592f6799db7f14c1f8600cd6b606c","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2affd0aec72adf48ca86af16a5fbc8fa7659028","datavalue":{"value":{"amount":"+0.8099517226219177","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":"Q3192198$EF7D8334-930B-4F34-A5AA-71981E64A985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ef787edd12d8a7a10585f5c664e39a8f8c2a25","datavalue":{"value":{"amount":"+0.803765594959259","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":"Q3192198$C2D17A7F-4EF9-4F42-BD27-E004EF14DE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849e8c0079e919fbd590217e8c1c62f3f277e67","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681c43735d260c638d95c4364c4ca8fd721ad93b","datavalue":{"value":{"amount":"+0.792479932308197","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":"Q3192198$E081F6F3-D6FF-40D2-B7A4-2EA1B9BEA8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da025574d6d3ac68997d14db720ee57b13f7791","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681c43735d260c638d95c4364c4ca8fd721ad93b","datavalue":{"value":{"amount":"+0.792479932308197","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":"Q3192198$5F6656E0-96A3-47AC-9947-BB33C3A596B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192198"}}}}}