{"entities":{"Q6828619":{"pageid":15111652,"ns":120,"title":"Item:Q6828619","lastrevid":56010955,"modified":"2026-02-24T13:28:37Z","type":"item","id":"Q6828619","labels":{"en":{"language":"en","value":"A more efficient simulation algorithm on Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210018"}},"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":"Q6828619$1745B066-CB4E-4F74-A246-7FA3F3A13824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d466f6744c145cf9dbad14c68bf913f685ede34","datavalue":{"value":{"text":"A more efficient simulation algorithm on Kripke structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828619$2CF357A0-A6A3-4D13-BB75-235E31010330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5786de8f62c2c92481717568fbd416c15c742620","datavalue":{"value":"1400.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828619$68D59A30-3109-40D6-9D13-35E5FA0F7C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fa1f02f37542a0b1f52de5712953e6267ccaea4","datavalue":{"value":"10.1007/978-3-642-40313-2_66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828619$4310EB20-A46B-4012-BE60-187F0336C4E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828619$BD5AB97B-B833-403B-9A13-8743551C0601","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828619$4043B7A4-67E7-430D-8FA3-8F8C8768D36A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828619$8ED6E9D6-AD4F-4631-B884-6277A8418619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828619$0200D0A3-3019-45C1-AB8F-E1AE5FA513D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828619$4032AC8C-94C1-4605-827A-D352B742A6A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"804f99382e99ff9f1335e0313ffc6419a79731ba","datavalue":{"value":"6210018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828619$18BE91C5-29C1-43D6-A995-D64A7EFC2A6B","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":"Q6828619$E0563953-2757-4636-B0D1-85CE071F160D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A more efficient simulation algorithm on Kripke structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_more_efficient_simulation_algorithm_on_Kripke_structures"}}}}}