{"entities":{"Q2986805":{"pageid":2997529,"ns":120,"title":"Item:Q2986805","lastrevid":58088556,"modified":"2026-04-03T18:25:49Z","type":"item","id":"Q2986805","labels":{"en":{"language":"en","value":"A perfect model for bounded verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718088"}},"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":"Q2986805$E058436B-F9FD-4FF2-A601-CC3335F4EFEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88b8c0736097fa6357a25c096661501c5a32831e","datavalue":{"value":{"text":"A Perfect Model for Bounded Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986805$33FBB835-40DE-4CF8-BA58-166B5947FE5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"379f0e47d386307a07412df2cbc81573640bf828","datavalue":{"value":"1362.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$A8FA05BD-0FB0-4CFC-AE87-E86FEF941138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dddd4affc79ffb9c39e0d38e8b0c1177186a0f3","datavalue":{"value":"10.1109/LICS.2012.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$BDA29F33-28B4-4FEF-8012-DE09A9AECE0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986805$86725651-8922-4ABD-A8DA-CF9317E7370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986805$9E081964-C1B3-4D6E-BC4C-73A597DAD943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986805$D1A6E520-349F-4DF2-81A8-571022805A63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986805$16273EE6-BD1D-44A4-80A0-74E5D357B62C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986805$5607976F-752F-46FB-955F-8EBA57E945B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dea43e9e6b994f0a1e073569e153d653ff822f8b","datavalue":{"value":"https://arxiv.org/abs/1201.3194","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986805$9280E51F-3203-4F69-BFB9-67825B3696A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$3E8E5C01-EF19-447B-95CB-F526B28DEF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$6186B744-9257-44E1-B48B-165EAF099232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a70fa03662ff3886130e775d67eb0f8945b3eb88","datavalue":{"value":"6718088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$6EDD1357-E8C4-4237-9684-165DF2C3F054","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986805$D6299B35-3782-48DE-90DA-BF4B0DC0D6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ae2e76a94134630492fbf529637ddb4e7cc619","datavalue":{"value":"underapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986805$46A56CB4-61B5-4A3E-8F06-76546FEE27FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986805$4350F98C-64C3-4923-8139-A7B16EA263A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986805$60F3A4B0-95E0-4090-ACE7-CD2443164D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986805$881DCC5D-984F-434B-B0D9-5791430E96ED","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":"Q2986805$612CBEFD-3F77-419F-96CE-5CC1621B4FA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cade85cd9f49b536b45a79cf6f7e10c690a6d39","datavalue":{"value":"W2006337571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986805$0C29E40C-63FC-4E9F-AF06-8CFF7B5BD67D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4815becc4be2e9d06caa795e6242f28f67e440","datavalue":{"value":{"entity-type":"item","numeric-id":453533,"id":"Q453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e10daaeef8a30e2b489feae04c071651db17f3","datavalue":{"value":{"amount":"+0.7863993644714355","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":"Q2986805$09B1966E-DCBB-461F-90E1-9D6DB7AC803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4da7320372f474cdbb8468e4add9321e2139de","datavalue":{"value":{"amount":"+0.7545610666275024","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":"Q2986805$2D595DE1-1897-4BA8-B7FE-28A5B6CB5800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bc9b381a3ace2c2c60632aacb1857d14a56d8f","datavalue":{"value":{"entity-type":"item","numeric-id":2817374,"id":"Q2817374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57860a80da9f83ea13f98738fe041bfa263ae2bb","datavalue":{"value":{"amount":"+0.7506980299949646","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":"Q2986805$34A2C191-F4DA-4D88-9992-98A7D9C61686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24d885e4664a9dfcedfae25e8510ac3c8ffa539","datavalue":{"value":{"entity-type":"item","numeric-id":479843,"id":"Q479843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e656fd97336f33c0cea9683b493a75140bd29c4","datavalue":{"value":{"amount":"+0.731882631778717","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":"Q2986805$966DE6A1-5216-4BEE-8F5A-03DB815FE3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67b68dce54aca48f2ef563aa6f085dcaab5a97d","datavalue":{"value":{"amount":"+0.7156614661216736","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":"Q2986805$AEDF9FC6-07A6-4418-8E0A-C9F00FD6AE7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986805"}}}}}