{"entities":{"Q360084":{"pageid":361851,"ns":120,"title":"Item:Q360084","lastrevid":77683505,"modified":"2026-05-06T09:49:54Z","type":"item","id":"Q360084","labels":{"en":{"language":"en","value":"BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201352"}},"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":"Q360084$E7400DE4-7731-4C5D-BC00-19199F74EE45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e3a6e206bd51e496e711f59e5a6da77531902cb","datavalue":{"value":{"text":"BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q360084$CD963FB8-F0F0-4442-88D5-AC507BFF2186","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db9641c9faa2370a44fdc339b48687f5c563b230","datavalue":{"value":"1271.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360084$5869D469-0AAA-435F-8119-71842CA48D97","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":"Q360084$F230E920-1845-4AE0-8EF7-1763EC04EBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q360084$CDD99541-78C7-45CF-BC4D-94F6980525D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a1cf607330704838ebe0cd3d59853c7f10cf8b1","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/89/4","type":"string"},"datatype":"url"},"type":"statement","id":"Q360084$285A0E33-EE83-44DD-8C76-2A13E3F2C8EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360084$1F64F5DF-1484-4D79-B41A-A6F61D8F4E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360084$887D8282-591B-4081-A2B5-B7ECEA3FACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360084$1D9896CD-E531-468F-93CE-3047AD361F9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21da2bd6b4797f4d54344c4a5176884eb9388888","datavalue":{"value":"6201352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360084$77695F27-8F4A-449E-AF9F-F2183F8C90FE","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":"Q360084$F3616F9A-E5FA-420E-9AB8-C05026092C42","rank":"normal"}],"P1643":[{"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":"1611f62424f4458860dbee2b15faae5c3d3ed52e","datavalue":{"value":{"amount":"+0.9517237","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":"Q360084$AEBF64F0-BBE6-49F0-84C7-AD709FC3CAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ef7274ed9aa71b6a2d632df1e12082d143f56b","datavalue":{"value":{"entity-type":"item","numeric-id":368047,"id":"Q368047"},"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":"Q360084$01E547CA-E43C-41C2-AB71-6C31D4A2D4D3","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":"8b2c4625f598f7e31a5e9c6d2e4c1e7e83803ecf","datavalue":{"value":{"amount":"+0.9371246","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":"Q360084$D8872249-54E0-4355-82D5-418C1805472E","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":"e78082937af5fc68ef4137d82f26bf7738b87f15","datavalue":{"value":{"amount":"+0.87389004","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":"Q360084$9954B732-5D38-4A37-8675-D409018B89E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb00d004503b090e87d97e57cbd6a94807c299d","datavalue":{"value":{"entity-type":"item","numeric-id":1294793,"id":"Q1294793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cd086454127686daba4058cddb2d7311956179","datavalue":{"value":{"amount":"+0.8540927","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":"Q360084$7469A7AA-012B-4F77-9CB8-0258E0871475","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":"3c9b0675a6954cce6cabe2168ed6295c9e1fe32b","datavalue":{"value":{"amount":"+0.8529925","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":"Q360084$75160B5D-FD8F-4D6B-8761-F6A6AD6C2F57","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":"29eb7e4c6c37426fcd771e96c3953cd8876d6f69","datavalue":{"value":{"amount":"+0.8419462","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":"Q360084$EA172DAF-7F62-43B8-AD99-CD1C6FD78E6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BMC%272003._Proceedings_of_the_first_international_workshop_on_bounded_model_checking,_Boulder,_CO,_USA,_July_13,_2003"}}}}}