{"entities":{"Q5089311":{"pageid":7118887,"ns":120,"title":"Item:Q5089311","lastrevid":39527798,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559500"}},"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":"Q5089311$54D30652-D5B0-45AC-A582-48FF835108B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a34b751b4f3b8251e661fc65f43c0704b898ed67","datavalue":{"value":{"entity-type":"item","numeric-id":1623163,"id":"Q1623163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$72738050-9265-4BC8-9398-5BCA0E814FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$C6BCF0F8-7634-42C0-9970-0D097C78BFC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089311$9B69923D-C0C1-45BF-9C46-3E07DC54E3C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089311$67344F07-CA97-4517-8335-B45DF0D107D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c22c3900b5ba26c79eadd848978b2494b9d818db","datavalue":{"value":"7559500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089311$C06A802E-2164-43CA-BA23-03E509EA642D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff09f7b82a2a4af9d85ac81500deb2a97fb365dc","datavalue":{"value":"nominal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$9CBF66B3-BEFF-4C2E-B358-474B96187615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e5a03fbd2d924772acfbffdb333c67d4a72fff","datavalue":{"value":"residual automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$182335AE-E4E9-4BCE-BD5D-D4D3F2CE1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9abe8243fafcb30c1f4e9a36d334326dd278f171","datavalue":{"value":"derivative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$FB4F4632-64A1-4264-BD53-D90D4D873F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$46D422AD-ED4D-405C-8B80-07975F58BC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2955d3dde9a15e46dba801e05da2cd70a0c42a19","datavalue":{"value":"closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$A8A25A4F-B6C7-4044-96FD-13298C55151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fad780c47cf323de3e36940e7970a6c74f820e4","datavalue":{"value":"exact learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$FA6D4908-B693-45D2-95AA-234336752ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089311$99A9E134-9272-4072-A0D1-4A64B4E52CCB","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":"Q5089311$5C9FB48E-E7AA-43A1-98D1-C85C008335FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$6EA210BF-AC15-4D56-9DBA-8077DFEC1535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35117a5e4f0b871215e34ddc1ee7cef53cae0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$13D38299-8D1C-471E-BA04-1E4F4F6817F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$11B9BBA2-B728-4F13-969C-6B05B914A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4268518e83b6880c127c237ab983f0af219a6a","datavalue":{"value":{"entity-type":"item","numeric-id":5145286,"id":"Q5145286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$4AA0BC03-FAD5-4A81-BE1D-61BCD31A752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95751e7d64132f5dbd31e975b68a72435256f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2938772,"id":"Q2938772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$7144EA65-9245-4663-AD97-5D541DD4A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$55D7CDE9-CEEB-4666-B086-6167F0BDA4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$7B0A3074-CAA8-4C02-89CE-7E66C75D7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264dcc9ae0dc3f0cdf48c3de63a184a0a7680481","datavalue":{"value":{"entity-type":"item","numeric-id":4680920,"id":"Q4680920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$AE4E9277-0424-4926-8CCB-7E8952B2FDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee1fecf9200fa9f0498bec2a5c6f6be0e7fdcaf","datavalue":{"value":{"entity-type":"item","numeric-id":5506337,"id":"Q5506337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$A569BE62-CA2F-48CF-A26A-0918C77A47F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299b328928d76d20c5ff5185bc05afc43eacac8a","datavalue":{"value":{"entity-type":"item","numeric-id":4799353,"id":"Q4799353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$843B9487-A607-41C9-B396-93A7238CA8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$1A58D15F-45BB-46EA-A780-ADCAA39E4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b1b4a8295b6f31e2343b43a70d112cccdf3403","datavalue":{"value":{"entity-type":"item","numeric-id":730088,"id":"Q730088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$F22D6228-1D5D-4AB7-80B4-F8680CE56C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85427a4b618ddc4c67a4a3f7e69bef533a1c2c69","datavalue":{"value":{"entity-type":"item","numeric-id":3090869,"id":"Q3090869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$1CFDD97C-B3CC-4D26-9B6A-0268F3BD0ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f6024f98f09d930280259eb2e75792af296173","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$C1012D91-C93B-45A0-9E53-229F69385B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212c36989035a7b62a8e8fafba109a61eb085ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2075785,"id":"Q2075785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$3CD87AC2-8171-4C0A-8F5A-A788FBF3D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$EE362996-9CDF-4908-BFF9-7653DAFFC7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e7465ca3c4028fb3a178530661b6974e88b32","datavalue":{"value":{"entity-type":"item","numeric-id":3056277,"id":"Q3056277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$5D9048E5-5BFF-4A74-A622-F317ECF8CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b407cf1692fba4d999eeee54bc3b69e0db2b08","datavalue":{"value":{"entity-type":"item","numeric-id":4845466,"id":"Q4845466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$5B44B607-A4BF-4E60-80EE-7C05D06E0594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164253f385b647bc8d8a4e170ef626ca04ed0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5013828,"id":"Q5013828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$62ECBC25-0C62-4F0B-AB95-0ABD82AB48D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b55163f3282c67747d676ef9780df45078a008","datavalue":{"value":{"entity-type":"item","numeric-id":5370892,"id":"Q5370892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$0B21A2A1-CF9B-4CB9-9FAC-BAA813B5F28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$ACC251A4-B7C4-4A15-B0A6-361336027CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81d3c6d9830fb4a9f1fe3cf501582ae421b7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2892775,"id":"Q2892775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$910104B2-0F83-40E4-93DE-45F4393ECFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5631c3982a08ee34bcc39902a711e4c9c4efbd","datavalue":{"value":{"entity-type":"item","numeric-id":5370894,"id":"Q5370894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$AE65246B-917B-49F0-A846-BEFAC10A4722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19acb96ef1ad0ba9c8292d27d46a972e7c2cb112","datavalue":{"value":{"entity-type":"item","numeric-id":5090504,"id":"Q5090504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$F385BEDA-A538-488A-88E3-C5B9B32A0AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b76902fdf88c5e3125b72ec70a15b33cab721db","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$5438CAB9-3AF9-48F3-A7C1-B2EA7AAE3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$23A43C79-ACA0-4661-A1A9-5AF9776BDA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$91C34A9F-1F15-4BFD-B908-7673704555C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$77B6C824-5CD1-4378-B68A-F2F3F9293BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a89960dc9022a5b9eae0a1189b7c94fb953729a","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089311$6F89B9CD-D398-42FC-B187-02B510FD821F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3150fe99b1a13a73f70fcff6fe4117be8e12eedb","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089311$8A73E822-DBDA-45B9-B23A-3CD4750872C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089311"}}}}}