{"entities":{"Q5056447":{"pageid":7086024,"ns":120,"title":"Item:Q5056447","lastrevid":100271783,"modified":"2026-06-05T21:44:14Z","type":"item","id":"Q5056447","labels":{"en":{"language":"en","value":"A Unified Translation of Linear Temporal Logic to \u03c9-Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629061"}},"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":"Q5056447$90D30AC5-A702-40F8-A566-1828E862F98B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b7da283061a9d6d5bcd7b6cba4eeb44fa874f08","datavalue":{"value":{"text":"A Unified Translation of Linear Temporal Logic to \u03c9-Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056447$84AC6AE9-74CE-404C-8DB0-323A13753B2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d98047226edf72eb91c1396302340eb345e7db5","datavalue":{"value":"1499.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$92B71DF6-4F2C-4A15-9DE9-A41F3A0927D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ea3187ec97975aa635cd38f61c09efd9fc3402","datavalue":{"value":"10.1145/3417995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$38E0F80A-5596-44CA-8D16-6CE51BC61878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$1C6C7F5C-EFD4-4D15-B590-5F63340F5D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$C431D9ED-59B4-414E-8696-58C958BAEFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$AA76CCFB-6B85-4C83-8DA8-E8EE6AFCD811","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$710BE52C-68C2-4296-81E6-573521AE95CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056447$968E11E8-ACB6-4C2B-B6D3-68B572D6DC38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$6746AFCD-19C1-4419-9E5C-3F0B9F346960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$7B36521D-8C7B-4F11-AE8B-67122ED48860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$A89AD8C1-5699-4238-8FF1-B9AE8F3BA0FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a68725620b83f821ff1ddefebe8302143b0867a","datavalue":{"value":"7629061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$3441BD52-83D4-4589-8DD5-A7DCF8EB5DA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056447$1DF32378-E88B-430E-812F-38373B333BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8934aba333a3bc2adf9775117917cece0a5b2a1d","datavalue":{"value":"automata over infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056447$C4D72AEF-08DF-4304-882B-1A6881B77E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056447$DB3F10B1-78AE-415E-AFF5-C40ED1044641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056447$95CD3588-0CF3-462A-AD04-C3D834C3E8B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0e39174cd4981cbbd61a50a89287663a9b0e51a","datavalue":{"value":{"entity-type":"item","numeric-id":1349655,"id":"Q1349655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$717BB1FC-B170-443C-A365-EAEFC6DD88E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$DB0E94AB-74A8-4A9A-A3B8-A854F5444D00","rank":"normal"},{"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":"Q5056447$F0B3A657-6966-4158-89CC-1E7EAB656D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb14764ca4f795a410ecff4a15a27cd8a8364134","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$EE608CFA-5943-441B-A0AA-EC645F65B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a85031fb0713ae5c27d157a52cfd6a0c9a84230","datavalue":{"value":{"entity-type":"item","numeric-id":5972836,"id":"Q5972836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056447$786A2A9F-4BF7-4DD1-A1E6-598C484488CD","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":"Q5056447$DA53E8C2-2EE5-489E-8AE1-F999C7A41CC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6960970b4e7628cae2f10902caa85c51e7ad3d94","datavalue":{"value":"https://doi.org/10.1145/3417995","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056447$C9C04630-E732-4F9C-A4A9-7D8B05B41B7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53e49b2f2653896c5092997a8050e5957a9c46ee","datavalue":{"value":"W3048521874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$4F8EBD9E-00FC-4088-9FED-87C2B5E46B36","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2fb9278e436b6c1838a7ef5f31ddf1cd584d2121","datavalue":{"value":"Q130838789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056447$768AB5C7-0C0C-4554-9589-D7E3370AECD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee96349221621ffafc1b85cd23c737de9777320b","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3270e3f9c74d63280be1656274cb5a75ba1380e1","datavalue":{"value":{"amount":"+0.94468092918396","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":"Q5056447$1195FA88-84CA-4C4A-86E9-0FA020D17163","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":"b435c01f14c04f9b6a2718311d59cfedeebe12b4","datavalue":{"value":{"amount":"+0.8638331890106201","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":"Q5056447$3F986068-7EC8-4F21-AE11-C9FBCD784E08","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":"d3c7aeda3888fe683b768fa7e7600b4edf3bcfb7","datavalue":{"value":{"amount":"+0.830269992351532","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":"Q5056447$57D5A12D-5207-4417-86DD-800BDD97BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bd2f8a6f3507cd11e91bd4a8beac57eaa9b37e","datavalue":{"value":{"entity-type":"item","numeric-id":4649288,"id":"Q4649288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da9900aba1871ea400ebb4090e95f4b189a5c0f","datavalue":{"value":{"amount":"+0.8237107992172241","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":"Q5056447$BAF66E2C-6222-4B17-B0C1-5789AD59DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c573938e85c0b2ca81197b627607f48161f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a72292f164ccc1926ee8f5698420421210a99a","datavalue":{"value":{"amount":"+0.8210452795028687","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":"Q5056447$C749BEB2-C47F-492A-A68F-D49EB4FC5A62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Unified Translation of Linear Temporal Logic to \u03c9-Automata","badges":[]}}}}}