{"entities":{"Q3088266":{"pageid":3098981,"ns":120,"title":"Item:Q3088266","lastrevid":51318683,"modified":"2026-01-17T18:04:29Z","type":"item","id":"Q3088266","labels":{"en":{"language":"en","value":"Linear completeness thresholds for bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940742"}},"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":"Q3088266$C3CDE68B-2BC2-47C5-ADBC-5F0E1D4FA4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"751133a7c9283aefa0b2ace917eb3b65e1994e2a","datavalue":{"value":{"text":"Linear Completeness Thresholds for Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088266$344C88BC-C055-4CBF-BA43-AE2FC9043C41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54ad0ed45c0f3023458eb62c4ce9484f37fed385","datavalue":{"value":"1360.68592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$A4E845BC-24C6-42BD-8FFD-4819E6A264C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec95240931ddb3755bc54ffbdd3fb8eadf148232","datavalue":{"value":"10.1007/978-3-642-22110-1_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$A1AE4722-AF31-49F0-9605-1C0551182CCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$8CCE7CFB-19F9-4841-A1BF-FBB0E2382D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$894C13D1-5E69-4FBF-920F-46226A967344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$0B321496-B876-4EC3-9822-A9FECBA5BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$57F6E3A7-DE56-4AA3-AAFC-BC3F3A94E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$121D0E4E-3544-4D3E-9694-B80A72429A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$9A5FD2B7-9BFA-4BA7-B81A-DC7AFDBD260B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088266$2E980670-DEE7-4350-BA8B-926CB4AE7A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$32B624C5-7E06-4199-9D21-1CF0CA09EA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$A4D7E51F-3A38-4D38-B873-E11B4D33605D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29891e98cdfc56610b5c5f09221031b6aecc2a55","datavalue":{"value":"5940742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$AD840501-C758-4859-B4C5-EE2E09B186F4","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":"Q3088266$F2A3759A-BC5A-4AC3-8E97-BF60A844F207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f350b2d3e10d8488b471d49f8ee4056e872c31e5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22110-1_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088266$17EC23BD-3DFD-457C-927F-F9626938F61A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e11945e8de649e027793b44c62ae9509bde152d3","datavalue":{"value":"W174184838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088266$106ED65C-3E49-4F12-A74C-B520948B5595","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e98a439ec4e9d078025f40a04fde04e8fed347","datavalue":{"value":{"entity-type":"item","numeric-id":5312948,"id":"Q5312948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$C85FDA7E-2D63-4C68-9B23-8C1E40D1E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344170b015e91f2c1e385af7eff20b912b356d9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804893,"id":"Q4804893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$BAA415D0-0809-4273-A9C0-16613A9EA4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$0F7930FE-FF0D-4B9B-8B2D-69A9D05EC44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$C18F690C-42A6-45C9-8654-C2613F38216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$A5DF5182-5EAC-42D5-ADD1-5C26A099E4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$901D8CA3-B4BD-4919-BF4B-2C80168F6CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$AD836111-1E81-403B-A9A9-967A0FC9DD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$B1ABF201-48A2-424C-8475-7A9AE17760D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b4aceb094ef820b31d63ffcc39dc6e58d4c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088266$AFC0972C-A41F-4B05-9AE2-556B3407D3BC","rank":"normal"}],"P1643":[{"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":"13152d4e57649308c191663870ab96eac5a0ebff","datavalue":{"value":{"amount":"+0.8784860372543335","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":"Q3088266$D3379296-CC98-4D98-8853-53F168024679","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":"7e8e713d3c8088bc7e8a892afd4a08abe8086cae","datavalue":{"value":{"amount":"+0.850574791431427","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":"Q3088266$34966FF1-B24C-4488-BF75-50FC39A27845","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":"58e2e1a76b35fa4e1eee58a05653d1042f79b503","datavalue":{"value":{"amount":"+0.8187522292137146","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":"Q3088266$1F6C18DF-A1D0-40C4-BEC7-04D3FD7F09F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f2888a04c22de2cbdc3c77ef029b327603a931","datavalue":{"value":{"entity-type":"item","numeric-id":3016942,"id":"Q3016942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d348f81e81b9fb3f677ea6552a74a3c819baf580","datavalue":{"value":{"amount":"+0.8107670545578003","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":"Q3088266$8C4152A9-F508-4B17-BEB8-295A71EF5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41c805b83d6fbdf781c1eb48abb497794b0abc7","datavalue":{"value":{"amount":"+0.7896530628204346","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":"Q3088266$ACC0B1A7-9E50-4D8D-95C5-CE60095857DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088266"}}}}}