{"entities":{"Q1908430":{"pageid":1919172,"ns":120,"title":"Item:Q1908430","lastrevid":47019624,"modified":"2025-12-26T01:39:36Z","type":"item","id":"Q1908430","labels":{"en":{"language":"en","value":"On logics having diagnostic formulas relative to minimal calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 848925"}},"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":"Q1908430$67D90270-48F1-4E3C-93E3-DC2C8B449F6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ed8c2440636b3667618b2436ec014ea062c11e0","datavalue":{"value":{"text":"On logics having diagnostic formulas relative to minimal calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908430$22113969-9765-49F4-9483-1B75149698C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d9558160cb6243f529870cc31923643eb6e1a57","datavalue":{"value":"0839.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908430$2FA2E259-95B2-41AF-991F-898DCB5E4B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074fca8e7eb97ff9031d44469e4dd227e8d0736a","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908430$167D6A50-27A9-4792-968C-6538217F674C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908430$A1A34FC6-1AAA-44D7-AD5F-02F79655F5AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3fd24908ce68799244ebdfe7a5876886c122fb","datavalue":{"value":{"time":"+1996-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908430$2D186BF4-8CBF-4A36-9576-26CC7AABBB0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908430$2E5C6717-99D0-4F31-9362-8C56DFD5E462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ca4b7a09ae8ecf4bb96c8ed4e95165a53538fb1","datavalue":{"value":"848925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908430$9380C291-FA1D-45CB-8A1C-20296BF27552","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908430$2F12F56A-FF3F-4401-BD9C-BC180025FA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122669cad7a8073cbb6990a855ea09f47f9c6710","datavalue":{"value":"intuitionistic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908430$31D2488E-C2A8-49C2-9D38-EF92A664ED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91dd7f4b543c8868495cba36dde4739f5dd76d1","datavalue":{"value":"minimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908430$130608B2-F6A4-42E7-BED9-6BF45DAB46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668c205b8674e154136520101b5d65535c84d1bf","datavalue":{"value":"diagnostic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908430$6D3E591A-FC4F-46BE-A806-0C47A5FB63E5","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":"Q1908430$6FDA740C-F17A-4603-8E3B-C5A0874B2883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaaf9af20fc865688095455a59203a185254457","datavalue":{"value":{"entity-type":"item","numeric-id":4829700,"id":"Q4829700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cff9155b0f318380ffba1995c1938f5f5994b87","datavalue":{"value":{"amount":"+0.8740777969360352","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":"Q1908430$E0F35593-868B-4906-B303-3B99581361D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e73dab87bea41d5aa29293b44cfbb68ea11a4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3363725,"id":"Q3363725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc50222b89fb90b1a74a94abcef0a697c27466a6","datavalue":{"value":{"amount":"+0.8248457908630371","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":"Q1908430$4BD42D28-F7A1-4854-9411-978A8C3651EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824c80a8672c6890540ba20bc106286806b9aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":793006,"id":"Q793006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babb55a55f9bfce7a2ba88e525a5886b93712b5a","datavalue":{"value":{"amount":"+0.7243996262550354","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":"Q1908430$E1B90851-7ADC-4484-8138-0E30E8957625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e35ffb7ed90d12ae41aae6c6adfe2a53a63f01","datavalue":{"value":{"entity-type":"item","numeric-id":3063990,"id":"Q3063990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c292cff6151578373bb1fb3b568e578d8a159c1","datavalue":{"value":{"amount":"+0.6996608376502991","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":"Q1908430$198CE7BE-D59F-4C7B-BAC3-311EC1E61B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a020c71a67a59da90c8fb138f5c0ed619d11d2","datavalue":{"value":{"entity-type":"item","numeric-id":3469083,"id":"Q3469083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1640926923e6bf13d75edabaf606e273d941825","datavalue":{"value":{"amount":"+0.6996192932128906","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":"Q1908430$65C92D6E-3184-454C-96AB-4C053045C30D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908430"}}}}}