{"entities":{"Q5875419":{"pageid":7904970,"ns":120,"title":"Item:Q5875419","lastrevid":39654620,"modified":"2024-12-30T16:43:26Z","type":"item","id":"Q5875419","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649960"}},"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":"Q5875419$4BC0CAA7-CEB5-4A02-80CF-86EAE5F9D414","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9208c686420f2aa6176db085d3d2a8eb090b48fb","datavalue":{"value":{"entity-type":"item","numeric-id":682348,"id":"Q682348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$0BEA4CB5-504B-447E-9EB8-C2811535B4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04cddde489e9d430b1b19385a02365f66691ed77","datavalue":{"value":{"entity-type":"item","numeric-id":5875418,"id":"Q5875418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$90DF3A33-6C02-4FAB-A366-00D7D9755985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$28EB9B59-37B3-4620-B96B-0E8FB6A1DBA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875419$9BE32973-AFDD-46DF-9A9B-CB0B9AA621E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875419$1ECFF6EF-17B0-45F2-A278-D540F0A0BB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aaacadc9fb7d04bbcf62be91d3bac2be4b4beed","datavalue":{"value":"7649960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875419$8D699EF6-61EF-4280-94C9-66B7F9741C95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$374FB130-71D3-4CDD-AF71-8B388547EACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8934aba333a3bc2adf9775117917cece0a5b2a1d","datavalue":{"value":"automata over infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$4BDA0FF9-705F-45DC-A42C-56E3D91ACD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$E11DAC63-D414-4AF8-A67C-51AE3BBF343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$96A40395-8835-4A11-A722-5D7A820D442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$84EBDE59-9133-48F3-BA20-BE57E99A135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e3d838bda31fa50acce02da32dc6ef07ea182b","datavalue":{"value":"verified algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875419$8ABDA31C-4458-40B7-8000-E0AD05E36A1A","rank":"normal"}],"P1463":[{"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":"Q5875419$679AF452-F52F-42A8-9A85-3A7CF3529BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13e3c1ae037a69a0e955591f025dfaca47973868","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$8BA84C3C-656A-4AFD-9F85-ACB38A889258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$94CD0087-C9FA-49C7-8762-4E6C251C31B6","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":"Q5875419$87D43C64-E021-4515-B47F-57AEE949DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$1BD878B3-BD3B-46AA-83AD-A23A2E3B8F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$7A73099E-FB76-4959-8DBD-10751B8DBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6081dfe99bb34bc0d495f0df1dfe9791ada30100","datavalue":{"value":{"entity-type":"item","numeric-id":53723,"id":"Q53723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$D3989215-6351-4904-B481-F56291AF3638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$62A939F2-D40F-42E1-9D17-9B76261986B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$94D86624-1815-48EA-A485-41A46EE988C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed664df4807a1c1480dbcce90c73c0ac4e6b59b6","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$03236329-8E45-4E5F-AA5B-B009500AAFB4","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":"Q5875419$FACEC3B4-5EC5-49FA-AA09-44ECD9B346FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0c59ef124fec457ea0ff565a0f42fd4bfd4ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5166674,"id":"Q5166674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$FF3C6C76-D6CE-4DC1-93B9-DD942FC1E9BD","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":"Q5875419$B159836C-1324-4753-9C22-33E1ECAD5F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$F0077309-CAB6-436B-9344-26B3F59582BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$0BDDBC08-4D4D-4B75-B135-605DC0056018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1cb7253ab23d987cd27ae9edfcce051c5a2d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3582695,"id":"Q3582695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$0431A340-9701-40EB-9FE5-FBC574C9121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b9c6c60f3db2907a04f9c3b63c103f4fca17c6","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$A341C613-3298-403F-A16D-021AA5544CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$684051C5-626A-4375-BC22-87434C732ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$0CAA0F02-62E1-463B-B9AE-87166955715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$CD4CE4A7-8466-4446-B510-4588A0C6D44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$FCF804A9-4FB4-4720-B512-DE03944BACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$91493FDA-A5D2-43E4-8D72-6BFD27762CDA","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":"Q5875419$0B302CF6-B3D9-4250-8E55-A8D40495690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$7F6393A4-5EA3-44DA-87CC-FDC77D6A2510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ef381d718ff3d567687169a1320ca1dd0ccfbe","datavalue":{"value":{"entity-type":"item","numeric-id":1791171,"id":"Q1791171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$2AD6BBF7-9E91-4041-9D0D-39753F61C58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$4A3B9EF3-2717-4364-B6D7-3618C5753CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f108bfa631c75e0fc87f3bdbb6d54f5067371d","datavalue":{"value":{"entity-type":"item","numeric-id":2754058,"id":"Q2754058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$ED91B600-FAA7-4ED8-AAF8-C684F6103E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$D1B45EB0-5A59-4704-AF5B-455363031F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ba4596dda2eaf2f3298b435046ef0b44494788","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$8A6B5797-3BEE-481E-90F0-43150B619F35","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":"Q5875419$70E31E79-8F53-407B-A302-BFBBB38BE11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875419$855B1A7B-EC3B-4FC6-A7F6-88808B2C1AF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd5b77219e66fee776618f411bfa62fbaac0339b","datavalue":{"value":"10.4230/LIPICS.ITP.2019.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875419$34A6D3C4-D374-4D9E-96A3-0D3035B7850C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875419"}}}}}