{"entities":{"Q3184509":{"pageid":3195217,"ns":120,"title":"Item:Q3184509","lastrevid":80560580,"modified":"2026-05-06T16:28:49Z","type":"item","id":"Q3184509","labels":{"en":{"language":"en","value":"How to optimize proof-search in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618958"}},"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":"Q3184509$4E653F91-ED3F-4853-AFF8-EE077C765853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afff3f1e8af1cbe3764fa9c780166c8105a3b43a","datavalue":{"value":{"text":"How to optimize proof-search in modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184509$65E03ACC-D333-41D2-AEB2-AFE60CFB7B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c58d38aa4468b061a686ca7687e8af5d0711bb5d","datavalue":{"value":"1171.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$CE1F4CA1-92B9-4907-BFEF-B5FBFFE658AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"914b17425e04779f750e6f3907acd19491681601","datavalue":{"value":"10.1145/371316.371511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$25FD9BA6-A1EF-446E-9331-7A61CB452BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184509$0F39A2FD-A1B4-4F63-A34B-8A4FB401267A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184509$6A7A4ECA-872F-4D8C-B452-9F9F60E2BA77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d1b6b99d27f199c0f368625ea84cb624d6f9c","datavalue":{"value":{"time":"+2009-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184509$7E19C52F-D4A5-4FD6-8521-3ED73E3B2C49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$E9BDB532-76E8-40A5-ACCE-4E912B9BBAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$9F1F0393-8A9B-4EE4-8A49-7565DC585AA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13cfda1e520c6d4b48399d9bdb01e0d658072843","datavalue":{"value":"5618958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$37AB45EE-2697-43B9-A101-017765805461","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":"Q3184509$C841E379-8E66-4029-B9A8-6C218C4601F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3eb33bcdc4b75d7e73219a382f9307d0057b8a7d","datavalue":{"value":"https://doi.org/10.1145/371316.371511","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184509$508D49F3-A27D-4CD3-A4B7-88E674F2916E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b99e355328b05273bbaf6a30906587613627aea","datavalue":{"value":"W2177921372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184509$5BB9BC51-41F5-4C85-9D6A-C25D47661254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedff2a5fd0ec7cd0603ee32671f98cefcfa47f6","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c4a647516b5d05de282c4d1d00c398a64df0d","datavalue":{"value":{"amount":"+0.8819904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$CC1F7C53-AA31-4B30-A59F-FDB2512DD4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9ffe1fa57642204ce8393aedf80619df8831ef","datavalue":{"value":{"amount":"+0.8805699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$B00615C0-655F-405F-B542-4FA134F8556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33695fc7934decf128a5d4e785c39a1908a7f2a","datavalue":{"value":{"amount":"+0.8794786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$E93AF538-B824-4574-B387-FAC8A7F63A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9f64eb8970db0ea7dd185d427b7412372e4b7b","datavalue":{"value":{"amount":"+0.87800384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$CEC8534D-4BAB-43FB-8E09-CE6A0D7FADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3c9dd36d4d6503efdf6127ed6153ed3c762670","datavalue":{"value":{"amount":"+0.8778771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$646353F8-ECBB-451B-864D-7C029F9C5952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e097af348854ab93aad7e36f6d021a4e268a2957","datavalue":{"value":{"entity-type":"item","numeric-id":4866982,"id":"Q4866982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2ba07df471e9c20f638077f7ae9d9bd2ae2cc6","datavalue":{"value":{"amount":"+0.8766085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$A3C2B07C-C196-4FFC-B30E-65D629DFA1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dded84efdb5708838a6cb373ab475aa9c4a5587","datavalue":{"value":{"entity-type":"item","numeric-id":5479277,"id":"Q5479277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2856e4549686ff8144f690113485df54c4070d8d","datavalue":{"value":{"amount":"+0.8753575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$D553C658-C795-4FF5-AED2-E129B3D72D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e557db5cedd01c4249d6988855641e88e175978","datavalue":{"value":{"entity-type":"item","numeric-id":4282504,"id":"Q4282504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ee434df55fd2e92e1959062987f7a56dd78cd2","datavalue":{"value":{"amount":"+0.8752379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$B2A9C9DA-C68D-4F6B-9CCB-2AA5FE182237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef839f2d75982bbe912faf8d4b4c3ca8921f8999","datavalue":{"value":{"entity-type":"item","numeric-id":5406127,"id":"Q5406127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f05153cd45be634d843057c2ff7066d3369391","datavalue":{"value":{"amount":"+0.8749087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$C3C6291C-C013-4967-BAFD-C7FE73657E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c0588e44c93936430caed071d94b5e4a4fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79eae5ec68fc62cce03665bc6243ea677dff8bce","datavalue":{"value":{"amount":"+0.8721963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184509$B2F25F35-7724-48C2-A91B-3B6914BD896F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to optimize proof-search in modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_optimize_proof-search_in_modal_logics"}}}}}