{"entities":{"Q3185758":{"pageid":3196466,"ns":120,"title":"Item:Q3185758","lastrevid":52587797,"modified":"2026-01-23T01:26:28Z","type":"item","id":"Q3185758","labels":{"en":{"language":"en","value":"CSL-\\textsf{lean}: a theorem-prover for the logic of comparative concept similarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609662"}},"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":"Q3185758$16BB991B-A4AC-423B-BA02-864B0532ED71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7507709d521834594cfa334557de1e0de5c60838","datavalue":{"value":{"text":"CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3185758$C93F10F4-2E9C-41F0-8468-55B4035875C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5af20c34bc058d632bcc6e50bf1702018b219d","datavalue":{"value":"1345.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$7148B673-8C09-41B7-B17E-DFD074C4D1A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a1b60f40159fbbdf2cd881549ca3760a89c346","datavalue":{"value":{"entity-type":"item","numeric-id":2804317,"id":"Q2804317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$87CEE222-7D8A-40E8-9279-8EC32C8176B6","rank":"normal"},{"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":"Q3185758$E9076CFF-D777-45A5-8466-B79F59441EF7","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":"Q3185758$93183116-B76C-44DB-A662-613228690CD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$B6D6AC0D-352F-4487-9844-BA4A62422A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-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":"Q3185758$113681D9-EBB6-476F-9A16-AF1088D67B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$FFD6A602-B36D-4738-A598-5A81D8525EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$6F02AFE3-5B63-4D69-BE97-AF19EF4D0600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$228B96D5-D941-4C6C-86C9-1000137ACE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$B08EAACB-1C8E-4711-B30A-CC2E830B2251","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e220f56fb3711b692e4f25cb7de89608f5ea95","datavalue":{"value":"6609662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$C2312462-D368-4A08-ABED-D1E441123A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c879b041355ae6b821c72c589631bce02ae61e6","datavalue":{"value":"comparative concept similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185758$381A190C-B2DA-42CF-B6F4-CB9E32C3559F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c353546e8c4116e3cf680a8cb0bf95d08ddb5926","datavalue":{"value":"tableaux calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185758$E6C8C83F-595A-4F10-9E0F-4711D4F17A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185758$15F27EB7-4A3A-403D-A070-A4D551A7143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954130ca394ebcc529c6c7ee40d30d7834ce6179","datavalue":{"value":"lean methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185758$319ACEC1-7467-4767-B6B3-684CF5FA5488","rank":"normal"}],"P1463":[{"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":"Q3185758$1F2104B8-92BE-4F3A-B805-7112E1923FCD","rank":"normal"},{"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":"Q3185758$6F7709CC-7B99-4269-A81C-D4EED5351CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89528101ba6918f5711acee7d44cbeecff1b29c1","datavalue":{"value":{"entity-type":"item","numeric-id":21965,"id":"Q21965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$48187B03-53ED-4896-8461-7B6AB4195E68","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":"Q3185758$91D8C7CC-501F-479C-9529-84ECF75EFB2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0847d6aa33eac7d638aa6fbf4e96a5a81cbee722","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q3185758$639D2915-D6E9-421C-968F-489843166416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"420526c3a6e5fbbc901c5d2284757485595b59cd","datavalue":{"value":"W1987043744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$5784B618-7893-40FB-B653-1C3CC1D072ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c428f584bae51f7580f1e391eddb4e1cae622f79","datavalue":{"value":{"entity-type":"item","numeric-id":3648718,"id":"Q3648718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$0C0C54B8-D47E-4495-A43C-BBFE1ADD6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$146A5E74-ECD5-434D-A069-082BBDABE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9976d5ba54838eeea4a8ba8fabd3c6cfd14321","datavalue":{"value":{"entity-type":"item","numeric-id":4399512,"id":"Q4399512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$068FC38F-0B00-421F-972A-1E254AB8340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd6a7c47935a55e8fb64a6ec0120f67ad52073","datavalue":{"value":{"entity-type":"item","numeric-id":5434493,"id":"Q5434493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$C177A02D-B4EE-40A8-8196-4C9C9B6B9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7f927bfa8e321e19631908b18a8580a455fc90","datavalue":{"value":{"entity-type":"item","numeric-id":3533154,"id":"Q3533154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$291F1CBC-CE0D-4FC2-8B2F-65D50E1BDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$9DAC2548-AB27-4A08-B000-C395D00AB264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719c98c6c64876eddee0bcd076b4f7fb6b3849e0","datavalue":{"value":{"entity-type":"item","numeric-id":3012529,"id":"Q3012529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$4654B1E6-6B07-47C3-8E17-9DE95A08BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$02399A0C-C43B-48F2-BB8B-142D0AFC514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$7055C488-3DF7-4089-A95E-09E34F96543A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$DA512DD5-0A2B-4F44-B64F-74C87D0B34CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66793a779bdb77ad812ba39694810ebdcc5574c","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$275ED8C8-01BD-40C1-B9FC-65893425730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529cb6eb4dce71e5672a5e362308b87ecd15084f","datavalue":{"value":{"entity-type":"item","numeric-id":5479291,"id":"Q5479291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$D91FD9BF-CFB8-491A-8FE8-2F783D8DDD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f1a7fc6435ae741cad8143944e6e3ccdfc1299","datavalue":{"value":{"entity-type":"item","numeric-id":3643366,"id":"Q3643366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$DB6D3004-6A2F-4CBC-9CAC-797B8B9453B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f79cd08232d3842e8713b5079d2db773b90954","datavalue":{"value":{"entity-type":"item","numeric-id":5387872,"id":"Q5387872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$15DB98F0-A3B5-4722-B0E3-61EB8E8D9DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76603eb2cd67a4f64e5e4de1a1545eebc8dc5bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5431607,"id":"Q5431607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$447A6CD6-9915-4384-BF5A-0A9F3FA01504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39db36833e9e1fc16d8aa301c8187a743d979065","datavalue":{"value":{"entity-type":"item","numeric-id":636293,"id":"Q636293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185758$FB7D88BB-B712-4CD8-BEB5-4E8122782B95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e316ec50b937e9db1c40f37a4c275b49e7ede6","datavalue":{"value":"10.1016/J.ENTCS.2010.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185758$4320384E-DAF1-4E6C-8F45-DBE685B40C0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba640467df2f7fa8871f2f7165a3c2a0821971b","datavalue":{"value":{"entity-type":"item","numeric-id":3010357,"id":"Q3010357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d195062e48e23b350e461a33f119924e996dee","datavalue":{"value":{"amount":"+0.9063524603843688","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":"Q3185758$C5C2E049-6C2A-44A3-AFF0-EF733455B7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1e06414783c49828aea9ef491f07a839d528cb","datavalue":{"value":{"entity-type":"item","numeric-id":3586033,"id":"Q3586033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aaaf62c569f937709e30c4dae7c29e9852df8aa","datavalue":{"value":{"amount":"+0.7915903329849243","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":"Q3185758$5B42C068-BFC3-4714-BDC1-36669F2FE654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85ae018409930f76dbd7c9b40787e0dc85736ce","datavalue":{"value":{"entity-type":"item","numeric-id":3648718,"id":"Q3648718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f9cf3e9164b8b365a38b7a6b32519e514adc57","datavalue":{"value":{"amount":"+0.7766910195350647","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":"Q3185758$FE42AEA6-969D-4570-AE55-16EA4FBE7E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f2be9ed5f44670fa2cfb7b8cbaf39551f6fbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4933295,"id":"Q4933295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbfa6cfe990388de2cb71da7dd1e4d198221ffe","datavalue":{"value":{"amount":"+0.7720082998275757","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":"Q3185758$0545356B-C9A2-4178-A925-9029CDA83695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1930d6c3210e42acab0cd130cd718e540b1b1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2915053,"id":"Q2915053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733e6987d8b4c15a73195239063b7dce02668656","datavalue":{"value":{"amount":"+0.7481307983398438","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":"Q3185758$F977346C-BCCF-4599-8B90-C84E141D6036","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3185758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3185758"}}}}}