{"entities":{"Q2996152":{"pageid":3006876,"ns":120,"title":"Item:Q2996152","lastrevid":51238187,"modified":"2026-01-17T09:44:17Z","type":"item","id":"Q2996152","labels":{"en":{"language":"en","value":"Improving automata generation for linear temporal logic by considering the automaton hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884892"}},"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":"Q2996152$D5CD5CA6-7F13-49BF-8314-BF8E1A77C3F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c14bcae27421a4cb49108dd464caa92adbe216b8","datavalue":{"value":{"text":"Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996152$66510148-BB13-4598-80C3-C08F04937BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d101af2a0393aeebd68b6590d642da7b34eb683a","datavalue":{"value":"1275.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$D42CD4A6-F030-4370-B147-B14A3A7894BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b889b5be7d6b6a767cea8cf34afe7e32ff6475f","datavalue":{"value":"10.1007/3-540-45653-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$60CCE71D-6D4B-41F8-80CB-91A85E64F68E","rank":"normal"}],"P16":[{"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":"Q2996152$B233E08F-E48B-4152-AC26-9B0F7E0DB152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996152$4C5C038F-8039-40C1-A5A4-D822CF8BCC9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996152$115C912B-24FD-4E14-A802-6110254F415B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$F3050EFB-1916-436B-8C14-08E04AA9693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$A528B927-8BC1-41B1-A0DB-4CAD208AAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$335E3753-E1F9-4D3F-A5B3-0F62D4C54A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f2df03a4a9d4e3cb8a9aa2512bfde21fe6031b","datavalue":{"value":"5884892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$5B62E343-C0F8-49E7-8E8D-1FA594859036","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":"Q2996152$426A9DAE-311B-4487-BA65-CCCCCCB4C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996152$DCCBE6F1-77FA-4365-A12F-63B0587BC6B7","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":"Q2996152$55F6447F-538A-4BF3-9737-736B4D9D7251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e734cc1b3c0203441f5d551ed0834918fd0b6be1","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996152$BF680073-015D-40F3-9259-DD39554E5DBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39cd28f85725f26f50c3a1c180e3d3f0bae23b04","datavalue":{"value":"W1528291435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996152$06D8CA70-325F-4AA3-960C-4FF3F0E899D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d04a63affb482d58dbae2335bc7591fa544022","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600c03d1d3ef16f60a959e9767d308780b2c561d","datavalue":{"value":{"amount":"+0.8598094582557678","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":"Q2996152$FF01FB7A-CCED-4127-9576-AFF59074A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5d9ef0d6769afcc60f7455161a6fcf9ecf8079","datavalue":{"value":{"amount":"+0.8190159201622009","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":"Q2996152$F5971117-9D63-43D4-BE39-DC1A078EE6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff5c5704d7c393a836969185b008981f867e13","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8130958f271b87736a50f1a8b4f2d0bb2da3b2","datavalue":{"value":{"amount":"+0.8064074516296387","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":"Q2996152$0495F5B6-BDB9-4A9F-9C8F-2EC89B6D144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8988732bda1a7a4807ffd317c62dbb60b990250","datavalue":{"value":{"entity-type":"item","numeric-id":2915098,"id":"Q2915098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b038f8d8b89d00fda427443ec3e6efd281267bd","datavalue":{"value":{"amount":"+0.8020291924476624","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":"Q2996152$87A62CD4-2802-4A2F-A458-F155A7DA7C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb401a14da2b0558e15a9d55c1b1c28abb5808f2","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b227a2d1d8fad1bc8a71f681d88337e5ea87584d","datavalue":{"value":{"amount":"+0.8004740476608276","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":"Q2996152$4FBA876B-4AB5-4BF4-A671-6430EE041E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996152"}}}}}