{"entities":{"Q3824309":{"pageid":5854215,"ns":120,"title":"Item:Q3824309","lastrevid":54229799,"modified":"2026-01-26T12:29:54Z","type":"item","id":"Q3824309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099291"}},"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":"Q3824309$48EADAF0-ADC4-4D2E-A480-660F11BCA0C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75358af19976c38845c8a39e5ab6595a4fa4dd38","datavalue":{"value":"0672.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$9CA1881E-3958-448B-B0E3-2C697B7A6C89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9855519466bea582497ad753450d3bdbddb3c75b","datavalue":{"value":{"entity-type":"item","numeric-id":918206,"id":"Q918206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824309$750BD730-4AF8-4CDE-8EFC-6C9D34AB6433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3824309$DEB0B734-0B91-495C-926F-6B41DB376593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$10F01B9C-D622-4370-B16A-C0175B1E8A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$677F8D4F-C8EC-4670-ADEF-1528FAB4719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$7B59E684-63FB-49CD-8CE7-3AA59B7DB30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$6AE26277-FA8B-4171-85E2-259094870E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$F232057E-4170-4578-8120-00713CE3974E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$B62C7FBC-0BAD-4899-8B0B-217158D2881C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a557a9a6cd076b9cad36d7fd8b0c0c67b80206","datavalue":{"value":"4099291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824309$3E2D8AED-7146-4BD3-BD41-B0B0BF1E5239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ba90b9805db622d1e7d179aa1be7f9502a2b83","datavalue":{"value":"organization of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824309$0A6380C3-15DE-49FD-84CE-A537F1FC51AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b227ea1bd09d77a7ae13514747a069deaf55e23","datavalue":{"value":"derivation of theorem proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824309$7AEEA582-9239-40D9-8D2D-CB1F2D495E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb40c75bcf74d1a0d5a627c9b1e31578febcbdab","datavalue":{"value":"computations on graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824309$86234584-0291-4069-A5EC-8C3D184BBEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824309$6D804817-F944-4682-B711-F0B12AD37215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824309$127E1E1F-2F7F-465C-8805-42B86F2A86FC","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":"Q3824309$7BBE7739-D173-4ABB-A032-8EDEAB6AB171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2a39aeec68c80486de539930a88a653971baf8","datavalue":{"value":{"entity-type":"item","numeric-id":1188723,"id":"Q1188723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34296a150fd00486c81b46ad3463b123e5f64085","datavalue":{"value":{"amount":"+0.8141717314720154","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":"Q3824309$76A0D858-32AD-4B23-BDA8-36FC5239CE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3a41b77047459a9d4e4943d28167843b41d129","datavalue":{"value":{"entity-type":"item","numeric-id":5505538,"id":"Q5505538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7efb4098045307b3c5582cbe99887ef7b862a4","datavalue":{"value":{"amount":"+0.7225908637046814","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":"Q3824309$14E1D1B9-2CB3-4446-A6E0-CB06CBAEF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed2f35d93b6bf427f8ac0c4906f552a4e89c2eb","datavalue":{"value":{"amount":"+0.7117174863815308","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":"Q3824309$C3403AC0-6434-45FA-89B0-D74DB3E78CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966aaeb1160a5c2a8302eff199eecaf24a625e08","datavalue":{"value":{"entity-type":"item","numeric-id":3012546,"id":"Q3012546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6921d05f9600ea6f1e6e31277f471217cfa30fc","datavalue":{"value":{"amount":"+0.7107853889465332","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":"Q3824309$179883F4-71D6-4148-ACF4-09A2A69168FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cde8df6ff6b47800969efd7fe44178aa41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178dabeded2200877fe7812afdb70aeaf3a319f3","datavalue":{"value":{"amount":"+0.7087703943252563","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":"Q3824309$45507508-F133-46F3-AFB3-A65700382EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824309"}}}}}