{"entities":{"Q5187875":{"pageid":7217447,"ns":120,"title":"Item:Q5187875","lastrevid":50924006,"modified":"2026-01-15T18:48:46Z","type":"item","id":"Q5187875","labels":{"en":{"language":"en","value":"CondLean: a theorem prover for conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679153"}},"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":"Q5187875$EF62EA8F-F262-4D4F-91F5-C3B318A8504E","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":"Q5187875$22012F27-9C2C-4574-A794-2F46BEBCE62B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92a5f47de5de11c6ab545ce34836bfb8318a3a30","datavalue":{"value":"1274.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187875$D95B3A4A-4E8F-4D0E-8B47-79D6F0A4629D","rank":"normal"}],"P16":[{"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":"Q5187875$DA4FFE40-80AB-4C01-9F9D-25B6EE4D0AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187875$9B9AD3E0-5E6A-440C-A290-A9E8C3E4B21B","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":"Q5187875$60AD0345-D032-4CA6-8FB0-040951E1ABD2","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":"Q5187875$04BE3FB9-9991-4805-AB5E-8FEE842D5D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187875$A7890D0D-187F-4D52-B37B-D4F5500503B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b025f2b9f32674dedb0235624641ab453cc640","datavalue":{"value":"5679153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187875$0AD88FDC-7212-4DF7-A687-4CF01164E965","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0549c00eeb18d7ab7d692213433197d2b8b32d8e","datavalue":{"value":{"entity-type":"item","numeric-id":21963,"id":"Q21963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187875$51125760-FA57-46B4-83C3-BD5DDECB170F","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":"Q5187875$9D0DD409-25C0-4373-B29D-09A2CD1934B6","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":"Q5187875$320F71E7-CE92-4624-B180-E3530D4F82AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187875$5641A9CE-4206-4865-8986-F909417A90B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187875$3A857894-E304-48B4-92E9-46D5D7FAAE93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b967632f55df3243a4972526bc3e538dd21ea1b","datavalue":{"value":{"entity-type":"item","numeric-id":5479291,"id":"Q5479291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b357e1e6ec734eaeae1f4eda1322f56ee90a9b7","datavalue":{"value":{"amount":"+0.9560679793357848","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":"Q5187875$CA4C47A5-841F-4526-A90B-516BEB651E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a61ee167d4bbab5bf2c097d2bc8feaa23820e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3643366,"id":"Q3643366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f740076d1118ff698d90fe01513dcb2049be66","datavalue":{"value":{"amount":"+0.9432948231697084","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":"Q5187875$9BE8EDB3-BF2D-4F09-AFE1-38DF2CEBCEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f7b6d181ca588b90f058a509ee2012677de188","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc68b3e530ab9c7bef8371e9ed17c42ebdc6c5e","datavalue":{"value":{"amount":"+0.8723572492599487","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":"Q5187875$82FF935C-B7AA-45A2-8B58-60154DD04EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ce516e0d2ea876f51a8898f4386de12bf62661","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a638021e32f17d7ca012a4428284a3489c943a79","datavalue":{"value":{"amount":"+0.8252906799316406","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":"Q5187875$3D8424CA-42D3-4F01-91CC-519BB9D92512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab5902c45f970fc6c5104cf7dd7e541ce565e33","datavalue":{"value":{"entity-type":"item","numeric-id":5434493,"id":"Q5434493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae8a1f8166b4557cb11004b38278e23fc2c8d89","datavalue":{"value":{"amount":"+0.7913382053375244","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":"Q5187875$53CD0B4A-D040-4B30-A334-EF6D139C0E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187875"}}}}}