{"entities":{"Q2848682":{"pageid":2859402,"ns":120,"title":"Item:Q2848682","lastrevid":51834707,"modified":"2026-01-20T06:53:08Z","type":"item","id":"Q2848682","labels":{"en":{"language":"en","value":"Supporting SAT based BMC on finite path models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212128"}},"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":"Q2848682$100C15DB-05E9-4A7A-AC37-95A8ABB01EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49afb6fb3babe5c602d539c7fc3368fb3148879c","datavalue":{"value":"1272.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848682$923AAAE4-054A-4F68-B885-3F53D9EEA33A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f4c253ced25eae1a9cedd382e9903d2fffd4ac","datavalue":{"value":{"entity-type":"item","numeric-id":209464,"id":"Q209464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$697A2B21-1C47-4812-AF32-8DA4F0BD04BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55dcf5ebb15fd3cf750483c4ff69e5fc098dc92a","datavalue":{"value":{"entity-type":"item","numeric-id":2848678,"id":"Q2848678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$7E80D2DF-C915-4778-8B62-5106E37450CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c6f0f051bbed6825e251d255a85e9ed74a3a350","datavalue":{"value":{"entity-type":"item","numeric-id":2848679,"id":"Q2848679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$D4A155C7-974B-42D3-ABA0-D833C33962D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53179ed98ae470a6c2fd35d951f847bdfc8f0a86","datavalue":{"value":{"entity-type":"item","numeric-id":2848680,"id":"Q2848680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$86225E44-D130-46F1-8554-0F254EB79A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d03a3bf150f3684095e480d2bce0cd159f0697","datavalue":{"value":{"entity-type":"item","numeric-id":882146,"id":"Q882146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$A76A939D-30F7-43AA-95F2-0ECDA174F6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"568b0ad64491cafeebacdd612b177850f7ecb220","datavalue":{"value":{"entity-type":"item","numeric-id":2848681,"id":"Q2848681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848682$E041D337-0E78-4146-873E-BA497F8E40E6","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":"Q2848682$77CB77B8-8B2D-4140-B454-D5CA04C25B94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b90bde0be179ea3bdd23311f827fac71a5c88e19","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052448","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848682$A6170D2F-B3BA-440C-8ACB-F45B5EA86EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848682$7AEFA60E-A895-4B8F-B91B-63C4A8F4B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848682$057304F6-EFA2-4D95-AEC2-EA49E88D11CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e67d47f59ac4326938c6584287e918ddb22152","datavalue":{"value":"6212128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848682$3D47BD2D-2C3E-4A3F-BD1D-596BA3EC2377","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":"Q2848682$305C2F9C-CB82-4E35-BABC-9E538604DD7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b5f0242f16376e00482bb2836ab5a960c7cc41e","datavalue":{"value":{"text":"Supporting SAT based BMC on finite path models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848682$8C34729E-AEED-454E-B3B6-CF43BBDE8298","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":"1b66bbf8359c7217e48e96636ed8c9c8d0c39d29","datavalue":{"value":{"amount":"+0.82014399766922","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":"Q2848682$FC7B8E61-8025-4F7D-B5B0-CAD258A3E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c557a0acbba6eae282ab48dca0c89eeaa1e3104b","datavalue":{"value":{"entity-type":"item","numeric-id":5222973,"id":"Q5222973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dde95da03dfe64c51cbe8aed1b43117e99a5a5f","datavalue":{"value":{"amount":"+0.807567834854126","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":"Q2848682$BE48B95E-9550-4BEA-B1E0-B754A88265CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8251c357a95f754b6ba0c5e390b155c518e5aae2","datavalue":{"value":{"entity-type":"item","numeric-id":4902327,"id":"Q4902327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a445bfd06af6d41309ae60211e6ad8fcc83d43","datavalue":{"value":{"amount":"+0.7926536202430725","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":"Q2848682$677609E5-7585-4867-A3EE-302EB579967A","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":"40ccc7b9e1782a05d9083d1d1db6bb67345c4b4d","datavalue":{"value":{"amount":"+0.7912352681159973","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":"Q2848682$C593FBBD-3759-497E-BAB4-816A72B87652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516a82391fa1789cadaafd6a7ba99f47b3368506","datavalue":{"value":{"amount":"+0.786954939365387","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":"Q2848682$6E364B45-D760-4C3A-AD9A-E8FDC7200522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848682"}}}}}