{"entities":{"Q1309330":{"pageid":1320080,"ns":120,"title":"Item:Q1309330","lastrevid":67521363,"modified":"2026-04-12T18:33:39Z","type":"item","id":"Q1309330","labels":{"en":{"language":"en","value":"Non-classical syllogistic inference and the method of resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 469216"}},"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":"Q1309330$EDF38283-9FC0-45E6-AF3E-B52D6362AFDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90be943e673df49596895b181c7c99395118f070","datavalue":{"value":{"text":"Non-classical syllogistic inference and the method of resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1309330$4198322A-01BA-4A92-B502-16D8EAAE32C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f89eb038d49e815f094132a72033392909ef2b6f","datavalue":{"value":"0789.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$96D1FB7A-67A4-49F8-AECE-EEFF0E1837BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf27fbe6bea35b94264852e3dd4f1ebe68f1622","datavalue":{"value":{"entity-type":"item","numeric-id":754173,"id":"Q754173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309330$763BC650-9A46-4BBB-9F92-9D8AF187B3DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309330$D43AA4C7-6115-47BE-A6A2-6A71F57F1670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1309330$FBC20015-8C84-4126-AD4B-35504BBA5DAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$4A217FAD-B375-4F09-88B8-5DB14DC2C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$6BE98650-D39A-4E0F-9FF8-BB6AC9C02A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$82A11EFD-7E55-4B47-B024-39E4E957A74B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba8c447a7c7b42b2837c95cfe6fb6b21aee4c4cc","datavalue":{"value":"469216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$899B3188-A36C-482C-9E57-E0024044540C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13f2ab79a5725aeeee21c1a14a74f449affae340","datavalue":{"value":"non-classical syllogistic inferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309330$6A5F1FE3-F122-4BF8-9EF1-918A7947A8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309330$7B765512-BB3B-44C9-BA7F-4DC320B6C32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8169ffbeaf1cc084dc9eda3861276e0d0cdf19","datavalue":{"value":"cancellation-cum- substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309330$5FD8A158-90AD-4480-A778-FA712965B06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e674b84812a8145234dc0344b01b0addbd215de","datavalue":{"value":"derived rules of natural deduction for first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309330$1CC361D4-9690-40E6-A29D-B68C6307CB57","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":"Q1309330$498B3805-C0B6-4827-AAA3-FB3EED586704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5b819201394581edaa566257a2ad73ef21f3656","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634653","type":"string"},"datatype":"url"},"type":"statement","id":"Q1309330$7EB53D4B-1462-42AE-8B1D-F802286A52CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9de66cc0254f58d3783026455d520b51bc31be9","datavalue":{"value":"W2024983014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$B3222A97-5A8C-4979-80FE-66D0D3D22BA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7787c128f8dcdd415a26afc6dc3500b505e3a9d4","datavalue":{"value":"10.1305/NDJFL/1093634653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309330$1B9BADF5-B99B-4775-8E19-4C1FF8BBEB06","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":"bee9cdbbab60c3e7999e9c2adbf7c4c5486bb5b9","datavalue":{"value":{"amount":"+0.7512802481651306","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":"Q1309330$829B8BAC-8B46-489A-BCBE-7C971E9893F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c0b89f0985a5a9ef462c8303df29d9db47258","datavalue":{"value":{"entity-type":"item","numeric-id":4282590,"id":"Q4282590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1839bdf353449f10eedb3db738121b9dbb5319b6","datavalue":{"value":{"amount":"+0.7212086915969849","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":"Q1309330$DC777279-7454-448E-AA8F-9D5B38185A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f771b2f0eebfbab468949b2d2f5de13cc5bf6d92","datavalue":{"value":{"entity-type":"item","numeric-id":2093033,"id":"Q2093033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf348c1cc15036dfadb0ff4ba49272529837696d","datavalue":{"value":{"amount":"+0.7210384607315063","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":"Q1309330$CAA71875-36EC-4297-BBDF-C1AF92EDBE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7ebbf25e59548e0a876a3c3754bc077d5cd629","datavalue":{"value":{"entity-type":"item","numeric-id":4983321,"id":"Q4983321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d89b4a281728c479a3d1ef866c414e8126e74b","datavalue":{"value":{"amount":"+0.7193603515625","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":"Q1309330$69C3055B-E175-42D3-929C-EB4E8877875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee63635bfc866c0363ab8a6e940aa3389568c847","datavalue":{"value":{"entity-type":"item","numeric-id":2377188,"id":"Q2377188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041d2dadb6b944dafbeb117056403b2dd72e1aa4","datavalue":{"value":{"amount":"+0.7171814441680908","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":"Q1309330$A643E611-81B0-4279-B8C6-9CF2AEA01204","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-classical syllogistic inference and the method of resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-classical_syllogistic_inference_and_the_method_of_resolution"}}}}}