{"entities":{"Q5959752":{"pageid":8136554,"ns":120,"title":"Item:Q5959752","lastrevid":47766880,"modified":"2026-01-02T15:37:46Z","type":"item","id":"Q5959752","labels":{"en":{"language":"en","value":"A comparison of static analysis and evolutionary testing for the verification of timing constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1726735"}},"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":"Q5959752$B31D2AC3-9E42-4A5A-8C58-061C836868DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28727c2d917af452cc52262f7170d9aa2c12380f","datavalue":{"value":{"text":"A comparison of static analysis and evolutionary testing for the verification of timing constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959752$9E282E85-63A2-4FFF-9B64-7DD8AB859FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0f6e0fe5e48e5660a72d8879d9899743f18f854","datavalue":{"value":"1012.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$FC09AF3B-5B63-4526-B16C-C8465ECD5843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bb189fee10be306303abdb6a2c5de0edc157f27","datavalue":{"value":"10.1023/A:1011132221066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$D1EB3125-670E-49A8-96BC-E27EFF9723F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45a2441ed85bee5ef5e42b959cdc8b31f8564ee2","datavalue":{"value":{"entity-type":"item","numeric-id":238898,"id":"Q238898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959752$659EDF1D-BA89-4C94-A26A-9285179F3C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3604808584027d3e69ae89c9ccf27fb9df3ac0","datavalue":{"value":{"entity-type":"item","numeric-id":238899,"id":"Q238899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959752$73FD095F-D724-4DF2-B766-F58CA3689E54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959752$25ED1E6C-FC59-4FA1-9014-0D204794E5B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5959752$8045B768-CE1F-4E1C-A4FA-8A4D734DCE98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$196CB45A-FD00-4E88-B87B-6B9C09C5412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$2FC93E8E-2F82-45A4-B8B1-DC88E195C62E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00aa3caa3d4188c17141861f639c8c4f94b0fb63","datavalue":{"value":"1726735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$7C791B33-9B61-49A4-A44D-81E290762609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959752$F9E785E4-6F1D-4B83-8F8E-BD223CD6D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a58f33ea5f295da698dead9e68a95896cadc462","datavalue":{"value":"static timing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959752$D8693E30-5F11-48EB-B4DD-56E89F1417C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eac300b6b002b4e868d15c3be1f0eef49395b6e6","datavalue":{"value":"genetic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959752$01D8E53D-469F-43CA-8EF5-B5D845D1EEA0","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":"Q5959752$0335FD44-8C77-46BB-BC7C-BDF6A3C9BAC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"958c57930e366361fe502715b565559c792d2d4f","datavalue":{"value":"https://doi.org/10.1023/a:1011132221066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959752$BFB3F56D-8ED9-4B53-AB11-1C05810A74BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7acc1c1b24b10f136143f9872a09b418dfe696fd","datavalue":{"value":"W1522517002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959752$FE878D5F-E674-49E7-9395-D97E2C714343","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be34a2cf85f9ae26390e7e328a6e257c58ac63e","datavalue":{"value":{"entity-type":"item","numeric-id":1856174,"id":"Q1856174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb5f66af399a48f0e92d128c92c4bb638bb98cf","datavalue":{"value":{"amount":"+0.740833580493927","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":"Q5959752$8C7CA03C-2929-4350-B50E-BB9A75C93003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ea6c57fd3d049e5a9e70f578609a3fb4ed1334","datavalue":{"value":{"amount":"+0.7030103802680969","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":"Q5959752$014F921F-2CDC-4758-9B15-0FC0A6CD2C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9150760307e09b7c3ec7446e3d41c93834384e17","datavalue":{"value":{"entity-type":"item","numeric-id":1870279,"id":"Q1870279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a59af4c5bbe6707633387bea959e54af2571264","datavalue":{"value":{"amount":"+0.6979079246520996","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":"Q5959752$49B09224-44B5-4680-AB6F-F14868EC42CA","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":"3242119257b41b04282873589e93dae35112c0dd","datavalue":{"value":{"amount":"+0.6916638612747192","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":"Q5959752$24675FF9-6882-4CEB-B4A6-09B8B23B4A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abcabf92a0d86eebc1814e43656fcedd0e3859d","datavalue":{"value":{"entity-type":"item","numeric-id":4537144,"id":"Q4537144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208edbb5ea005630170f2893dab0c1db04ff9981","datavalue":{"value":{"amount":"+0.6901871562004089","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":"Q5959752$601962AB-7D88-4448-80DB-2487F368121E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959752"}}}}}