{"entities":{"Q3934366":{"pageid":5964271,"ns":120,"title":"Item:Q3934366","lastrevid":55030789,"modified":"2026-02-02T23:53:55Z","type":"item","id":"Q3934366","labels":{"en":{"language":"en","value":"PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3750919"}},"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":"Q3934366$6C51A30A-6C73-45C5-8C4A-B595F1D10983","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b4ffcbff38f8f96445bd8d1c4e9ca9ef8266ff","datavalue":{"value":{"text":"PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3934366$66CCBEDC-5A84-4723-910F-126BF998B462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"366944789b07fc1e4cfd5999a351ba92d69c52b9","datavalue":{"value":"0478.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$8370511A-00F4-41F0-B846-2A0B371A2F04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278a4a853327b5f95e3b92d34efc4aa9098a17e8","datavalue":{"value":{"entity-type":"item","numeric-id":583202,"id":"Q583202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3934366$2973DB77-20F1-4E98-87C6-D332B58AB1B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7b33a6340c2e117b07fcbe639005ddb5de09fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3025699,"id":"Q3025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3934366$0976D5AF-74BB-4E99-9B79-A18A130A943B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3934366$05A151E3-26B7-4AB8-A1A9-4C6E312B7B4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$4CD07E35-1E65-4D92-8E21-83D15CCF6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$76F1A973-2705-4FEF-9F76-63FE2885116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$784CE350-E82F-436E-A2A4-D103FF56576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$9F04228D-2EBD-450E-A807-C8DF98BD52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$4CE8CB4D-1F87-49F6-92C5-44B0C1FA8707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04db76794651a78dcc1cee213d9c8059d9f1479e","datavalue":{"value":"3750919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$2207AC87-7E96-4DEF-91D8-7BF62E396732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506dc38d0a98866a84f92240dd41f72d3f44b8a8","datavalue":{"value":"algebraic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934366$D4262ED8-1CFF-4265-9456-5BC6BBC13B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1157b7b5a30dd33b503121e6f9caf4a181782808","datavalue":{"value":"Gentzen predicate calculus without contraction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934366$4473A880-FBDD-4B07-9465-85742DC2CF51","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":"Q3934366$A91C099A-1370-4288-BD2B-772B4645B757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06bfeffaebdd8a8514c87a14bd3034e1e9636798","datavalue":{"value":"https://doi.org/10.1070/im1982v018n01abeh001382","type":"string"},"datatype":"url"},"type":"statement","id":"Q3934366$F89E435A-0A24-4D16-A0AC-5CA4E6AD056D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"133548ad9e2f780b6e047d0e4df4b62aa38f0110","datavalue":{"value":"W2134788346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$E1B7AA09-282D-43DD-A39E-2747C8FFE23B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ac5efc64fefa4dd2a2d6e205eb1252e124c08f","datavalue":{"value":"10.1070/IM1982V018N01ABEH001382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934366$2B90D78C-064A-4514-9999-F66A31993DCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3934366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3934366"}}}}}