{"entities":{"Q2845488":{"pageid":2856208,"ns":120,"title":"Item:Q2845488","lastrevid":42261228,"modified":"2025-06-03T19:40:28Z","type":"item","id":"Q2845488","labels":{"en":{"language":"en","value":"Parallel model checking for \\texttt{LTL}, \\texttt{CTL}\\(^*\\), and \\(L^2_{\\mu}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203468"}},"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":"Q2845488$773F1FF0-4FEF-47F2-8D77-CF8A81E4125D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"417fea02c171bb1176cf75e3954dff4833f6df47","datavalue":{"value":"1271.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845488$24CB2DF5-0D89-4461-B34F-6B45B4797C3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845488$DE23BCC6-6256-4EC9-B68F-E3F2E150F033","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf8eb2b619f831170af6786eb395676834e70375","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800933","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845488$3E4F4F4A-E9FA-405D-AC95-879157025909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845488$3040D9A1-4D2F-46FC-A51F-DC9FD4DF6873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845488$E541D9C0-C451-4A0D-A210-7A13E75F949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845488$1B6C43EB-37E2-4476-82E2-7B74DF9467FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8525e9286c353098541cab26e078254439d2cae5","datavalue":{"value":"6203468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845488$0E8B8FCC-20BF-4B69-8466-B2E422C97EFB","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":"Q2845488$35421B4B-8D65-40F6-8E1B-C422ABFBC2E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab901457a88dedfcc641eccf34eea02c13ce282","datavalue":{"value":{"amount":"+0.92773294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$AEF272D7-8907-418A-A977-504F871CF029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f593eaf0f53b115179d2edc6caf72a299a60276c","datavalue":{"value":{"entity-type":"item","numeric-id":1951607,"id":"Q1951607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd539f83705ed4f776445b611ddc8f0c76419f9d","datavalue":{"value":{"amount":"+0.91966856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$CD2F8EBA-DE37-4D64-B504-A0B5861AA073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d368857dc7b014f7b6d66fce711742ad1948b47","datavalue":{"value":{"amount":"+0.9091166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$1D69E366-A935-410C-929F-2C840994A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821cad7f86625e66cba4b336c7949075487db8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3172928,"id":"Q3172928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d441abce2f2e1e476799d0e67272a1e0dbd4296","datavalue":{"value":{"amount":"+0.90661067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$96BEE1F5-3EA3-46AD-B703-D6E261E5FE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86ca2e78cd7acad5e47625e664f6700c9aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":4649304,"id":"Q4649304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554e29a301e2e05302e0b19a7df947cf61d3a4af","datavalue":{"value":{"amount":"+0.90079224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$F5242DC4-8D47-467F-B95E-E5CDBB7E95C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63018600324a71859f0d043848bacee9a1ae2407","datavalue":{"value":{"entity-type":"item","numeric-id":5930944,"id":"Q5930944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92dbf726446ddcce41072da3b60d987adb52fcf","datavalue":{"value":{"amount":"+0.8952899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845488$C55416AF-7334-4556-9BAB-AB46488F3900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845488$A8360AE8-4310-4A88-A345-A99C4D7041B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64196bdc65a09b3d74d11c2e65787bb34c001866","datavalue":{"value":{"entity-type":"item","numeric-id":845831,"id":"Q845831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845488$F3520A16-1F90-446F-AAC7-1F63B611B991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980693408117484371c2aa90c387aebcc920cce8","datavalue":{"value":{"entity-type":"item","numeric-id":1351370,"id":"Q1351370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845488$C3AFE18E-2F56-40F9-8F5A-34BF15ADBF22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0cad45140be02b6e2b8d42330cea14298bf596a","datavalue":{"value":{"text":"Parallel model checking for \\texttt{LTL}, \\texttt{CTL}\\(^*\\), and \\(L^2_{\\mu}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845488$21C62459-1D87-415C-A2BF-ED3D5EE3C9F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845488"}}}}}