{"entities":{"Q1002173":{"pageid":1004021,"ns":120,"title":"Item:Q1002173","lastrevid":66044895,"modified":"2026-04-12T07:09:37Z","type":"item","id":"Q1002173","labels":{"en":{"language":"en","value":"Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5518708"}},"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":"Q1002173$D5F093F1-4EB2-4BAA-86BD-478283CF728E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a85443ae355942fdc0f299b05ba0a5bd768ff883","datavalue":{"value":{"text":"Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1002173$BC201D62-8261-4F02-92ED-AE1B2D50CB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d58ebf971ca139dc2c6555be01ff52dd8c8d80","datavalue":{"value":"1215.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$14F44E09-A0B9-4D8B-9B34-E66880C31424","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1002173$E97479A8-C650-4256-BAFE-7464B25E4A45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23b6dc49f8ca0933b481862b869725fee0b40b80","datavalue":{"value":{"time":"+2009-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1002173$B17F0BC9-49F8-469B-89B3-DC8A659B78A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$2EF62492-9D53-4253-A939-5D1C70F21FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$1DF7D50F-6B2C-4647-A391-E8F9D9C38ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$2F8DDB7E-8752-415D-B029-451164302577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$D720753E-6068-4C59-9B0A-720E053DCE5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ea2c12a864acfa6f3a1b8bb1dd730543849dee9","datavalue":{"value":"5518708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1002173$B0F0AE45-8E53-4BCB-9AEA-080458DF37FF","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":"Q1002173$2934F727-78CC-4E24-933B-22C947B39062","rank":"normal"}],"P1643":[{"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":"f10d808df53d680b7e535ac87de813079aab34db","datavalue":{"value":{"amount":"+0.9469536","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":"Q1002173$8A2CCABE-9554-4259-9AC0-FB4304B2964B","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":"b76dfccdd07455d2d552c6a86da625709f0d0d6c","datavalue":{"value":{"amount":"+0.93861395","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":"Q1002173$EE20423D-327A-4B0F-B500-D8069778EA1E","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":"9377839ec980f1539046b6d644750f466d3ebf91","datavalue":{"value":{"amount":"+0.91884","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":"Q1002173$67FCA5CB-4184-471F-9DD4-E858053ECD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4d29f6420d753f7187fcdd00275b28b42bd601","datavalue":{"value":{"entity-type":"item","numeric-id":373516,"id":"Q373516"},"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":"Q1002173$C8404055-5439-4E1D-B83A-0B1321630F4B","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":"891d8dd0fa5a7040249ce54685b17fd4cf3534e3","datavalue":{"value":{"amount":"+0.89659905","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":"Q1002173$362308C2-2EE3-4B5D-A20C-3AE0E2BF8EE8","rank":"normal"},{"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":"6aad1f3c079a76d05e0cad56126f91831595cfe6","datavalue":{"value":{"amount":"+0.89550793","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":"Q1002173$E7843F56-A2D3-4FA1-A0E9-A13B33FCF84B","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":"5c5fb1db8e326cc1c7771dbfc96a824016afc928","datavalue":{"value":{"amount":"+0.89038867","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":"Q1002173$1532950D-DFCF-457A-94DC-A90FEB14BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac996edc04f3b4baef350cb6e23bc9cd6bb417b","datavalue":{"value":{"entity-type":"item","numeric-id":420532,"id":"Q420532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3775500820436160cde64de36a0367f5bbbe758f","datavalue":{"value":{"amount":"+0.8519768","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":"Q1002173$BBFF2EA7-9E14-4C5B-B93C-4CC584FB73E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452498ff7ad39cf90860df88a2508e911a67af72","datavalue":{"value":{"entity-type":"item","numeric-id":3423144,"id":"Q3423144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3a28c03480642de414037902d1e22b645456d3","datavalue":{"value":{"amount":"+0.83235526","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":"Q1002173$D5CABE1B-7676-4101-8E09-9AA1D808B78D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Selected_papers_based_on_the_presentations_at_the_workshop_on_automated_verification_of_critical_systems_(AVoCS_2006),_Nancy,_France,_Septemper_2006,_and_the_verification_workshop_(VERIFY%2706),_Seattle,_WA,_USA,_August_2006."}}}}}