{"entities":{"Q327746":{"pageid":329513,"ns":120,"title":"Item:Q327746","lastrevid":60993459,"modified":"2026-04-10T20:28:30Z","type":"item","id":"Q327746","labels":{"en":{"language":"en","value":"Degeneralization algorithm for generation of B\u00fcchi automata based on contented situation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6640990"}},"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":"Q327746$0957E90E-01AA-4C7F-A1E7-334DC334D39D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb8b40ed138731c1509a873230a0e06e017eb2d","datavalue":{"value":{"text":"Degeneralization algorithm for generation of B\u00fcchi automata based on contented situation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q327746$70F3860C-C2D1-4F2E-A777-4D1D21EE3B01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e9590c97347d71235b8ecd1385241cec4af7c2","datavalue":{"value":"1350.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$941330F3-63D3-43C4-B5FC-3F6A96285588","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6268a408d1808396a01341b20b6d7d8b54ea6b5d","datavalue":{"value":"10.1155/2015/516104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$5CB441F2-4631-4A23-AAD8-FEFB9474B327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a3c968d3d96b11749617fdf50fa1445a1b19ec","datavalue":{"value":{"entity-type":"item","numeric-id":327743,"id":"Q327743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327746$8EAACC5A-63FD-42ED-A667-7017FD08B022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f9faa5ed5001770c8c191aee00c648981baf33","datavalue":{"value":{"entity-type":"item","numeric-id":327744,"id":"Q327744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327746$BEC2B0ED-A5ED-4BE6-AF99-C06A7AD1E4D4","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":"Q327746$04891AD5-0C41-4304-84ED-396BA63DBA60","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":"Q327746$443826BA-5F9D-4730-8A0F-BCBDEC0E0CE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327746$89FE303A-BCA5-4F82-A02E-378F69E42855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-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":"Q327746$50277C97-56E1-4B71-974E-CD10C18CDF9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1defb502fa74da14a32017c8795ad8227b4f0c2","datavalue":{"value":"Summary: We present on-the-fly degeneralization algorithm used to transform generalized B\u00fcchi automata (GBA) into B\u00fcchi Automata (BA) different from the standard degeneralization algorithm. Contented situation, which is used to record what acceptance conditions are satisfiable during expanding LTL formulae, is attached to the states and transitions in the BA. In order to get the deterministic BA, the Shannon expansion is used recursively when we expand LTL formulae by applying the tableau rules. On-the-fly degeneralization algorithm is carried out in each step of the expansion of LTL formulae. Ordered binary decision diagrams are used to represent the BA and simplify LTL formulae. The temporary automata are stored as syntax directed acyclic graph in order to save storage space. These ideas are implemented in a conversion algorithm used to build a property automaton corresponding to the given LTL formulae. We compare our method to previous work and show that it is more efficient for four sets of random formulae generated by LBTT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q327746$8BCB4A10-7331-455B-94C4-1A538EE93701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$55C5687F-0C79-4035-B94E-D8A076BC5263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$21F9EFBC-684B-4A7F-B32C-0D7C4BB2DB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$B48EB2AF-4780-4334-917D-E916EE0196B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e1391a7abe4a547eaa8bbc93af5636aa40b402c","datavalue":{"value":"6640990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$23F7649B-1026-473D-BCA3-E0769BC35432","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":"Q327746$611ECABA-2F07-405E-9AA8-BB5841B3C1E5","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":"Q327746$22E3C732-518A-4266-ACA2-874136E90311","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":"Q327746$12AEF112-FC51-4F14-AE1C-E2EC156E5C6B","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":"Q327746$4CAC3AF2-0F4C-4E56-9021-85D09B57E71F","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":"Q327746$982090E4-A0BD-49B5-BB59-5807CE1B6432","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c74d0b3362e771ee7e19a69808ad2bf3a3841a7","datavalue":{"value":"https://doi.org/10.1155/2015/516104","type":"string"},"datatype":"url"},"type":"statement","id":"Q327746$FDF8D8E8-2FEA-49C0-9407-05D148C9A9AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2605df22a73e09d1c2fe8cf67d76180df29365d7","datavalue":{"value":"W2044960860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$C22DDB64-D52F-436C-8CED-611B0C69F1A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b571ebe2615b0a0acf14d20695dc29cb87d7d10","datavalue":{"value":"Q59111869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$23E0D375-F5E9-4C4D-8F08-11A3CD221DBA","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":"Q327746$81AF37E8-CC97-4082-B5D5-52820CEBE63B","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":"Q327746$331A10D5-BC89-45B1-8D82-EC7744766CD0","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":"Q327746$CBB14AF5-5D30-4556-AE0B-6D8219877F52","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":"Q327746$6EA65602-32B6-40DF-B782-BF883A5C0E39","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":"Q327746$A02F1DD9-E6DF-4FA3-A3B0-4C742A8334BB","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":"Q327746$8B4AB477-AB04-477F-937A-B56D0F795E19","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":"Q327746$B2C36AD6-494F-4278-9DE6-4962B4E4EF53","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e292e745bd6cdd7ae52e27eb2cc7da3dd8ef98c7","datavalue":{"value":"journals/jam/ShanQCQ15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327746$C7B310A0-E4DD-4410-98F3-09574B7F80A7","rank":"normal"}],"P1643":[{"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":"50252a9949d80c4168f7aba839ef9a810bd8de4a","datavalue":{"value":{"amount":"+0.864220917224884","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":"Q327746$53047B05-E382-45AC-9979-3B7825B0ED9C","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":"91b37475463f9911e10ae0faba70cd523e34fc22","datavalue":{"value":{"amount":"+0.8173899054527283","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":"Q327746$8923C6E0-4B3C-4F34-8141-7180E3E454A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23859e983d25eeef293d3a0847e622561142c274","datavalue":{"value":{"amount":"+0.8164291381835938","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":"Q327746$448BA47F-FD92-42A4-ACF2-B6F9491737AA","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":"d2813c0467bab001bcaf261fedf810d9788cfb58","datavalue":{"value":{"amount":"+0.7966980934143066","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":"Q327746$782B350F-4944-4F05-97AB-5B066A36B634","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":"83cbe9b4992f4b74a36ff080eb0c4656d667360b","datavalue":{"value":{"amount":"+0.7811784148216248","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":"Q327746$B6B5129F-64AD-4A41-86CF-889291DB8979","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327746$F0E3966D-1202-45A9-B408-9693D83D6CFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Degeneralization algorithm for generation of B\u00fcchi automata based on contented situation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Degeneralization_algorithm_for_generation_of_B%C3%BCchi_automata_based_on_contented_situation"}}}}}