{"entities":{"Q2746913":{"pageid":2757652,"ns":120,"title":"Item:Q2746913","lastrevid":41964040,"modified":"2025-05-19T18:51:12Z","type":"item","id":"Q2746913","labels":{"en":{"language":"en","value":"Describing a basis in semireduced form for inference rules of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656849"}},"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":"Q2746913$92A58093-C433-4243-BE70-BFC1E2B644F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea442d4415cbb8723fe4ce9115a4452d56b45e74","datavalue":{"value":"0973.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746913$24DB3684-EF78-42CC-BA5C-5FA529696F46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3affb76f39280a6ff66de0de3b3828b69fcb28c0","datavalue":{"value":{"time":"+2001-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2746913$AA6C578D-5A73-49AF-9C39-F021DD1C7038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d15e66f5267d4365c2ce5d06fbdf09e3fd5f16f","datavalue":{"value":"https://eudml.org/doc/187955","type":"string"},"datatype":"url"},"type":"statement","id":"Q2746913$093B1A7A-F8AB-4C59-9C7E-15986D5B90FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746913$333D4E32-964F-412E-980E-6C6F555DABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746913$256C4B41-A8A3-464B-B1B8-5E6F364D1EE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e42aabe719603713beaee191089e5012ac93df1","datavalue":{"value":"1656849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746913$957DD064-D32E-4B3E-9D69-6879BD10B3BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f783eaadeb37957fb6e0d5f16d2cfdd8f28f02c4","datavalue":{"value":"basis for admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746913$7F3ED0DB-62E3-4D53-90B8-8DCFA8BA0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746913$4B9786D9-4840-4918-BD50-60798C4BEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158fe027fa36c8211cda921508a5088e3d778363","datavalue":{"value":"logic of the weak law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746913$CC74DEC7-7AD4-4DC0-894A-7C53E0017B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746913$CAFFCD16-F122-4228-B9D0-314ECDA7E960","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":"Q2746913$1CB7D924-829C-4686-8A75-42E56A717028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee0f26e85e2e2e5e7401f4e3f865e337e6c579","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9694534ab94e3ff9f4135d1487af5765638fe2","datavalue":{"value":{"amount":"+0.9219428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$045545E5-46B2-48C2-B600-DA6D46D13D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3f24c8b3343b08f69b1e1254dc5910bc0a93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4803958,"id":"Q4803958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac733b7e3d975ab8eba51b5c8390908fee61db5d","datavalue":{"value":{"amount":"+0.88035035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$5BE1B48E-AE30-4029-B9A8-1D1A0B8E165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33adef9a29aa5d470c0392884899028de18245bc","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326d88c2e19838b69af960b2c806f4a47f581b50","datavalue":{"value":{"amount":"+0.87767684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$FC49D5BF-A618-492C-B7A9-EAE0DDDE16D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f4eaeb4480d971e949b0a2fbd8d8001d316a66","datavalue":{"value":{"entity-type":"item","numeric-id":4882488,"id":"Q4882488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b349ff0be2f7d28c1014d3e7d5408723b280687d","datavalue":{"value":{"amount":"+0.8714849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$32B2999E-43D5-431C-BDF8-335C08E9DFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd74ce2549c5ee8b5a66b288b9a5e07746d66dae","datavalue":{"value":{"amount":"+0.8696931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$E92F56BB-9101-4C64-B48F-B3BB2BD0F9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8d2e91d3d2636521c12ab4034e29f3604f1773","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827345db8d89e362436b4421a4095cffd7a24ad0","datavalue":{"value":{"amount":"+0.8693504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$67D173BF-8938-4E65-861C-FE5C025FD7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a368585dc15917968781bce0b71d85dd4c20060f","datavalue":{"value":{"amount":"+0.86922216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$6826F1D1-0713-4805-A627-A8E8E7DD6A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e74ec608941936af4049ccb39a2a0565a93a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":1740610,"id":"Q1740610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1a180bc5ffe0271b0e8f6239df4bf24bd2814d","datavalue":{"value":{"amount":"+0.86838174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$CEBD87EE-1BA0-4AF3-8F10-C5EC6057B6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32c12379124caa821e44e7311b72c96790532d7","datavalue":{"value":{"entity-type":"item","numeric-id":5250314,"id":"Q5250314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad33ca80652f468a5082451a8ae08a3fca659b33","datavalue":{"value":{"amount":"+0.86623544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$8EF40E37-003A-485A-BA72-6AF42C5AFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499a4fb5432f5c1e476615fb04fe4c3bca4ed681","datavalue":{"value":{"entity-type":"item","numeric-id":4697034,"id":"Q4697034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1d2eda54d73a71ac652bf707a448153353ed19","datavalue":{"value":{"amount":"+0.8658734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746913$B884C296-9216-4431-8617-2BC9F845D8DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746913$2F640DAC-EDB5-4D63-878C-FE2E4B9A6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75703c43b7574e9bc6a5724b295d101e05fb795","datavalue":{"value":{"entity-type":"item","numeric-id":1362646,"id":"Q1362646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746913$E8EEC5C1-27BF-4642-8FCD-394D47C6CDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6b3cf97c223289899e3fcdc109dfb20b293049","datavalue":{"value":{"entity-type":"item","numeric-id":823962,"id":"Q823962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746913$3CF000C2-D8CA-4130-8B13-6C60F0C7EBA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7065e3a4447085229ae6ee61b7c592629f64bab7","datavalue":{"value":{"text":"Describing a basis in semireduced form for inference rules of intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2746913$E5008D99-FAA6-47B5-A580-8C3032CF8D96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746913$44889A6C-B01E-4745-B9A7-CA7D68F5A2D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21532729edfcafe70fafcc00d4975507cdded504","datavalue":{"value":"The authors present a basis for admissible inference rules in the intuitionistic logic IPC. In addition, a similar basis is constructed for inference rules admissible in the superintuitionistic logic KC, the logic of the weak law of excluded middle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746913$534E6E66-372A-46A5-BBA4-1C52D8F14D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2746913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2746913"}}}}}