{"entities":{"Q5422299":{"pageid":7451873,"ns":120,"title":"Item:Q5422299","lastrevid":50186123,"modified":"2026-01-13T10:52:40Z","type":"item","id":"Q5422299","labels":{"en":{"language":"en","value":"SAT-based reachability checking for timed automata with discrete data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201504"}},"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":"Q5422299$CF78CA20-D002-43A7-B6DB-0C1C044D19BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0a22a74fe074391939e5b7463d0c4ec65dbe2b1","datavalue":{"value":"1124.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422299$0A8667F9-9B33-41C1-A5F2-6B74196AB1D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422299$155803CF-45F3-4803-B7C4-8BE9762799DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422299$FC64ACDB-FA16-4594-9CD2-F6D52DE610EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-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":"Q5422299$E3FC3F87-04E2-4E44-9CC3-13CDE0981FC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422299$FCA43055-F43B-44D2-B4EF-B9EA2F80F098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422299$913B6FC8-357B-4685-B478-691EE8E326BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f071f923a89d5802fcd69de95b8e4dfa99494b9","datavalue":{"value":"5201504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422299$541A735F-2823-4546-8707-443096199F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422299$E8B7B6B7-B21E-4637-93A0-EA4C80922BBC","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":"Q5422299$47042FAE-E940-4E57-9C6D-2EAD6DBF1420","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07783b54ad19fd3d0569cee41ef766e612cd21d","datavalue":{"value":{"entity-type":"item","numeric-id":5472953,"id":"Q5472953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debbfb13e2a8a42559711a9385880c7a0d84960a","datavalue":{"value":{"amount":"+0.8772657513618469","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":"Q5422299$E96870DF-171A-4C5E-8BC4-7ED1383D74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e818dbcb81b7e2bfda7620c3fb13a73b107def6","datavalue":{"value":{"amount":"+0.87398362159729","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":"Q5422299$592430F1-6EBF-4B78-9262-DDDCD9B9B021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c9a491b1f64a7a89103d22bc006b8f8d98b24f","datavalue":{"value":{"amount":"+0.8506805896759033","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":"Q5422299$0765B68C-54B2-41A7-891C-7353B02F312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db1e9e487e43128a7ddd093986125cd824c1004","datavalue":{"value":{"entity-type":"item","numeric-id":4540965,"id":"Q4540965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6636aae3e265d94a92b1d2dea384c5e42cbf2d3c","datavalue":{"value":{"amount":"+0.823624312877655","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":"Q5422299$514ECAB4-8DB0-43D1-9EF2-34B1ED0B01B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf8b7a836829cca6746a58d09903d42d68adcf0","datavalue":{"value":{"amount":"+0.8206872344017029","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":"Q5422299$BD81D604-7A87-4FD4-8EB1-BD1A84F77D9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422299"}}}}}