{"entities":{"Q860862":{"pageid":862710,"ns":120,"title":"Item:Q860862","lastrevid":64899861,"modified":"2026-04-11T22:58:31Z","type":"item","id":"Q860862","labels":{"en":{"language":"en","value":"Experiments with deterministic \\(\\omega\\)-automata for formulas of linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083508"}},"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":"Q860862$5C1A204D-A0FE-49E1-B4EF-EFE73D632DB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb884b23ab128bd074cc0152d21d7e4cc0e5e4e8","datavalue":{"value":{"text":"Experiments with deterministic \\(\\omega\\)-automata for formulas of linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860862$9820C92A-992D-41E1-8195-ECA54D153025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8fb9bced98fdad22c29551c46fa2f9b62c29bd","datavalue":{"value":"1153.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$5DF6AA7E-45A2-4C3A-ACE0-D32661A80602","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$FC6DBE90-65FA-4A38-BA4A-247CC385373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$056BA5C8-5EEA-43BD-BC73-8BF9D8F56149","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$AB11ED42-B111-4909-9013-74FBD8344C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860862$353898E8-AB2A-404A-BCE3-63E5B73AE9DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$6C900C59-7E8F-4579-BE01-9D6A24D92E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$BE32CD8F-DC14-4B81-A2AF-5ADFBA4FB700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$D26D036C-B3AE-409C-993D-A12D5356A055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ef7cba9155d0a804c307a809e9ee0557b45635","datavalue":{"value":"5083508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$8DA46595-CE12-407D-A301-CE83B599445E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q860862$C04E921E-4394-4013-A76C-EE3B003884F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a819adf8f08ce7e9800bc042a5775a93d2d6f6","datavalue":{"value":"Safra's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q860862$644EB43F-6263-442A-BDA7-065B0467299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q860862$807F60F9-3C94-4610-B680-DD23FB434819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q860862$70FDA6A5-9EE0-4DCA-BD72-73A4FFDC5ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02756ce71afc2f6a953826eec8ff8060bccf6a1","datavalue":{"value":"deterministic Rabin/Streett automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q860862$9C752D0C-9BF1-41F7-ACF7-11663D99DD63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$2077A4AD-6C1C-4A0D-B189-7553C44AE3D9","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":"Q860862$361F47D6-479A-4838-8660-56E820DC97DA","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":"Q860862$FCF76BE1-F85E-468F-BC2C-2E91F9B18A82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"855839a97115ed3242e998c57cc48f8ae434ef56","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q860862$CA2013B9-075F-4E1F-B9FF-9ADD6104AB30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8c766f38e6cdf296753d3e26b1464c96d87861","datavalue":{"value":"W2087107980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$228E3B4B-ADA8-42C2-B152-5A697960EEB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d9d5a3520c1c29c6f7d301a8da76b2333ec357","datavalue":{"value":{"entity-type":"item","numeric-id":5897682,"id":"Q5897682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$EAF45758-B1C5-4417-85EE-6646F738748F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$76DFDFF7-BE83-432B-B677-C4A2881F3C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$0E4084DC-BFCE-4E49-98C4-B83D9266F8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$9D1FBBE7-26C3-4F16-8F2F-562ED412E1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17edde322a1e872b1d9c534aed707fc3c7e946d8","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$F1C55126-2C37-4492-B82A-924432A61AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84bb92277de7124ceeb976bf454284832a8a249","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$A820E1BA-5E66-480A-B6C7-BEC8BFA4BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$539359C8-5030-4E53-9155-E2C7955FA5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$E21D1456-5719-483A-8F72-C9C7C3A55E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7794cb73f948d45ad66d583310a53a0a4dbb6541","datavalue":{"value":{"entity-type":"item","numeric-id":4525725,"id":"Q4525725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$9F56D62C-EB61-481D-9F38-D7800980C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b82b943ef6f04aab6939bcfa83d0d3b98b0678","datavalue":{"value":{"entity-type":"item","numeric-id":4936149,"id":"Q4936149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$59931997-9FD0-4833-B420-721879B7467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$06592D94-127E-4D28-9EE4-7D7987BF5BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f330d99f36f3980011c2b242bffc1ecc1eb86a","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$F9CE97DA-89DE-487D-A3F7-1411A0F2D059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f5e32092beda518f93689f71b709ce71d34c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4501665,"id":"Q4501665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$26795002-41C1-4DB8-BAD6-144E928C55E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$5454029F-8A9B-4819-9EB5-3F71702A5991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$5B5FF297-E19D-429E-AF52-94ED3979D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$586D2E2B-7C7E-479C-978D-EA971305646E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$B8C3B5F9-8BA9-4944-BA88-ED349A963BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860862$E68A73F9-F752-4EC0-9BC0-BBAD218A2439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f79513ed0783585fef9449eedfaf57e04c927c2","datavalue":{"value":"10.1016/J.TCS.2006.07.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860862$B2594412-B7C7-470E-A797-CB72F454E5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f636150ebcd71799544959670ef676d1e56d4490","datavalue":{"value":{"amount":"+1.0000008344650269","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":"Q860862$98B154E0-7C1A-4749-9506-DF8F032B6977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b54ae5d9deca34532253bec4f7fc669850dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3528917,"id":"Q3528917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c645c3accccea697e86b82bb80b5e54203eeb36","datavalue":{"value":{"amount":"+0.8572452664375305","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":"Q860862$465BD4CF-C1FF-49DB-9D05-62A5C30AA8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b75fc704a56829f1244ba775e685fa9159de23","datavalue":{"value":{"amount":"+0.8335953950881958","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":"Q860862$1788EEA3-EE33-49C7-9162-5E4DC9268868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e870d43dd7d00d590c40da22cef4dfa837e77bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042a2294d3827f9be23c9676d9f58b16f92f9e29","datavalue":{"value":{"amount":"+0.8230714797973633","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":"Q860862$605318DE-4CDC-402A-AFE7-BF2013333F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9bb997a6eebba553b2cf0f33d0315273f3a7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06c1947e365c4efd94e730064dc85fac99b098d","datavalue":{"value":{"amount":"+0.8134718537330627","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":"Q860862$CC0C469C-EB6B-451E-B73C-AE371A830ADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experiments with deterministic \\(\\omega\\)-automata for formulas of linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experiments_with_deterministic_%5C(%5Comega%5C)-automata_for_formulas_of_linear_temporal_logic"}}}}}