{"entities":{"Q5458328":{"pageid":7487887,"ns":120,"title":"Item:Q5458328","lastrevid":50333804,"modified":"2026-01-13T20:27:10Z","type":"item","id":"Q5458328","labels":{"en":{"language":"en","value":"Fast Directed Model Checking Via Russian Doll Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262370"}},"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":"Q5458328$F17DE9DD-E5D1-4821-B670-CD52657F6BE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f22e8fd4d1f4642c6be0522778e976a92e44b5d","datavalue":{"value":{"text":"Fast Directed Model Checking Via Russian Doll Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458328$4D78A96A-F310-4716-9821-91277ABEA3AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"371234b0dd58cdc739e8064047fb9a86ccf252e9","datavalue":{"value":"1134.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458328$D037F488-8953-4991-80D4-034A2637CBC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019a201292feace32880dcbdd4f0f6a0a1c3ee83","datavalue":{"value":"10.1007/978-3-540-78800-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458328$A9A9F161-63CE-474B-9F2F-7E720588BD9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfcdc1e4557e8d6244f4a4a58a1a4c94b3e3f51","datavalue":{"value":{"entity-type":"item","numeric-id":3000657,"id":"Q3000657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$75C0FB69-8B11-4693-8B2D-82F6D2A81633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da8fce251f678eb843710c76aaf8c91a126fcee","datavalue":{"value":{"entity-type":"item","numeric-id":514136,"id":"Q514136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$CA3E721B-B9F2-4CA2-A4E9-AD126D315241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$19A7EC14-15A7-4362-8CFA-EB380FDE31AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$BC7458BB-6775-47E4-A7B5-FF3A810038CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-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":"Q5458328$894BC84C-5556-4048-9E49-4B0E1B76CC6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458328$FBCE04F7-34FF-4EB5-B617-F35955457DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc3c65a42b6a8d05c78ce07a56425fc99d16e08","datavalue":{"value":"5262370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458328$D4A95E71-4CBE-4853-927E-B90FD633E0E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$F84B816E-B760-4876-929C-3654F98E7AE9","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":"Q5458328$A58732BB-6F87-48FC-9CA2-4318362C8C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81ef4ef0db7cce11a07f4cfc7161bdb5fdd60e20","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458328$7397D7D9-B811-4492-9FAB-B6E5CBCECBB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b067c3b19877fad4c27f7bedb0891097a7c78138","datavalue":{"value":"W2119571962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458328$8AC6CDDD-FD7E-4CC6-98A2-C4D880EA022B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$E0AC2BB6-F364-4435-8D87-E732418DB102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ceeb8b3a8be517562af772ac048285c9c60a71","datavalue":{"value":{"entity-type":"item","numeric-id":5308429,"id":"Q5308429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$DAFAEF96-9BE8-4401-B592-92C64471D612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ff0dcf829232da907f1eb072f94e69abdec3d","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$95D3DC2D-BB6A-4527-98CF-3A28B05AB294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c01de818335e873dd765244763179cd84d37371","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$8C6599E6-15C4-43FD-ABAD-C9DAE73E373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599aff5efbde8bd5e5d97b75ee5191c8f64bacc5","datavalue":{"value":{"entity-type":"item","numeric-id":5423882,"id":"Q5423882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$75120444-E682-4B2B-AE24-3F41EFC46F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ac36f28da368bb4c1d47da3de05ac0c0937213","datavalue":{"value":{"entity-type":"item","numeric-id":5479161,"id":"Q5479161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$310EE1B9-D0E8-4AB6-AAAE-29BFD5313FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978c4b578567f04ccf981f0ae14a823a972bf0be","datavalue":{"value":{"entity-type":"item","numeric-id":1882792,"id":"Q1882792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$8C56EB6C-2C6F-493B-B42F-7F39F71922C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$97592DFC-9331-4C7A-B231-D26ABF20F732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34cac8067b7832b2d166b2cf9f66f09981ce3557","datavalue":{"value":{"entity-type":"item","numeric-id":5958199,"id":"Q5958199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458328$B6EE0CD2-3CB4-4596-9123-7BC0C1A4C5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5562d94d880c3c2137a8f74cc3a8390d39e7826","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cebc064a00dc471cff51535d0860c6e0639fc1","datavalue":{"value":{"amount":"+0.7964397072792053","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":"Q5458328$3A99AC2C-4A8A-4244-93B3-BD0DAF65711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f25bc660164bfa30b49f021d735420c373a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3000659,"id":"Q3000659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadd58eb11915e23cc10b9815015e4672a6232a7","datavalue":{"value":{"amount":"+0.7958899140357971","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":"Q5458328$CE04E669-78CD-4244-9362-EDDD88BFF92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca879d56f308bf959115db95a13fb08cb9c89f4","datavalue":{"value":{"entity-type":"item","numeric-id":5423882,"id":"Q5423882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17309f527d02591efe513a78234e917a61f6495","datavalue":{"value":{"amount":"+0.7905148267745972","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":"Q5458328$3E5F8E1C-FF89-4DC6-8182-F0129528DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5752acf3f97a0751e90d5e7d3ae78ae7ce9912c","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17832370cbb88ba28acba1cb3d9bbced12ea313","datavalue":{"value":{"amount":"+0.7802049517631531","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":"Q5458328$D23B4F40-41A4-4DBC-A555-8144E871783A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dac45c8603c2a08b3f04f2a6d036c596191ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4488e5c6cd111cb2545b9e6a2478cf81a292708","datavalue":{"value":{"amount":"+0.7751492857933044","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":"Q5458328$E6D8258B-1F91-4E65-B163-34D83ABA27CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458328"}}}}}