{"entities":{"Q6907605":{"pageid":20945410,"ns":120,"title":"Item:Q6907605","lastrevid":104075126,"modified":"2026-06-06T08:50:09Z","type":"item","id":"Q6907605","labels":{"en":{"language":"en","value":"The complexity of traversing automata with current state uncertainty under \\(\\mathrm{LTL}_{f}\\) constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8114363"}},"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":"Q6907605$788D0DE7-7F7D-4D28-8F9A-F1D3207282F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f68ae03d5aab49d88d07dfd364016178c0d8c372","datavalue":{"value":{"text":"The complexity of traversing automata with current state uncertainty under \\(\\mathrm{LTL}_{f}\\) constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6907605$7421F0B0-F6A8-4D40-ADFB-A664982D5A08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"051d2532d6fd943f75216e3c634940bd129c8552","datavalue":{"value":"1573.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$B8E13077-9553-4DEB-989D-CDB37F44CEFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b670c1351f822a314283055062a1f74dd76792b0","datavalue":{"value":{"entity-type":"item","numeric-id":509287,"id":"Q509287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$BEE348B7-104B-493A-8DB4-8DE0F56D9294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d326a8b7cd29d8ab00e505884681ad6e2d923b","datavalue":{"value":{"entity-type":"item","numeric-id":544622,"id":"Q544622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$346F5B20-B31C-48B0-80B9-2BF609A0D718","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f67ba5e89095b2b825b3e9cd1c2605324298d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":6621944,"id":"Q6621944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$E7BA99FB-BAC6-4CD0-8383-C7A4C2BDC5CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91a038f19cf3fc844d7c3fb11200ffb5487a4cb4","datavalue":{"value":{"time":"+2025-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6907605$59769ED5-AAD6-4CAB-81A5-451A0CF0E3DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"033569edba1988b11eaadf01ea0e07e1914655ea","datavalue":{"value":"https://jalc.de/issues/2024/issue_29_2-4/jalc-2024-295-320.php","type":"string"},"datatype":"url"},"type":"statement","id":"Q6907605$B1BE7E09-9633-4E8A-9054-AD357074262A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$9AF64D6C-B120-4353-9A5D-9DE73CB14129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$188F727C-3FB9-4329-AD42-CA244220FC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$F96F548A-631A-4DC4-AD86-084C90E4EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$8B3A9B39-B1CC-4C4B-A939-B1245B1EA835","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c816a3a6b5a9999a00c19b0bc1db2080653ac8","datavalue":{"value":"8114363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907605$C18E0C62-CEE9-45D8-8AA4-1E85D9BB3696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907605$9BA48D92-8F27-4038-8C4E-74E4570B8B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2871448ec47d1bf0c151953887e33d95267bfa61","datavalue":{"value":"LTL on finite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907605$A1A7C382-3658-4187-8753-A6CFA770B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22464a7f7baa48c23daf8f1f40cceb77438a3e35","datavalue":{"value":"synchronizing automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907605$6CA4F803-E2D6-4C49-9446-C10336BA8F25","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":"Q6907605$EB3682B5-DF9E-4D21-91CE-B2FAC02DB1EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52adf117129a2c58ce22106112c1d06c5f36748f","datavalue":{"value":{"entity-type":"item","numeric-id":703567,"id":"Q703567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$A0519865-0A5E-4480-B9E8-26EEE0B80D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$AE8F1442-E7F2-4C15-BC89-556E2D5BB398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25adfe1818259bf1c77420c1d54439d3e3b21269","datavalue":{"value":{"entity-type":"item","numeric-id":3448924,"id":"Q3448924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$AF05AA11-5516-4C60-B994-0B240B44BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9541207e1f044ccf44e63cb8b8a82f20bfd6b780","datavalue":{"value":{"entity-type":"item","numeric-id":6161453,"id":"Q6161453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$E3B2E07F-2DB6-41CA-95CD-0D684043C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6962679078cc12aa1ee93bda1f570c936af3d480","datavalue":{"value":{"entity-type":"item","numeric-id":1146010,"id":"Q1146010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$70FF0E2C-FE63-436F-BA7F-6005ABA59296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$46FE30B7-24B0-42EB-A1BE-2B73B4CE1E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b44fadf49fbf71804bd01233e1c102242554fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3476281,"id":"Q3476281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$767D6213-B135-47F9-BADB-8CA46FF1EF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$83335195-EBE1-4646-8D94-6BFB7640CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09c83e127b33f2b447a249abab694bb8942e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$7B1CBC8D-E6E3-452F-A23C-43B7C6161323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4351a94ed9cc9ca252abe02bc0bfec4d38dadcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2074216,"id":"Q2074216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$A3380F1D-8C1C-40A0-BA9E-19EA524B84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$38A36D8E-2C03-4EF6-8FDC-1A1DB04D4D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03458cb76c813e714789d14b2f34159b9785fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$7C284D69-6B7D-4590-8843-C13EC8608DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131c6b62c290a15cf0aad33ef90d14d9b6558993","datavalue":{"value":{"entity-type":"item","numeric-id":1889855,"id":"Q1889855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$F7BDE555-1DC4-43AD-BE5E-158C08FBD83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a03a7f69bda1783a313f7f07958eb14da42783a","datavalue":{"value":{"entity-type":"item","numeric-id":1678755,"id":"Q1678755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$EE7D728C-5A60-479D-B38C-0939C2D0D50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6f2fc7b333e78a1c846887df6bc34d4b48f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$FC6142A1-C7F2-4F80-A0EE-DBF47F33118C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$E5D746D5-1B61-4EFB-969C-8840A821A1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5198a2a99ab7bbd8292ff488b336255e9633dc2","datavalue":{"value":{"entity-type":"item","numeric-id":6830320,"id":"Q6830320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$791932C0-CA1F-43A9-B1EE-6554286A646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43104b1ef2d0a910e3b5f384507ebaf4406d62b","datavalue":{"value":{"entity-type":"item","numeric-id":4686536,"id":"Q4686536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$E3CFD468-7CD2-4C80-8CA8-13C5055ABA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$1B533ED9-5267-41AB-A284-6AB99B8DFA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$721CAC5B-8F32-4685-815F-4A3FC3CC63E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7883863e222d0866b310f00d19716cc212a9ada2","datavalue":{"value":{"entity-type":"item","numeric-id":705066,"id":"Q705066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$3BF5EACB-1D7E-4283-A188-C8CE334B98B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34bdaf808dc2e816a667aff2ba1bedaf225941d","datavalue":{"value":{"entity-type":"item","numeric-id":5250279,"id":"Q5250279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$3CF74E89-5EB1-4A7B-9684-91351BAEB162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3c2c48e8711a06cbe33fea6900c75fca5b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3540093,"id":"Q3540093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907605$748FBC2D-1E1F-4E77-B19A-823CD054C939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6907605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6907605"}}}}}