{"entities":{"Q3434668":{"pageid":3445371,"ns":120,"title":"Item:Q3434668","lastrevid":90165605,"modified":"2026-06-04T19:27:06Z","type":"item","id":"Q3434668","labels":{"en":{"language":"en","value":"Test Case Minimization for Real-Time Systems Using Timed Bound Traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148700"}},"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":"Q3434668$870BF9BE-7084-4E35-9B1D-3030B5CDEF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79619be3d4203fe7f4187983cceff51b6619a3a3","datavalue":{"value":{"text":"Test Case Minimization for Real-Time Systems Using Timed Bound Traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434668$41D3DFE6-7AD6-470C-A626-FA920D712612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e20dc89c495b03483f0920601c64215b29eeca5b","datavalue":{"value":"1185.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$99D0D6BB-B03A-485D-B41D-E2CFA8563DAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd4e95fcf5cd6351c75ce4457d16d4e4d2be529b","datavalue":{"value":"10.1007/11754008_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$4E88321E-FA1C-4384-B333-F1F7B35BCBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f465fc5f1247f528a803b275e52abfacdc97b634","datavalue":{"value":{"entity-type":"item","numeric-id":1738982,"id":"Q1738982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434668$B0007BAA-A721-4F7D-91DB-AFF3E7E97BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e0d15549dc03ef186ad287a38bbf0dedf329acc","datavalue":{"value":{"entity-type":"item","numeric-id":3434665,"id":"Q3434665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434668$A2E761C9-2C74-48B8-BECC-9B51E6E7D01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce575270fd1fcf61407002389cdf609f44336ac","datavalue":{"value":{"entity-type":"item","numeric-id":3434666,"id":"Q3434666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434668$4C219ED3-21F1-4AE2-B98D-160D54B466C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c92f92f141894c6ce24ba3c5e7ec37f507de7ea","datavalue":{"value":{"entity-type":"item","numeric-id":3434667,"id":"Q3434667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434668$6E831E33-5D35-4A55-B0E5-826BAF4832C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434668$B344150B-4706-4F14-965D-F463951528C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434668$558D7FE7-6BB4-45CA-A5A3-1238BD62FD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$FE0ADD26-8CC2-480C-9631-36D219D9BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$22EF1545-64CE-4C6A-9D4D-BF0BC89A22C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe0a98c62e722ce0ee4f6077ad8ab6218f1538e","datavalue":{"value":"5148700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$4FF5A83C-54DE-4A9A-8619-900E1CDBF5C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6c2dc21e23ce98768981871bf3982711755868","datavalue":{"value":"timed input output automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434668$C355C936-7401-4709-9ED0-DA915644D05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a35eca4b745d2c96a0991354fa34b9b633f642d","datavalue":{"value":"trace inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434668$1A819182-B979-4AA0-B831-5A0450BF44AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c78502471a298d8a8cc2bce27424ffe911f177","datavalue":{"value":"black-box testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434668$AA0D0169-8033-4E59-A743-6F364DFF590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434668$DBFE1EFF-AF78-449A-9B2F-1EFCFE448E9B","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":"Q3434668$96764575-144F-44CC-950B-C39FC07AB0B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efc692296d595d89d63bd6fcbdd04ea5d8d9c3e4","datavalue":{"value":"https://doi.org/10.1007/11754008_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434668$BC4968F8-F605-4CBB-9734-B340E88962E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1234a670d100aceb992b495ec84d66f21bb1380d","datavalue":{"value":"W1563893834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434668$F91FA7CA-FADE-4D44-A26E-664315B8EB63","rank":"normal"}],"P1643":[{"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":"dae48a769e2520cb10c959be29608b86773a654a","datavalue":{"value":{"amount":"+0.7298469543457031","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":"Q3434668$C2136354-2C51-482E-987E-9FE23295FE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eadf5cece38f4be57d9e92b1ba825d1238e999","datavalue":{"value":{"entity-type":"item","numeric-id":3431097,"id":"Q3431097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c228addb9e3e526278af88745aadc41405ed893e","datavalue":{"value":{"amount":"+0.724399209022522","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":"Q3434668$E15A9101-3E4B-4F6F-9D28-E70D46075884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a985fa219a9988e52567eeb81f6b26061976b7","datavalue":{"value":{"entity-type":"item","numeric-id":2762734,"id":"Q2762734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a59697b09115ff478a1f82f56e2f96c7a17e139","datavalue":{"value":{"amount":"+0.7160396575927734","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":"Q3434668$B969A434-D61C-400F-B015-6AD39EFFA8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23cb6d973f7a671b75118a47c6152a6f817e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":4437066,"id":"Q4437066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098c9fea585344bef1c3463dc3d352532f43a4f3","datavalue":{"value":{"amount":"+0.7139034271240234","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":"Q3434668$6FE7EC32-FA56-4838-966B-27AA9D87646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd101f5a959c94140dfa0d7904f5a61ead776b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5473181,"id":"Q5473181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d754ecff388d8d3af9b6cdf7e2570a6811b5ce","datavalue":{"value":{"amount":"+0.7134992480278015","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":"Q3434668$6C74E6DE-E73E-40F9-ACD1-E306AD1E20EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Test Case Minimization for Real-Time Systems Using Timed Bound Traces","badges":[]}}}}}