{"entities":{"Q2842641":{"pageid":2853361,"ns":120,"title":"Item:Q2842641","lastrevid":83484740,"modified":"2026-05-07T08:14:16Z","type":"item","id":"Q2842641","labels":{"en":{"language":"en","value":"On the relationship between LTL normal forms and B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198955"}},"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":"Q2842641$FFFC9748-99A7-4712-A913-C11F96463CFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878a6bd042ec44661364e2da25aed28243b78ecd","datavalue":{"value":{"text":"On the Relationship between LTL Normal Forms and B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842641$D793D249-4798-4F80-B5BC-53183A7B3CD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efe39238d1a5ebbd434625b4ffd7191097e863cc","datavalue":{"value":"1390.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$C38801BB-B5C8-47B3-8BA3-5C919CE01D43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f72746d46386e0408a52fa71ae3b5ce8636c39ff","datavalue":{"value":"10.1007/978-3-642-39698-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$01964642-C194-4CDE-8086-C8754B8E8E8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$A52F57C7-34AD-4B51-902C-5852A3EC6112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$B289ABFD-B1F5-4797-9292-9FBF0C1B4C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923f159692290ff3dc0354e151e760b090c26982","datavalue":{"value":{"entity-type":"item","numeric-id":294628,"id":"Q294628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$C64200BA-96C8-40F4-9760-9EA21815B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$282D5A6E-F564-4333-86E5-5CFC373208FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$5FA816F8-2667-4CD6-B1B4-3C2DB5105B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$EC61644A-D8EA-469F-BBC9-D2E6B4BE5E3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1080b206e10b14229302079790b86063f979134","datavalue":{"value":{"entity-type":"item","numeric-id":2842622,"id":"Q2842622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$E8D7CF30-2911-4AB1-B193-1A3A61CBB4BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842641$A13B46B8-BAA5-4F5B-9806-C6C8C579BB5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aac9fcc9ec75e1e603af23ba2d104522dfe02e97","datavalue":{"value":"https://arxiv.org/abs/1207.3866","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842641$877AB44A-2427-43A1-AAA9-DFFF544C8DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$38603345-E85B-4DF7-ABD5-D2F8BB9D6DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$3910A488-14BE-4271-B6DF-595AA56E5172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$BA85A965-B2AA-4F8C-BD83-47A6CD620B28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62796670207b4a4aabefbfa0f1e1ff16fe726ef3","datavalue":{"value":"6198955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$B05413F1-E86D-43A3-9F14-DC861067D13E","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":"Q2842641$B65E199D-3536-4218-9F97-A6D2C8780348","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":"Q2842641$AFFC4E24-F34D-4B0E-9B01-2D88249AF2BB","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":"Q2842641$204F3941-04F4-4460-B386-FB5971880E9A","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":"Q2842641$ADDF716C-E786-40F9-9773-E81C7DA9F689","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58f11512bc0879cb4c239b98f4777df0f9a23158","datavalue":{"value":"W1946058167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842641$4A1733B9-0622-45E0-82D6-DD2628AE816C","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":"Q2842641$FFA73F7D-44CE-4CF3-94CE-6205B1ED7BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$D10A8BD2-5A7A-4FF6-8CC9-73DD2A4681D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$BA22B40F-A57B-4160-BABF-DD829175722C","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":"Q2842641$9CCDA3B8-3731-4AC4-A8B8-2D43CD92FF58","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":"Q2842641$BB7C6EFF-C1FD-4BB0-B555-E3C23F9C77EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$C7024AC2-212D-4FFF-8794-17B638A20B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842641$5FB97FC4-D94F-48DD-B27E-4EB009DCF9DA","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":"Q2842641$13BE1977-2F08-4BF9-A447-49A4296E5910","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":"Q2842641$8835815F-3AF0-461C-9858-301E651D295D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991c13c38e3008a6f3176552cb5d7af880831a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2026563,"id":"Q2026563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154392c3045237c0ed7a118a0edc066bfb5feeff","datavalue":{"value":{"amount":"+0.8337064385414124","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":"Q2842641$3E6DD504-396E-41F2-9B41-1CC5B6A4F5AE","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":"4d1fff14699184826fea199c298cfc8a687aec85","datavalue":{"value":{"amount":"+0.8105399012565613","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":"Q2842641$E2EFB348-CCA0-4D05-8FB8-58806F38587E","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":"9f3cdb3aed364803eb06a5643cca81749015758d","datavalue":{"value":{"amount":"+0.8065264821052551","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":"Q2842641$56667E5B-47B3-45A3-94A9-19101D6EC2AE","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":"3bb4501bca4d89066840a79d688f0f35fd044da7","datavalue":{"value":{"amount":"+0.8023712038993835","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":"Q2842641$954A34B6-CC5B-4581-8DB7-FE012ECAA553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9aea1b951655a49141d76560061ff598a3106b","datavalue":{"value":{"entity-type":"item","numeric-id":1633083,"id":"Q1633083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041ad7c5a55da85a2c1dfaa209c86ceab9877a65","datavalue":{"value":{"amount":"+0.7956393361091614","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":"Q2842641$F0E897DC-E919-4886-B4F6-48E446E6F2AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship between LTL normal forms and B\u00fcchi automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relationship_between_LTL_normal_forms_and_B%C3%BCchi_automata"}}}}}