{"entities":{"Q3196346":{"pageid":3207054,"ns":120,"title":"Item:Q3196346","lastrevid":58147824,"modified":"2026-04-04T00:17:38Z","type":"item","id":"Q3196346","labels":{"en":{"language":"en","value":"Compositional verification for timed systems based on automatic invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501862"}},"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":"Q3196346$16E83341-63DD-4858-97F3-2EA073D3256B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"823145848e0916ffbb93f592a279591cbe9efb02","datavalue":{"value":{"text":"Compositional Verification for Timed Systems Based on Automatic Invariant Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196346$B041FFC6-9A87-4A63-AC63-E588128D560C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0376f31461865a2001f5fa1754a5e29015720759","datavalue":{"value":"1448.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$6BE2ABAD-5177-4B0C-B543-B995D91E55A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b97c4266e8b39cb93e98bf590abce76e89afe7f","datavalue":{"value":"10.2168/LMCS-11(3:15)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$E6952DD6-8281-46CE-967A-F4295BF83CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"550b8c11ae70a718799cf284d015fa87c3fbdf68","datavalue":{"value":{"entity-type":"item","numeric-id":433334,"id":"Q433334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$B3A5F09D-8F48-4E10-85CA-42AC38574185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5b11ff9db0d989fb385498cab01ebd872e0ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3196345,"id":"Q3196345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$EB77B536-2E17-41F0-BC46-6C6F3669B4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$E9F60445-3245-499D-ADA4-66DD3674150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$A9E1AE8C-D8F9-4090-8321-F9BB38A38E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d85783af95bf85d74d8c5d9beadaeb594d0526f","datavalue":{"value":{"entity-type":"item","numeric-id":943998,"id":"Q943998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$3A0A7900-CDE1-42F0-A109-C077E0BD25AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$66CB21B5-13CF-49A9-AD83-27B4488E08B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196346$844C6488-C701-40F3-AB32-200B4EB0B790","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f05f5531c3215c5c56cf619ff64a90c3d415bb1b","datavalue":{"value":"https://arxiv.org/abs/1506.04879","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196346$2BE31511-B7B7-46D7-B9FE-C4913D95EBB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$9E3EB4E3-F6A5-4BEB-B6A5-A0F86BF472B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$1AF9792F-7649-44F2-B004-72EC60F30583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$F34CBC3F-7B79-4D59-9B97-96308116F907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$F691BC0D-59E5-45A2-8B30-A8EB3D2B1063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f228837060aea4a35113005e4d24d9ace067ed96","datavalue":{"value":"6501862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$08EC36ED-1D0E-4113-8D79-222B0AAD1503","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$5FF8DFA8-C812-42F2-AC2F-3B74B0618C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$69602A78-5AA5-4B6F-9842-CF3EEF023988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$CB4DEFEA-F7A2-42FA-9ADC-D3225A9C1317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b867f5c400ea615ba3b03430d44e85c0fd0d0c74","datavalue":{"value":"component invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$114508C7-6E86-4A56-98DE-3D37D6CEB326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a161a72e8657e571d1f005ed5dd79d77a10ab2c3","datavalue":{"value":"interaction invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$D39AFB02-EB54-40B6-B8ED-9F95C3CB8731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388b09915c77cdaf12bb55feeca9939f98474e5d","datavalue":{"value":"interactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196346$05CE4CFF-EC47-4E3D-99DA-9BBC768C3BEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196346$A67A9075-B06E-4ECB-B75A-706A489672C4","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":"Q3196346$8272DB6D-4C71-445B-9FFA-4FEC3B595282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"724e2bdef4c3cf46ea1b0471d515810ef40cbc37","datavalue":{"value":"W3106343240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196346$DC69B54E-4900-499B-99E7-A1D673E471F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8894d07f795f8608e4c9ac3e7f5da9cd81645615","datavalue":{"value":{"entity-type":"item","numeric-id":2766627,"id":"Q2766627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1cdbb446ca05af3e33383e4586d93e2f97dc0a","datavalue":{"value":{"amount":"+0.7664366960525513","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":"Q3196346$CE824F90-2365-4B0C-BBE3-841E27025E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3702995c256075a01b196d8ced068e7b3c7e687","datavalue":{"value":{"entity-type":"item","numeric-id":3172908,"id":"Q3172908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d13eb2a911761d3f6ad290697983b4892dba97","datavalue":{"value":{"amount":"+0.7604226469993591","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":"Q3196346$983BB6CD-9E08-4782-B745-676051349A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9072afb1d83a8bbab9254db9fff3a50b1b79807a","datavalue":{"value":{"amount":"+0.7555946707725525","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":"Q3196346$2DD3183E-1C57-41DD-8DA4-8B3BCE9F5314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eee252102d79b8233b8e51d25c419f15041a30a","datavalue":{"value":{"amount":"+0.74582439661026","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":"Q3196346$D2860C7C-EC41-4DD7-9A14-851F7EADF338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21578830f132a73cdcd216cc67cf45418d4b5ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4472225,"id":"Q4472225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193baab52a6d1c3598e23329ffdebc876cc7a0c6","datavalue":{"value":{"amount":"+0.7442993521690369","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":"Q3196346$E6F290BA-ECFC-4E86-BE5D-B8ED4FCCD023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196346"}}}}}