{"entities":{"Q2849595":{"pageid":2860315,"ns":120,"title":"Item:Q2849595","lastrevid":51829220,"modified":"2026-01-20T06:13:13Z","type":"item","id":"Q2849595","labels":{"en":{"language":"en","value":"An incremental algorithm to check satisfiability for bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210241"}},"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":"Q2849595$0D1829F0-63A9-49B6-8490-D5CF8552517F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b8716ac242d1048fe9e838accb3b415d8983efd","datavalue":{"value":"1272.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849595$ED53CEA4-2D96-4B1B-9D4F-C1DDFDF6565F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843a32011b60efe25bc4ca739c64611b63386e90","datavalue":{"value":{"entity-type":"item","numeric-id":2849594,"id":"Q2849594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849595$307A3351-6DB1-4A62-B383-03364231DE79","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":"Q2849595$5078FF60-83F3-4AF6-83BD-568F01687522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849595$8EC3C1A7-D2BD-40E3-8726-19B7C9FF1F19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fd6e2df520bb0fa3decaabe543c92364bfb1a46","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000903","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849595$2136C551-4C2B-41E8-A283-0D8E8C9348FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849595$9132AA6B-6C77-497F-8D69-862F222EE48A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7bb5c4ea8585c23e2e69d01ce5c3a338957a7ec","datavalue":{"value":"6210241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849595$A202856D-62D8-4832-B33C-764FD2C048E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"062708eac0855ac292bafeab4450f99dacbff29b","datavalue":{"value":{"entity-type":"item","numeric-id":12897,"id":"Q12897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849595$6FBEBA09-D7A7-41B0-A928-E5ECFCB9C26B","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":"Q2849595$483ECD54-F026-462A-B668-A2A58F229A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c0a0f53e137bc70cdf99f6757a7191d42003b4b","datavalue":{"value":{"text":"An incremental algorithm to check satisfiability for bounded model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849595$15837784-2C53-4007-838B-DBE08E93B880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c27e69b908bd7149ddd74876754d4a065e8612","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74573765cbc9ac34113ea7c02c76427caed6c0b4","datavalue":{"value":{"amount":"+0.8194714784622192","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":"Q2849595$06DC144C-1633-4F71-A14E-B86D18D9AD91","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":"962fbe96bc555bf7e440ccb73ce935764d523484","datavalue":{"value":{"amount":"+0.8125839233398438","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":"Q2849595$5372EA99-0B40-4227-88CB-A84C2F0C1124","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":"ff7402eb4c400b61cbccf53e7c83f75083b00c11","datavalue":{"value":{"amount":"+0.7961995005607605","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":"Q2849595$3963C5D1-E26A-4772-9E1B-BCED7580B42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05d9027728050cdc19e8a7e0e796a7fb4268a71","datavalue":{"value":{"entity-type":"item","numeric-id":3069995,"id":"Q3069995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74559b34b7f167fd08c865e47967ed287b5e7bc2","datavalue":{"value":{"amount":"+0.7929602265357971","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":"Q2849595$831FE8ED-765F-42A0-A70C-E0DA44EBC84E","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":"b7bd0bc00b8a569199be1e57eed8cb6ac695554c","datavalue":{"value":{"amount":"+0.789944052696228","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":"Q2849595$3DAE7A40-746D-4D29-9F60-A4A7EF2E02BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849595"}}}}}