{"entities":{"Q3611994":{"pageid":5641900,"ns":120,"title":"Item:Q3611994","lastrevid":80815472,"modified":"2026-05-06T17:03:48Z","type":"item","id":"Q3611994","labels":{"en":{"language":"en","value":"Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522575"}},"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":"Q3611994$CAB2E2E3-B138-4639-9462-DB08A603D10D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cc118e3630d1eee9b945f417689cb21c3e7f35c","datavalue":{"value":{"text":"Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3611994$211339A8-0440-4B5E-9031-E1DCFF9885E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e11361bd2f0f178ce80cf9e6c193e14f8680b27","datavalue":{"value":"1211.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$4C9417FF-EC1F-4E99-980A-F6375D563CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"313da07c2a601a32a7aa9585bf4364720826bd71","datavalue":{"value":"10.1007/978-3-540-74061-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$CCC40D31-B867-468F-8DD0-6465D6034F19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5476bcb6b1d8c92418967d714dff7d7b486f51","datavalue":{"value":{"entity-type":"item","numeric-id":434468,"id":"Q434468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611994$3106FD33-AFF8-4A2B-B7EF-7648E5B2FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611994$DD6CD50A-1E92-4256-AAF0-E55990B045F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611994$7DD89922-2CE0-4B98-B2AD-07F65A40DD7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-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":"Q3611994$25502355-1CDD-48D3-BBF0-0F8761A371C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$65BBF077-1796-495E-9214-49C2ED5C668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$F6FA94A4-0378-4F01-99DD-A4787ECBA08D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8284839d8ac858910b773387921562ef36bd51da","datavalue":{"value":"5522575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$B7A65F75-DB07-4A30-8DDB-6DCC6BD3DDDD","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":"Q3611994$6AD2BF84-9EB7-4583-B988-C5A6DCA0305E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56b143910941c431efb23dc76ec94eb679f02a93","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3611994$31C1C377-03B0-4285-9FFE-778BA0325D87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f14eab6d0c35e60f896db11ac647919831ec8a5d","datavalue":{"value":"W1490661426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611994$974520A9-A385-46E6-8308-5B486D38CB82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e007fe992ffd2aa1327a6e150e502a96975057","datavalue":{"value":{"entity-type":"item","numeric-id":5327489,"id":"Q5327489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eedf05ee35fc06147939c42d7baced7eedfbbd","datavalue":{"value":{"amount":"+0.7812901735305786","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":"Q3611994$890C3BC1-6C85-48D1-B875-E52A7E565BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1edaa180d585c2106b9c6225f5ce7ed950969663","datavalue":{"value":{"amount":"+0.7641821503639221","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":"Q3611994$613DAF1C-B120-4173-8065-A20E4DCD84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ad7c16d30362ba5354248c44e1fd5e1538163a","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767b5bfe59e6b733b039f6cbd7882e484bd12d68","datavalue":{"value":{"amount":"+0.7578619122505188","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":"Q3611994$254BA1F1-2DC4-49F7-93E9-DEC72F8FEB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc7dba2a58c41412fb3c1e02b884b6aadff7029","datavalue":{"value":{"entity-type":"item","numeric-id":1664397,"id":"Q1664397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a825116c55369062b844f4aa9d20a4b14d6e7207","datavalue":{"value":{"amount":"+0.747404932975769","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":"Q3611994$7ED152CF-FFC8-479A-B8DA-388CEBC72832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72464d080d364c8f4e346d6339f9d4b16376641f","datavalue":{"value":{"entity-type":"item","numeric-id":4635636,"id":"Q4635636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72e7be6d482fae87973d694545343122a490d84","datavalue":{"value":{"amount":"+0.7453973293304443","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":"Q3611994$52C8E8DC-2BB6-45ED-9C2C-3BBA54B019BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification","badges":[]}}}}}