{"entities":{"Q1764419":{"pageid":1775161,"ns":120,"title":"Item:Q1764419","lastrevid":48422308,"modified":"2026-01-04T16:49:56Z","type":"item","id":"Q1764419","labels":{"en":{"language":"en","value":"Finite presentations of infinite structures: Automata and interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138497"}},"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":"Q1764419$10ABD537-F38D-4CB5-84FC-9B23A1EFEEB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54a2e3ba6d601a0e5649b7117be74a1a7f198c1a","datavalue":{"value":{"text":"Finite presentations of infinite structures: Automata and interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764419$3B01AF0E-D8E3-44AA-9E8C-F400B0FE6A96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d945e40e406a06d1eeb872fda9c5a78d0fe5f2b6","datavalue":{"value":"1061.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$7C8AFDC1-85D5-4A07-A9A4-E8F3D9183C61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764419$6D053C4A-AFF1-4E26-9BD3-8836B9E4E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764419$78593AB1-34C8-40CE-AA7B-099B42A79512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764419$7E8772DA-9CB9-44E1-BAD9-87155E8893D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acb9018679bc717a3868823379e1b5aa1d36ccf9","datavalue":{"value":{"time":"+2005-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1764419$C9437ACB-6AD2-4F3C-8AB0-F318C7007C4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$E41F717A-01F4-4D93-B0ED-BC97D8DCF668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$3F9731BA-FD51-45B2-9368-0E4746936C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$D29D7C09-4BCB-488C-A426-64D9B25B2CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$A5C90292-F8B1-47FA-90AA-791A9C7BF644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c69650481f83bb068c0e74acf99cfe1a915e931","datavalue":{"value":"2138497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$D0C5E421-57D0-47DA-A88A-D0443627BA9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764419$69A41EBA-0365-49A3-96D4-2861EED8427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764419$6A83A701-B817-43C7-B291-755EE17F1343","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":"Q1764419$0CDE3BB9-4A50-415B-AD47-2BCF15DB7F79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04afe9aa51ff4a3f432265d20476fa62bc0ea829","datavalue":{"value":"https://doi.org/10.1007/s00224-004-1133-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764419$88C68ECB-2AF8-43B5-AFFE-E965790DE7F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d638cc6ae628ee3bc04c9fe894de02f4483f3f51","datavalue":{"value":"W1966217515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$762CC7DF-E021-4C3F-A4C0-B4B576AD14BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30496fa34afb547a9bc637bd57592fb021441437","datavalue":{"value":"10.1007/S00224-004-1133-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764419$5806E163-C311-4E1B-BF58-86C3BBB643F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61059a0b9f7e55cbfe903b260ef00500509cdf19","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87acb22b2c5819f81f97d849aa27b2abf349f9b","datavalue":{"value":{"amount":"+0.8506689071655273","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":"Q1764419$DF664E7B-88FF-4F07-9404-8C73165CA732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb074954a5cf9d0e42fcac6474c7f53b57dd4e3","datavalue":{"value":{"entity-type":"item","numeric-id":5310687,"id":"Q5310687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63247ddb3343f3cf77ea4bde0c907f7289d255b6","datavalue":{"value":{"amount":"+0.846010148525238","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":"Q1764419$1027C08B-F8C6-488F-9165-280E8A24D2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa57439de5d1b18585323970a68461d1c7b2f597","datavalue":{"value":{"entity-type":"item","numeric-id":3172381,"id":"Q3172381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb16b3e22cda6f5e0a0b30aae72e7029f5310316","datavalue":{"value":{"amount":"+0.8444739580154419","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":"Q1764419$DBAAD4DE-32E2-4765-AAD8-5671E1A4FCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d82aa53e6c1b4e58297ff27081743d2a6e50f18","datavalue":{"value":{"entity-type":"item","numeric-id":5309721,"id":"Q5309721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032acea0b6f2fae04e60622d85fb9a22f561feb1","datavalue":{"value":{"amount":"+0.8184396624565125","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":"Q1764419$58E9A72B-B876-4D82-8C91-EDB309010D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db0ac33030aeb895e66ad7570f648996645d402","datavalue":{"value":{"entity-type":"item","numeric-id":2254518,"id":"Q2254518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311ff1d7014b90b1352e59e223739679004c87e0","datavalue":{"value":{"amount":"+0.813521683216095","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":"Q1764419$FE521FAB-CC67-4C5D-96F7-AFEF2877ECE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1764419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1764419"}}}}}