{"entities":{"Q3528917":{"pageid":5558821,"ns":120,"title":"Item:Q3528917","lastrevid":50472428,"modified":"2026-01-14T03:35:01Z","type":"item","id":"Q3528917","labels":{"en":{"language":"en","value":"Generating deterministic \\(\\omega\\)-automata for most LTL formulas by the breakpoint construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353382"}},"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":"Q3528917$8E04ADAA-B2D0-4D8F-926D-E48B1636E77E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cefb76a992e47d7bfe6839bc3bf4b770934c2695","datavalue":{"value":"1156.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528917$12D2BFB5-F1ED-4C89-BE11-99FCB9B9FEA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d165861740298b1670a538f4db0c6823b65828d","datavalue":{"value":{"entity-type":"item","numeric-id":2891460,"id":"Q2891460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528917$24ED7994-657E-49BA-93E0-8FC7BAC56478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528917$31CD8717-9F8C-44CF-8FBF-39F478AB06C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a08a10ad5c76e61eed4a662a7f30fd7e307c355c","datavalue":{"value":{"entity-type":"item","numeric-id":3528916,"id":"Q3528916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528917$70B06A15-3D60-44C2-8CF4-5F4701A407DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f51f874f60a0661a38f64a7f4753a2a4e6d82d5","datavalue":{"value":{"time":"+2008-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3528917$38370C91-3FD7-4523-B737-DDE76FC19002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528917$F32A768D-4B78-4A53-8AD4-DB7EA9D64DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528917$B5716AF5-9EDD-4C6F-8A05-E343611307BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528917$1C58A39E-23E3-4B62-9BC7-AC0FD33DE68F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4da20e76c7468172cc34f27659b0878c82c91201","datavalue":{"value":"5353382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528917$96B2CCD2-5D4A-4AFB-86F4-AA1031499CB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528917$6861001F-2255-4DF8-BB4A-7912E3BBA2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528917$74A4A597-D80B-47C4-B9D7-DBC80F2B15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9403b998fe3c1eb3f40d2b6d8a23735428559c14","datavalue":{"value":"LTL verification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528917$1DE8C543-FBB7-4A1A-87E4-981852F16F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528917$7DE78F5F-A846-4AAF-8F56-F2E24F409334","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":"Q3528917$BC846227-904B-438C-B3DD-FF9D4A0EE7EF","rank":"normal"}],"P1643":[{"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":"a9c2ac76e7ac362a81dfafc669c4bd5a54515257","datavalue":{"value":{"amount":"+0.9146318435668944","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":"Q3528917$0E9C6FE4-9964-4EA3-BA9C-9CBB5A3BAAF6","rank":"normal"},{"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":"e4ccc8e96208edd1f85a24b9e75e55e9b774e09d","datavalue":{"value":{"amount":"+0.8572454452514648","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":"Q3528917$FBDE18F5-BD9E-4FF8-8BAE-DE68E7E7D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"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":"Q3528917$7E0B1C7D-ABDA-45CF-9427-8E26F2AE7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d4b7a755b12582c977069a80b77d13fac10fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5166674,"id":"Q5166674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27274b1c8ca8856915a20e24f7c82cc417e2e2ac","datavalue":{"value":{"amount":"+0.831214427947998","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":"Q3528917$F017F171-07F8-41E0-B75C-008A3700B4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa216bf7272d243ffe26b544ec086ceb7f5db8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5992523805c2d9a219162806c19bf3fb213c11","datavalue":{"value":{"amount":"+0.8304051756858826","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":"Q3528917$7C10FD04-0380-4C57-897D-EEA865A3E61A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3528917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3528917"}}}}}