{"entities":{"Q2848434":{"pageid":2859154,"ns":120,"title":"Item:Q2848434","lastrevid":83511638,"modified":"2026-05-07T08:35:13Z","type":"item","id":"Q2848434","labels":{"en":{"language":"en","value":"Complete test graph synthesis for symbolic real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211927"}},"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":"Q2848434$690EF656-A9E6-4BF7-8D26-CEA09C1E65A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccebfcfd3f0f63598775a05725ff75d63e0e001e","datavalue":{"value":"1272.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848434$8A3249B5-E472-443F-BBE4-6B4A57AA39FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c91f1e25ed1eb2b14a5471ff5ca190b204c8676e","datavalue":{"value":{"entity-type":"item","numeric-id":601047,"id":"Q601047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848434$CFE1ADCC-8455-44E0-B19F-9BC3FDC7EDDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848434$F733FE7E-3E5D-4762-94A7-2996AC790A1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b417e14c0ef206d3f24b8e795fc570642d235183","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002161","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848434$4BFA56B9-2B39-4A08-A702-6A3D95914DDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848434$F02E5026-B312-45EE-A682-2F3970397116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdacbc76133ef8926341fb2b0f5e4515bb6e3253","datavalue":{"value":"6211927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848434$FB9E7278-8E6D-4AF4-A8CE-31654D830403","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":"Q2848434$66B88657-42CA-4C03-A9D3-F0D765173254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c20b472ec696225003334bd7fd85ff44c74ca0e9","datavalue":{"value":{"text":"Complete test graph synthesis for symbolic real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848434$C0D78DAF-F89C-4D89-9D9C-F52908730B5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3ce634c83f946c635f587b052c46e284b9749f","datavalue":{"value":{"entity-type":"item","numeric-id":3434670,"id":"Q3434670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd618a1a6d1df3a819ff4847e22f68fea8ef8f7","datavalue":{"value":{"amount":"+0.7860838770866394","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":"Q2848434$CCEF277A-0087-4687-B8D3-62D2D801266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cacb8df89bdc29fd2e35c9fa6b8995d86948de","datavalue":{"value":{"amount":"+0.7748082876205444","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":"Q2848434$6F10FC67-A897-40DB-BD28-2F6CEFDA8E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149848fa7c05a431f1661d6c20c52e2c48255d88","datavalue":{"value":{"entity-type":"item","numeric-id":5902015,"id":"Q5902015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15c123f71eb5bd7ea366a3685ea412aa52dc928","datavalue":{"value":{"amount":"+0.7619056105613708","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":"Q2848434$5ABF14A3-E9BE-4052-A1F4-68A38F822921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11fce05f1682e52aad388fb2668cf3b9fa8dc79","datavalue":{"value":{"amount":"+0.7557358741760254","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":"Q2848434$8335E533-40B1-4C0A-AA51-5F5B423A88A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba288a73598037c7c5e82511a2056ed93f6f376d","datavalue":{"value":{"entity-type":"item","numeric-id":5710653,"id":"Q5710653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe5de676833930d3704e2cf2e441acf3638bb32","datavalue":{"value":{"amount":"+0.7546671032905579","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":"Q2848434$00E8D2B8-BF1A-4064-8AD1-2856E3731227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete test graph synthesis for symbolic real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_test_graph_synthesis_for_symbolic_real-time_systems"}}}}}