{"entities":{"Q5452723":{"pageid":7482282,"ns":120,"title":"Item:Q5452723","lastrevid":50327375,"modified":"2026-01-13T20:12:00Z","type":"item","id":"Q5452723","labels":{"en":{"language":"en","value":"From LTL to Symbolically Represented Deterministic Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259571"}},"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":"Q5452723$ABB15289-B9A3-42C0-935E-AECC545F5292","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8500e4a3cbd22e90a33da32eb02776ccce8b9b5f","datavalue":{"value":{"text":"From LTL to Symbolically Represented Deterministic Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452723$F69098D6-1A92-4F14-A456-8CC5D8C865AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4da353569a28e6ffff3007b40337aeca341c2351","datavalue":{"value":"1138.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$24507A52-EC4E-4434-86E1-00860F5A45A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"490ac87dbfc32c5286b565a276841243380f9eab","datavalue":{"value":"10.1007/978-3-540-78163-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$49FF5254-0B3A-4A45-A92E-5F73D205FD4F","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":"Q5452723$91DF13A3-29BE-493A-84F5-686BDF1BB3AE","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":"Q5452723$B51DD17D-78D1-4172-83D5-7EB48B9D5A5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$C035AC61-241C-408E-AA06-2525185B2925","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452723$0300B8F7-C374-4586-9DD7-C8316AC19999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$AFFC9DE9-1BF7-4DD1-BF67-19BA651C2B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$DD4D2391-C5CE-49DF-AF50-0E2466C614E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$6F60C8C1-6A55-4C9F-8171-4E8DF893CB93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0ac670f0d0857e3e05bda736afd850e06eb9c89","datavalue":{"value":"5259571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$854E1CC7-C53D-4C0E-A3F9-1FF40449EDCD","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":"Q5452723$490403DB-9354-41DB-8F18-1504BAAD3FC2","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":"Q5452723$3104A2DE-F685-40B3-A66D-4D85E234ADDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27d9f1797ea455a07afbba8d6618b8c84e9490c1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452723$069A8488-AD1F-4B86-8A1B-A1E536D5F501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d38bdf6f70eb3a2e8a3b9d8193e4a7a9314e34ee","datavalue":{"value":"W1484998667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452723$C2BBA551-B98D-4F74-814E-1C1527C8DAE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a2ce3aae78bcb0d681ac722cdba6b9b22136ea","datavalue":{"value":{"entity-type":"item","numeric-id":3559777,"id":"Q3559777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$B59C9ED2-1234-4CDD-BB3E-D1961FFF2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852f71178dbc9d0684492ae16efe59e7249b1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5757229,"id":"Q5757229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$A0E8172C-58F0-476E-AF39-2845E92B1A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$2D803C8C-AB69-4E64-B828-F1629D0C793B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$3A1B85BB-C7AB-4C76-A93D-7E839747DDC6","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":"Q5452723$30824F81-EEFC-4FC0-BEF5-C21C07021A8A","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":"Q5452723$E7F63FEA-D1E3-4CE3-9230-2FD0DDFABC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$DD7676AB-1866-4424-8854-50F41EDD4D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$8C28646F-6BA6-4A65-A270-F2C0A9C18D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370bcc1804636e81ced9f88785c3fe9081219375","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$DC6CE3D8-0260-439E-AD70-262DA9E01B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6242e3bb9ae42e7f42565ab98d4f8cd4a7dc19fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$62B9272A-6AAC-4480-971F-E443B2BA1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$3680764B-FF51-46CC-BF1B-DF2E017D0E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$BDCC6571-4452-41F6-A510-38E0AAAABFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a06f4c4197e594020d602c717ac1e1130aca08b","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$6774E125-014C-480B-BB6A-732A6E9C3182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$E38D8FD0-603A-4DDC-BDDA-E996B0681841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0b2114bec86e4a18702b9d2f90619b71a3933","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$5609D6B2-EE0B-41A1-829D-2702B4A3C7D7","rank":"normal"},{"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":"Q5452723$A412E219-3074-4095-A2C1-16133F758427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452723$ED875776-EEDC-49C9-9655-C88D35307D3E","rank":"normal"}],"P1643":[{"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":"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":"Q5452723$7E7B2B2B-88DB-4247-B638-3E6BBF9EEA74","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":"866f4b679d350b8418a0b4a00937322d7432df2c","datavalue":{"value":{"amount":"+0.8422549366950989","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":"Q5452723$3FD4A359-463F-4007-AEE6-251E97948199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbb976e4111f489dde7bd3a7f1e79693bd91bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5151002,"id":"Q5151002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98a151fbddc2627d86065a9a6fe7479a89570de","datavalue":{"value":{"amount":"+0.8382985591888428","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":"Q5452723$FA7618CE-DF8A-4914-9AE4-E327647C456E","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":"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":"Q5452723$C08806AA-7349-4CB1-965D-39F0EF1126E2","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":"c0f911da2bce6532014cf7f4818c90ff5b468070","datavalue":{"value":{"amount":"+0.8335949182510376","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":"Q5452723$419AB727-594F-4022-897D-39498FB982EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452723"}}}}}