{"entities":{"Q1372359":{"pageid":1383099,"ns":120,"title":"Item:Q1372359","lastrevid":68756076,"modified":"2026-04-13T01:51:01Z","type":"item","id":"Q1372359","labels":{"en":{"language":"en","value":"Labelled resolution for classical and non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086017"}},"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":"Q1372359$ED11E0D3-66AB-4763-A4B6-DCB50B2F4E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2631be6bfeae8e3a75eaab9eac09fd7e39486942","datavalue":{"value":{"text":"Labelled resolution for classical and non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372359$0F09E8BC-4052-486E-A1F3-42F6F92D56D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c5839263768832cb22e2f3ac6c0230b2d84f7e2","datavalue":{"value":"0976.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$F28FFC46-9BCF-4640-B754-A79C8AF90CB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f310d98c19f24349ca1eb6069a2cdb5e6f95ff92","datavalue":{"value":"10.1023/A:1004952317276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$98326C3F-DC43-4D12-94C3-5772C7B2848A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372359$894D9C84-4E72-4ADF-B73E-0A3EA58F5E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"386a69d447c148367398c755df6618c97a26ade7","datavalue":{"value":{"time":"+2001-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372359$43B6ACF6-2E21-4F74-A087-057760FC0FF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$07D42DD8-112A-4499-B8BA-0600C9E0EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$C035C7F4-0E35-4274-A915-8D39662AF0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$E1881895-A3A0-46B5-A444-E52AC830D08D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bd7787904b03be35e6500d062a5fb731dcd58ff","datavalue":{"value":"1086017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$CC8934F7-399D-4161-934E-0DE0D70E664E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372359$8FD3B174-C2EE-405B-A3AD-9C67AC645966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238316cddc7fbecc6185b37f3a4eced7851cdf61","datavalue":{"value":{"entity-type":"item","numeric-id":1923838,"id":"Q1923838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372359$9CF49D84-284E-42D6-867F-517C435B64B1","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":"Q1372359$517D1AE4-C4D5-441F-99D5-EE363CA9D06C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f9c16d6ead3745ca8270ff17065d4abc0cc6ea4","datavalue":{"value":"https://doi.org/10.1023/a:1004952317276","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372359$2C141DDE-D033-45E4-A4ED-9CB8030FFD88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d384dde99c7e3548dba5af9f0f06c546521b627","datavalue":{"value":"W1604520962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372359$3506B55B-CB2E-422B-BC76-3832CEAE7D7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4659240c93ea3bfc536813d50eed15e1185fa868","datavalue":{"value":{"amount":"+0.825454592704773","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":"Q1372359$D078338C-8682-4FFA-9586-398925824762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c55fe027ce58165ad6fe38e0387576755244ab","datavalue":{"value":{"amount":"+0.8003822565078735","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":"Q1372359$B1464EE1-6C4B-4570-A181-14B5F5708A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fb2d935f036872dde8a68f643ae4f7050b7de9","datavalue":{"value":{"amount":"+0.791739821434021","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":"Q1372359$C7D3DD40-76FA-44A2-9CC6-C161B5E0C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67016f7ecd59000e9fb5a5f9b1ffd409447fe2ab","datavalue":{"value":{"amount":"+0.7913482785224915","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":"Q1372359$3BD1A200-2556-469F-91AF-D8106773CE2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled resolution for classical and non-classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_resolution_for_classical_and_non-classical_logics"}}}}}