{"entities":{"Q6091318":{"pageid":13225625,"ns":120,"title":"Item:Q6091318","lastrevid":93907589,"modified":"2026-06-05T05:24:53Z","type":"item","id":"Q6091318","labels":{"en":{"language":"en","value":"SMT-based bounded schedulability analysis of the clock constraint specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770521"}},"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":"Q6091318$9FDE6AB1-8172-48E0-8FC1-DED99B3E3E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62db1265fbc361c7b459b492f824f34d2367f8d8","datavalue":{"value":{"text":"SMT-based bounded schedulability analysis of the clock constraint specification language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091318$F829C736-8FD7-4B46-B712-17561FCC0778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55516c0a4cb4f54ac15d1b02a54f016063b53ce0","datavalue":{"value":"1524.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091318$7144AF25-B2B4-4E71-97C7-DCB1179DFA1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d8bd73cabc7d5ab8fe5927e30b0215572b06d48","datavalue":{"value":"10.1007/978-3-030-16722-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091318$739C9417-AC1F-4B9D-9DFD-E6BD99428748","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091318$58288095-95AD-477A-AF41-12C1300F6CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091318$D75FD91C-6C23-4DC5-8863-B088D3177E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091318$1C37DFBF-F86D-4F63-AAA4-BCE4EACABBA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05b52c32b6d77877ed256dd74b05ab2109c305e3","datavalue":{"value":"7770521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091318$E2F23DF2-5D7C-4C54-BA4F-5E0048F68B35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091318$E5EFCB2F-86E1-4BFA-8DCA-7C82661D6F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75daab9970ebc7603ecee5043f7587d5c51a5397","datavalue":{"value":"CCSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091318$C8B33CA4-6838-48F1-97CA-443135F25893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267727d71138c8af8df1fe0229813b961c7e4aa1","datavalue":{"value":"schedulability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091318$E7923923-1ADA-4FDA-90CD-130A41B7A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aab28e511b04572600479266e1b2d21a4f7ba3d","datavalue":{"value":"logical time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091318$0CD04675-EDEA-442E-8DB3-5F2C7C1035ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091318$814540BF-8D52-48DF-90C8-36E67177C277","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":"Q6091318$9ED1587B-E4C0-4CE2-8B4D-AC9B842D1EFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae6bddd1e1a58e69523a39f5c0698e24598d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":4686605,"id":"Q4686605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3798f4e6dcf5db64e69adf3f03b4259b9bc6e63","datavalue":{"value":{"amount":"+0.8529030084609985","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":"Q6091318$C3BA9737-24AC-4787-BFBC-AA96818C914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705679d818532ceeda20e229656acbfb2e98f253","datavalue":{"value":{"entity-type":"item","numeric-id":4989017,"id":"Q4989017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13efee96b42652a0666e5431bb8b3817e47cc40c","datavalue":{"value":{"amount":"+0.7762064933776855","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":"Q6091318$E387D663-4F1B-4047-A373-5AEBC50E85E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ad7433bac5d75ad9794e82f075e233d332cec9","datavalue":{"value":{"entity-type":"item","numeric-id":1660763,"id":"Q1660763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4007150663a1bafb1906e0767ab14f6b81e25f","datavalue":{"value":{"amount":"+0.7721849679946899","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":"Q6091318$79CF1CB1-90F9-4CE5-AC8B-7DE555C0C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3945fa8299f6d8d6db4dfa3ec9be0110498822f","datavalue":{"value":{"entity-type":"item","numeric-id":6535837,"id":"Q6535837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016417ff793f9fdb1562d5f697b0a1cc5472fcf5","datavalue":{"value":{"amount":"+0.7517015337944031","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":"Q6091318$3634817F-B9D1-4FC1-A983-8B57D5AB16A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81fa7f820c381a7c932808f232026d0df342257","datavalue":{"value":{"entity-type":"item","numeric-id":3460225,"id":"Q3460225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaca83f8db41d6056698efba144f8199491870c","datavalue":{"value":{"amount":"+0.7388863563537598","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":"Q6091318$F90AEB7A-3DEA-4476-A263-5130EF6F0496","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091318$2C8C2DCA-5EBD-45B4-8C4A-3D40900F4075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMT-based bounded schedulability analysis of the clock constraint specification language","badges":[]}}}}}