{"entities":{"Q681336":{"pageid":683185,"ns":120,"title":"Item:Q681336","lastrevid":63435933,"modified":"2026-04-11T13:10:13Z","type":"item","id":"Q681336","labels":{"en":{"language":"en","value":"Special issue on the 16th international conference on verification, model checking, and abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832416"}},"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":"Q681336$BC22AFB1-F9FA-41FD-887F-B4005DCD43A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a066e23c7415c680f81b1356ab9101120b290972","datavalue":{"value":{"text":"Special issue on the 16th international conference on verification, model checking, and abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681336$99473187-549B-423B-9210-636CD37151AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a474ef1bbd1e51961f29cfe9155091429e056974","datavalue":{"value":"1379.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$C75A2128-C15F-42D2-8197-FE44C9623C4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681336$B687068F-A013-40CA-A244-A24784078227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681336$836BD904-6823-44F0-9E53-A28A2F70F6C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$139163C8-5314-4FBC-B3C9-0729B9196217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$356ED92E-F9D4-4496-8D3D-B29DA8B8E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$F025AC59-8112-4C13-AE6A-29694F454E4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5914d7b88b3e50bc5978b37e2b3538f685b9aa0","datavalue":{"value":"6832416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$1EDEDB29-6B19-4530-92B7-63E4D3640F80","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":"Q681336$667CE6F0-F91A-441A-8258-8261EDAEC0DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff6c087fa66f50fda501f0520703ed94debe0b59","datavalue":{"value":"https://doi.org/10.1016/j.cl.2016.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q681336$ED29B720-7A3A-4C17-B5BF-37DC85B6F6FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b5b581e1126330d59b686cd73ec54ad987e52a8","datavalue":{"value":"W2524149537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$D605425E-7356-4310-9C09-5FCE56AE9F61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4449d750aadadcf26f47c9c420888d4505c869b0","datavalue":{"value":"10.1016/J.CL.2016.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681336$9BE8CC49-FB95-483A-A1A5-3CBCA863525B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81ff59856836500fac479c88f59c1d1daad9b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1703005,"id":"Q1703005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b128c4fff2ab6e8485d6ca1a624b6c514eb73c","datavalue":{"value":{"amount":"+0.748336672782898","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":"Q681336$326C607F-9B02-4767-A693-DE455C8E1AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafb2e54110a979aa3cad52050b0598822d56f49","datavalue":{"value":{"entity-type":"item","numeric-id":1629742,"id":"Q1629742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bb87be4aea09cd6d5fa8baedc783e10beb2e45","datavalue":{"value":{"amount":"+0.7338117361068726","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":"Q681336$08402D30-F2EE-48A9-A274-36371C9E45BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2557ccafea795ca9d1b67b8e8b12cc70f4f8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2049503,"id":"Q2049503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a491ce323af66abfa59c20f2aaa898150cc719","datavalue":{"value":{"amount":"+0.7334516048431396","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":"Q681336$0223342A-C7D6-40EB-B028-57FF2AA8BC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5034e5bcf9b4ba1917f3b8aedd91ce9cd658c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050099,"id":"Q2050099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9b6a6a21d6e194b78be1ee03b7171a31cacf7a","datavalue":{"value":{"amount":"+0.7332960963249207","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":"Q681336$C9913CF2-1E09-4C2D-BA9A-72454F47AAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f81f78dc252cf9fbec5abdeab0e8bf758ffed9","datavalue":{"value":{"entity-type":"item","numeric-id":2049504,"id":"Q2049504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd458b037c1ea7972b909fa1d649aea7e49e7dd7","datavalue":{"value":{"amount":"+0.7320294380187988","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":"Q681336$7CF6EB3B-C8FF-45AE-9886-902E92D7DF03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue on the 16th international conference on verification, model checking, and abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue_on_the_16th_international_conference_on_verification,_model_checking,_and_abstract_interpretation"}}}}}