{"entities":{"Q3192182":{"pageid":3202890,"ns":120,"title":"Item:Q3192182","lastrevid":52096604,"modified":"2026-01-20T22:35:05Z","type":"item","id":"Q3192182","labels":{"en":{"language":"en","value":"SAT-based decision procedure for analytic pure sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348228"}},"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":"Q3192182$98E62BB8-2ECD-44BF-AC1B-4CF32119CDAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bad2140e6070f2ae8392c4458da0b9688adaa1f6","datavalue":{"value":{"text":"SAT-Based Decision Procedure for Analytic Pure Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192182$6D8D9241-9AB2-4C88-9A02-A9AE89F75D0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdbe8347f101636dca46e7ebd7a9b3ebf050307a","datavalue":{"value":"1433.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$99C5740C-B5FB-45DB-978B-86F6B8B420F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79da5b3dfe7b4e15bd239f6c1b6493a41ffef02f","datavalue":{"value":"10.1007/978-3-319-08587-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$F445947F-40B1-4D5D-86AD-921EFC5D341C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192182$F584F2AD-5FE5-429A-BC74-04F0788C4029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192182$817375B1-D0AE-4EE2-93DB-1959B4FEE3F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192182$EB3F396C-FA5A-40D1-A287-750F0E0591BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192182$5967D10A-A46E-4DEC-82E2-E6DDDE558F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$D0BA860F-085B-4685-BB6C-C249C22991F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$B9419D56-116F-48E5-9CB0-80EA66A4B488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$B245F351-B213-490C-9401-A20720EC5833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a938f069271db5c30001099107565e4d91c0466a","datavalue":{"value":"6348228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$A4112639-31C2-40DE-9BE8-B2496B7AB55D","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":"Q3192182$4A076DA1-4441-4FA9-9864-453398207409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccfd5085baf184346acb53f374a0e5010edcbb9c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192182$6EDB5A69-CDA1-440B-A91D-41D540278106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd61c7f9967ebfc9be018f20c67a4a27b3f4b570","datavalue":{"value":"W203477399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192182$F343D16F-2EE2-4B35-818F-CD292CF7224A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7a9651bc63f9b76295dd7f249698dc6ad43d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4972151,"id":"Q4972151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56770e51040f455f003fb9fa492cf8734ee3619","datavalue":{"value":{"amount":"+0.8373746275901794","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":"Q3192182$F9C21E05-DB92-44FF-A590-F2575C085C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9777691384a37ebb734d81a224bd3d1efd77779e","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e54f8ddcec6be5d6a996ec8ec918a1d60560d3","datavalue":{"value":{"amount":"+0.770238995552063","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":"Q3192182$30083F8A-0CFE-457A-BFD8-9655C5CBF049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0b34a1519966477279cea262c6f333129c480b","datavalue":{"value":{"entity-type":"item","numeric-id":2751042,"id":"Q2751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b630ceb45276083feb9ec1622eef537b550c95","datavalue":{"value":{"amount":"+0.7702382802963257","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":"Q3192182$39481C34-FD38-4D13-AF96-7D6F1996038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e620686e8bd8112ab21176dc1c9ce86c204ed8","datavalue":{"value":{"amount":"+0.7677642107009888","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":"Q3192182$35E0A536-85D4-4123-922B-6C152DCF4464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5f321bce2072a037de1a81b4790f837eedb037","datavalue":{"value":{"entity-type":"item","numeric-id":4518914,"id":"Q4518914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e018409c298f173790e392013e6b57a198c0e0","datavalue":{"value":{"amount":"+0.7654586434364319","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":"Q3192182$D3F08FAE-638F-480A-8EDF-EDAF064DEA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192182"}}}}}