{"entities":{"Q4206709":{"pageid":6236310,"ns":120,"title":"Item:Q4206709","lastrevid":49335124,"modified":"2026-01-06T23:52:16Z","type":"item","id":"Q4206709","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127173"}},"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":"Q4206709$4DFFFEEB-1157-4082-8E58-DF2FDA704A9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e49fc394ebeee24e779b39a01bc45d6f49e22a2d","datavalue":{"value":"0688.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206709$A76C429D-5281-4E7A-A1C1-4C8C1924C075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4206709$6F38F33D-3F4E-459A-BDF0-84BD1AF471B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206709$931B6090-9910-4938-846F-89C3E5827565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c21341383a71d4b9b4153fddb0b50fe7ce0d661a","datavalue":{"value":"4127173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206709$41DE8871-B9CB-4738-A5B6-991B78623543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$435DF9DA-14A3-4FAB-BF0A-DE65E51A67BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75e750785800d16c976e51c3338cf237cbb82b5","datavalue":{"value":"deduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$BB581969-07DF-4D87-A007-833157D4D56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b359d9cb9a9b93ba98893683b94678df9357c08","datavalue":{"value":"Converse Ackermann Property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$42465889-4BFF-4F65-9C73-457E3561E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237ca0543939fe4c40410dc9891e8c5dc2266ad4","datavalue":{"value":"pure implication fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$35519B15-08F2-4B64-B3B5-E3F293CF3064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$31552FD1-6AFB-4572-893F-17FA71148C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206709$F0B338CC-2F6C-4B1C-8E6A-8F91671B3EA6","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":"Q4206709$AD80BE12-63C6-4220-AC76-D6583FBF9AD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5675362f116ff58f454468354683d4c5fe647077","datavalue":{"value":{"amount":"+0.787816047668457","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":"Q4206709$D274C7B5-4E93-4D5A-881A-877565AA58ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22af7f7badf6951f34ff57c0dda8624688b80e3","datavalue":{"value":{"entity-type":"item","numeric-id":1091381,"id":"Q1091381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b2b164b2a1f1b9e69dcf446cdd562b946c5f57","datavalue":{"value":{"amount":"+0.7584455609321594","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":"Q4206709$27AB1227-B723-470E-B483-D14089CB9FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17ca7d0376f81fc3815b8d97210536e51f8bb0f","datavalue":{"value":{"amount":"+0.7583907842636108","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":"Q4206709$5450B991-2A3E-4734-AC92-F9E1170ACAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60894ea789d2a181ec8c0b1ab9c231af1b15290c","datavalue":{"value":{"amount":"+0.751316249370575","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":"Q4206709$AE6CF406-50E0-4F88-8E69-096FAD57DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd9588bf9024d560f651ec148fe9ffc3c9960","datavalue":{"value":{"entity-type":"item","numeric-id":2641293,"id":"Q2641293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044cd7855656f0f9c507527fcb6f1827ec8ad5bf","datavalue":{"value":{"amount":"+0.7470230460166931","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":"Q4206709$7AEEAB6D-063E-40F7-8CF3-68FC37495FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4206709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4206709"}}}}}