{"entities":{"Q5386003":{"pageid":7415577,"ns":120,"title":"Item:Q5386003","lastrevid":92223545,"modified":"2026-06-05T01:10:56Z","type":"item","id":"Q5386003","labels":{"en":{"language":"en","value":"Validity Checking for Finite Automata over Linear Arithmetic Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265231"}},"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":"Q5386003$350A018A-8575-4CC0-875E-EF25D158CFDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cfd66aa779a29a23634ff9c74b702b601e46ecc","datavalue":{"value":{"text":"Validity Checking for Finite Automata over Linear Arithmetic Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5386003$A9921FDB-E5AA-4D62-AAE7-1717675099E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d8d8c04085faaa222f785e5d864054a6b8e726c","datavalue":{"value":"1177.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$4D2BD6D1-4C7E-4B09-B087-DEC82C727628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"871ba9587c1e107c2f7771eaff9a84068c18c562","datavalue":{"value":"10.1007/11944836_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$1E5A2BBF-E254-40D2-9CB8-74525358A1F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8a04ccff3dbafe278b6e11f4528a4d2f57bb195","datavalue":{"value":{"entity-type":"item","numeric-id":5348936,"id":"Q5348936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386003$A54DC2A1-B078-4096-8EA4-8C6E9A7FE9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9af173e51909c5e47c780d5fd70c24f29d2272","datavalue":{"value":{"entity-type":"item","numeric-id":1856155,"id":"Q1856155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386003$F16B57B1-A23F-44DF-9A33-C872D9CDBEE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae04cf9c3ba96ac78b24ac326b03177d8c1486e9","datavalue":{"value":{"entity-type":"item","numeric-id":5385967,"id":"Q5385967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386003$86ACC881-59AE-45D8-A8C4-0C9CE7CE50F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b68fe80f656d7ba57a0d19d53515ac5e22b2d633","datavalue":{"value":{"time":"+2008-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5386003$44EA9D69-3394-4FE5-B473-6A1A91D64AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$3CD90F9D-26E0-40D4-972B-F83C87CF9EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$3795FECF-B29A-4F9E-8B3B-3D47D2C2CF7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c87a4cf97b3b5be9be2afb310dcfd6c77396f9e","datavalue":{"value":"5265231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$45132074-DA6E-4087-AB9E-A97655E79F8B","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":"Q5386003$A8BFA4F9-4339-4625-91F0-6B4C2E882324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82fac7ad04838ce73db2182137b7ee298ad72169","datavalue":{"value":"https://doi.org/10.1007/11944836_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5386003$EEEAA153-FD3D-42F5-B6BE-6B2BC694AD9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd9c576fb22e0301047ec0bb1b58568bd475d7b0","datavalue":{"value":"W2110316922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386003$99270F93-3F95-4FE4-BFF8-01D7FE3FFBE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec81c0141de8a617968805814aea2ec67fd45e","datavalue":{"value":{"entity-type":"item","numeric-id":4518891,"id":"Q4518891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3adf548d9baf5430430dc14f976bf9db0d8ebf","datavalue":{"value":{"amount":"+0.7413069009780884","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":"Q5386003$CC85ECB3-7A50-4D37-BC7F-7002A3E89DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a54789e32430f1018054948eb060d2fc452ab3b","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6208a978694479d46d322aace063bf4353d2c4","datavalue":{"value":{"amount":"+0.7397660613059998","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":"Q5386003$9381A333-9374-4818-A389-53587BABE782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efb4909fef92c91eaec9a6bb4f19effde24a4de","datavalue":{"value":{"amount":"+0.731867790222168","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":"Q5386003$7200704F-6DA4-4CE4-867D-CEE56DB98E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19196d868b24766d5e4721a7fdb6c18d42baa92","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027d1e5030c8671b28d8781d9be123019a4d766f","datavalue":{"value":{"amount":"+0.7276729941368103","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":"Q5386003$3C41FD6A-A53F-4985-8222-5753DC0D69F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d4347bdac2ab2f1564015f3aed2a9ace42cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4418627,"id":"Q4418627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8610c7b2c2fda0a87efc7ac7a241972ddd3611","datavalue":{"value":{"amount":"+0.7100360989570618","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":"Q5386003$ACEA7AC7-805E-4E25-9A44-F089434B1391","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validity Checking for Finite Automata over Linear Arithmetic Constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Validity_Checking_for_Finite_Automata_over_Linear_Arithmetic_Constraints"}}}}}