{"entities":{"Q4921500":{"pageid":6951082,"ns":120,"title":"Item:Q4921500","lastrevid":51713129,"modified":"2026-01-19T15:38:40Z","type":"item","id":"Q4921500","labels":{"en":{"language":"en","value":"Analyzing automata with Presburger arithmetic and uninterpreted function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162139"}},"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":"Q4921500$46287955-7E6F-4458-999C-9DDBBDBE941D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b90077a31f51a4e1caf1e9791661b4a9bf4a3eab","datavalue":{"value":{"text":"Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921500$FCCA5123-D974-4CB6-BB28-5F6515F06F78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bf8c676771497458a0c2d3011a8db323b474766","datavalue":{"value":"1262.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$A9A0BE71-257F-40D4-887F-4398073AFDA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061a5742091ba26ac5e6f1768521356d77642552","datavalue":{"value":"10.1016/S1571-0661(04)00186-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$8368C1D6-346E-4350-BF12-06A6B84927DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$92573311-D8DE-4580-9717-E9CB7CC77714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"354e2e60806731bdf24b96a1a3e2ecff2c14c2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472264,"id":"Q4472264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$A7543601-800C-40ED-91CC-9196ED3BF060","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$D4F6BCE7-F0C4-4940-89EA-4646ABEAC3B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921500$735375BB-029B-4917-83D8-3FE5CD298B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$E12D2FDC-5277-41AA-A19C-5F001FAB9F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$4DAEFD6E-F7B4-4536-B720-CFAF9D58B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$22C05D84-FD15-4108-858C-D4251800B1D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ca5996ecfc6926f118b533ea37211674ef0143b","datavalue":{"value":"6162139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921500$1F03E75F-0FD9-444F-BA78-00377AB89D41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$9E812FC1-D9BF-4F0F-8D88-A85A38FFF6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$1A5AF1AB-4F28-4115-90F0-DD6EFDD3D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff8d721b29de79a699d23cbb86d8119387ea8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":26931,"id":"Q26931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$EF0B52CC-3881-4B15-9608-E3716A7711C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040a8483cf79deba3a2eb66461dcc90b466cac47","datavalue":{"value":{"entity-type":"item","numeric-id":33420,"id":"Q33420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$EE4CB8BC-0D9C-4B62-B31E-38D43EF4FD32","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":"Q4921500$333C6848-C56E-40AC-AD72-C3014556DB60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$0250D14A-380B-429E-97FF-1D8739259A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$8C9C2583-40F5-4CF0-A6B4-96A6854185EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844e51bcef899750f65362c5ae93c042c0e8e9a9","datavalue":{"value":{"entity-type":"item","numeric-id":4251914,"id":"Q4251914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$1C28AC02-F200-4F82-A74F-79ACEA0332C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$0E4FE83F-53D1-4A3A-83B9-1586D4634445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$5675958B-4C25-4CC6-96A0-9683D2131BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59aa86de090db8fe9ae6a1bc6dec12dd6c11eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$5A2A9646-4CF5-4263-BB21-84EC8C6A85A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921500$6306A9D0-BEB3-4C51-947B-12BEDAA05D57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c686021091d1df97f6cbb25fc41704099d764ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3e9c66ac9da12982552829dd1c72ba67e084ef","datavalue":{"value":{"amount":"+0.7403265237808228","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":"Q4921500$DF47CB95-7F90-49F5-BC19-7718AD7DBF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df17ce2501ed3ac963f31e6474aedb78c6a40fc","datavalue":{"value":{"entity-type":"item","numeric-id":3584943,"id":"Q3584943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62bda432c06f685444762faf8acb5a8969b42cb2","datavalue":{"value":{"amount":"+0.7362976670265198","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":"Q4921500$D12D22EF-2DA8-46C8-BFA2-8859EC9B1E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5052cadc3f069098ffbbfa4809e34e123da7d39c","datavalue":{"value":{"amount":"+0.7351775169372559","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":"Q4921500$9622B3D9-A05C-4859-B954-B96EE7B261F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29f104c062d810eb205c185094771add2f78107","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75adcafa74ae254709d97b228fce49f7a384a51e","datavalue":{"value":{"amount":"+0.7283362746238708","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":"Q4921500$F06D7D03-659C-43CC-B8E6-5858C924AC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a443caa83c8def60aac59570ff10d3fd9493b957","datavalue":{"value":{"entity-type":"item","numeric-id":5757242,"id":"Q5757242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66ba8f6c21d9d98d30f4754bd6432c65ac4ccb8","datavalue":{"value":{"amount":"+0.726655900478363","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":"Q4921500$07867348-A606-4A2F-BA8C-F6B5E24F48B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4921500"}}}}}