{"entities":{"Q4808708":{"pageid":6838288,"ns":120,"title":"Item:Q4808708","lastrevid":74888880,"modified":"2026-04-15T00:51:21Z","type":"item","id":"Q4808708","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090040"}},"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":"Q4808708$1CD5467E-0876-4B18-A6A9-B938A7C49A15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3430465af70e18d2c3de127a864342a86ff8f11","datavalue":{"value":"1072.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808708$BDE3A1CD-00BE-4656-ACCC-AB94BE6BAF4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26fd195de356897c41be31ea79c1a18698c7383","datavalue":{"value":{"entity-type":"item","numeric-id":656711,"id":"Q656711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808708$E418B910-5402-4EDE-9742-38903A281BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53872013ea29b4cd7e6f796257c94f1bb4dabcf1","datavalue":{"value":{"entity-type":"item","numeric-id":814583,"id":"Q814583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808708$DDA03723-BE75-4D97-B404-CC96143147EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808708$6E7B158F-FD37-4326-83B0-9449AFDBD33B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f5e7fb626f71fda518cc520b0387f6e93a73118","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2385/23850090.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808708$9CA401E7-8237-421C-88A6-CEEA02AAA79D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808708$8D34DCCB-56B9-4243-BE64-0B5FEECDDECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808708$CF40FD12-8853-48F0-9AE7-CCA7C24A0FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be00841329730748456a78b474672b763440180e","datavalue":{"value":"2090040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808708$1C5C9D3C-4424-48D6-957C-3DB41D78C471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ccb1483d8bd70a8b858086f68af686d8e3417b","datavalue":{"value":"Integration of Logical Reasoning and Computer Algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808708$40B48BEE-DB6A-4B53-85A5-31121495CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2e16e5349ba89effb126db00b5e082ddac7bed","datavalue":{"value":"Logic and Symbolic Computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808708$BBF2B546-DEEC-413F-8C79-2A3FBC380C55","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":"Q4808708$2ACE6DE4-423B-4867-A77B-14D17E78C888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba97623cc0128a2bc7e04da320590c0f2482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3147432,"id":"Q3147432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021c6939c572ddef2f8c58ea06f2924626900a40","datavalue":{"value":{"amount":"+0.8311091661453247","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":"Q4808708$7DA92D33-6437-4E43-8E00-CDD1766E6B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d031534a4b733a93aeaa6e04ecebd0bb5586a8","datavalue":{"value":{"entity-type":"item","numeric-id":3012537,"id":"Q3012537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021c6939c572ddef2f8c58ea06f2924626900a40","datavalue":{"value":{"amount":"+0.8311091661453247","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":"Q4808708$4538DAF4-A842-4D86-8F7A-3079AC51596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee18a334787340421074998348aedb0189f9c4","datavalue":{"value":{"entity-type":"item","numeric-id":2753791,"id":"Q2753791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21505c22ba4eeec5bef337d1d07984852012212c","datavalue":{"value":{"amount":"+0.785722553730011","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":"Q4808708$5EFCF3AC-7538-4706-8E6E-B97536FEF7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77676a3d985b6f43e7c3e4aa809718d8a82b242","datavalue":{"value":{"entity-type":"item","numeric-id":3550860,"id":"Q3550860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21505c22ba4eeec5bef337d1d07984852012212c","datavalue":{"value":{"amount":"+0.785722553730011","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":"Q4808708$31A8234B-789C-4608-848A-D4884BD4F967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f88f9754f041bd20dee0ea662441807bb265b","datavalue":{"value":{"entity-type":"item","numeric-id":1414576,"id":"Q1414576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b2e654ecd4da323d81a7ff6d5afec4c07f228a","datavalue":{"value":{"amount":"+0.7452743053436279","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":"Q4808708$2ED2E683-11C4-44A0-BCC8-BBB89C2C2971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090040","badges":[]}}}}}