{"entities":{"Q832281":{"pageid":834129,"ns":120,"title":"Item:Q832281","lastrevid":64675179,"modified":"2026-04-11T21:28:35Z","type":"item","id":"Q832281","labels":{"en":{"language":"en","value":"Model checking \\(\\omega \\)-regular properties with decoupled search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498190"}},"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":"Q832281$73653D5B-DFDC-4DB2-A1AE-AD43FDEDC405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d2fa3bcbb09a3d4f2187550854911df7d77e0c4","datavalue":{"value":{"text":"Model checking \\(\\omega \\)-regular properties with decoupled search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832281$5A099F4A-7C9E-44C8-8D5E-256774BBFC47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4459de8335ee372dc008d364c6c848a9cfbc6555","datavalue":{"value":"1493.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$CCEB59BA-E4B2-480F-AB37-E5840FDB31A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cddaac968a1ffb86039e48d26725c7e56e6f2ed9","datavalue":{"value":"10.1007/978-3-030-81688-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$B0C8A644-9EE3-49D4-9478-CCB173E2E86C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab29989e8a65521931636dc4df0b9c592c8292b3","datavalue":{"value":{"entity-type":"item","numeric-id":832278,"id":"Q832278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$5AED894F-AB99-4CCB-9E3D-50EB191D9C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dccc9f1012a8767542e646fce99136147f73d029","datavalue":{"value":{"entity-type":"item","numeric-id":832279,"id":"Q832279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$41EEF7A7-4770-4350-98A6-B7E76FA6A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$C3C00852-DFEF-468D-B91B-3ACDDEFABEA6","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":"Q832281$C801A230-3500-45B5-B122-A5988DF6FD80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832281$CCFC9DB6-55B0-4A28-89A8-15839A4AE025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$7F9A1BD2-9665-4EE1-A934-1087FE702239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$D535A5A7-2CE7-43C6-A93A-62E66CB11F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$85822D6B-B6B6-4418-805A-07C0E04D78BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35016573ae72f6e39f05a09a887e6ec9c54eae54","datavalue":{"value":"7498190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$25234E66-2B2E-47A3-8700-4B1F78EF9D37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$43E0055D-6D15-429B-AF13-E3DE397E765E","rank":"normal"},{"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":"Q832281$AF550C5F-CF5B-4696-B7BE-089C3D0D9B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$30A9836D-49D7-4E07-B5C0-BB7608229EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ec4283ac76ac1eccd5b779eea468102ae4078c9","datavalue":{"value":{"entity-type":"item","numeric-id":21225,"id":"Q21225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$9B4A5F31-341B-4959-B748-ECC88E5D847F","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":"Q832281$E02B31C1-D8D2-4E1F-9878-C95002B25440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f1a9121c5c9cc92cd3d27a25a32398dc8cecdc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q832281$C6DBCFE2-756C-4A4B-A081-875618733961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3da7b01914b4d0ad7c1624c5077a45748ff9772d","datavalue":{"value":"W3183275725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832281$9A341DC0-E9A5-441F-BA43-B5B29339F2B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$A971FDAF-2622-4741-914C-FEEE0740F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$12F8626C-5639-4DA0-BA38-2042E5142E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$9FB85171-3194-4820-B175-FFFEC0CD0243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$23EFFB23-EE00-4F46-93CF-BE96743C4361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e98e9d28882ef548c22a914e2c3a3666c92155f","datavalue":{"value":{"entity-type":"item","numeric-id":2754166,"id":"Q2754166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$92E97CF3-324F-44C5-BDC7-9F88AA9960CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b51c779cb8c410e34cefcfe7146c74f9d8ea23f","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$224030BD-F147-4B85-B77F-AD9C0CE5BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$D2505A1D-24F2-4C23-9777-10F857E4A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b474f789d14531f0fc6614a477dcda6a4c85201","datavalue":{"value":{"entity-type":"item","numeric-id":5308408,"id":"Q5308408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$201F1150-4FE0-43B9-AC8E-4B61AEACE88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6063573c4e91dd95533da7f69d0344c928c51e6","datavalue":{"value":{"entity-type":"item","numeric-id":5883577,"id":"Q5883577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$F87FB556-001C-4292-8953-C6B376A6CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab34f908ff295874dd0dc23415ad1fa443ec130","datavalue":{"value":{"entity-type":"item","numeric-id":1749386,"id":"Q1749386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$092EED77-B1BD-4003-A4A0-5987D52DD184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3926365548ae35164ac46d5d4f8da603909be1","datavalue":{"value":{"entity-type":"item","numeric-id":5227490,"id":"Q5227490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$B8A5B355-4D73-4D51-82A0-7FE59F8BCC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$867E5205-585C-4DA9-95C3-954F0E5AAFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$680BD23B-5355-4AAD-83BA-02FDC1518ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$BC087909-D075-4834-85FA-84E0F9016680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$CBDC858C-C7E9-4DF5-A86A-DA48E93C5CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$544A1B49-64F5-41C2-95DF-D785AF310058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92a944238d657f9de9e702cadba9277d57593a","datavalue":{"value":{"entity-type":"item","numeric-id":5166715,"id":"Q5166715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$F5CEDDF6-A9D7-44E6-9EC1-0BCF543021B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12321289b85ba893d50be86a22e0c7288f4d728c","datavalue":{"value":{"entity-type":"item","numeric-id":4412826,"id":"Q4412826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$25DE519B-4C18-45E6-83CF-3801FEE39358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$1768D488-7F66-464B-ADAD-5E97D86DFF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2d7830721aae6a0b1644943cee5b229f763586","datavalue":{"value":{"entity-type":"item","numeric-id":5480170,"id":"Q5480170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$1188C44E-E3A8-48AE-8311-E233CA60DBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$727A4C84-3B0F-41FF-B950-4BDA2065A110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de8994db0cbd7d5e258a105e4f1a886e00eb526","datavalue":{"value":{"entity-type":"item","numeric-id":5883577,"id":"Q5883577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d73ff26ef0fbf7a0cece9ba085ae7c80200941","datavalue":{"value":{"amount":"+0.7660431861877441","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":"Q832281$0A8F2C1F-BA37-4CC5-92F8-FAB261A9053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58978f9ed180276a80a7b4e5aa4106accb1e13fc","datavalue":{"value":{"entity-type":"item","numeric-id":1749386,"id":"Q1749386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26918ef1337908adc40666e24524d9cd39497ec","datavalue":{"value":{"amount":"+0.7436776757240295","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":"Q832281$B6A93D14-CEAF-4FCB-AD3D-3C30999B4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd489ed79cb90e48f600140fe2a596f4dd74318","datavalue":{"value":{"entity-type":"item","numeric-id":5227490,"id":"Q5227490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc9419c987cd62beb85e672efe3ba2ac35aac57","datavalue":{"value":{"amount":"+0.7231840491294861","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":"Q832281$10C97FE2-B21A-4BC9-94EF-68D856AC665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8131ef3b70ba012c8b468235c7c32b02647853dc","datavalue":{"value":{"entity-type":"item","numeric-id":3648688,"id":"Q3648688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc872d73c9a128cb91a7de9892489fdd3ea01d28","datavalue":{"value":{"amount":"+0.7163118124008179","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":"Q832281$39072C80-B2E2-46E4-A836-3E48C19222B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242abc884d777afc2dc4e5a3c2775498be873518","datavalue":{"value":{"entity-type":"item","numeric-id":2465733,"id":"Q2465733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0592299a4e874d6cf579d84f7e17e567ed966e8d","datavalue":{"value":{"amount":"+0.7087346315383911","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":"Q832281$A94FB5B4-7777-4CD6-9A95-B00A5D83DC7E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832281$7FFCBE85-7A3B-4F8F-AD3E-BB0FB4DC66A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking \\(\\omega \\)-regular properties with decoupled search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_%5C(%5Comega_%5C)-regular_properties_with_decoupled_search"}}}}}