{"entities":{"Q3636853":{"pageid":5666759,"ns":120,"title":"Item:Q3636853","lastrevid":80868008,"modified":"2026-05-06T17:11:01Z","type":"item","id":"Q3636853","labels":{"en":{"language":"en","value":"SPEED: Symbolic Complexity Bound Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571888"}},"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":"Q3636853$45C2454A-94A6-4418-B2FA-2CE7F3BE3F73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8fb305148bb92cd3e05c09debf77576f7917f1d","datavalue":{"value":{"text":"SPEED: Symbolic Complexity Bound Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636853$50282F41-F4DB-4B3A-B29F-E8FD163C18AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"462bc156aae38546be4b3fe335be676203af5ed1","datavalue":{"value":"1242.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$7CE16DF4-354B-4B06-8212-3E7B9C22387D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8b8400202348100c0d2171e3917d2b15164df01","datavalue":{"value":"10.1007/978-3-642-02658-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$79B0B268-9ECC-44CC-9D04-980DF64785EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636853$013C835C-349D-49A0-98BD-B9B361B093B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636853$BF860173-F1BB-420F-A12E-47AA79E8014F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636853$15E849B9-7084-4027-A857-D34EF1DDAC2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$140DBFC4-AA3B-429A-89E2-379935B61F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$F5AD6677-D7DC-4801-88F4-D81CFD6F48C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff98d90c155b8318e57ed850bc8e8a0c52594579","datavalue":{"value":"5571888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$4DD87A68-40FC-4A86-8DA9-FD2B0B33A1B2","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":"Q3636853$8DAC3712-3ABF-4195-A8CA-E3BF2C5D51C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a79a41a667cba737039d57d242efb8170d50bab3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636853$0EE7D4EB-4C20-49EE-97F4-D3AEE1E50CE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbff579bf56f8a574d7aab128cfedb75ab03cbdf","datavalue":{"value":"W1599625180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636853$DA4CE31E-8F4E-4FB3-8ADF-C65D0E999172","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d458edef0a12fe970318efe1226e2d77f71467","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d8dfe7759390bd461f388c3232a46b4872a82","datavalue":{"value":{"amount":"+0.8043692111968994","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":"Q3636853$5A7D137B-5520-499B-94A4-748B3AEEFA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f5323b98bb68466d7b5f4b94d1efff2a2a9139","datavalue":{"value":{"entity-type":"item","numeric-id":4999325,"id":"Q4999325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216a673b2d1799d6821ce6d6f4277a17c49b5c5b","datavalue":{"value":{"amount":"+0.6818785071372986","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":"Q3636853$C2691955-19C8-42CA-93FA-3D6CB1A0D89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7cfbb1baf5492327acdec245a15506b12854ad","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4299877f9f18b589791fbacc7629ac4f03a2bb4","datavalue":{"value":{"amount":"+0.6742764711380005","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":"Q3636853$281DCD8A-0EF3-4325-948A-DBD1565B2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e237c1dd560b8e7b81b27fb01fc0d1b39ab81d0","datavalue":{"value":{"entity-type":"item","numeric-id":3060186,"id":"Q3060186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba69fe4491cd10350f54db36d7579e7f90fdcb2","datavalue":{"value":{"amount":"+0.6695511341094971","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":"Q3636853$E60444A2-AAC9-4358-BA1E-E0C0D16DCCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3cba77b0b8556b4f4fd1b9dd4e2e437733af5d","datavalue":{"value":{"entity-type":"item","numeric-id":3630193,"id":"Q3630193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb647d27d879568b7e049fe93b2586e85e9a848e","datavalue":{"value":{"amount":"+0.6689472794532776","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":"Q3636853$F62FA82B-23C1-488B-81F4-99D0E3E61A40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SPEED: Symbolic Complexity Bound Analysis","badges":[]}}}}}