{"entities":{"Q422445":{"pageid":424212,"ns":120,"title":"Item:Q422445","lastrevid":61728561,"modified":"2026-04-11T01:15:15Z","type":"item","id":"Q422445","labels":{"en":{"language":"en","value":"Automata theory based on lattice-ordered semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035749"}},"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":"Q422445$6BCA2172-686B-498A-8F4A-E75DC22E3E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"758c77184d0270853ce3a7e2e0ed303145024857","datavalue":{"value":{"text":"Automata theory based on lattice-ordered semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q422445$C3E5AE5E-E538-40D0-A0D1-133909A58338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a535e8dfb8b79049bc1e60038fa7127c6a406da","datavalue":{"value":"1237.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$12548C70-A97E-4249-87D0-9A090F46F10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c4c275ec13ba47ffe8d44cf93fcf9373bbf5dd","datavalue":{"value":{"entity-type":"item","numeric-id":422443,"id":"Q422443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$42216F75-BE2D-4216-9EE3-8E711876C781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4def958c8e2f6bb2e01ba05b0ce203f77490433d","datavalue":{"value":{"entity-type":"item","numeric-id":422444,"id":"Q422444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$0CF52FBF-4D96-45A8-94A7-1AAA9AF31350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23713e8aae9fb947692e0107b051fc6bbc1446f","datavalue":{"value":{"entity-type":"item","numeric-id":1701733,"id":"Q1701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$C4A3AD1D-E204-45A5-96CA-CADDF50C097B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$6A06D5ED-1729-42B3-92D9-3C5BB59F4678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q422445$B337A222-89FF-4EAD-8B63-A27A651550A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$3920BDD7-22A2-4199-8E08-88B1FCDE7A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$ECD911E7-D45F-4637-9BE6-A47E62AB6F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93fb163d7d925a3c2880fef6c8a9a0c9790c3cef","datavalue":{"value":"6035749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$A06BD11B-953E-4731-9B46-147075FD2558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74178beccff4710b0c1e9fb9f0baf7a46311172","datavalue":{"value":"lattice-ordered semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q422445$AD2EF1A3-0A6E-4297-8781-1BC60530E977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948f7a0b984f40e0732808f247ec232ce58a6d08","datavalue":{"value":"\\({\\mathcal{K}}\\) automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q422445$027C99C5-62BB-4965-B0BF-DB11494F7C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3ac8bb560b643977be1b634b75eeba5cf270f3","datavalue":{"value":"\\({\\mathcal{K}}\\) regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q422445$3D5F6AE5-19E3-4954-AC67-07D3AA3926CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a223b1e46399de3b0e3f1c9fa90cde1e6cb6fc83","datavalue":{"value":"\\({\\mathcal{K}}\\) regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q422445$E474D468-DEC5-4FD3-AF18-0EEE56DCC607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fbd701f92244090cd5415b9bc1647d78f00a17a","datavalue":{"value":"\\({\\mathcal{K}}\\) regular grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q422445$CF19C41E-FE80-4290-B29F-8BFE82960794","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":"Q422445$99E53F60-1DA5-48D7-9F73-06A6D8F7BD13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fc3cf3149b90917ff19f1faf9ba671554a3139","datavalue":{"value":"https://doi.org/10.1007/s00500-010-0565-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q422445$1E6E65EE-D748-4AE2-B7D8-AF768EF23914","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c26ef32b8e11b5944cf678a829aba67c05aaf83","datavalue":{"value":"W2055907567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$67278C10-F062-43DF-B8B8-0213BB100192","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$CDB3ABC2-8F98-4201-B212-7EFDCF11BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658e58d24c242b57ceffc8ac4074fb3b3b46b127","datavalue":{"value":{"entity-type":"item","numeric-id":4805459,"id":"Q4805459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$67DBD0FB-01C2-4019-BD65-8990B2A23DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$68FAAF35-0C53-4445-AA17-B6F3C2FD188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62cbb42689b2d0d9993016960608cbf709c4ace","datavalue":{"value":{"entity-type":"item","numeric-id":4542634,"id":"Q4542634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$ACC31266-E2D1-47DE-A11C-5F59E26BFAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efad82b8ac39d57bebf7fe234b1ff22e1de522f","datavalue":{"value":{"entity-type":"item","numeric-id":1404373,"id":"Q1404373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$35A541C7-CC3D-4A1E-BF31-3DCF79188AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f9209d36ba3aa78b042fe7881f73d08cdd6d0e","datavalue":{"value":{"entity-type":"item","numeric-id":558200,"id":"Q558200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$C2A09B04-75BA-4B01-B656-A1A166AA43B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc702a0cfbe4dd0b93806f3a04b7a0891c39972e","datavalue":{"value":{"entity-type":"item","numeric-id":2465969,"id":"Q2465969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$3D8F2E0F-54DA-4E60-A1AB-11FB49B49F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$AA57A1CD-5E9F-4977-BF11-26E4E0D58B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7942488e3edbed06350ad06ebf81eaf79c11dc46","datavalue":{"value":{"entity-type":"item","numeric-id":4395213,"id":"Q4395213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$311B6B71-0666-420E-A5A0-1B6D8FD7359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9b279b6b1475a245ee939aca56a43b15b0256","datavalue":{"value":{"entity-type":"item","numeric-id":2499061,"id":"Q2499061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$9E8E5FC1-D584-44A4-84B2-2C90033E9E43","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":"Q422445$F5F334C1-F433-43D2-82CD-9FA15A8453FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c158ab75b1a180d9e78d739c1781cf523f080770","datavalue":{"value":{"entity-type":"item","numeric-id":862553,"id":"Q862553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$0F47B212-A4AE-4872-8B41-D5C25D8D8425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffe1e978d99e2fe2287f54e017548dfc49d814c","datavalue":{"value":{"entity-type":"item","numeric-id":2575078,"id":"Q2575078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$36593302-6B27-4F43-877E-4F92F40BE469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa940be2517ddc2f2dc748c5fba15821f7255dca","datavalue":{"value":{"entity-type":"item","numeric-id":4799961,"id":"Q4799961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$C217D98E-FA49-480A-AFDF-DD5F286C9540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3dba5a36e5560eb4f6939071d9695bdcce7198f","datavalue":{"value":{"entity-type":"item","numeric-id":3804221,"id":"Q3804221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$84FB51D0-C82E-4FC9-805E-B2757203B73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea0c91df3aa911b463328dcd7aea511a036919b","datavalue":{"value":{"entity-type":"item","numeric-id":2642991,"id":"Q2642991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$FCAEDA23-CDB3-4B36-A9A3-61A4F98AA7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a966cff20cc88627bfe6ab2b48a634700ede71","datavalue":{"value":{"entity-type":"item","numeric-id":816869,"id":"Q816869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422445$C8150B36-2459-41D4-8AEA-BD20676FBB03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dac1488a4e3e3f3904ba0458ebe0be1ec3f5e05","datavalue":{"value":"10.1007/S00500-010-0565-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422445$6F552676-5E2F-4D85-ABC0-5EB5704AB2D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93453fef66e0b7f09bdff88b3340c62aef9aac8","datavalue":{"value":{"entity-type":"item","numeric-id":632699,"id":"Q632699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1666c89ad3ce12749a51a6f48da53fbaf243449","datavalue":{"value":{"amount":"+0.7916999459266663","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":"Q422445$AD6C07C2-6E6C-4E1F-B671-4F50FBF2BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a921b2e79ba43f8369e100287d07243f11cdbd1","datavalue":{"value":{"entity-type":"item","numeric-id":3707425,"id":"Q3707425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40aac64c9971995ec8b76f467698cc018700d06","datavalue":{"value":{"amount":"+0.7786108255386353","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":"Q422445$1AC64899-995F-47BC-8B95-DA84598644E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b6a926aad118261736e0f7bfff7cff9af4fcac","datavalue":{"value":{"entity-type":"item","numeric-id":5072545,"id":"Q5072545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b88c209d486b23d7d35e23283808bb1f8290f3","datavalue":{"value":{"amount":"+0.7722336649894714","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":"Q422445$9473C90B-68AB-42BE-B4C2-B0DDD8CC5565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b50b4da10b21b473e0831a7c61a3bd6b4c67c94","datavalue":{"value":{"entity-type":"item","numeric-id":1037932,"id":"Q1037932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321bdd98625a72a274e73a88c94c877aad5f89cb","datavalue":{"value":{"amount":"+0.7677357196807861","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":"Q422445$E8BB3D5C-2202-499C-A24A-9435240D3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8d86f937423c8069f6f2f050805740d982d07f","datavalue":{"value":{"entity-type":"item","numeric-id":4809448,"id":"Q4809448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8e59dd70157a6327fea3f1898a8a7b5c9e11fd","datavalue":{"value":{"amount":"+0.7647979855537415","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":"Q422445$4ED62A4C-5D95-43C7-89D4-5FBD9D9D4815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata theory based on lattice-ordered semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_theory_based_on_lattice-ordered_semirings"}}}}}