{"entities":{"Q6487321":{"pageid":14066090,"ns":120,"title":"Item:Q6487321","lastrevid":56661528,"modified":"2026-03-18T12:12:45Z","type":"item","id":"Q6487321","labels":{"en":{"language":"en","value":"Proof-Guided Underapproximation Widening for\u00a0Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628122"}},"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":"Q6487321$A40E7FBA-6938-49C7-A05F-9DACA9CCC5A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ace12bba2531ac1b26c743aa04211193beeb321a","datavalue":{"value":{"text":"Proof-Guided Underapproximation Widening for\u00a0Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487321$2702897E-8CB4-44D1-A08A-25F4DF0537F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad2f27033337e479355daaf03a08a06b6049bb1a","datavalue":{"value":"1514.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487321$F7122048-AA8B-4316-AA43-E55232F05DED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"698375f15d77278dfce9508cbafb7294d6b14d06","datavalue":{"value":"10.1007/978-3-031-13185-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487321$5504D123-9D58-4C6F-B3A3-53F65AD5D23A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1506cab1e3b18fd0646c81646f2c7be920ab6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6485570,"id":"Q6485570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$A086CE0A-66AE-4EA1-9093-BD75198348DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36ca6b5fdc67738b38d798dc1bba3fd919b20913","datavalue":{"value":{"entity-type":"item","numeric-id":6485571,"id":"Q6485571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$223FEA5B-45F5-4F1D-AF67-5B61A7AFEF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$C571A95C-BA6E-4F62-927F-E6B51A9AF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a335d3216c840b0f532d821b4d36a0aa3284250a","datavalue":{"value":{"entity-type":"item","numeric-id":5222983,"id":"Q5222983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$BCD02A3D-3067-466D-B84F-14BF05544BD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487321$37748247-9F0F-4483-878E-73352E5FDE9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487321$33475C10-73C4-45B4-972C-7146F13182D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c684e3a1907f277d943a545f1959d4eb67186a6","datavalue":{"value":"7628122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487321$0871C6CA-2D0D-4A49-84A8-221D954097D0","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":"Q6487321$64C6D52D-00BF-45B2-8892-38CF324AEA0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9fa38f5cf3aff3ef9139d67058c3a256d1f28fa","datavalue":{"value":{"entity-type":"item","numeric-id":5492985,"id":"Q5492985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$78E5B584-71C7-43CE-8296-371A522F6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$111B4036-90DB-41AC-9250-153AB8A88FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$600DCCEC-7E4D-4AD0-8F43-EC5A4AABF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb40f93e0bb6636634e64ac73797bfec66c823d","datavalue":{"value":{"entity-type":"item","numeric-id":5276140,"id":"Q5276140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$484569A3-827B-4D66-91AF-536BE67CE2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$FC6F652D-A189-4C41-B322-EEE82C945A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e20c6a4d9a59d6daa1e306d432388d8ed8fb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5168511,"id":"Q5168511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$5A316B9D-C7DE-4151-B718-0E6036383E49","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":"Q6487321$69A787F4-2F38-4A82-8D5A-EF90191E8190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$357FC8F1-0FB9-458C-ABAB-1CC100896AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$F1044351-6931-420B-A331-1D75ADA86B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba93181531452c5937acbf9d49fa05290ef1df7","datavalue":{"value":{"entity-type":"item","numeric-id":5096088,"id":"Q5096088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$C8078657-9304-4F66-94EB-4404C81FE4A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9fc369e46fc329463fea3bac110c1110bcfcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428578b00da8a21087342bfb647d7db8720aa658","datavalue":{"value":{"amount":"+0.7683299779891968","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":"Q6487321$D89F8741-E291-40C7-A624-30B22788EC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41ff123b1afe76ebf548f83f7ca9951b81ef78e","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc770da9bbd9aeb21c7ccf10cc6ad9e939134b8","datavalue":{"value":{"amount":"+0.7513264417648315","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":"Q6487321$79F4FB5C-AE50-41CF-A39C-3051E0AEBB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faedd249f677bbd976db128bfd914e90b44dc3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3460578,"id":"Q3460578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84879dc01d6f735c102298cab10306c454d840d","datavalue":{"value":{"amount":"+0.7413685917854309","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":"Q6487321$23963F0B-8611-4452-8B00-6D239CDC8310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eae7a405d42145b6cb93503f2dfd6a4a7382b49","datavalue":{"value":{"entity-type":"item","numeric-id":5096088,"id":"Q5096088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a32fe261704a05beb7b373d53e0a97576145c46","datavalue":{"value":{"amount":"+0.7412437796592712","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":"Q6487321$BC2948A7-07D4-45E7-8B7B-782CFD57A5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63e09fda22996e75f3158c29079f797b728da94","datavalue":{"value":{"entity-type":"item","numeric-id":2209549,"id":"Q2209549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8def2577e235697cd9e8c9dfc0201e32cd7e1745","datavalue":{"value":{"amount":"+0.729000449180603","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":"Q6487321$643C7314-AF9E-4D37-A3A0-BF1029417115","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487321$95523DC0-DA63-4D01-8D43-6FCEE6C5AF40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487321"}}}}}