{"entities":{"Q1870213":{"pageid":1880955,"ns":120,"title":"Item:Q1870213","lastrevid":69159006,"modified":"2026-04-13T05:09:57Z","type":"item","id":"Q1870213","labels":{"en":{"language":"en","value":"Model checking at IBM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1908518"}},"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":"Q1870213$1FD1BDA3-31E5-41C1-9196-B87FF6A4546C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78cddba2569719ff92274ab057e516ad43e3b4b0","datavalue":{"value":{"text":"Model checking at IBM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870213$A173A10A-0509-48CA-9A1B-817A35945DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7edcc010045b00e36758873c216f4dd68184d95c","datavalue":{"value":"1020.68507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870213$CA62E9AD-66BB-4157-9E75-F3B7E9E8B0B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80810f8234124041db11d0d6e425c72190588578","datavalue":{"value":"10.1023/A:1022905120346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870213$3C2FB853-6698-4BD4-A300-218B8301F8F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870213$124F5358-5F07-4DBE-B8E8-6D37BA1BF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afed46769c393c237def5cd835ed5bcf922e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":202473,"id":"Q202473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870213$11435EE5-9BA8-4A2D-924B-6ED6293B6D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f4c253ced25eae1a9cedd382e9903d2fffd4ac","datavalue":{"value":{"entity-type":"item","numeric-id":209464,"id":"Q209464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870213$C9C0A1C2-8FC2-4B96-B670-CA8A1636E1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d486bc225615555d709a41d2a8a1feaf2978e5","datavalue":{"value":{"entity-type":"item","numeric-id":209469,"id":"Q209469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870213$4946CE7F-2B49-487B-80BE-C20F31928EF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870213$2DB553A8-5572-416D-9414-A52AE19D4120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947c49c6dc991ad4ccf38c0cba49a099db39b9c3","datavalue":{"value":{"time":"+2003-05-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":"Q1870213$E4D9D507-F89E-465C-A60F-D4385848BF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870213$632A380A-A405-4CEE-B345-B48790440565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19ccadeccf4f7fcbae42083b87453bb3626b620b","datavalue":{"value":"1908518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870213$53C61FBA-2566-40E1-81DF-7D53D225ECB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870213$1CC75B52-A177-4449-897A-146B49D150C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870213$B7AB6047-7034-4A39-8185-C65C57DAB35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870213$2E8DBB9C-9E11-470A-8233-B475F68B45D1","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":"Q1870213$E7C27A8B-B6B7-4542-8D4A-FCCBFE702BC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720b4f14f098874a419f24900b707a1a25091f90","datavalue":{"value":"https://doi.org/10.1023/a:1022905120346","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870213$35868678-6545-4049-A97B-55363049D6A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"550fee9a83266bd92db7a03d0294e71692bfa55d","datavalue":{"value":"W2092218351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870213$D01FF4E1-D18E-4939-86D5-F788AC85F9BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e24f6c53cf5021cdcef26b2a90ab5d4026ac77f","datavalue":{"value":{"amount":"+0.848504900932312","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":"Q1870213$9BF35592-C690-4E0F-A240-EBD886F8DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bc1bd4ea8e0577d25c13b344ab4455ccc445c2","datavalue":{"value":{"amount":"+0.841523289680481","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":"Q1870213$2BCFD65B-1ECB-4B95-A332-66DE8C9A8770","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":"764b8ec06026ef58ef8b116bfa81421367fb368a","datavalue":{"value":{"amount":"+0.8206530213356018","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":"Q1870213$2AACA3E3-94E7-4F91-89EC-30C0A16F5C9D","rank":"normal"},{"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":"8b2f1e4a3520268e5a8e3aab487f1d80cc620e50","datavalue":{"value":{"amount":"+0.8195549249649048","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":"Q1870213$CEE1CFB1-3DAD-4E26-9DC8-C4C20368E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2f1e4a3520268e5a8e3aab487f1d80cc620e50","datavalue":{"value":{"amount":"+0.8195549249649048","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":"Q1870213$965E9C29-62A4-481A-AE5E-3962E0FAA7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking at IBM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_at_IBM"}}}}}