{"entities":{"Q3525637":{"pageid":5555541,"ns":120,"title":"Item:Q3525637","lastrevid":50458133,"modified":"2026-01-14T02:39:24Z","type":"item","id":"Q3525637","labels":{"en":{"language":"en","value":"Checking Coverage for Infinite Collections of Timed Scenarios"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344924"}},"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":"Q3525637$C55C4F5D-FFE1-4E64-9FD9-FCABB8736274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f532dd65b21141f879dcff98f670f351b1728ec","datavalue":{"value":{"text":"Checking Coverage for Infinite Collections of Timed Scenarios","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525637$A090EF85-C8EB-4578-81D2-4FFD852E429A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62958fa4fcd5cfce354b9470101f93d77762d89","datavalue":{"value":"1151.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$52B90C91-75BA-441A-B8F6-EC5819BAFA4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af2b4d65775e57272a63e30b401a96fbb655d64","datavalue":{"value":"10.1007/978-3-540-74407-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$4A3E7AC0-74D5-4C5A-95F6-3E568EFBA68C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525637$F133C8ED-D5B6-499C-BB35-55F751C4D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525637$BCA7A223-F8D2-4882-B2E2-5B4223CB23A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525637$28C1F096-6502-493F-883B-E03616AE60F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525637$805DF5A7-9DAC-47A1-811A-98160029434A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525637$CBF17B08-B5EE-4630-A3CC-B0117F4657D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$E9B76EA7-4ECF-4A1C-AA03-A6FC32E6690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$13D06A8E-5924-4364-9166-4C7FC64860EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$543CE7C0-5971-430A-A56A-62CAB236CB4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6162290a242ad07db56b11c5ef940516d73a76","datavalue":{"value":"5344924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$0A5C01AE-68F2-467B-9B4E-6CF595A654B6","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":"Q3525637$2E5CD704-57E2-48B6-8816-4A89F33166C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2152498bc7658bad1398e3911cfa360cea001a1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525637$6C96B57D-D7E0-455F-8638-63CF3C2E4826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"374ac139baa234a4b58e03800a0cb66aa62f1c93","datavalue":{"value":"W1583858366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525637$A2275923-DD1F-406B-B0BD-EC3092B9B097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c5be88e5d0a3ee51ebd063404c930a97e602f","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed28fd304202ef902ae28085735f17a46fcb5f7","datavalue":{"value":{"amount":"+0.8357921242713928","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":"Q3525637$D6A3DFCF-8283-4FB5-B48F-4B35C7684BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a90c916dbfb5b777cb728f2147d655af31ac9a1","datavalue":{"value":{"entity-type":"item","numeric-id":2355682,"id":"Q2355682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ba7fe77831498a7be9914e948b8e4460ec02cc","datavalue":{"value":{"amount":"+0.8286770582199097","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":"Q3525637$D8C189B2-5C4E-4329-B827-11F5B16B1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0351ec2d848eea3430f3c13eeb5e11df17e26ed","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caded85f6db942d376aa8e22b761ddabe9246f2","datavalue":{"value":{"amount":"+0.8193584084510803","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":"Q3525637$366A2D89-4D33-4203-8CB3-66DC4C13EB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015eecb01d1893e0d62746682fc175ed144b0605","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a2d5c11dc93fb12e32671ea270d73c5ed9cfd2","datavalue":{"value":{"amount":"+0.803652822971344","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":"Q3525637$0DB5934D-01A5-4013-871D-099BC9FD051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df813948198e9c8b06b5042f80b99306efb0330d","datavalue":{"value":{"entity-type":"item","numeric-id":3564019,"id":"Q3564019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8561e7f67bcf9fa71d8daf36a0ea4a28b2eeab80","datavalue":{"value":{"amount":"+0.8005155324935913","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":"Q3525637$033F5FDC-33E3-4882-80EB-5DCC8A2FAFC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525637"}}}}}