{"entities":{"Q2848677":{"pageid":2859397,"ns":120,"title":"Item:Q2848677","lastrevid":42266334,"modified":"2025-06-03T22:20:51Z","type":"item","id":"Q2848677","labels":{"en":{"language":"en","value":"Termination criteria for bounded model checking: extensions and comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212127"}},"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":"Q2848677$1824522A-A86D-438E-9D78-6BB6BCED9A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"375dc1d0445b9a24fb4fb8ca75162cc257f7a6c9","datavalue":{"value":"1272.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848677$129FCFBE-D70C-496F-A09D-638864EB3E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7720f22eb78695ebaa480087fac7db26e8fa935c","datavalue":{"value":{"entity-type":"item","numeric-id":2848676,"id":"Q2848676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848677$C4E8CCBE-5CAD-43D4-889F-0B0DC0DCD917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848677$9DE483B6-2462-414E-B769-43402B10B05F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848677$31334343-2890-49E7-B435-D44EE84C2E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cecf0f82325db2e7f7ad927be78b8d5f981b279","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052436","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848677$C41D94BD-32C7-42F8-BC9F-91403735D484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848677$2C9FD472-B95C-4A8F-A491-58E8B5CB7B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848677$64E3EC3A-E004-4BFE-A70C-A55E558A2259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d1cbdbb0a7d3ec6d30b773a49c72e3152e99dd","datavalue":{"value":"6212127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848677$58891F09-4283-4D09-9D00-5471410C985B","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":"Q2848677$D25B1E40-4C18-4ED3-82C2-159BACA4DA8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93007708c9492b3bc9878d8b244d55cbf0226a69","datavalue":{"value":{"entity-type":"item","numeric-id":4417912,"id":"Q4417912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118e99d33fa4b28e8f9ec687fd8b616825ad938b","datavalue":{"value":{"amount":"+0.9037247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$25C5A81F-2F54-47F9-9532-D16253C665CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d77a8a4d278a87f1125a4c49d5cb18dd60f229","datavalue":{"value":{"entity-type":"item","numeric-id":5897078,"id":"Q5897078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74e16656f10655145689eee2aba7b5ff74e3d6a","datavalue":{"value":{"amount":"+0.89795244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$39D73476-F202-4C78-8A70-D99FE7F7EB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81db03108f55b5c2a95843c21b27b90796aad272","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ccdf4ca83b97ef59644ae4a5f7fdcc28bc2778f","datavalue":{"value":{"amount":"+0.894671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$46921D7A-6657-4C64-BB62-B277305905F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d090ba4eace94c117967cc7a6d906c863646932","datavalue":{"value":{"amount":"+0.8940395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$12D6F858-5F7C-419E-8842-872ECE6E2873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b21d36f4ecd59c9a447dde3a0c37ca786dc1ea","datavalue":{"value":{"amount":"+0.8933716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$5F832DDB-AD60-4755-8DAE-B3E26782C8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fde49d91432929ab34e781251aa8f463060a1a","datavalue":{"value":{"amount":"+0.89325917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848677$9885F8BC-033C-4501-BB4B-60AE2EA575D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f69ab6f3154b1495beaf0c636d855fda7bb94fb","datavalue":{"value":{"text":"Termination criteria for bounded model checking: extensions and comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848677$4F75208D-983D-468A-B2C7-30652E48888B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848677"}}}}}