{"entities":{"Q4803958":{"pageid":6833538,"ns":120,"title":"Item:Q4803958","lastrevid":74843997,"modified":"2026-04-15T00:37:21Z","type":"item","id":"Q4803958","labels":{"en":{"language":"en","value":"A deductive-reductive form of logic: General theory and intuitionistic case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1895880"}},"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":"Q4803958$18C4842C-AA09-4DD2-960B-DBBADF6D980D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdaccadbc3fbece879786d2acce0753f8ac89991","datavalue":{"value":{"text":"A deductive-reductive form of logic: General theory and intuitionistic case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4803958$3E6D4A3E-599D-4189-B8DD-878C9BDBEA8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e810acca8e68d3536e384c4db71d02a4032c48df","datavalue":{"value":"1028.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803958$4FA01175-842D-4CF9-8576-9395775FCE87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77c52ec664ce8097a008939c21bbcd4b47aa31c1","datavalue":{"value":"10.12775/LLP.2002.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803958$A097AA8F-22D9-4D79-BC1B-321C9140CFC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9af8735040670b2c29edc2ed73ce59b6f6a38c6f","datavalue":{"value":{"entity-type":"item","numeric-id":656568,"id":"Q656568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803958$917638C2-CC31-48EB-9517-1F0E7225DC22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803958$D65B1945-94B5-4663-A194-82BD0942671E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00fc66ee85e9b306af3b2dc59b88166cc25a2f20","datavalue":{"value":{"time":"+2003-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4803958$00BC0AAC-05D2-4C1C-9796-F9B4DEED6D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803958$B76FFCC3-A8F3-4824-9D7E-18F04B3EAE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803958$3356A42B-8A3F-4A0C-A747-85B17CFD0627","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01dff393eb687acc07f6c63a2d0f0708225601d3","datavalue":{"value":"1895880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803958$AF8FF9FC-F074-4037-9D40-029A42F96473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c0a2a84060bd22a63fdae7a729dc3f2990ecd2","datavalue":{"value":"reductive counterpart of deductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803958$6E5F05EA-66FC-48CC-BD14-1A0F69DA8DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0011ef5bae8c971e6e17a1a4a67a4a831ad27f","datavalue":{"value":"deductive-reductive form of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803958$F4E12022-740D-451F-8194-78FA27A53F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06fbd501e93dc59d63b420b374a227b39d3acba","datavalue":{"value":"intuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803958$528A1D16-B3C0-42D6-8E50-A11D71BFF2BA","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":"Q4803958$D0D9418A-4EBA-4E56-9329-1A8F7762AEAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d204378a8366695c97814c3498ca598d5b56b2","datavalue":{"value":{"entity-type":"item","numeric-id":4803959,"id":"Q4803959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536a2408692b930e8af92ea0b5f182487e1eb3b4","datavalue":{"value":{"amount":"+0.7959705591201782","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":"Q4803958$2419A997-9B2A-46BC-A232-A8D6A829A38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc418e5e934b9619049dc9324cd7583a19d3309","datavalue":{"value":{"entity-type":"item","numeric-id":4566143,"id":"Q4566143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536a2408692b930e8af92ea0b5f182487e1eb3b4","datavalue":{"value":{"amount":"+0.7959705591201782","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":"Q4803958$18D1D494-863B-46EA-BF59-B693B02F47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f770ad9c92cf47e9b303c1416c05420fe7aeeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4230934,"id":"Q4230934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e51bc40fdfa36c8f03e24a7d391a6d677e68503","datavalue":{"value":{"amount":"+0.7650768160820007","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":"Q4803958$1A54D385-405E-4CA3-86A5-24ED1A5D1183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db3b2db89c709471041cb103e328d46ae78485c","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e51bc40fdfa36c8f03e24a7d391a6d677e68503","datavalue":{"value":{"amount":"+0.7650768160820007","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":"Q4803958$BD4F7182-EF4C-4936-9220-276FEF5B3D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf8742865b94ffe3e0b3095cfd574252c3dc04c","datavalue":{"value":{"entity-type":"item","numeric-id":3377758,"id":"Q3377758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83e2f709b0668f6b2b15c7a7c71ca835dd1f442","datavalue":{"value":{"amount":"+0.7493679523468018","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":"Q4803958$6F3C9EDD-759D-46D3-9F62-B4E64C9C452D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A deductive-reductive form of logic: General theory and intuitionistic case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_deductive-reductive_form_of_logic:_General_theory_and_intuitionistic_case"}}}}}