{"entities":{"Q2026375":{"pageid":2037117,"ns":120,"title":"Item:Q2026375","lastrevid":57179472,"modified":"2026-03-27T09:35:08Z","type":"item","id":"Q2026375","labels":{"en":{"language":"en","value":"UNITY and B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7349689"}},"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":"Q2026375$0A33EB8A-D04D-4878-878F-8B29C27DE9D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08ae2edecf61c317eff43453f89d9b6a8a0347c3","datavalue":{"value":{"text":"UNITY and B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2026375$ADCE2368-A39E-4ACF-87DE-4B863290F43D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$D46235BD-93D7-479A-8E83-EE70DA3530F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$DE69D49C-E74E-4F22-8FA0-82048FE0BAB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca67a9bc9689c1756b57e5ad5a0134b4d60900ad","datavalue":{"value":{"time":"+2021-05-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":"Q2026375$945912C5-4FE5-4FE0-A770-24D547B6194E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026375$97C44D18-CF83-44E5-9260-8DD03B0BC124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f198f98b2985d7e79d2efb4bb96469005ed3171","datavalue":{"value":"7349689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026375$57FB4717-5CB1-4B03-A04D-88AC94D77C66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026375$81051EE9-060C-4A9A-86EF-E010E3E648C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026375$9D22E5A0-DC79-4126-830F-0E1C464E1B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f89702f81bb443a3353ee5f0794cae6733ae9b5","datavalue":{"value":"UNITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026375$23112EB2-503F-4FC6-99FD-0679E7C3B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026375$42AD140F-BA0A-459D-9797-744A3A40F2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026375$12E66382-B00D-4508-B1A9-9EA3F96934DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$D360C9A0-B5D5-4430-83A6-729EBE23BA52","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":"Q2026375$130E92AC-D648-4F5C-A165-94BEA6FA3B03","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":"Q2026375$8B211C74-E6A1-478D-8419-245B8EFAD599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"798f18ed9848063a1077fb6a45a4e24a440cbb9b","datavalue":{"value":"https://doi.org/10.1007/s00165-020-00528-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2026375$BC4E237D-69B4-441A-A374-E0B8BEBBBFD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05be992c4559117a48162b489497f530d3bbf9b","datavalue":{"value":"W3126386092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026375$29AEB291-42C5-4AC2-B358-7A807236D29F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$15F02F71-E38E-4DAD-AD34-1E7C6CE61DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$BCBCABFC-4AD8-4C1A-AC6D-259739A0D5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd8ac16bf352ecb0ae67e413a0bcc2dcb69557","datavalue":{"value":{"entity-type":"item","numeric-id":3814785,"id":"Q3814785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$59A06259-AD36-4AAF-A2B9-347378A04C77","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":"Q2026375$E5A4518A-6E18-4FCA-A0BB-9696D908F58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928d93c50be739dc8f9794f767d9003ae74b5d67","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$9C2B2E4B-ED7A-45AE-A601-CFBE769A7FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$F4835657-B43A-43C9-A94D-BD04CFEFC772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915a826cf85e7c2c897aac93719f0fee8fb550ec","datavalue":{"value":{"entity-type":"item","numeric-id":1893538,"id":"Q1893538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$AA885465-2AA4-403D-A572-0AEC8A670228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$BAB8DE64-0368-44EF-9F75-3018CA7ABF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ddf5682058bbc805cfd09073fecab0ab74c09","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$CC48BC8C-F4C2-44EA-A455-B238F6364A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347f20c2a68c004b66ce90100923eacc89614b15","datavalue":{"value":{"entity-type":"item","numeric-id":1566908,"id":"Q1566908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$48453B0D-496B-4F2D-A09D-D121F43CAE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d33f592e09d53da7b3704024ab9157c50b1ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1377323,"id":"Q1377323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$1CB6A9A2-F3F8-479E-ADC8-F7D6D6468A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$E9C192BD-3772-4FC7-88BC-4E20FD38C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55c21b6047948226d2bdf15b8d7984b78a38507","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$4D3C1F3F-4C02-4E07-A030-55722BA790DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c5243747f5616cacd19e90b9b942be8e2cb5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2738289,"id":"Q2738289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$D4BD7065-126D-45AB-9283-95F7EB7479FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$337D85F8-5F62-4585-A87F-78A1DCBF129F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa04e6edc8e2c1fb326ed9c3e8a1d40603fcd5c","datavalue":{"value":"10.1007/S00165-020-00528-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026375$6130800A-B8C9-4753-8CC6-916D7B307850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b1109f119f644aa5c9af1d7114eacd50fe1983","datavalue":{"value":{"amount":"+0.8262532949447632","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":"Q2026375$61553B2A-4D02-4833-8A5C-D90AE133A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8add58d390d90232207c61bf3b18912f1513e62","datavalue":{"value":{"amount":"+0.8021767735481262","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":"Q2026375$44AE7B86-2D30-4368-9CC3-88DFDBAA5A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f7a0031c0002118754e31fdf0b810129803c3","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45455644a9d80b1daa4a1ef64808ed71acf751e9","datavalue":{"value":{"amount":"+0.7625000476837158","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":"Q2026375$8F56C7DF-EB1A-4F4A-9CB8-2016B799374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b830a78a9d219d73e238ba2288bc9e5b0a6cd775","datavalue":{"value":{"entity-type":"item","numeric-id":1186571,"id":"Q1186571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e139b2a4137c87c1e8e965a4fd15811825cc429","datavalue":{"value":{"amount":"+0.7571314573287964","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":"Q2026375$FA7A699F-2886-4ADD-B0F6-4767F9D0D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b188ea34adb33223791f09af8e4603a5711a0b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3972532,"id":"Q3972532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057ad4df78981ee302f8730e4fced54732763392","datavalue":{"value":{"amount":"+0.7562559247016907","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":"Q2026375$4DB03B6B-C19F-450A-959A-1769A4BF434F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026375$1F7C600D-6556-4A30-BC20-041C1D7EF20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2026375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2026375"}}}}}