{"entities":{"Q3010372":{"pageid":3021096,"ns":120,"title":"Item:Q3010372","lastrevid":51283868,"modified":"2026-01-17T14:35:34Z","type":"item","id":"Q3010372","labels":{"en":{"language":"en","value":"\\textsc{MetTeL}: a tableau prover with logic-independent inference engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916716"}},"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":"Q3010372$2D902C7E-B277-43A3-BD61-4A9B461E99EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0115c07f17f92b576130dd05d49006ff57efa696","datavalue":{"value":{"text":"$\\textsc{Met\\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010372$1B4F7D09-A3D1-4112-B5A1-2BAEAFA52D6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a3c0e5592ba20d5d9dfbf7b468aaaa2b39226f","datavalue":{"value":"1332.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010372$36B55A33-E051-40FA-9096-502864C0DD23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93668a6dde44ad8db4dab3c2f95071de8603021a","datavalue":{"value":"10.1007/978-3-642-22119-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010372$B8FC8B0D-8DCB-444D-A4A1-B495750D9CE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$6DBA54F2-FB9F-41FD-9A0A-19A30390B3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$EE3A4526-D517-4627-97DE-7DC5F2152A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e32f089aefd633d8b74b84deebd6655200c22a14","datavalue":{"value":{"entity-type":"item","numeric-id":2851944,"id":"Q2851944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$B64FEC6B-5AD5-4954-9111-5D5F09AAE6AA","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":"Q3010372$B68A859C-DD98-4180-91F2-FAE358DD8A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010372$88EF9A6B-5367-48FF-804F-F523103D6B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010372$D5061A50-4CF0-4267-B980-D0317FC69E17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ef49f5e56dda544a0685ddad34eb6e6d2155d9d","datavalue":{"value":"5916716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010372$194F9D85-590B-4F39-8B92-8D7108DA29BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$87FC3B22-AC8E-418E-AF73-2D564E5E965A","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":"Q3010372$7C3356DA-8501-4119-A4DC-838BA3605128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"789233546f103b75c7d6f6c88d56a283a68f687b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010372$2CCD8B9D-C3A5-46DE-AE9E-61F59738A4CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf9843801b61bb3a882fac447a1e55948c1e5010","datavalue":{"value":"W68183112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010372$AA6F528F-A8E0-453B-A261-1F807D3DA32F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac72f9a252ec6d982aab9a0e64927e092a3380a","datavalue":{"value":{"entity-type":"item","numeric-id":5187870,"id":"Q5187870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$8E21F2F9-EFE2-408F-A64C-AD37DC4938B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9cfbf0be49d783b232834bbc88e62e8fd3462","datavalue":{"value":{"entity-type":"item","numeric-id":3185759,"id":"Q3185759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$E7E91ADC-B157-42E1-8EBD-BF06320E2C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e6e9433abf7467709656a37ac7bcf8290b9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$40096979-CD22-4439-9D84-B9D88452ED94","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":"Q3010372$76654BCD-7D8A-4343-B38B-05B38A761A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3596ced879e749ef53140dbf9ff2b1cddd891bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010372$0104D493-E657-4AE7-88F6-AFC13891AABA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c16ccb766e07bc8e98c15057ec719cc113fecb","datavalue":{"value":{"amount":"+0.8098191618919373","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":"Q3010372$CEED5D06-A374-42B4-B1DC-5ED257EFB62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5236a87ae6048c4333b860f7b3b823fc8f019ee","datavalue":{"value":{"amount":"+0.7904387712478638","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":"Q3010372$4AE12488-6E6F-4C02-93A8-19A1A585BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37342e40db829c78462dc0b9b9e61a73530881bb","datavalue":{"value":{"entity-type":"item","numeric-id":2825417,"id":"Q2825417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaa36bfeebac9c4e784e901fbb6b5e657501efe","datavalue":{"value":{"amount":"+0.7711583971977234","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":"Q3010372$EA7A2B17-BF2C-48DB-ADF1-9136BD620058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f86e0a77416a4335a9c34ddac74e23e8892d345","datavalue":{"value":{"entity-type":"item","numeric-id":2185494,"id":"Q2185494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7456319ecb736ec1557545d463b743f52f44c756","datavalue":{"value":{"amount":"+0.767358124256134","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":"Q3010372$C4B342E3-F8BC-43D1-8E67-DB4DC7766F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747a9561abde4bbdb55651a9cc91e9525b05bbd6","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f96070455147084becb1e94f44f70c49a92c18","datavalue":{"value":{"amount":"+0.7668871283531189","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":"Q3010372$51596E46-E1FF-469D-A741-650D73ECEE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010372"}}}}}