{"entities":{"Q3591392":{"pageid":5621296,"ns":120,"title":"Item:Q3591392","lastrevid":49637965,"modified":"2026-01-08T13:59:13Z","type":"item","id":"Q3591392","labels":{"en":{"language":"en","value":"Abstraction and Refinement in Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189657"}},"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":"Q3591392$7CB52252-EF6D-4667-BF27-FAFBFE49BAB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40c315dc097cf023bd46d955bb92438fefad1634","datavalue":{"value":{"text":"Abstraction and Refinement in Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591392$81360762-E42D-4CC2-9368-F58B50D256E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1c248a168541f5a71473957a1ffec211bad639f","datavalue":{"value":"1196.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$8D612D18-B7BB-4E1E-ADB8-3D85E2752942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07a384da94158c3a21dfef1aa8dc872d738c5544","datavalue":{"value":"10.1007/11804192_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$29A9D6B6-E78A-44B9-9983-D9F012428486","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":"Q3591392$6CA5D8AA-5D43-4943-B7C3-9C515961B53B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591392$46185759-4356-4874-ADAE-1958FE7C2BD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591392$F317A1CE-8E56-4A1D-BA4B-735A4AA3B34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$D042A222-E153-464B-915F-5D810DFCFE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$0BEAD2D2-5128-48CA-BC52-E296CD50E923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f35e31f52a2c6e61f6b87414d0b88611f187e7df","datavalue":{"value":"5189657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$7C582723-2F27-4BD9-9EAD-37283F4CCA20","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":"Q3591392$6827F4F5-B339-4125-BBDC-477BC1DC9224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9718d705d9c33e2ad26544a354a532d82fc5f26","datavalue":{"value":"https://doi.org/10.1007/11804192_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591392$D93877DE-941E-42FD-B9CD-1CF245A077BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ab3d4929907e6c24d0cf096aa38edad60a86895","datavalue":{"value":"W2106838744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591392$90256191-0296-4644-8203-4E7C7871DFA0","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":"9a7016c9df7003dc1fa1007214523b8d4038d35d","datavalue":{"value":{"amount":"+0.9789229","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":"Q3591392$0C0FC293-536A-420B-AF1E-074A218C7F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c698ceabaa1a8db1a6347159e638c8ef59f99a7","datavalue":{"value":{"entity-type":"item","numeric-id":4737573,"id":"Q4737573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0c10666ec359bfd65a2b07ffe3a12b03f7034c","datavalue":{"value":{"amount":"+0.97314876","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":"Q3591392$902DE4BC-DAE4-4C86-BA75-4BCE428E9A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fb9fd4b36cf02ef6bbeb1407cf18db0b08e3dc","datavalue":{"value":{"amount":"+0.9679126","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":"Q3591392$E5360C50-EC27-45E6-8EA3-CF93AAF7D89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26de23270d38c431fc5ecb6c3f1c12493fed7213","datavalue":{"value":{"amount":"+0.9662561","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":"Q3591392$B196D138-C7F6-46B1-BCDE-9C41541DF67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb6fe171ba1b8c2ea43bd90b675fd066546b54c","datavalue":{"value":{"entity-type":"item","numeric-id":6175108,"id":"Q6175108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4517bd009d844bd1337fa0e63b138e53f3045ce8","datavalue":{"value":{"amount":"+0.9628239","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":"Q3591392$76BA8DF4-E3B9-4457-AA3C-F059BCD317C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9fc369e46fc329463fea3bac110c1110bcfcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b94ce3c78888b422e825ac0c61aec092c3d85c","datavalue":{"value":{"amount":"+0.96089715","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":"Q3591392$A877538B-B7E9-4B0C-AE96-F658581ADFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f89c2bc27eef1cdb709afd3f818dfc87424f5d0","datavalue":{"value":{"entity-type":"item","numeric-id":3087967,"id":"Q3087967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c95554b82797d0c81d9d1615104735c080aca65","datavalue":{"value":{"amount":"+0.96070546","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":"Q3591392$B0815EF6-5F25-4EE1-84D8-783284364C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56853319548e32a1aa4b627b921ce71c3382b95","datavalue":{"value":{"amount":"+0.95602185","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":"Q3591392$296402DB-FFDD-47FC-B43C-5B129350700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b09e2fecb0c07b29b5d6d381a95c3ad04f26318","datavalue":{"value":{"entity-type":"item","numeric-id":5394185,"id":"Q5394185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b8e3d9c5e0bb1608dd1ac443014bd0532b880a","datavalue":{"value":{"amount":"+0.95238626","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":"Q3591392$997465C7-6223-4C5D-9B90-70FED117CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944622a00045cbb3767819bbb28393a86e7952ee","datavalue":{"value":{"amount":"+0.94954824","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":"Q3591392$30662DD4-2C5F-4750-A524-03A266717C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591392"}}}}}