{"entities":{"Q1629959":{"pageid":1640700,"ns":120,"title":"Item:Q1629959","lastrevid":72382488,"modified":"2026-04-14T04:31:44Z","type":"item","id":"Q1629959","labels":{"en":{"language":"en","value":"Lattice-based refinement in bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6990538"}},"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":"Q1629959$6B76E360-F31E-46F7-BD30-455501BDF14B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adfa5c3a401d22879fff8a889174838f31f093eb","datavalue":{"value":{"text":"Lattice-based refinement in bounded model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1629959$9C5C4832-3A88-424C-95A7-FD663C4B68AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1970354815287afa995d00b500ca73e0cd7c9281","datavalue":{"value":"1403.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629959$593F23F0-C262-4C8A-877B-A7B37BEB238C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6953c8daa6c6f90cd10c18694505a894f6e34aa4","datavalue":{"value":"10.1007/978-3-030-03592-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629959$F2A1D8FA-256F-496D-B72E-F96F21EBFF9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42837484d31cf34ae729e1df3cf49a1e2bca3f05","datavalue":{"value":{"entity-type":"item","numeric-id":1629957,"id":"Q1629957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$0CD4960D-BBB4-4D46-9907-6DBBFEA58419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e7c1aedd1baa324b672c3101ff381befec47d1","datavalue":{"value":{"entity-type":"item","numeric-id":1629958,"id":"Q1629958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$2EB9BFDA-48A5-484F-9F13-76177730F740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$48248B72-43EC-4958-90BE-38D70F620170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$D7B561EE-68CB-477C-8DB6-143472C31B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$11572638-1B10-4CEA-A02B-C982A88B6E74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188a150860af43d85d9c40cbc810f545e99c1359","datavalue":{"value":{"time":"+2018-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1629959$E72BA965-E95B-421E-858E-EB115E083F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629959$8A9E642A-3B9D-4F66-982E-138B43AB348E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb5911cac031b1bc6630b78c9cc26b22369c88c0","datavalue":{"value":"6990538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629959$0DC6398F-01CB-4FE0-9E61-8EF25FD5F1EE","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":"Q1629959$9EFADCF6-8117-49DD-A7ED-3FC1A024D993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dc289111002fcf2f40f37052c54f90a1be92c6c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-03592-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1629959$873A6EF4-D38B-46E9-8C7E-91F619C077AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d73d588bc4a9e5b585f156d60ffa6ada93ac4ea1","datavalue":{"value":"W2901895042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629959$1E7224B6-5DE1-4D7C-B0F4-9809B1018B41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5250e02486a79ebd69be420413de5224ca74ad21","datavalue":{"value":{"entity-type":"item","numeric-id":3741626,"id":"Q3741626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$EEF8896F-4B47-4A3F-8E48-93F3D2613B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$00ED60EC-FFC7-4216-B492-6ADC1B2BE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72e4eeaeafe2ce2ba00901af2c02ed2222fec53","datavalue":{"value":{"entity-type":"item","numeric-id":3303890,"id":"Q3303890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$2DF78480-EDF9-42FD-9946-C43C1509B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efe65d314b735798dd114299cdb7f4819de85d9","datavalue":{"value":{"entity-type":"item","numeric-id":2405243,"id":"Q2405243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$7BEA6063-6F91-4602-9F1C-EB77CA6B9CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$54AD820B-0E7C-4147-962B-273026EAE456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$120D40DA-52E0-4EB0-867F-D25149630A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$D1F0D660-C72D-4E22-8F40-7BD540E37619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e5090ecb01123b6d1ba4c412557c33fefaa122","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$D3C0FE96-824C-4BA1-814B-02CB8DCD89F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$9BEAD275-1A1A-4295-82D2-41D8516D2CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$36D6D9D5-1D3B-4A27-81AE-0D8E0E4AC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$7C72081C-18B1-4AD8-81C1-986F9280B07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$71DE1336-B352-4846-A1F8-A3B89E113448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b61ff436ad097e7899027abdd6e0c42fca0ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2164216,"id":"Q2164216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$A09035C8-83BD-40EA-997E-875C6FAADDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$2721D888-C6F3-43C8-846D-1DC75F799496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$DBA5888F-3291-46D9-941D-A686C3C0675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f85054f97ee1c5e143fc58610d15d133f6e78","datavalue":{"value":{"entity-type":"item","numeric-id":1680264,"id":"Q1680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$71A74C66-7AD4-4D01-889B-121FF7293DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e38395117f774ba9617661fcca711bd13f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":2818042,"id":"Q2818042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$9CDD77B6-4CC3-47EF-BC41-3FD24D019393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90523338892982b1665740dbbd308e5958d89004","datavalue":{"value":{"entity-type":"item","numeric-id":2870162,"id":"Q2870162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629959$9F7A97CB-3E49-44C9-81FD-6189EF16EC45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fa52d4f6f64da344488e7c632f25a795b9ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420fb39f5e8dc78313222ca296d725ea5274ef70","datavalue":{"value":{"amount":"+0.7321581244468689","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":"Q1629959$7C26DD4E-9E0B-494C-804F-61529F5C0F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e4617b26cdb6ad5ca5dc9f0bc96010d05399b1","datavalue":{"value":{"amount":"+0.7280304431915283","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":"Q1629959$61227AF0-B4C8-4D4F-896A-3560A24A260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0a6f448476e84b2b4c7d6466ed72c357cde354","datavalue":{"value":{"entity-type":"item","numeric-id":2864380,"id":"Q2864380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e4617b26cdb6ad5ca5dc9f0bc96010d05399b1","datavalue":{"value":{"amount":"+0.7280304431915283","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":"Q1629959$9C5612B6-ADBE-4B03-8154-5BAAD5ED8D30","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":"da445426edd990a1c40c9ef819baaa805fc50282","datavalue":{"value":{"amount":"+0.7250335812568665","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":"Q1629959$C8B1C6A0-69EE-4CAB-8C48-4F156F23D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee785b8bf0751d66abea2867edda087f6ad28a43","datavalue":{"value":{"entity-type":"item","numeric-id":1680264,"id":"Q1680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962af323bea6e377089162f9bd59492855a2ac6d","datavalue":{"value":{"amount":"+0.7209097743034363","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":"Q1629959$160614C1-29D4-4B79-8C0B-E47FC316C510","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice-based refinement in bounded model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattice-based_refinement_in_bounded_model_checking"}}}}}