{"entities":{"Q920971":{"pageid":922819,"ns":120,"title":"Item:Q920971","lastrevid":65361261,"modified":"2026-04-12T02:03:53Z","type":"item","id":"Q920971","labels":{"en":{"language":"en","value":"Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164800"}},"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":"Q920971$24A411EF-E479-4289-BA44-89904C29D2D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56b89c3762e097d12d3c23feacd52996266a4e12","datavalue":{"value":{"text":"Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920971$D7260221-C0CC-458B-9DF2-6BD1A2BC8846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adfa986f81317029a98fc7f573250f89cb54c7ff","datavalue":{"value":"0709.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$7A45714E-D95A-4EA6-AD56-2BC8D942C70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf6fd849569fe38875d86eeebcdf6b415f14870","datavalue":{"value":"10.1016/0168-0072(90)90055-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$32F57273-FF04-4868-AD1A-56A5CC06F44A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$4CF105B0-54F7-471C-9836-7C5367C465EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q920971$4810F39A-EAEE-4B06-B28E-CCB5D0AFEC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$27E8FD1D-000F-4BF6-9582-58EC00F6E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$420424CF-6D62-45DD-B2DB-72BC49C675D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$68D5F910-D4B4-47AA-84DA-183E81CC9661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55892d91e1607b03d781644758720a5973253e46","datavalue":{"value":"4164800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$6500105D-CBF1-4D6B-A28D-ACA9EBC6229F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$A32BE96D-0E6B-4076-9797-DB69542A36B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b69e4fd2248c0090a2f9c0f3bad395e25aecba72","datavalue":{"value":"admissibility of rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$53B8315B-FCDF-47DF-83B3-08B595A6CF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66bde223aa03e326e7b1be25f14fa2afde8febc","datavalue":{"value":"solvability of the substitution problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$CE399364-5A63-4711-946C-8FE148123D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$FAB3F77B-93E7-4C8F-B1B4-5B2A2A4F9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23f7b92f6396295e72cb0db9d3b3e0d1544c829","datavalue":{"value":"free modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$A6557C96-CDA5-4A08-90E9-AC3487FA38EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6060d9aa5ea7d9faea73c876ddfa0c64eb8deb0","datavalue":{"value":"modal system Grz","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$E207D4D4-75EB-4454-9106-163F52C5D350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae92a48cb569e816aaaf890e5b5345cc5461f37","datavalue":{"value":"intuitionistic calculus H","type":"string"},"datatype":"string"},"type":"statement","id":"Q920971$F09E204B-FC9E-4E2E-B53A-B230A7FF3648","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":"Q920971$4A3FFA05-FC2C-4CDF-B6EA-48E823C3FE60","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":"Q920971$88F3E07B-426A-467D-AF9B-DD2A1903EEFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b25befbf0d81db34dde5dbb53406805dae13c5a","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90055-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q920971$A8D2A5EA-4AA1-4529-B276-7E4C4E103756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa19038e9f4046487f3795ddc9134935ee49b32","datavalue":{"value":"W2048520665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920971$2E58C11F-AB52-4CBD-B929-01D0F0A8930C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a7b04b7bf3a9348f2660e8610b05a39491b8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5620598,"id":"Q5620598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$5F11B079-8F4A-4407-A4F6-13E38B56AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$5EC54357-2450-4FCE-B6E0-6350F6F224F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$D4B7ADAA-B09B-42EB-B219-0D570451EFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$917CC90F-1B7D-4D40-B6EA-2605B41F33C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$B98F6193-B535-4A5A-9E9A-8AF4025C850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$9909B794-7AC9-4C17-A1D3-11737DA5DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$B336BF4A-B54B-4649-AFDB-911C9B5ED82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$0E748436-E7BF-4E5A-B2F6-CF5DBBF5F767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$3107A863-20B0-411C-AB09-D511635529EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fae0324a8ce373e99df85de2c69205dfaa8233","datavalue":{"value":{"entity-type":"item","numeric-id":766673,"id":"Q766673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$91F78C1B-6180-401C-A606-00F59D3C64BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$4E0DDF66-734D-49CB-8F17-20847BC14740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$70820F3D-FE58-4DDD-85AD-51F5D5F3FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f079dc0bd0225722bd196cf11659e391d430ac7b","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$C8E07A0D-EAEC-4396-BFE3-E5ADB7FD1B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$CC1D09FA-BA8E-486D-87FC-B7C6B4D19C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58312fafedbf68d82f54454b1126d641f3f1d949","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$7E9054E5-F696-46E2-9C77-BC309803E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b11bde3a81bed263542b7bc4096eb95242c70c","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$71EB83DD-6B4E-4586-89EE-9A5D0BD4208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$B4E1EFED-DF30-47DC-870C-99DA6827D9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4057cbea795765c3e532392a7ce11106aad03","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$35B33DEB-94FC-4E42-B64F-D403A853971A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c43c76d510f637727bafe0845130d3c9f042847","datavalue":{"value":{"entity-type":"item","numeric-id":1076014,"id":"Q1076014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$DBF664B0-8292-4FE8-B31B-B6D44ACD518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4290ddbfad115b8dd633050f251fa5c8f8ef8b10","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$6725F645-0028-4A2E-A425-AF37297A97BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5f10c9e5dd7ce7bfd0436cabe142c0a50802","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$4965EECE-EDDB-4A7B-B650-7021692F3A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06913570941a721de62a9ae2fc7574329b19bdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3745885,"id":"Q3745885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$5301CA61-C3FC-4A38-B91C-7CC7FADE0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a179110da4b43c1040283a3ac7e447ba1b0c3c","datavalue":{"value":{"entity-type":"item","numeric-id":1092029,"id":"Q1092029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$EFFEAC5A-C796-4BFB-9C01-507643948CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39cadbd932920cdfdc52694ab4b404d2310a81","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$9A43BB82-B849-4393-A25B-08C8F879D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$2AE4AD25-B7C3-40BE-B153-5C0542367698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d2a94415626334b2162d5dd1a5ad82bd823c6","datavalue":{"value":{"entity-type":"item","numeric-id":2626580,"id":"Q2626580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$7180FF51-4F51-47A4-A881-B0170EE39E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$B9A41E1F-C496-4A91-AD3C-77627E727BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$A68A305A-D5F9-4A4B-9B1B-6B2B4AB5DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$80EC956B-7855-40F6-879A-C8D519C53291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dac38f16d261644fc5f7dd64cd00e25f1e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$DF0D45A0-FA33-48F9-A272-50121693E395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ec8d89790d0eeb7d1a264de1d44df9fc5dc681","datavalue":{"value":{"entity-type":"item","numeric-id":3855179,"id":"Q3855179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$B40DE9A8-A8F0-45FC-82B3-F11BB81F0439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920971$1C14E72E-410F-478E-AF32-3FDCB01AC169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffbf5bcf927e838d8d52979b22e0d9675aa17de","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227fec2f90171a473848d70582d63a847aa5e2f4","datavalue":{"value":{"amount":"+0.943247139453888","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":"Q920971$1D60895F-4EE1-4ED9-9935-6E81228021FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b9e6d866f2554e4ccacbe7b98ce60951af633d","datavalue":{"value":{"amount":"+0.8933994770050049","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":"Q920971$5AC8B505-7D2F-41BA-8733-B369D291036A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d283e422a422eb8cba9adc3a9758adb8f819b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ff8e64663bb06caa2105245ad5682d50b90fce","datavalue":{"value":{"amount":"+0.8757940530776978","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":"Q920971$0598046A-1352-497A-9F3C-668CCAC093F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7472e7578f99f7a91f9f59cc8937005543e236","datavalue":{"value":{"amount":"+0.871293842792511","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":"Q920971$536F8FF4-C56C-437F-9FDB-C89F4A079C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e32b818e429ad0b6b270769587e5a50c6a38bbd","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172377164d79ede78fcc9ff36aed83787463ad09","datavalue":{"value":{"amount":"+0.8447974920272827","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":"Q920971$F6306A24-12A2-4EB6-ACFA-B7C3C9996C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problems_of_substitution_and_admissibility_in_the_modal_system_Grz_and_in_intuitionistic_propositional_calculus"}}}}}