{"entities":{"Q1606310":{"pageid":1617050,"ns":120,"title":"Item:Q1606310","lastrevid":67973310,"modified":"2026-04-12T20:35:18Z","type":"item","id":"Q1606310","labels":{"en":{"language":"en","value":"Enhancing model checking in verification by AI techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1770905"}},"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":"Q1606310$462E95A7-2A9E-4B09-A7E1-A8F429DBE91F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dd34567525f362c8609c1cf774ed1bef732d5e9","datavalue":{"value":{"text":"Enhancing model checking in verification by AI techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606310$A5937EF7-35A3-4E08-AA22-920F1889E414","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1febcb084047c342103bcc4bd87c6fca3185db4","datavalue":{"value":"0996.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$BABE0CC2-D3D0-4D8B-AFF4-1C7801205907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb2d1eab874ce7cd3996e53890733e100844c0cc","datavalue":{"value":"10.1016/S0004-3702(99)00039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$77EFC569-0054-47E4-BBDA-669C0C9ED59D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3c408fa1ef4c64677ab75600c9a66a33f6df08f","datavalue":{"value":{"entity-type":"item","numeric-id":202111,"id":"Q202111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606310$CA95A5EE-2E89-45B1-BE4D-E81491B6172B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606310$EC11C48D-7833-4279-8754-1C51336CB15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606310$9F62777E-ECC3-4122-BCC4-EF58E929E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606310$BFBFDBEA-BAD3-47D9-BAB3-B359C573F059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606310$F6F64340-4DBB-43D7-9A93-CF47E7711F59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606310$C26E10EB-E608-4EEE-8300-81BED6275A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$86327EDE-ED30-4CAA-85EA-11B4DF614185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$EFC2B0E7-2CCD-461E-8296-CFECE0280CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$8E511CEC-DCB9-423C-ADD5-B7E367CD35ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$339438C2-58D4-473D-9BCD-EECC2A34CF68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69a6ac13b7c7b404f156474d8e422ac8dc2c50be","datavalue":{"value":"1770905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$0FBB70B3-99F8-415E-B1EF-888212392785","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606310$8DAD3F17-84ED-4240-8756-B369740AE38E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc9714f970c007798d6f29832941c4e9af0a5f75","datavalue":{"value":"Q59259734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$EC2ECD7F-0E80-4350-85A1-DD7B7DF9538B","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":"Q1606310$251A72EB-876E-4DE3-87D1-F5E06437D3D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9e71d5757043cd2f82a10aa81cad7d856ced1c","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(99)00039-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606310$668DDEA3-9776-4994-8B21-5EC04FD8D711","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a75ae10392ae391214fce1c066e94407441e459f","datavalue":{"value":"W2035668577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606310$5BA5B432-51AE-4660-A436-0C360CBEA7AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76e85ee7a53ec01bcd9ee944e6d12e6c06d68f0","datavalue":{"value":{"amount":"+0.7657415866851807","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":"Q1606310$DF9B9E41-DBC8-4307-A1CD-4A84D8985416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ece83eb64c060c54533bfe240357b372178012f","datavalue":{"value":{"entity-type":"item","numeric-id":5428893,"id":"Q5428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76e85ee7a53ec01bcd9ee944e6d12e6c06d68f0","datavalue":{"value":{"amount":"+0.7657415866851807","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":"Q1606310$24D3D696-5F13-4E91-B45A-94FFCC1DF44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdcb1fc73c7450cb655bae3fd71f870414c09a0","datavalue":{"value":{"entity-type":"item","numeric-id":4934536,"id":"Q4934536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725b8cb222e7b586130146725f2a32237ebefb4d","datavalue":{"value":{"amount":"+0.7561337947845459","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":"Q1606310$7EC4276F-9471-4CE3-82A2-B0CA16540172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99956e0419d2dfe0977187d899884472080a3e2f","datavalue":{"value":{"amount":"+0.7436785101890564","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":"Q1606310$EAE55BBC-7E67-4F09-9340-1592DF1698F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771deb21629febf37eacdcf9f59e6725de74c0a6","datavalue":{"value":{"amount":"+0.7401986718177795","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":"Q1606310$1A2BDC7D-F077-4642-9FE9-933DFB0D42D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enhancing model checking in verification by AI techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enhancing_model_checking_in_verification_by_AI_techniques"}}}}}