{"entities":{"Q3508540":{"pageid":5538444,"ns":120,"title":"Item:Q3508540","lastrevid":50395433,"modified":"2026-01-13T23:19:47Z","type":"item","id":"Q3508540","labels":{"en":{"language":"en","value":"Implication-Based Approximating Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294881"}},"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":"Q3508540$9EB3523A-5E7F-4077-8DC2-0B9FDB00228D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755ee87590fea6daabe7de062bc67a12300e6dac","datavalue":{"value":{"text":"Implication-Based Approximating Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508540$203684C7-5A2F-41E4-BA54-F69DE7B49A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b63d2a68b5bf0561012330610bd904a9690a0267","datavalue":{"value":"1141.68459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508540$485AD269-4FD5-4D44-8CCE-739B59B2EF72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1dce07615c55fa66fddf9bff17a6ca142cbc595","datavalue":{"value":"10.1007/978-3-540-75698-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508540$9E172659-5D4E-46CE-B028-CB77056A0E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb9143325ff858045b2484f2a4415f3162aeb75","datavalue":{"value":{"entity-type":"item","numeric-id":323493,"id":"Q323493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508540$9D6E8320-2D5D-4849-BCED-65AAD7A153DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21c5737dc371b39fc8d1b191aeeaf5f81a22bde","datavalue":{"value":{"entity-type":"item","numeric-id":3508539,"id":"Q3508539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508540$207FC239-7E92-4429-930A-150EEADAD5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbcf40ed2e7134df6055b0c92761909463e1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":232445,"id":"Q232445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508540$7CA1C4F2-F4B4-4025-A292-A73ADCDE77BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fc3ba7c762fb8b1df4a8a450f825bba416b7968","datavalue":{"value":{"entity-type":"item","numeric-id":1629174,"id":"Q1629174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508540$464E292B-910B-43EC-9B07-0B43E06A2EE8","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":"Q3508540$D77638FF-37F7-49CD-AAD0-19C88E30DE97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-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":"Q3508540$10DFCA7C-15BE-49C9-8106-ABFCC69B7A2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508540$B82CEFF0-2751-455D-8784-189A79308BD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c8dade0395084e8901160cfeeb1b762ab048098","datavalue":{"value":"5294881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508540$2277D81A-3EE9-4D03-80A0-11AD380546B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d95d44d7bf26d1b413a2aae783f114d9982cd5","datavalue":{"value":"Implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508540$B8AC3A28-8036-461D-9335-3E2103B89CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508540$066C7BAD-4626-47C7-8949-E89B84D6B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d066dc3a69f4e4cc93f3535facccdf47a41a2e01","datavalue":{"value":"Approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508540$F4CFDBBD-B942-4F49-881C-72C2514FD90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ed1d90d19f3d365ccc1f81b61195674e3e2da83","datavalue":{"value":"Bounded Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508540$F7DDEC86-BBCB-4C07-8A71-9BB996496D3B","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":"Q3508540$D216EFF5-755B-4B07-AE02-2AE516F3D353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcbb19ebcf2658096a182137d21ad1a2dc1a69ca","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508540$57747D6F-C61D-490B-B3BF-234FEE13C679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f3cdc0f8914f334c56c742b17cc8e58e0e724ee","datavalue":{"value":"W4206322619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508540$F043A6FF-EE10-431A-913E-A04448B4B22D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad56d5cf5a0914eae3e1991359f1a1939c792e8","datavalue":{"value":{"entity-type":"item","numeric-id":5898914,"id":"Q5898914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640bd1203e431071156c5dc7732885b806c88a3a","datavalue":{"value":{"amount":"+0.7675604224205017","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":"Q3508540$AA2AB4C0-E1AD-43BA-8F3B-BE9B11DE6B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ffa97514a338f95a78aa9e81f2edc2ab225015","datavalue":{"value":{"amount":"+0.7629518508911133","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":"Q3508540$8F539CC4-DD91-47AE-B0CD-BC7B5A4D00F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95489f90243fad0cf22e3ddda3ad8f79fde0ca5","datavalue":{"value":{"amount":"+0.7480675578117371","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":"Q3508540$9ACECA4A-EE59-4228-B9FD-0BA43A5E5D86","rank":"normal"},{"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":"d3a1de8a46eb7a50b7f13306021dda525fbef99a","datavalue":{"value":{"amount":"+0.7414562106132507","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":"Q3508540$772ADB7C-697E-4848-8A76-82FE64EA41D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a762cc1632f712de090c330e7e6529820b48b388","datavalue":{"value":{"amount":"+0.7411657571792603","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":"Q3508540$3B3903F8-C02E-433C-8313-24BEDF7A680E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508540"}}}}}