{"entities":{"Q2465733":{"pageid":2476476,"ns":120,"title":"Item:Q2465733","lastrevid":73455681,"modified":"2026-04-14T16:03:37Z","type":"item","id":"Q2465733","labels":{"en":{"language":"en","value":"Combining search space partition and abstraction for LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223817"}},"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":"Q2465733$A8C8CDE2-CF89-4E1D-8508-624B5DF674B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c397fb3d57a75adfbc509ecfc097d439ea179189","datavalue":{"value":{"text":"Combining search space partition and abstraction for LTL model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2465733$D871E91D-EB20-44EF-82FF-6B78D6542FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"755ec35ec36cfeddc21cd3bc03662ba1f7d84f86","datavalue":{"value":"1142.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$3A195E7F-4F70-4C18-AE8F-A2AF3711F2BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b02ff2b8c99622f2a86cc9ceec60572386cf2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":456259,"id":"Q456259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$455B335F-CC83-42AA-9D7C-2E7F46A70883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$7567965A-12AB-4918-BC0F-CEF3F700FD7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$A9D0C43F-FBCA-472E-8E04-7651A25ED476","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903918ebd358b56a998ba218752ba98982e17a15","datavalue":{"value":{"time":"+2008-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2465733$15F41C2B-B0C1-4F29-A1E2-9D8ED7C8CF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$370AE019-F2F0-45F7-9840-1535D61D3CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$225D68E4-8E2B-457E-ADEB-0D14CBD5EE4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"432197b1ddc8f66d00b8ea13f9936274ad7735f6","datavalue":{"value":"5223817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$7FF20158-1209-4B14-9AAB-298B5D693E8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e964d2618bc5aeb89549aa382e59e30ca19b6508","datavalue":{"value":"search space partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465733$BB246A23-5D22-49B4-9C42-8D81D2B2F12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465733$FE1B8195-97CF-405B-9EB7-8C9E2A1508C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465733$382B6238-BFB8-4AE6-B4E9-7B298E35D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423a381cc6ddf4ce579448ca2c2d4f9b2dc351d4","datavalue":{"value":"LTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465733$13956451-1A5D-4D7E-8BB2-C4DE70F04947","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$9BDC3055-872C-469B-9588-02FC323E615B","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":"Q2465733$F7268120-8E0D-4A1E-8330-83793AB27990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"def36ed6964b19e87bf0a4d723cff44fd74588ef","datavalue":{"value":"https://doi.org/10.1007/s11432-007-0073-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2465733$2E89FFC7-04B7-40F0-8B99-FFB073353CCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2003d28e30afe349cea6614d505fea672c821d84","datavalue":{"value":"W1964632015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$C0B59DFF-5473-45E0-B501-A3355256905E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$6047FEBB-25CC-48DC-9FD3-3FD79A04929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7849ce26f9f457c5d44ef6c061e764aca45f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$52B21273-39F8-42D4-94E7-466204C501BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$4C91B1E2-2772-4465-BC51-94B2AE5F48D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf2a980fcdeef62f12ff3d05105bbf12733a84","datavalue":{"value":{"entity-type":"item","numeric-id":5703755,"id":"Q5703755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$664D7C3E-D259-4ECE-B47F-12E01B32FFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$EC9BA253-7155-45D2-8AC6-CAE6CB8ADF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac9f30db6123190e96ed99c8c510f9265613e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4738488,"id":"Q4738488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$2E70B2E4-0261-4264-BB96-179CC06344DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$BA5D2DCF-5B99-4ADE-9524-924310235AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9301e6d40de49bf9ec2117052d6413f883eaafec","datavalue":{"value":{"entity-type":"item","numeric-id":5394174,"id":"Q5394174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$F9BB73E3-753B-440D-9B3D-B7587E066DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0ef00b4d15d16138b80af54fa535d4a512f14f","datavalue":{"value":{"entity-type":"item","numeric-id":1884313,"id":"Q1884313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$F44E8033-6AA6-4A1C-BD9E-27E236F12F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857dc82a063c3e8a5bfe609deb8248d276966a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856160,"id":"Q1856160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$9B033033-F4B0-4875-9F0A-52532ADAF76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69831aa7f75e620a0aa2a9c831da6c7ab3258cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4737005,"id":"Q4737005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$F08473B2-7343-4323-962E-A0FB983C6FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465733$4FE20849-8605-4D01-B96F-CA9DD5055EED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1eb93e8a9af459a4004495a4e1fa9c5eabc8e5","datavalue":{"value":"10.1007/S11432-007-0073-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465733$01E94D3A-27D9-49D1-B352-F2CC478B9246","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdfcf297e1870fbdc9ebe5100f7830f5105aa58","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6fcaaf719d2d77df337f810fe9aa9d89a4461f","datavalue":{"value":{"amount":"+0.90089554","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":"Q2465733$7235B971-1DFC-4289-8711-C31FC4060937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e727d074628927d2ec3babd0c172aa284843da1a","datavalue":{"value":{"amount":"+0.89351463","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":"Q2465733$58605404-B715-41C5-AD64-81AA6757C9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7285201ac10ba55f0f547e6e1942d9e4654f699","datavalue":{"value":{"entity-type":"item","numeric-id":2851316,"id":"Q2851316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a44029529ec97799cfd5f246626a9aee412f23b","datavalue":{"value":{"amount":"+0.88774467","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":"Q2465733$C63C4DDA-D842-409E-9868-CF1E85A2D48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b68073369f0cc8b5e82b6b47fbeb08c63281ed","datavalue":{"value":{"entity-type":"item","numeric-id":4899142,"id":"Q4899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b527ca4304269b84db1c0aeb4ca2df0f08d85ac","datavalue":{"value":{"amount":"+0.8843693","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":"Q2465733$AC6A6588-5E29-4981-B9CF-5BA32717D21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da0f2089d3a977bd827f34d28fa4c869230200","datavalue":{"value":{"entity-type":"item","numeric-id":5394174,"id":"Q5394174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8837fab73fac629d7ad48d78c0a99288d90c5fd4","datavalue":{"value":{"amount":"+0.88274795","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":"Q2465733$6B8D7363-0EEB-4464-BC9D-015E89A62A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc30b245ec6b807d4e24f0d259d8f49ecc3c7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5758121,"id":"Q5758121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1fb1696b6909a284692b2c9c1b7f9bba83df89","datavalue":{"value":{"amount":"+0.88065946","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":"Q2465733$E5211C3B-B08F-4108-8E45-3C77173EFE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49682f1f87da92ef3f296f2ababe0e24a74b97c","datavalue":{"value":{"amount":"+0.8803175","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":"Q2465733$37B2DE5A-D650-4F16-939C-7EDA8F8E8B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26a51312acfd9a1cf47cb98443a243ba2c91fd5","datavalue":{"value":{"amount":"+0.8790019","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":"Q2465733$767A9791-003D-48B4-9B45-3998A95B5AC4","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":"c323c31024219a4194867fcdba697b6ea60dfb63","datavalue":{"value":{"amount":"+0.8738938","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":"Q2465733$BE1487A6-3587-475F-BE33-D25B22B71F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining search space partition and abstraction for LTL model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_search_space_partition_and_abstraction_for_LTL_model_checking"}}}}}