{"entities":{"Q2908515":{"pageid":2919240,"ns":120,"title":"Item:Q2908515","lastrevid":79824047,"modified":"2026-05-06T14:47:32Z","type":"item","id":"Q2908515","labels":{"en":{"language":"en","value":"The QMLTP problem library for first-order modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076926"}},"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":"Q2908515$89703734-FE6C-43F9-B564-9E0E116DD4CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d93313790e3cfe679dc5c7013931f669d2ae16","datavalue":{"value":{"text":"The QMLTP Problem Library for First-Order Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908515$C6F2A169-43C5-429C-9936-C86BD0838529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36829a942db304da3f68453c694bf3fbca2c8c4c","datavalue":{"value":"1358.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$FFC8DB28-EBE3-4902-9E69-63D6E1BC9803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8419f13bccf3dd242620fbc47040726356747dd","datavalue":{"value":"10.1007/978-3-642-31365-3_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$3630FD13-6478-42A4-82A1-BAFD979449A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67bd31a228240db87ccebadcd822c2f02977875e","datavalue":{"value":{"entity-type":"item","numeric-id":877895,"id":"Q877895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908515$2B77CE0D-2B03-477B-B792-3F86325EBEFA","rank":"normal"},{"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":"Q2908515$38CF7133-64FF-4241-8F23-BF1F10423203","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":"Q2908515$4377EC6E-C0B8-487B-A796-382B3BE8CDC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908515$5AE8A1A3-9A70-4066-9209-24F83ACBA7CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$53165AE1-527E-49F3-A053-143A0DA0C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$1B147752-78E5-43B4-A547-CE25245AD2C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9dedccac5627a3d815a744b58338556e2bd6473","datavalue":{"value":"6076926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$98F5E78E-1F93-4817-AEB4-62A2E3A0AD68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908515$6C2694D8-89A1-4604-B9B7-20B7BBB0230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908515$6AE572D9-993E-483E-80D3-D7178E9B446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908515$B87A8AA8-3869-41D8-9D47-EDAE8BAFE991","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":"Q2908515$8E1A78FC-C43D-45DA-A4E1-C5CABA5237B6","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":"Q2908515$266E965C-DB1C-464F-B16C-A108AEA13537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7c32702694837526172bacd9a9e35fc55f2ca81","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908515$84C291FE-D2A3-42FE-B287-ADB106C2A4AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca54da09e62c3a3ccdf7a75bd80493375ad44d95","datavalue":{"value":"W28519672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908515$5D7C457B-56FF-4167-B90D-12B6EDB0F5D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10195570bdcc9a3917514973d75cf93b4c8d15e9","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be03c2065d29b95c6dce082cf3b85df6f16d1672","datavalue":{"value":{"amount":"+0.8230400085449219","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":"Q2908515$A0113295-C0D4-4225-BFC2-F04B61EC61D7","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":"74b725cb966f898d7bafcdbb06cc09f626ffe88d","datavalue":{"value":{"amount":"+0.8074603080749512","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":"Q2908515$9953586B-20F1-4221-A3FA-66579D6CDB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f103237e1b4889a22b078c6687a2ac0c70875b","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2de2e71873314ab71afeb04aca29ae856d158e1","datavalue":{"value":{"amount":"+0.7955242395401001","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":"Q2908515$0DC4E378-0714-4652-9754-3DED6EFE72D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b47951768102a81cb25d03d9612c1e446b4c476","datavalue":{"value":{"entity-type":"item","numeric-id":5479292,"id":"Q5479292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cd4f7ccb3fa8c15d1d2727b7f7f93810413229","datavalue":{"value":{"amount":"+0.7767773866653442","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":"Q2908515$660BA635-4E77-48A1-BB50-CB144408B5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780274f7d45e7496490ce3dfcc953566820d3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39adbe87622b8e955074cb73a099667804b866b7","datavalue":{"value":{"amount":"+0.7736713290214539","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":"Q2908515$39501F6C-C4AC-4955-8F4A-0734B4724BCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The QMLTP problem library for first-order modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_QMLTP_problem_library_for_first-order_modal_logics"}}}}}