{"entities":{"Q373516":{"pageid":375283,"ns":120,"title":"Item:Q373516","lastrevid":61344468,"modified":"2026-04-10T22:45:16Z","type":"item","id":"Q373516","labels":{"en":{"language":"en","value":"Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6216045"}},"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":"Q373516$6CF00FF4-E084-4A69-A9DE-76BDE456CB00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08c9b34d63245404b7e30cc5cc780e94a2378176","datavalue":{"value":{"text":"Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373516$F591D41A-9363-4448-941F-7E8E0141A5F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02efa22b8ee35f1bdb58457f590fb97603419f9c","datavalue":{"value":"1273.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373516$F965494E-D420-4923-84DA-2A58419BA248","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":"Q373516$F6CEEB2E-6D59-4F85-88C2-B2F922CB012A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808fc247b12b30340c51bea594eefecd0658a17c","datavalue":{"value":{"time":"+2013-10-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":"Q373516$554E44BF-4271-4BAA-844A-3F1C09805EB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acfafd241d37b460f8e3f93db4f337165c964da8","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/145","type":"string"},"datatype":"url"},"type":"statement","id":"Q373516$1AE7F3C4-8134-4CAA-9C84-0B952459898F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373516$6F7A6745-E25B-4ED7-8B99-209E4C7BA418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373516$601A98D4-DC2D-44F0-95D8-7D078DEFBF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373516$709F6622-07E9-4CE4-9845-C1D8DAD0B9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"263c2e4178b728ae48b684a37f3ee82f77a7e56e","datavalue":{"value":"6216045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373516$89C0E758-920E-4C03-8644-B7E89CC6D400","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e5d22a527dec855028f570122972172eaf3807f","datavalue":{"value":{"entity-type":"item","numeric-id":31578,"id":"Q31578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373516$C28067DB-71F8-43CF-A8CC-FCA767053977","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":"Q373516$20256A2B-CFDD-405E-8258-C7908B1CD9D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c2204b6549fd45fe0422fafece0eb4c0768cb2","datavalue":{"value":{"entity-type":"item","numeric-id":363036,"id":"Q363036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999090259611ce632de92da84ab9c216c60a8460","datavalue":{"value":{"amount":"+0.94782054","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":"Q373516$4AE6BAF6-8EAC-4849-8C1A-AC1EC870F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f803215a6f9737f03edf06d73137a156c493e5","datavalue":{"value":{"entity-type":"item","numeric-id":2435354,"id":"Q2435354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59af9115fbb5be1aa04536d48b16358cb1acdd68","datavalue":{"value":{"amount":"+0.94382364","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":"Q373516$A3D37C39-5F75-4258-A078-BA99AA1CED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b0771a0076a1b4e8baa6a8216245caa80fc85b","datavalue":{"value":{"entity-type":"item","numeric-id":2435353,"id":"Q2435353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea03f9b68bad898dee536c4bfd9ebd8ffd1a1b5","datavalue":{"value":{"amount":"+0.9388561","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":"Q373516$80F2AC64-B804-4DC3-9706-5ECC585695C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4812d8f1590fc562eb0ffec3f2aeedefc91c2ece","datavalue":{"value":{"entity-type":"item","numeric-id":2435361,"id":"Q2435361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6068bcfb563bba36afdb0777f688d26ce11c2a39","datavalue":{"value":{"amount":"+0.93798506","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":"Q373516$726783C5-7697-4E8F-8815-D3CA417C10A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a448a332a45e01e609fe94d54c530c2acc3d5464","datavalue":{"value":{"entity-type":"item","numeric-id":2577401,"id":"Q2577401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb4426553abcc95b6ca4cd819c7e97144d2d991","datavalue":{"value":{"amount":"+0.919077","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":"Q373516$EC312D62-1A59-44DD-A57A-0A677498E96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6f058305d2daa4b88ef150a27e2656e03b252","datavalue":{"value":{"entity-type":"item","numeric-id":1002173,"id":"Q1002173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e5faebd00311e66c2a1887a6e860301496f4b7","datavalue":{"value":{"amount":"+0.89747643","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":"Q373516$ADD60266-A3B1-4E4E-B082-2BA29FD5BDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b80ebbc4cf6560ed5d91874c87c71f564a164ae","datavalue":{"value":{"entity-type":"item","numeric-id":435219,"id":"Q435219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716ed23eca9bc9397280dda7fdab02d9fdd0c669","datavalue":{"value":{"amount":"+0.8947819","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":"Q373516$110A08BB-B261-4FBB-BC24-3B24E6CBEF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a0d269766a9e2ff78e0a7d2a907ad8f756b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":371387,"id":"Q371387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74224ff82d12cb4b06b245625b2f4a0f4208d89a","datavalue":{"value":{"amount":"+0.87053096","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":"Q373516$984AEA43-D5D4-459E-BF24-60238B2F2BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_5th_international_workshop_on_automated_verification_of_critical_systems_(AVoCS_2005),_University_of_Warwick,_Coventry,_UK,_September_12--13,_2005"}}}}}