{"entities":{"Q3003330":{"pageid":3014054,"ns":120,"title":"Item:Q3003330","lastrevid":79705634,"modified":"2026-05-06T14:31:44Z","type":"item","id":"Q3003330","labels":{"en":{"language":"en","value":"Model Checking CTL is Almost Always Inherently Sequential"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900081"}},"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":"Q3003330$AEB31557-4575-4886-82EF-7E302FE24A56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a5593ccc258c7fa5f94548f61fd15b54d0c39da","datavalue":{"value":{"text":"Model Checking CTL is Almost Always Inherently Sequential","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003330$5041ACC5-D5E0-446B-8100-BD52E75D9D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1130d9c2076cfed1117df53bfe691abf69479fdd","datavalue":{"value":"1220.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$53290EFD-AB6E-4BC9-A93A-A6734AF8CC5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54461563d9d1ce81401f5fcc11af5dc3e5fd2552","datavalue":{"value":"10.2168/LMCS-7(2:12)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$F584AC84-543C-423E-BF6A-76987F0AC6A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003330$5B771D8C-7832-4284-9004-09C9D9E41F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003330$F2F3B7A7-2262-4992-A0EF-0CDFB68794CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$D35514D7-12EB-4986-B229-1E40D3FD5EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$5E2081E2-9AE1-4966-800F-4E1B4AAB22EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$4B2DA821-72BB-4C86-8D64-7A9925DF9869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$54A2AF8F-CD6F-487E-B5D5-53820EE7EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$724EB8A7-2B37-4217-AF7D-55B0BE2835DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2662ac56951c2068d6b6d2da4e058dbdb36d5284","datavalue":{"value":"5900081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$1BC2266A-1688-4743-B8BE-A255F2BD822A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003330$5DBA0805-9330-4333-A54D-DC61976CA3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003330$7A94F6F9-EA3A-4FAB-BE37-04E10F9DFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003330$2C4CE00A-23AA-4B8E-A55D-8D9EB7753362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003330$88EFF066-0CBD-48C2-826C-3D10B535A31B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"060f8bdfe5464cc186b4e26b9d86977f7d580c3a","datavalue":{"value":"Q57998315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$6236FC1A-6EE0-41B5-8E13-0D1867E6A6F8","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":"Q3003330$04CA7483-29C3-44FA-9299-7BE3006329F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15042c9571030b7412b1ae10e84810c5627ecb1a","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(2:12)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003330$AE8A98F6-F128-4EA8-BA54-04969C8C9A8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46afb58c131a4661ca749c941d201b7c81d80f49","datavalue":{"value":"W2949521423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003330$B2BB37EF-38E9-4D37-BBCA-77DF10AAB5AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f460a959182c940cf98de948e88e82ec9c53d4d","datavalue":{"value":{"entity-type":"item","numeric-id":6080277,"id":"Q6080277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df47df7ed0d631605beed1e9851ea2c2a8a05c4d","datavalue":{"value":{"amount":"+0.87488216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$0FF39685-2D96-47F8-BD8C-3294D5BACF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b1552500920fe951f27e6edaf6311c11dda247","datavalue":{"value":{"entity-type":"item","numeric-id":4818810,"id":"Q4818810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132a54cbc36789f014e98354982427cd29f92c18","datavalue":{"value":{"amount":"+0.86980355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$513BA889-025A-4B6D-9EDE-0073611B4B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821256108d413c43841696d533605225bf9b19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818799,"id":"Q4818799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3777f08f3ebb1c36e2ae5a271cf4e72e6916c1","datavalue":{"value":{"amount":"+0.8680291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$32B6A64F-C04C-4212-8647-C1E775D60F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3222baa4b3eed2957b629a0070d31d1513b5e410","datavalue":{"value":{"amount":"+0.8665149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$59587BD6-60B6-4EA3-88C8-1C5C8B71E297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2e2b8f80a58b80ab2dfdf08654c948fc93daa5","datavalue":{"value":{"entity-type":"item","numeric-id":1685784,"id":"Q1685784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73722cf74eebc3c6e3fbe106fb90890855a4fb58","datavalue":{"value":{"amount":"+0.8587066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$EE8A1C59-2B8F-4935-9965-35C8DAFEFF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f06ea015cc5a8d0f5a88745e6f219b6202dc93","datavalue":{"value":{"amount":"+0.8563837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$F36FB6E3-4E95-49C1-8515-4EFF9C75B579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2cd6ac266c53d3b9dc6fd98343cf7ed39f2abc","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98127ea3177bb4bc5444d32fa7e7ce8622f8d91b","datavalue":{"value":{"amount":"+0.85573804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$E6C752A1-0E80-4D99-813D-2A34B502A56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f26660924f663c749922ec45b5fcd45d948f05","datavalue":{"value":{"amount":"+0.8542174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003330$CA2748E9-E50B-4A3D-AF70-C575BA89DA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking CTL is Almost Always Inherently Sequential","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_CTL_is_Almost_Always_Inherently_Sequential"}}}}}