{"entities":{"Q5187874":{"pageid":7217446,"ns":120,"title":"Item:Q5187874","lastrevid":100437032,"modified":"2026-06-05T22:08:05Z","type":"item","id":"Q5187874","labels":{"en":{"language":"en","value":"SOLAR: a consequence finding system for advanced reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679152"}},"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":"Q5187874$32676D5F-91AF-4999-AF62-6CA714E13064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea95ac5e332a6cd55937643eddcdbf2a87f63c3d","datavalue":{"value":{"text":"Automated Reasoning with Analytic Tableaux and Related Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187874$A773FB96-2BFC-4318-94F8-254C1B341173","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d960ad64f6bd461f5650816d128502b94b5c1231","datavalue":{"value":"1274.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$82D79CC8-AE61-4BD9-AA99-E1EA84E3E853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5addc80134eb39ecb67a3766ae23c1b7957f9de","datavalue":{"value":{"entity-type":"item","numeric-id":374192,"id":"Q374192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$30D7AB12-FD7E-4C0E-A1FB-76C7F19373D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c0443f0edbf8f4ec931e74251dadf50845060","datavalue":{"value":{"entity-type":"item","numeric-id":439022,"id":"Q439022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$40748F91-5DC1-45EA-92AA-E3350BD98B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$1075E68F-03C5-4F95-8FE3-35C2762A6E42","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":"Q5187874$72FB3D2B-BE4A-4344-B41E-5DEDD12BE9D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187874$D8FA16F5-FD5E-4633-9ED9-1C5731A6AF7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$9E9549D0-81FA-49D4-9E37-86F69C684F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$7AF13B9F-1D5A-4149-8CF3-EEBCB2FF9B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a0408b9fdbecbf39353e2ca14071ef94dcd388","datavalue":{"value":"5679152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$D51597A8-FBAE-40C3-9D37-5AFAE4453F6B","rank":"normal"}],"P1463":[{"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":"Q5187874$AB5DAA63-FC82-4028-9574-8D973D0CE51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$3E4BBDEE-E7E7-446D-9935-233CE85527CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$40675A60-6AE4-47DF-A5FE-0DED7F8F63B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187874$D857CAF9-E461-4994-865F-5AFB7AF64E64","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":"Q5187874$0059D336-7B6C-4BF7-913D-3E99DD6BF53F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606862b47cbcc322f08ef663651c3131d0332675","datavalue":{"value":"https://doi.org/10.1007/b12030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187874$FF71DC11-81E4-4DF0-A19A-7E9B9D2A4130","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$B4AF1DFA-92F2-4B34-B569-AC1A26C21742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187874$FB6AE175-7958-4D28-A64E-5BE45DC28BB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c6e3518e14700882e7d01b1e43b1af4285f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":3568229,"id":"Q3568229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9e029b3cc805bd2efc30a315a8f882ad86ec08","datavalue":{"value":{"amount":"+0.9288058280944824","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":"Q5187874$D4F47B88-DF15-446B-86C4-694A0C7DD911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7e7b95f5adf9ba35f52a8280687d553baa58fd","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d579762f57ae810aec5e89a1be76bf80cf299795","datavalue":{"value":{"amount":"+0.8056093454360962","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":"Q5187874$7ECBA48D-7E09-4425-AEAE-13979A9D44C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea163ce65b68418c35f4a1470add1db9aeed1661","datavalue":{"value":{"entity-type":"item","numeric-id":5738990,"id":"Q5738990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec98f1ac260f4e088673f57144e8bacd05579ed3","datavalue":{"value":{"amount":"+0.8042633533477783","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":"Q5187874$F9EE5034-268C-4C71-90C7-63ABB44F63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a1df75c240dd42fd1f63bfafe8a335a8e405b7","datavalue":{"value":{"entity-type":"item","numeric-id":4012182,"id":"Q4012182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5957966ab4de7ea1f7eb079c0499f609de261b","datavalue":{"value":{"amount":"+0.7945984601974487","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":"Q5187874$6193611D-685A-4F9E-98AF-2F9C70B02C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f27ebac7999f295da9094d48e14af8cbc65f26","datavalue":{"value":{"entity-type":"item","numeric-id":4708922,"id":"Q4708922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930bd0f49e303c9c92fa205444cc6b33f3ebcacc","datavalue":{"value":{"amount":"+0.7893321514129639","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":"Q5187874$8EE9FECC-ECD0-47D0-A856-96A488DDE96D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SOLAR: a consequence finding system for advanced reasoning","badges":[]}}}}}