{"entities":{"Q368047":{"pageid":369814,"ns":120,"title":"Item:Q368047","lastrevid":61350966,"modified":"2026-04-10T22:48:29Z","type":"item","id":"Q368047","labels":{"en":{"language":"en","value":"Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208791"}},"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":"Q368047$4AE45542-6FE8-4AF7-9135-8E9966E969E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12f21c98e2818ab70d294c4f86c324eb32c051fb","datavalue":{"value":{"text":"Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368047$B46AC823-7F23-42A5-985C-8A8E8AE6192C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f299388ee433b6a6ed788b694efa6affbf2712a4","datavalue":{"value":"1272.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368047$37C5F87E-5D0B-4B55-9B5F-7B311B1BD19F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368047$B7C9D024-358B-4E27-9560-35E965EE476C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368047$E8721046-2440-431B-B92E-0FEAE774B1CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c0754b8beda1d86998729abfa0c2e3415f0b022","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/144/1","type":"string"},"datatype":"url"},"type":"statement","id":"Q368047$5B7B18D7-2899-4E4B-AB6D-DDECC2BE7185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368047$47E23121-EF0E-49F9-923D-4E561A7059A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368047$1CEC7127-1BA4-4684-8318-681A0FC65A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368047$C45DAC37-55AC-4C79-A564-F7DE29B26AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3834f4a664f74c1f35853d27ff9363b954b2ec","datavalue":{"value":"6208791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368047$A7F80B3B-7A01-4BCF-BA09-DE7D67178FC5","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":"Q368047$EA0996D1-055F-48FD-8216-EB4DB54B8582","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889ec01bee744794026ffdca82622b34bc6aafe2","datavalue":{"value":{"entity-type":"item","numeric-id":360084,"id":"Q360084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b38de7ddf4ed9e0ba0f62e98d9a3a66e03e8f8a","datavalue":{"value":{"amount":"+0.94911134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$FCBE4DF6-5AFD-495B-A72E-04586C26B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d57d688197bda371fc03864698e70483c58a8fc","datavalue":{"value":{"entity-type":"item","numeric-id":360700,"id":"Q360700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519b2a5fb3f0e9d73e7245242df0bd8636528a96","datavalue":{"value":{"amount":"+0.9481934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$4CA27CC7-41F7-4C0F-B555-335AF8A6F392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1199f58d69e9fcc4735f47520ad1371a6279a7","datavalue":{"value":{"entity-type":"item","numeric-id":373629,"id":"Q373629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc3849db96ef65ffe40d94c472f551d8a81231e","datavalue":{"value":{"amount":"+0.942559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$EC0D6E1E-ED6B-4B2E-AF05-A96AC8F4A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae4739aef872e6d4c8176a5ea57650367d9e9bd","datavalue":{"value":{"amount":"+0.8795893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$A0EFFDB9-240E-435F-95A5-854A153586B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cba4bd1cfb7d642182c3b267888a5ea8ce53972","datavalue":{"value":{"entity-type":"item","numeric-id":371381,"id":"Q371381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5a3d8bdb57f4fb5448dfd735e0343f086228db","datavalue":{"value":{"amount":"+0.87181973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$66EACAB9-D2D2-4B69-B299-D40BA6488FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ee0f783e4602ad14df085fa70e5d33bb660d7","datavalue":{"value":{"entity-type":"item","numeric-id":2848677,"id":"Q2848677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a37d7568c07927032343b7158d147e2c8ac082","datavalue":{"value":{"amount":"+0.8620667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$AEC6B280-FB78-435F-B5EA-857CBD5A3A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8341a1e146c7d5ca3c8b7821a51a7571ef93fd33","datavalue":{"value":{"entity-type":"item","numeric-id":360082,"id":"Q360082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09a37870f8262add97dbd232d98cd91dfca1944","datavalue":{"value":{"amount":"+0.86090255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368047$F666BCE7-3A97-4391-A1FA-6DA9CF582FD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_3rd_international_workshop_on_bounded_model_checking_(BMC_2005),_Edinburgh,_UK,_July_11,_2005"}}}}}