{"entities":{"Q6161453":{"pageid":13296334,"ns":120,"title":"Item:Q6161453","lastrevid":55453627,"modified":"2026-02-17T16:44:59Z","type":"item","id":"Q6161453","labels":{"en":{"language":"en","value":"Synchronizing words under \\textsf{LTL} constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691951"}},"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":"Q6161453$CBDD3317-C5A7-4706-A879-11E83C359290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1fbd0b3f231ca8b887ca748f2665aef8e07c692","datavalue":{"value":{"text":"Synchronizing words under \\textsf{LTL} constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161453$FF6A1F83-EEB5-4106-9ADF-45A63337234C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$6A44E89D-89CA-4E67-B381-065A2B81C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07fc8f78e73c41369fe583acd991fbca69afab1e","datavalue":{"value":{"entity-type":"item","numeric-id":6161452,"id":"Q6161452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$0E7ED2AA-3014-4DB2-9C55-22CFDEB8F59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$CE7A402D-C9B8-4F4D-8108-D54AFA8424DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$B32D7318-B5EA-4C2B-9582-74A00CFCC8EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8660296342fed4fbe5b76d095c9c4f3b9b5c1bb","datavalue":{"value":{"time":"+2023-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6161453$4C5BF990-E2CA-4AE3-9983-C0A7191D706F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161453$C90F203D-7DC6-418A-B876-4942028FE221","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee5556bc33c30e6624a830809c6599aae9bfbdab","datavalue":{"value":"7691951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161453$0F4539FC-4713-4D26-BC51-AAD7BA07FC1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161453$3D1B5E78-C821-45C9-93C8-25C25086A4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161453$6F5B1D9B-9CFE-4093-9440-FA0E1D8847BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3409223702ef6422fa7c38757c584ae05d99009","datavalue":{"value":"synchronizing words","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161453$0A7C3E7F-A69A-4ACD-A9D0-919C71D812C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161453$D670A80C-0EDB-4C3C-AB07-518C4BD813CC","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":"Q6161453$81FDAFE2-8B0A-483D-8F5C-577398485781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4b42b5d186d87e5b6b52dd39e65b685c320734c","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2023.106392","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161453$AC29F6C5-B5EA-45DE-A26D-F1429F8BEDFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5f14a89f7eb2e2b099b8e96cb59850aa3c51ccd","datavalue":{"value":"W4324370661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161453$92666BAB-D1FF-43A4-B033-4902238E4C08","rank":"normal"}],"P223":[{"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":"Q6161453$886B93AC-699E-4BA6-9C8E-1C8B2BE2F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6583ec4e2863cbecf9dfbbfd9fc5c34e7c30d15","datavalue":{"value":{"entity-type":"item","numeric-id":5509690,"id":"Q5509690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$D0868069-B3C9-4F06-8F99-86F4B108E5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5c85bbbd2b591676bbb2a5c1ba40def8936b5d","datavalue":{"value":{"entity-type":"item","numeric-id":2978507,"id":"Q2978507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$062DAC4B-9662-4777-B300-BB43F1473AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393f4b007995e40f65d03e10c201cf9a7163024f","datavalue":{"value":{"entity-type":"item","numeric-id":3088047,"id":"Q3088047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$4536906D-D2A4-4AFA-8ED5-0AAB194C36A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb3403368e74befcacd575343fa35ac4cd578f2","datavalue":{"value":{"entity-type":"item","numeric-id":1740670,"id":"Q1740670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$B6E93B5D-AF90-40C0-ACC5-B9309C5A3B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9881c1ae62081c6d316c874c058699bb32ffc793","datavalue":{"value":{"entity-type":"item","numeric-id":1165848,"id":"Q1165848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$9DB344DA-97C3-4183-B8BD-1D4317A42E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a580bab9f6b17e043f33d69c085c8b978782d5","datavalue":{"value":{"entity-type":"item","numeric-id":3261701,"id":"Q3261701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$CE7F268E-DFD8-4927-AD0E-718A3D604389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093c294931d2bc6f6c1d111597a5b6f183ce90ad","datavalue":{"value":{"entity-type":"item","numeric-id":5208376,"id":"Q5208376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$20E6DE8B-42AF-4D96-AFCD-7F8744B2D429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c3e1bc783c746ea5995dd8134cc80b1e90c162","datavalue":{"value":{"entity-type":"item","numeric-id":3674065,"id":"Q3674065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$EB1AA11A-66A0-4A5C-AB3C-ECF2BC0E52A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5465468df62b9b49140a61faf94ed4415c8bedf4","datavalue":{"value":{"entity-type":"item","numeric-id":5222876,"id":"Q5222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$7BC65B49-B0AC-4143-AB15-43DE7BFAF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e846e9e9f23126c5a717a1c9f14b50ee45ecca5d","datavalue":{"value":{"entity-type":"item","numeric-id":1838038,"id":"Q1838038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$8BF3F489-138F-47CC-9AE7-E6AB9A4CB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$36B227D4-876A-4B55-8C76-B09C2633F916","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":"Q6161453$23465C5D-0901-4828-AE67-49AE86C6B0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5ed2debb1fd94f9a24d7ef0a3c0d49eeb2e94d","datavalue":{"value":{"entity-type":"item","numeric-id":5208377,"id":"Q5208377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$BDBAF867-19F8-4B34-B715-52DB8667750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de3eb19cd86dd0d84bd7a0977aaccec77fb8611","datavalue":{"value":{"entity-type":"item","numeric-id":3304155,"id":"Q3304155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161453$0AF2168D-5103-4366-A519-265456175C63","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":"Q6161453$F1A173F6-17DC-4E6D-BB70-1951ECB64607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f0b1ff8e868c2b2214f21b6459fe7aceb8e96d","datavalue":{"value":"10.1016/J.IPL.2023.106392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161453$C17A1790-E23D-49E8-83D5-193007BEF34C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c9474299c21a6dc635b9f517796a64701cd95d","datavalue":{"value":{"entity-type":"item","numeric-id":2978507,"id":"Q2978507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb713fa3bde9f9407c5112a7c530522e7c5000e9","datavalue":{"value":{"amount":"+0.8297432661056519","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":"Q6161453$8A569987-AAD3-4A29-9543-E189A3F9DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800067748ac068cc5f59b8d282780f2380a04df8","datavalue":{"value":{"entity-type":"item","numeric-id":5092426,"id":"Q5092426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685026c8237384c39ba432ef17a68fdd04672901","datavalue":{"value":{"amount":"+0.8112302422523499","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":"Q6161453$F01589DA-C52B-477B-93CB-7BA7C1BACA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ef63b9bfcd552e807fd3da4ee565d73539f0ed","datavalue":{"value":{"entity-type":"item","numeric-id":3091460,"id":"Q3091460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e937a8757bda0044b8f5c966d8eccee6e8e613b","datavalue":{"value":{"amount":"+0.7881646752357483","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":"Q6161453$BDD0F39E-251B-40FB-8F13-947DA4127EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725d6a48521ec6d549c4030ddf17b9743be277f0","datavalue":{"value":{"entity-type":"item","numeric-id":832939,"id":"Q832939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d9aa09756802e98d1ee73a6e04e266fc998d8d","datavalue":{"value":{"amount":"+0.7734655141830444","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":"Q6161453$746F2D43-AEF4-4D75-A3DB-40FF531E159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9da832c6065b9f2d4eab52d5ba88575498bce6e","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd0741ac7c6c10112c3d023e925fc6c1e3c25b0","datavalue":{"value":{"amount":"+0.7722354531288147","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":"Q6161453$1EB2CB95-8D4E-42E6-99F6-462088FE8545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6161453","badges":[]}}}}}