{"entities":{"Q5505616":{"pageid":7535176,"ns":120,"title":"Item:Q5505616","lastrevid":50550866,"modified":"2026-01-14T09:09:07Z","type":"item","id":"Q5505616","labels":{"en":{"language":"en","value":"Verification of Linear Duration Invariants by Model Checking CTL Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498403"}},"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":"Q5505616$ED9A140A-4FB9-4BCF-B6D1-C9D8FDA8E332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c3eea4247de54dca60ed0608486e9d085d83a9","datavalue":{"value":{"text":"Verification of Linear Duration Invariants by Model Checking CTL Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505616$5C04081D-EC58-40D9-BC9E-D75EF64E6832","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48dcffcce8ebce1746b1e88dab7db82871c126af","datavalue":{"value":"1161.68595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$4DEA4B63-37C3-4D51-BE3B-5AAB0DC346FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fde55e6f9e002bb7cc2883bb313b75c422596c","datavalue":{"value":"10.1007/978-3-540-85762-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$2D83EE5C-D6A9-47B0-8358-1FF7D57CA778","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":"Q5505616$3C47FAAD-6312-4C96-B40C-4F2B3317EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7c51d78fec1b8c489cc32c0c92d005318a1112","datavalue":{"value":{"entity-type":"item","numeric-id":557827,"id":"Q557827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$6D19E28C-C5EA-486C-9521-CC0DF2ECA926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$63EB78AB-D3E2-444F-B300-A87A9AB36B48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$4BE68375-7C42-47AF-A0FA-D03363C88E35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505616$B4670286-2CDF-4D0B-8BC7-08519168A421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$B6A4E5A1-6FDF-4F0B-85C9-72737DE0E8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$40F7AEE1-0225-48E5-80FA-B1363BA24A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$883D64AC-DAC1-4FC1-9D73-7BF27E6A4184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bce5f1ffb6dbc3c5c2e1f0c2309673672f0b0cd3","datavalue":{"value":"5498403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$CA58B42E-4730-4B57-A8CC-7963EFF2F285","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$5A49FC42-E816-4A42-A60F-E4D5852222F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$6A71D455-90F9-4853-AC1E-88EE58E269FE","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":"Q5505616$3B74866F-6FE4-4EFF-8443-F389FE2BA748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d1c016d76fb99b2a55de60738a360968a1b16cd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85762-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505616$8AAC10F1-8A52-42B1-842C-3F049ACCE583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a78fb3332542ceef99640f58c4e0fa4a89a1c5d","datavalue":{"value":"W1785398866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505616$62D009B5-02A3-4B7C-97FB-6443511526E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$BA8C0338-7881-41F8-A03D-0638289C375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$BC93FB03-BF45-4EDF-9BBE-2D80EB9D3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$894ECA0A-8F7F-4032-9B63-127DEEE779E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5479604910114b9851d3198df7eb1c1c6021359e","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$0444CEA9-5EEA-425A-BD00-43BC073F76ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1331fb33d4db21358e3131249907e25718ce7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$649FF910-3AAF-4A06-A32A-35BB17B70430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc88f1c71b4ba9d43fcdbc4c6fe9170d8882fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1587334,"id":"Q1587334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$05EDAE0B-DB03-40DC-BA08-9A6C6FF2F673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$7F0C501E-8A48-4B1F-A07D-0831A35C3A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$6C70D741-6087-4205-A993-98AFD6DC1AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$1AE93DE5-0BA2-4760-B8B4-C18F9D38481A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$8BFF6E8A-71BA-4048-9A6A-7E3C4B6B0066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fed2022a2db8f67a68ca07658c94cef7445938","datavalue":{"value":{"entity-type":"item","numeric-id":2842590,"id":"Q2842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$C797CD80-3275-4F89-AAE7-3D3CAAA7BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e9a97e365d38979e4f1fc8440770be07509db","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$FDA2EF3F-F3E0-4778-BA36-27A535CCA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed226340896f6f1edb9acffcad75c449a446a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758112,"id":"Q5758112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505616$D6BB82E6-FBFB-445E-9E91-25AEFEDF1447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46a8bc0d533f035526284c4667ae89252fa519","datavalue":{"value":{"entity-type":"item","numeric-id":3400924,"id":"Q3400924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79836876612130eec4ea7253f793e0900f058d0","datavalue":{"value":{"amount":"+0.8702995777130127","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":"Q5505616$B717FDB1-7249-4098-A791-1936DA0553E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a433aa19730d4fcdfc8af315b318375d9e9eee","datavalue":{"value":{"amount":"+0.8188328146934509","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":"Q5505616$D138D298-787D-484D-8C2E-A09BF5BD3D45","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":"9efc5865364bac8cfe8602df071417ce76793a32","datavalue":{"value":{"amount":"+0.8124927282333374","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":"Q5505616$408871AD-D617-42C6-BCD6-87630166CA43","rank":"normal"},{"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":"cdd0e45caaefa12a3e895c18b3c9e92f28832695","datavalue":{"value":{"amount":"+0.7930718064308167","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":"Q5505616$044006A7-7C35-4157-A74E-3A76D605D123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbff8101529514a9f81c5cd261580a1e7338cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3306501,"id":"Q3306501"},"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":"Q5505616$8971F866-4245-4FCF-9A82-4E78E2C0F9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505616"}}}}}