{"entities":{"Q3679177":{"pageid":5709083,"ns":120,"title":"Item:Q3679177","lastrevid":50081575,"modified":"2026-01-12T21:44:09Z","type":"item","id":"Q3679177","labels":{"en":{"language":"en","value":"HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900748"}},"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":"Q3679177$8E60DFBE-2633-4330-8A0E-A249C76F74CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"485fad71190aa966d93daf8af2d52d63e6f60860","datavalue":{"value":{"text":"HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3679177$026A8202-0772-473C-8480-4F8BAA244887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cdcd7e67748c3f7b18f5ec1807cb69202d7d899","datavalue":{"value":"0565.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$490E7AE7-0F0F-4F1D-9CBF-42DEA6800F0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3679177$15E0122F-0B0F-48B2-8538-C405A1A7735C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3679177$4BA90010-0DD9-45DC-A963-A82C1A7AB7B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3679177$14B4AF26-6A48-4623-AD35-92613D1E64AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$BF695278-EA67-4E75-863C-169C5220EE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$F07FCC45-FE1C-43FC-940F-91564CC17636","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8e5e9a8150a94b0d58a49a98816982ab0d20a3","datavalue":{"value":"3900748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$ACF1A904-0E08-4674-8F66-E6520597199F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f0875e71694a3abcfe1a8bbfbc55522ce74bd0","datavalue":{"value":"hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$296F592C-4E46-40EF-9F13-5B8EFF3774B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30701766173703d2c3c5a29da8abc2b17cd59726","datavalue":{"value":"adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$FC8CDC0E-963C-47E7-8F74-F92DA9CE15AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$15A78B99-6A22-4DA6-8CBF-5956FFE85F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$3C462F74-A1CC-482F-AA81-6E5D4B0E36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c805b7f2d99ebdb19c2f9ccb21b84fd298a8ef2b","datavalue":{"value":"fibered categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$F2E96E07-6077-48C5-86E1-BC566F91BAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3be7ffd18f96b6010a7f2923e784eebab633cb","datavalue":{"value":"category of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$85252608-D87B-4890-B701-74CBFBAE60E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685ed6d4b300fcc7abdc5da98d83a1e2a9abc826","datavalue":{"value":"pull-back","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$03B9E777-3FEE-4973-A607-2A654E21142C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40bcb7ec03a0f4bd527b28fbd4b4c9801a1f15d3","datavalue":{"value":"associated theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3679177$4D7320E6-9D26-4DC4-86AB-B4326CC67FEF","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":"Q3679177$8A2879A9-CE91-4F40-95FD-B8D8D85410A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12495dd09d95e574b9b2ea3ed29243f895338338","datavalue":{"value":"https://doi.org/10.1002/malq.19830291005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3679177$67A38557-8B53-4ECE-BA29-EDE9C5CC1736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a2aab77c658eadf8b1d96390ec0e72b36183aab","datavalue":{"value":"W2016862652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$E4E3EE58-698A-41EB-B988-CD2061F3E688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"821b98a63dfdb2d52ce950d4cc52d361b3a5b623","datavalue":{"value":"10.1002/MALQ.19830291005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3679177$01EAB488-BA8F-4973-982C-464FD9430199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34468da0505177458e28a990a3da8022cbffec35","datavalue":{"value":{"entity-type":"item","numeric-id":3754790,"id":"Q3754790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7146b85bf2f34efd374a3b67b9431f4b9dae54","datavalue":{"value":{"amount":"+0.7960205674171448","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":"Q3679177$16C1C9D5-0D89-43E9-97D4-7F39245534A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4bab13d7f482db501a84e7faa14afcb9812711","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d567213d4b10f2bc80dafd3c3bbb932a660afed","datavalue":{"value":{"amount":"+0.743344247341156","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":"Q3679177$DB90E24D-F85E-4EBC-AC00-2BE20DD5D4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15378801f2252b6a8bb20b184f6f86c965c8124","datavalue":{"value":{"entity-type":"item","numeric-id":5015729,"id":"Q5015729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe91c93fddc4472da94979a41c88ebc8eae9dc2","datavalue":{"value":{"amount":"+0.742485523223877","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":"Q3679177$74D7C86D-61D9-438E-8A19-3EAB0A98A500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab2208a8c1c3afffb34ff6959422d07dd717a2","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939adc04b1461f71efaf8c8b90edebd048e99f22","datavalue":{"value":{"amount":"+0.7412074208259583","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":"Q3679177$AD94389F-91B0-4C6E-B398-ED796D528312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6e55dee6b55fda902f663bad6f39b452f20583","datavalue":{"value":{"entity-type":"item","numeric-id":2220195,"id":"Q2220195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5d1a79d087e03f52698c1865d34f52ebf501f","datavalue":{"value":{"amount":"+0.7406746745109558","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":"Q3679177$272F0FA8-26F2-459A-8B09-67B352BBA778","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3679177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3679177"}}}}}