{"entities":{"Q5228112":{"pageid":7257680,"ns":120,"title":"Item:Q5228112","lastrevid":32825910,"modified":"2024-03-20T00:37:57Z","type":"item","id":"Q5228112","labels":{"en":{"language":"en","value":"Software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7090373"}},"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":"Q5228112$D4A27649-90B4-4F55-85CD-10B16EC91FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8ccc7f32617f1ab5c2c30f0a4956c7896083442","datavalue":{"value":{"text":"Software model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5228112$1F6AF139-BACF-435C-8EBB-18D00BDC607C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307c62da2b9422e1ecce20db7ac7c8e4f587650d","datavalue":{"value":"10.1145/1592434.1592438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$78493CA0-AB12-415A-9449-52AC4AD0B8E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5228112$6C2BA45D-DE5C-41BA-AFC0-851277BCF578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5228112$2227C85D-D6D2-4355-BA13-24778E526A39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5228112$0F1741A5-1356-42AE-A5A9-B9CFA240B8B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d65be9b46b8dac95d31b784aa70a87e27ab8512","datavalue":{"value":{"time":"+2019-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5228112$D0CD6100-84B2-4AC0-B5E6-A5B3306F4FC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$27C800E8-7190-47BE-B3AA-7DB1AF235D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$F3DDB391-95DE-41F9-A7C1-6D912AFD35C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$188E2135-BD20-4F73-9846-A1C154B47893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47afd53a3baedfea5a5f554bb0240db25e46c231","datavalue":{"value":"7090373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$D2708C97-F951-4A1D-9BD3-0F3F5B21F10D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$DFA84F21-5C43-478F-9996-5AFCE5328E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$7526DABA-2A1F-43DF-B147-B13B21272FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd5660fe52cbc0fe6510e6b224de592925269ac","datavalue":{"value":"counterexample-guided refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$FB9C65AC-2C3F-4E08-93CE-E792EEE2571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a7c4f427a6f493a75537f4d32e087f1068de8f","datavalue":{"value":"enumerative and symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$A2127053-95EB-43B3-ADBE-5F589FF289BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$30F4C442-734A-41D0-BA67-2720EC288FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228112$96F882C6-1030-408D-8120-246EA403ED4D","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":"Q5228112$951C060A-E7BF-42B0-8AF1-FC22A1188A51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41318f1e1836510ceb3e265ef26e2ecf140de6a2","datavalue":{"value":"https://doi.org/10.1145/1592434.1592438","type":"string"},"datatype":"url"},"type":"statement","id":"Q5228112$8525CD52-1AD8-4B02-9289-B9A0BAB0B2FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7278296305615c57afc4ce680f85660e3a3680c","datavalue":{"value":"W2081840025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228112$611D894D-0809-4006-B5C3-9FB21684C635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5228112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5228112"}}}}}