{"entities":{"Q5486059":{"pageid":7515619,"ns":120,"title":"Item:Q5486059","lastrevid":92460470,"modified":"2026-06-05T01:46:18Z","type":"item","id":"Q5486059","labels":{"en":{"language":"en","value":"Slicing of timed automata with discrete data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051650"}},"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":"Q5486059$A7EF775A-CC73-41BD-9D67-0C34871919F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dbcb06ded4f4f210512cc656d6d408b5a144f5a","datavalue":{"value":"1097.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486059$B07FD4A2-768E-43CE-81FA-66446A008729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"165bda94486643ef87c61cfffc69bf425ca518f5","datavalue":{"value":{"entity-type":"item","numeric-id":2849442,"id":"Q2849442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486059$CAF6317D-0D78-4A80-85FE-5244F17791EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b8cccb8c4f7634247623875ebbcdc6343922beb","datavalue":{"value":{"entity-type":"item","numeric-id":4417930,"id":"Q4417930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486059$08C6B715-89F3-4834-9CB3-72423EBF9049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486059$43E86EC5-034A-428B-8492-8D7BFDF75946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486059$80F6703A-6191-4FD4-9C0E-97F34231F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486059$0F043567-F807-4163-BCD6-A649423C49F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486059$7140EC72-E380-4E78-B4CA-FEDA9819E00D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55362e310fb10aeae487ba7582fd6a82e0873ea6","datavalue":{"value":"5051650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486059$AF4AF7D3-B4F2-4BBA-8335-6856520DB8FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486059$503ABDAF-E76F-479A-842D-61AC8FB16244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486059$8953C152-AB78-4100-A576-B53647255758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486059$A9842663-2EC4-4759-9916-789032E86C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486059$846015AE-947A-41B0-8CC3-192BB8986014","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486059$ECAD41FE-897B-476F-8F2D-FF06983E1ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486059$7058BF11-E5DB-418E-9BAD-DAE56EFE067E","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":"Q5486059$48A08459-B2CE-47BD-8A3A-FA5CC9BD722A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418e85f7444f31ea73e3e89a0f058efdfbd4391b","datavalue":{"value":{"entity-type":"item","numeric-id":4818742,"id":"Q4818742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ce32188a13e9ef286db58bdd6a07ad9e60df2a","datavalue":{"value":{"amount":"+0.8227090835571289","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":"Q5486059$5BB70E8A-F673-4076-B394-CDE0359408FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf143d4a02db5fbb04f5210164571b121744e9","datavalue":{"value":{"entity-type":"item","numeric-id":5422284,"id":"Q5422284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570c728d361565d27681a719576f482b64f01a21","datavalue":{"value":{"amount":"+0.7469407916069031","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":"Q5486059$CBB53C11-528A-41C3-8C6E-9568F5ADC507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d8529b3a6473bcfe5afbe58e94d730a2be09c2","datavalue":{"value":{"amount":"+0.7437605261802673","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":"Q5486059$7685A635-E8F8-49B9-B741-C35E49EF57AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecdaf09e15dba62c026443a26ed6b4b78c05843","datavalue":{"value":{"amount":"+0.7429734468460083","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":"Q5486059$B03F59C8-C88A-4A93-A0B5-EF4B1A1D9E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc8e5136ed228462cf6b1d2b424896e9863d07","datavalue":{"value":{"entity-type":"item","numeric-id":5717496,"id":"Q5717496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451ad8dd39093c102dd803ac568d0ed57dc596a2","datavalue":{"value":{"amount":"+0.7387284636497498","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":"Q5486059$A650FDA9-8B72-4DFA-84E4-F022956FD775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Slicing of timed automata with discrete data","badges":[]}}}}}