{"entities":{"Q3306501":{"pageid":3317209,"ns":120,"title":"Item:Q3306501","lastrevid":53795096,"modified":"2026-01-25T17:49:57Z","type":"item","id":"Q3306501","labels":{"en":{"language":"en","value":"Advances in model checking of extended linear duration invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7233823"}},"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":"Q3306501$CD0384A7-0E8F-4368-8D33-1A0B448D5476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"857c28810064427451adefff5f3d5e73b86d693b","datavalue":{"value":"1449.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306501$9BCA3229-AB14-431F-ABD0-AADCDF7166EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"384676ebb4d87649106ce60efa6723ab9b759806","datavalue":{"value":{"entity-type":"item","numeric-id":1793124,"id":"Q1793124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306501$8A1700EE-2194-44C6-B8C0-277CB291549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3673c59e41223cb7aff89e32650147e80a2d416a","datavalue":{"value":{"entity-type":"item","numeric-id":2050094,"id":"Q2050094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306501$70F8AF36-D0D4-4B79-86FC-E6ECAF57252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4fe01a4f53b86078f74682a77c9cab590f607b","datavalue":{"value":{"entity-type":"item","numeric-id":362286,"id":"Q362286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306501$A04E88CE-884C-4D72-ADFC-0B5D1FB22B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f714aba5f8bf00a223a2edb5e695ddd1686957","datavalue":{"value":{"entity-type":"item","numeric-id":2986926,"id":"Q2986926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306501$2BD4F491-12B2-4181-943D-680E9F892102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a0601910279d3cd6e6f45d9bc6255b7f45b2ef8","datavalue":{"value":{"time":"+2020-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3306501$D50126DF-2EB4-425D-89E8-700F4DC61EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306501$3AB88CE4-1F97-4CB7-B50D-9B0B60121AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306501$860A6F68-2D18-4546-A67F-A25B090980DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1ff35ee0fc602e7e546ae6f7d34f3070df3a430","datavalue":{"value":"7233823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306501$77982AC9-1FFB-4529-BC67-8C24F51C3D11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306501$91610D42-6E1A-4A94-AECB-2D92703A0CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcdb40d4d3f98604b76dbc786957c240510a95b","datavalue":{"value":"extended linear duration invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306501$270CF300-8F3C-4FF8-BE3D-4A5D6FD1FFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306501$D3C0B6CB-325D-48ED-BE17-ECF864538E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306501$1CD07234-4BD9-450E-8E70-EE8E974CD92A","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":"Q3306501$2262D3A1-0ADF-4DA9-8A4E-41B3ECD4F58E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735795519a6f950a477fa9b0c369e07a22ddb46c","datavalue":{"value":{"entity-type":"item","numeric-id":4561435,"id":"Q4561435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e4708a8599062a3d7b3b0858837606cd741d2b","datavalue":{"value":{"amount":"+0.8709129691123962","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":"Q3306501$E23B20EF-740E-454A-AEEC-FA0950AD5AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5937426ce6aed06b43d4abc59f202933bd2fa85a","datavalue":{"value":{"entity-type":"item","numeric-id":5209966,"id":"Q5209966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd24b45121cdc14ffe252ce54e1a92b83924c7d1","datavalue":{"value":{"amount":"+0.8165127635002136","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":"Q3306501$A5269564-EEAD-4CA2-A8A4-5C11DBE1C879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0dd36f2543876d0efbaebe239bed75f9428e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3460214,"id":"Q3460214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b631420d7d29e67277a724b44eff198942efb23","datavalue":{"value":{"amount":"+0.8102110028266907","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":"Q3306501$0722D7BD-885F-4F51-B0B4-512E8C9A3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59e9fef968e575255b0ed181d1b729ca3b355cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505616,"id":"Q5505616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2391ead2f11f574642794b4664793cdbcbcb1b1","datavalue":{"value":{"amount":"+0.7885571122169495","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":"Q3306501$7C5073BC-46D0-42F3-9BFE-9A6AB84C8B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ce6f5df4ab47a21deaf1d12949209244bf2f1d","datavalue":{"value":{"amount":"+0.7784550786018372","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":"Q3306501$CD255C4F-2A1F-42EC-BDCB-CF1E706CCDFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3306501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3306501"}}}}}