{"entities":{"Q3060979":{"pageid":3071695,"ns":120,"title":"Item:Q3060979","lastrevid":51145274,"modified":"2026-01-16T22:21:25Z","type":"item","id":"Q3060979","labels":{"en":{"language":"en","value":"2-valued and 3-valued abstraction-refinement in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825963"}},"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":"Q3060979$35F109EB-E9A9-4CFC-B117-13F57542B829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cb91b4ca842eefc75bb1e07aab2e48d60ff5db7","datavalue":{"value":"1214.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060979$3461C254-6FF3-4B3B-AD3E-9341252CAC2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d56bbabf0a30d946e8da9de76b7c1bd373da4d8","datavalue":{"value":"10.3233/978-1-60750-100-8-105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060979$CE3C26A0-62C0-4F0F-AF2C-BBE160B61C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060979$A93870A4-FBA7-4150-BC27-16767E6196F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a148a0f7f88b9e1cbbef4b920e7c605d6b8ccf5","datavalue":{"value":{"time":"+2010-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060979$2909A87C-6E81-4825-BA97-98CAF3AD00C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060979$F3A7E4D5-E887-4565-AEFC-86E09C27F535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060979$3809A5E5-B74E-4FB1-89B7-A9E2133D361A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"637ce7870eacfef4d22851031e2ab029ccc26a2b","datavalue":{"value":"5825963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060979$78539CD5-C52F-4030-B6ED-2301E382ADC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$4DB49B2E-ADDF-4F62-9577-8CE715BCFC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a5e34883f84dfc2187ebfe05a5993050e6b3074","datavalue":{"value":"3-valued abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$8CF97B0A-FE8F-45C1-8851-F9D4EED66C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$62FA06F3-E610-4356-833F-FCC967C73749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$85F324E9-E6C2-4AC7-A4CB-E5F2A450AF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d5756561b6b8bce0987a7e4dc2623c1ffef2b2","datavalue":{"value":"TVAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$7FC235DB-B84F-49A4-95AC-61CE63241322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0338aa39ed54048575ed4f5e18b34ff593614c","datavalue":{"value":"compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060979$1E8A027D-61E4-481A-9629-6C8843107C89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060979$DCCD152E-8C25-4306-8859-989BE085B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060979$70C54E54-0422-42DE-B2DB-4786931852F1","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":"Q3060979$4207696C-91FE-4919-BEDE-DEB4B2A81923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360b6e95f407b30484300ceaa660de75a99d81d","datavalue":{"value":{"entity-type":"item","numeric-id":5435632,"id":"Q5435632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42820ebf4080d6a24d2fed6fb33aedba4ce42e8d","datavalue":{"value":{"amount":"+0.8368059992790222","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":"Q3060979$240F477D-199D-40EF-A45B-2224274FDDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499b8791ee38fe7c18d50a7cddc4311fdf552699","datavalue":{"value":{"entity-type":"item","numeric-id":958307,"id":"Q958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8785edd47b8e12712f8f22c6d735a2506d1321ed","datavalue":{"value":{"amount":"+0.820868730545044","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":"Q3060979$1659C82B-F059-4584-AB9E-9B8EB85D8750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c631399cfc4d424d1340975ee49b1dff6de5bf05","datavalue":{"value":{"entity-type":"item","numeric-id":2797869,"id":"Q2797869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc80b6957d48e734c997f05b355fba944ee86448","datavalue":{"value":{"amount":"+0.8054921627044678","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":"Q3060979$AFB9AD70-30CD-49B3-9678-DD592FEEAA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7471bf3a6991f8a31cd53d6ea517eb692119f96e","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b780573b59bc8ae1e935c1ae4b5dac40d0630593","datavalue":{"value":{"amount":"+0.8034608364105225","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":"Q3060979$3D8DDFF7-C592-41E3-A8ED-2D3AB610E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318749bc547ba59cc9121f8d427dfaacfb5ad229","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955910bb16f82ac075529d25d5328467d5a7cd43","datavalue":{"value":{"amount":"+0.7883874177932739","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":"Q3060979$9BB68C51-2B16-4F7C-B4F1-2EFA0F00744E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060979"}}}}}