{"entities":{"Q3508523":{"pageid":5538427,"ns":120,"title":"Item:Q3508523","lastrevid":50395394,"modified":"2026-01-13T23:19:46Z","type":"item","id":"Q3508523","labels":{"en":{"language":"en","value":"Formal Testing of Systems Presenting Soft and Hard Deadlines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294869"}},"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":"Q3508523$AE9F1B8E-4E8B-4903-8DB2-446109290E1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed9d7e9956ab7787ba6294533235278bc46c69f5","datavalue":{"value":{"text":"Formal Testing of Systems Presenting Soft and Hard Deadlines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508523$B0FEACD9-06E5-4B18-A602-85731B3AF304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0560a33a2675a719a81046f5404e42e916158ef","datavalue":{"value":"1141.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508523$A27B910B-EA5E-4410-98A4-8D040DED8950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9004cd0e7ef7d66f3b68b1384a23ebd1858f2b4","datavalue":{"value":"10.1007/978-3-540-75698-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508523$3CFD4E5C-F6CC-4D85-B507-9758D572C4FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ad4647081cebf487e43eb38397c4509c0d7057","datavalue":{"value":{"entity-type":"item","numeric-id":347400,"id":"Q347400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508523$F4996C8A-2AD4-454D-B0F4-51F5F2EDA536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508523$90AEBC61-7C5F-4E04-A169-5C64ACE6DD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508523$7F7769A2-F99B-495D-8FF4-71AEE2C0D86D","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":"Q3508523$1AA592E4-6F4D-4080-94E6-B93DD56DB253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508523$09FBEB45-62A3-4E6B-AF07-496EF72BE27C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c999c232ed9db882c66371632261c3ba923b788f","datavalue":{"value":"https://eprints.ucm.es/15773/1/19.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508523$A560F4B0-F43B-42B1-AFC6-D14413CAE59A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508523$48239901-CB11-414E-AD06-202375F3B137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c596b62ca7dcf5decaeadbb655fe89ee66acf8dd","datavalue":{"value":"5294869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508523$DE910F56-D19A-471A-A5EB-E2897B7A1640","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68c27ca2fb44e713225441b9417dc37e3cf80073","datavalue":{"value":{"entity-type":"item","numeric-id":14749,"id":"Q14749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508523$FEE0232E-238D-45B4-8BD7-ECA25C96FDFA","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":"Q3508523$C8B4BD59-3BD0-48FE-9362-4CF044A81DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6b9a2688322e536cab26a64756acc3af14c2bf8","datavalue":{"value":"W4244693874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508523$236856B8-1756-4DED-8F91-C21AC305DEB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902659823dddfc2fd0264b51d4763181ebb01bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3434605,"id":"Q3434605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dfa2b1dbeb9d90f7c923d60f883a60840d2a5a","datavalue":{"value":{"amount":"+0.7578607201576233","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":"Q3508523$37974023-CE4A-4809-86B2-8FAF13D18B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b018beeb31b6000a2e11fc68359ffc6c1fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f45d073fce1f8a6bf1d2a0aa09c0a43f9125906","datavalue":{"value":{"amount":"+0.7214341163635254","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":"Q3508523$5EC80DD0-24D5-4F57-BAF1-79789EB52D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e094ac94cf223b49466fa4701cee74556d56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcf64aad26d923643412478be99837ea7b0dbbf","datavalue":{"value":{"amount":"+0.6907109618186951","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":"Q3508523$C5E10491-1721-4E85-96A3-5949CD08A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e852226c000a3d3f891f2599bff606a4f6d225","datavalue":{"value":{"entity-type":"item","numeric-id":1770567,"id":"Q1770567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822441cea40de9457a4e5f1351d0eda4ec2d4508","datavalue":{"value":{"amount":"+0.6748641729354858","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":"Q3508523$8FC27B13-B87A-437D-AF76-8E0625CACDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49a205dcc89f557d7d898f033949de2c03051e5","datavalue":{"value":{"entity-type":"item","numeric-id":5308369,"id":"Q5308369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5756cb5351e648734c5a31a7c718c817c5b1da56","datavalue":{"value":{"amount":"+0.6679202318191528","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":"Q3508523$2A23E39D-3BD8-4778-93AC-0A3B4A7BF6C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508523"}}}}}