{"entities":{"Q3728879":{"pageid":5758785,"ns":120,"title":"Item:Q3728879","lastrevid":50825402,"modified":"2026-01-15T07:50:49Z","type":"item","id":"Q3728879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961578"}},"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":"Q3728879$6699F80F-9876-4FD3-B905-4FE859FC9CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f0e921b80e409fc45487df39f23c4f5a97913f","datavalue":{"value":"0597.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728879$9E5A081C-244F-46A4-BAE6-8446818D672D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62d60f2e17586005b7dc7743e95e67fb7e55a6c","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3728879$C3AA19B6-46E9-488F-B3FE-D8D736843E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3728879$51671302-8FFA-47E0-AA0D-D43BAED064B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728879$9BBB53E6-ED68-49D8-8059-1D69782FD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728879$F207BE5F-6EAD-4616-89E6-B496F6D99484","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b18736aa34b9b2051ac47678465fee396d0a8dd9","datavalue":{"value":"3961578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728879$E11972B0-985E-4F45-98ED-D86F0019D3FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d32ad6231b1d080bbe697e4e0952c2238ad4a93","datavalue":{"value":"R-W","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$C0C3E36F-5C52-4012-9E05-41AF3E80B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a72f60a299773d66e81510b976594842b58f58","datavalue":{"value":"T-W","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$D3A82FAF-DDA8-4AB0-8CA4-D8574C34A799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc750346d57276d844613acb7a05d50f7e5ad4f","datavalue":{"value":"TW","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$ADB65C1C-F5FA-4E1C-82AF-E6F33CF2CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9f1655a23f7bb198567245ef1b3fe5ba894ec8","datavalue":{"value":"RW","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$23EE6D8F-94A9-4BCD-9D46-C607A88B2F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$D4BFA100-BB0D-4EFA-963D-07DDB80B5CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86c44e1007fe264f77261a18117a272ebd5e444","datavalue":{"value":"contractionless relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$FA4A5E8C-C686-4C10-9841-B122A76BBBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$7779DBB1-096B-4380-8270-58E81E49594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728879$96C639FA-D16E-4223-9142-C835BC541FFD","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":"Q3728879$E1197D5C-CAB1-41DE-89C0-E76F822CE0A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1045d1d43ecac57bf02d9e545b4e5924e4db95e0","datavalue":{"value":{"entity-type":"item","numeric-id":4228152,"id":"Q4228152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbff3eabd0d3652a91507327b168000c17aec6e","datavalue":{"value":{"amount":"+0.8856098055839539","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":"Q3728879$A37CAB9A-76AE-4FC5-BD0B-0942BB26B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b9de7e40c5958ef6e20e8d0fc196dc47d40cb","datavalue":{"value":{"entity-type":"item","numeric-id":3030795,"id":"Q3030795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7574d708b9749cc77159cc294c53bd294580f82","datavalue":{"value":{"amount":"+0.8835950493812561","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":"Q3728879$D809B732-6699-4A7D-BDF1-628A38DCA5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4896fca4a61f20fdb7eb3a3c515c6a0f5ab00d","datavalue":{"value":{"amount":"+0.8551431894302368","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":"Q3728879$8EBEC6DA-3AAD-434B-A423-B630BA3A3086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645b8f735fac26b4de9b88d108026426820bcf56","datavalue":{"value":{"entity-type":"item","numeric-id":1071751,"id":"Q1071751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da868d0a200c8c07e51320c6614335156ccbcfd4","datavalue":{"value":{"amount":"+0.8497239351272583","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":"Q3728879$43925363-0DA0-4C16-8AAE-E4A8CC498F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab561870c7225f539ca25f1fa498ee781390554","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b2b8885590ec948716a9609e60c40e023a14c7","datavalue":{"value":{"amount":"+0.8450546264648438","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":"Q3728879$3E7E622E-FE53-436A-A3F4-A91B1E9C00BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3728879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3728879"}}}}}