{"entities":{"Q2797866":{"pageid":2808604,"ns":120,"title":"Item:Q2797866","lastrevid":44691879,"modified":"2025-11-25T03:01:25Z","type":"item","id":"Q2797866","labels":{"en":{"language":"en","value":"Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561960"}},"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":"Q2797866$1C51537F-E02A-443B-8BD7-CE5ED01AA1D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa6560347b308ddaf5b47a13082b5df137c06eb","datavalue":{"value":{"text":"Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2797866$B6D5D3B3-28DD-4A36-92E0-6812FAA12EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"262f0e0081ba46b358cad2c4631035149c326de1","datavalue":{"value":"1335.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797866$998FCC7F-5C1D-4E59-AEF4-8C5923E5DFB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e643c445c74915a4cf127aa06954d3c7dd9c8501","datavalue":{"value":"10.1007/978-3-319-15075-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797866$6513D590-5450-45DA-BCF2-C9D78620C3F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$2941926F-4A8E-4028-AC05-9F5B16AED30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$1E7FFE79-450F-4B8A-ADB7-0DD2124C8E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$9A788AF2-D2CA-43F4-B351-981DF7E654D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2797866$43B81409-003F-415C-A2C3-97ACDA901C8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797866$16435CBE-AC3D-4732-85C1-A30EA28EB7C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"168d72f4ecb706b1adba5f3452885bb69aa8c56e","datavalue":{"value":"6561960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797866$39982F29-907A-4382-896E-0BB7638A0E10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61966f1b26da86e1a00e54448284de2cda99b2af","datavalue":{"value":{"entity-type":"item","numeric-id":18663,"id":"Q18663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$876129F9-5EEB-4159-ADAD-169311AD4918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4e11557fad98abdbd20c826863090d34ba5135b","datavalue":{"value":{"entity-type":"item","numeric-id":21925,"id":"Q21925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$14129D08-28DE-4EDD-892E-C0325ED1B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$C6196F8F-86A9-40A5-BF1C-E520346AA3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bad17ed9105e56234c3fb1410804a2c89618330","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$6E047221-4928-465B-A0F2-0D033BA9B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$4A5EF365-A24F-4376-8835-04173AEF5262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb907c191c9b4526ea77a562d1372a7e74d8254f","datavalue":{"value":{"entity-type":"item","numeric-id":21690,"id":"Q21690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797866$2110F46F-EC5D-49E8-857E-9A05DDC0A31A","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":"Q2797866$55E9FCCF-9EEC-43F2-89D8-ED22586BED2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cbb63c8ae7526b52266cbb7843533286b7c1a25","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15075-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2797866$B63F99B5-78E7-46DD-A748-A639A6847643","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"446c879b5cbf180d0b14bf8c3483a1b8b1cc2761","datavalue":{"value":"W5667864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797866$3C5F3DF1-323B-4202-8BAE-E4A6F87C0B22","rank":"normal"}],"P1643":[{"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":"3a9623409b9c190cdc69a8841ff09b554894c63b","datavalue":{"value":{"amount":"+0.8995754","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":"Q2797866$2427B5B0-9274-4010-8035-7755C9511AF2","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":"e7ce7a1f4cd59fd2f06ce58af8e4e4ff596a426d","datavalue":{"value":{"amount":"+0.89655375","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":"Q2797866$035B54D3-2A02-423A-AF84-8EF880541805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c965cb7fcf567780c9245150aa0463a69923729c","datavalue":{"value":{"entity-type":"item","numeric-id":3600481,"id":"Q3600481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e2f385ebaf557f90e3b4c7c17291b719709bb2","datavalue":{"value":{"amount":"+0.894544","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":"Q2797866$2B84EFC4-795F-4435-95E2-24B74B1053BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21087abe7ab8ea4a03d52101d4bc7b1f94c425b0","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbce43c12c1c24d7143c9eeb8b3bfe83df102c","datavalue":{"value":{"amount":"+0.89191854","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":"Q2797866$D13F6D23-9A4B-482F-8377-BF3E01FEF262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8a074cc5846737b55281d8bc60d76b8cf508ea","datavalue":{"value":{"entity-type":"item","numeric-id":4472242,"id":"Q4472242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60272e5c03973dc63e0f46d7665ac48024b08b42","datavalue":{"value":{"amount":"+0.8852969","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":"Q2797866$376461B5-463E-4DFD-939C-CD6C6D28C4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1982d9b548ac797cdd6204653effa1199bfdbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08339e25236d114f799e878b7ba6530a67f09260","datavalue":{"value":{"amount":"+0.8807098","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":"Q2797866$59E5868F-822F-4EAB-B6F2-41A4D076D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b1cfa87c64396f2ce0090ad61b1f9d26a27b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2763671,"id":"Q2763671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0656cfae9f6f55aa091858e48a3efe39e7f9496","datavalue":{"value":{"amount":"+0.87943834","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":"Q2797866$94A8D6BB-0D83-4FC6-B738-27004FC23CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc07928af4949a1dcefbdf5fbfb948d733cd720a","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b29bb488fa5341b1c28b402d2bbf17d1de29df","datavalue":{"value":{"amount":"+0.87611276","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":"Q2797866$60EF4388-3084-4FCC-8F64-A20762A6C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afdabb81c223e15ee7cd53f5e5b9db0cd7233ad","datavalue":{"value":{"entity-type":"item","numeric-id":2848871,"id":"Q2848871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609d6cda8fc065738a033a9c847b346bce35c662","datavalue":{"value":{"amount":"+0.8748751","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":"Q2797866$E38F2D23-F55A-4862-993E-B3758EA933AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2797866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2797866"}}}}}