{"entities":{"Q1633083":{"pageid":1643824,"ns":120,"title":"Item:Q1633083","lastrevid":43254026,"modified":"2025-07-22T20:32:09Z","type":"item","id":"Q1633083","labels":{"en":{"language":"en","value":"Efficient approach of translating LTL formulae into B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6995657"}},"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":"Q1633083$519824FE-A0C6-4D3F-864F-9DAFAC1F2E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a83fb640d362f6645bed45cc626b2d794106acea","datavalue":{"value":{"text":"Efficient approach of translating LTL formulae into B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1633083$C4C8DD1D-46AE-4750-A55E-3AEAA37E3995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcac490475632344f769b016a463efcca36b30c7","datavalue":{"value":"1403.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$201C3486-5253-4911-8264-85030F9B1347","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f53906cf0eee97f8900af350b067140faa9c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1633082,"id":"Q1633082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$D96F6F31-E9B9-4F80-A937-1AF8A7789E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25677a91cc4fbc8e60a87f4ac9b828763fd11bf0","datavalue":{"value":{"entity-type":"item","numeric-id":327745,"id":"Q327745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$7728DE20-42BF-4A89-BF71-C46446BE82E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bb8c665e3b5662dda71b99767dc3dc3ae5f05f7","datavalue":{"value":{"entity-type":"item","numeric-id":2375683,"id":"Q2375683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$E0E41D67-FCA2-4759-B344-A715DDDA51BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$38F7C879-A855-461A-9814-AB919E663AA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c296dc942095780fd978c23996e3fd2f242983e","datavalue":{"value":{"time":"+2018-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1633083$E02E9D86-DE74-4C0E-B43C-4D2EF60C464D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$3130045C-956F-465F-94BC-1CF309285C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$44BFDA72-4E2C-4CB5-B0C0-7EE0C47E8F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$ED789038-DE98-4B88-8717-E921795AD8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$531B8A0F-FD81-4960-8880-4B21820B9D9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f368072234d0a2c2cce9719cf103441ece6b5ad4","datavalue":{"value":"6995657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$82BA924D-7F9D-487A-BE01-F07F37A14DA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633083$14B9B6BB-7F80-4B2E-BBBF-30EEF00B013B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633083$484B1C19-BAB4-4C26-9165-60D8F00B781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcf87c261e1200a3c15bf96aad942509c424fce5","datavalue":{"value":"acceptance degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633083$4BC6E0B7-F36F-4D56-A5D1-F459C7A57B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fd99e1b71ba829462c69a9f27df0154a395b2c","datavalue":{"value":"on-the-fly de-generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633083$59BAD1C7-7E14-4AA1-A574-37FAA1909601","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21e9b5f8ca22336858d28b51d6f0576558f3f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":41156,"id":"Q41156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$3F085E67-C022-42F9-846F-817E97BBD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$16C2F444-0F4C-4499-9670-900235EB1DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$F629A384-1525-4DD1-A617-38E0724376DD","rank":"normal"},{"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":"Q1633083$68478A22-F500-4452-B478-C208EFFF011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$8337F247-0366-4109-A644-AC960A74E05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$B0BE0FC6-C3D2-43D1-A28A-AD3F83393636","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":"Q1633083$24DFA300-E42D-45AA-B91F-B2451D2E91C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92b4e5ca8acc0e038bfe9a7ae7991361bfec723b","datavalue":{"value":"https://doi.org/10.1007/s11704-015-4302-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633083$487585AE-0522-4E76-99D7-5D0DD315FD9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab0053502a1e2c9998c7de5c2cfcfc4262fc10f2","datavalue":{"value":"W1996949332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$3D79C261-164A-4BAA-8640-8DDF788884A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$F6EDD7C5-01E8-4084-B273-2AC169AD31A6","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":"Q1633083$75139522-CC58-4B8E-B45C-51B9D87B98A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f5f02ca6d89f8b0d2961b021683395f493460","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$8B1E2562-3B22-4411-A003-A9403F044DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$4BAD601F-2597-4F80-B7E1-A7D83175044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$CDC8381F-9DE5-4CBD-8786-8D53097D6F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5099ab243a66a3dee745c8725c6541869a436","datavalue":{"value":{"entity-type":"item","numeric-id":2870161,"id":"Q2870161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$C96C30D3-13F4-4D92-B68D-9DFED8528A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$08AFA6F2-D09D-46F3-BF43-85A5961BEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359856dbb38e7eabbf89c76fc46ab66f8a75570e","datavalue":{"value":{"entity-type":"item","numeric-id":5166705,"id":"Q5166705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633083$3671AFBC-6BA3-4ACF-BD61-73234CBF130D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11552b0bb44558b299081e03dd123d008f98c132","datavalue":{"value":"10.1007/S11704-015-4302-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633083$8A91031A-F7AD-45E3-8AC2-F6E84274EBAB","rank":"normal"}],"P1643":[{"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":"3ab9d4cdae6cb60863d5d90ffa8b310b80223755","datavalue":{"value":{"amount":"+0.94988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$283AB1FB-7C0A-4CD8-A241-E24B252E117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aea161b8c3619543c5366b4985739b079dbf0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8ee0024ab07db67c81a3e4a09f28111f2747d7","datavalue":{"value":{"amount":"+0.9492259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$03BDD091-A9C4-4252-82C1-2603CF43F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceee7cb320da2a0165c0827f8cb7a6d187aa514","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8f5def3c5ba7ffe6cd196f16af0892c4778c63","datavalue":{"value":{"amount":"+0.94460756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$3628C15D-466D-40F6-80D9-F9FA22FF3437","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":"0263359fe5286a0491e1b0208affbcdbe11b934d","datavalue":{"value":{"amount":"+0.93124944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$19720FE1-9659-4278-ACE4-5326E3057920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d73e3fbbb404df50c9f0023cec83982ea94790f","datavalue":{"value":{"entity-type":"item","numeric-id":1791171,"id":"Q1791171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e4c24fc69fc52146859869403e39988b8ccc76","datavalue":{"value":{"amount":"+0.9116569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$19927906-5F2F-4690-99F8-8F2F8B5CA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035259ecbfa109f4140e19b20b77a851a3b5d10d","datavalue":{"value":{"entity-type":"item","numeric-id":5499149,"id":"Q5499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a744d832332d156746e42e35d594c1754ce45e7","datavalue":{"value":{"amount":"+0.90397024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$D576CD66-6AAE-4BD0-A53F-6ECD810E7175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158a2323997b94c16657c9ed7ce662395188f801","datavalue":{"value":{"entity-type":"item","numeric-id":5491174,"id":"Q5491174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ce9ecb637a1433d438bb583b227733eb864112","datavalue":{"value":{"amount":"+0.89865506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$45BE0DDD-41CE-4738-AF9C-518ADC8BCDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a962503b167c98efa6151b9a596c3bfeb1ccd7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3303923,"id":"Q3303923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccf294af4c34a727fdc82e04ec455336360d4d7","datavalue":{"value":{"amount":"+0.8948866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1633083$9F5F8EDB-067F-4180-8335-B63B4C944A27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1633083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1633083"}}}}}