{"entities":{"Q1678419":{"pageid":1689160,"ns":120,"title":"Item:Q1678419","lastrevid":68119530,"modified":"2026-04-12T21:34:02Z","type":"item","id":"Q1678419","labels":{"en":{"language":"en","value":"Fuzzy alternating B\u00fcchi automata over distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808365"}},"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":"Q1678419$37E8A77A-CE16-449A-8918-9CB5F680CE64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b81538c49f10633e02e6c9836310b2ae879a5c1","datavalue":{"value":{"text":"Fuzzy alternating B\u00fcchi automata over distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678419$363EE7F6-6FF4-4CC8-9FC4-2DB818AF52E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125562dbfa1d829820ff8a0b160ecdafc5195cde","datavalue":{"value":"1419.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$1FDAE9C8-568A-4FF6-A45B-F6D5C60028D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b0b38ca99cad8b7ee7825fcc35a85a4a1b7f927","datavalue":{"value":{"entity-type":"item","numeric-id":781275,"id":"Q781275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$AE4A765D-EB93-4EA2-A9F8-51D094A997AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$6A22D970-BBB0-4EB9-B4A8-CD9733FAB938","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$1EBBF477-59D2-4B8B-92B3-31F447ED64EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678419$7BB0B8AE-9175-4798-8B88-1FAD702BE854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"763fd4eae93bdb84f10452996692478e0a6d7cf9","datavalue":{"value":"https://arxiv.org/abs/1603.04541","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678419$EA21819E-7FFC-420F-AA2D-C4F59F4D9105","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$D091B8BB-B7A8-4D77-98B3-27F82876824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$CDB4C460-9FAC-4009-9C5D-1A217B0F15F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6919e0d943608a0c3951609fd5d364e54a724c9","datavalue":{"value":"6808365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$EDD29D7A-5E8B-4741-8B6F-0EBF91319C92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5063a1420e099e1af1a46d61c96db16ad0340db8","datavalue":{"value":"fuzzy alternating B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678419$554C3A49-3BBE-4282-B04D-B15DBF2F9AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eba827caab5a506c1f95fc3ca02d9e553e8d300","datavalue":{"value":"fuzzy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678419$1362780A-03E5-43F7-9232-FF61D61BDD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678419$532E9CC3-F2A4-40D8-AC36-613F4C7274A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678419$6813297D-49CB-4FEC-B717-FDA36FDCCDF7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6619ce074cfd70ee508f3a5dff56e0f05739a9ae","datavalue":{"value":"Q62038062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$2AC93A54-1643-4627-BB57-15961B58558B","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":"Q1678419$B8953E3E-3BB2-4D6E-A618-D8110B9F2E56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e36c75dd94d9d87016e4daa708453da0b02cc726","datavalue":{"value":"W2737951903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$E5E39027-3B76-4916-AC7B-02F888763605","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f667d47567578e6efa9223f5f9ee167d7425d1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3172902,"id":"Q3172902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$3A03679A-A686-4D6A-93B5-46FE79B4C974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de3fdf56cb4e5e81c0f0b62ce4a709b2319709","datavalue":{"value":{"entity-type":"item","numeric-id":2946678,"id":"Q2946678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$C98858D6-36FB-4E14-BFC7-B8AD56FF60D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$6FC52C94-84EC-4874-802E-682E7C610815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$7AB1A5ED-6B7C-4BB1-9BB2-BD11DFBBA4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1535fbd612b62589d9a390ea6cba86277672b","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$F0C55902-5B9A-4681-B2D5-C19F1B622730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$0BBE8A9F-588C-46B6-A973-D95425F62E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$8F173793-FABE-40AC-A094-C179F81814D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$744C2249-509B-493A-BD7C-864487129EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$5BF63AF8-57B5-45A0-A239-4A182DF26758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$72A8B230-E9AD-4AF5-BE78-86A90738593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8dc0d538f37be56fd0251f11c2dbcbf4aa0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2817629,"id":"Q2817629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$417E76AA-0379-4785-A967-787E761290B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2ea96d5280cc156f9302d42079ae1b9b61b053","datavalue":{"value":{"entity-type":"item","numeric-id":632699,"id":"Q632699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$F1BEBAF0-9993-4434-AC9F-6A11B1439755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6098ada005648c58ca208626e400cd85636e999a","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$1954BF86-7705-48AB-8B63-621DB86CA73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd798b17d7a903a61bae5d0b8f14c4d9cc00d32","datavalue":{"value":{"entity-type":"item","numeric-id":2282319,"id":"Q2282319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$F17DE389-04B1-4067-8729-88B59CD27B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca119766f6f61594d133330aa637ad830003d46","datavalue":{"value":{"entity-type":"item","numeric-id":812560,"id":"Q812560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$3357B212-409C-4481-ACB8-0F45E4CB34DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$264BE70F-7E9A-4C5E-8E60-19D41032743E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2824d41359829bbbc93afd53f9d13cff2a3da","datavalue":{"value":{"entity-type":"item","numeric-id":511624,"id":"Q511624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$7F6E1DA4-5BC0-428B-B759-63F12D45C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0688b70732c897d7770c2964beaac7ff201e748","datavalue":{"value":{"entity-type":"item","numeric-id":5259293,"id":"Q5259293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$EC7EF04A-A951-4DB3-8629-155112CC6864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c577b0d5c3bbb3e781a495a5170b27d33e77007","datavalue":{"value":{"entity-type":"item","numeric-id":865962,"id":"Q865962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$DB4B2DDD-A690-4C00-AFF9-99B6DCC1BFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2953dd79e5654ca286705e0654d424b51eff5229","datavalue":{"value":{"entity-type":"item","numeric-id":866002,"id":"Q866002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$BDE0921E-A65B-485F-ABC5-8D234D92F5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$6D1FA173-5AC1-4441-AD3A-90168A4DDD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$32F86449-C546-4E58-B0FE-587ECC67B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70b44f2e932a9396a4d7dbe9a7ed95cb31fce0","datavalue":{"value":{"entity-type":"item","numeric-id":5582348,"id":"Q5582348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678419$F42CD42D-9452-440D-B105-31BEA56F2B3F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1858310c022df8b477ad4d0b8eac0badef090efa","datavalue":{"value":"journals/ijar/WeiL17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$EEFAEA6C-88E7-404B-BF18-4742280355BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86cb3488b975176806a877a538cdd5238010e260","datavalue":{"value":"10.1016/J.IJAR.2017.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678419$CBB9CD7F-7A30-4C4E-9B6A-8D418A3A716C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac615af88f2394e1e03afc80a0d64528ea691351","datavalue":{"value":{"entity-type":"item","numeric-id":781276,"id":"Q781276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89aedf4c78c2580eea22e74d88d32e8f8bf714f6","datavalue":{"value":{"amount":"+0.8800019025802612","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":"Q1678419$72349224-DA2B-47A7-9677-99D95EE1C89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8102ca51d7b3ea87836bad642376bdeef6da75","datavalue":{"value":{"entity-type":"item","numeric-id":3306921,"id":"Q3306921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12815dc2f37ae8fa095840c0ffc79acaa47b7560","datavalue":{"value":{"amount":"+0.780386209487915","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":"Q1678419$7D691C96-C6F4-4C3B-8E23-F6CCE599A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3987b19bd733d3805a38f09aa984de5741b411cc","datavalue":{"value":{"entity-type":"item","numeric-id":1602551,"id":"Q1602551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb738578073036bb2f5c68795c1b2d2bb4667991","datavalue":{"value":{"amount":"+0.7763946056365967","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":"Q1678419$7EB4A25C-FF5B-49B8-B499-E75EC5508817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a155c88e3e58ac9e09b85b35a8f51e04f84943","datavalue":{"value":{"entity-type":"item","numeric-id":2386263,"id":"Q2386263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb75a3a2815bf109b727cdcfa066b5f15ec8554","datavalue":{"value":{"amount":"+0.7746164202690125","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":"Q1678419$1ECD302B-B5A4-45AC-9E6E-802F2BDFCD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f9548e0e5517a8ec8429f1b31c063f18ae0ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5f4d79c5df85bfd96b8c9e174f49a3c324fb89","datavalue":{"value":{"amount":"+0.7722856402397156","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":"Q1678419$C90115F3-750F-4516-9FA3-9A4CD1301731","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fuzzy alternating B\u00fcchi automata over distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fuzzy_alternating_B%C3%BCchi_automata_over_distributive_lattices"}}}}}