{"entities":{"Q3624112":{"pageid":5654018,"ns":120,"title":"Item:Q3624112","lastrevid":58221474,"modified":"2026-04-04T07:14:26Z","type":"item","id":"Q3624112","labels":{"en":{"language":"en","value":"CTL model update for system modifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547914"}},"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":"Q3624112$A11DCAE5-7D9C-4F4E-A247-29BBD7BC3A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58a1ce6c574c1b400f77319814a4e17f4b983644","datavalue":{"value":"1183.68385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624112$BD5DA66B-9FA9-4CC2-91D0-F9AFBB2D209D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7551bf152405a58cb456e3287c72b5bb18d865","datavalue":{"value":{"entity-type":"item","numeric-id":897474,"id":"Q897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624112$64BCCD3C-1501-4530-B463-3AE03267CD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d096d62d0a05d5d3ef3fe96a656046acef4320fd","datavalue":{"value":{"entity-type":"item","numeric-id":3408613,"id":"Q3408613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624112$65B820A6-198F-4D73-BA4C-217604A9E385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624112$23522EC5-3DAE-4D64-BEA5-6CB2AE7C7FCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4419e9c959eb3d9a9268232df4096ec5d22bdf8","datavalue":{"value":"https://arxiv.org/abs/1111.0054","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624112$EB36760B-6463-4F75-9C12-F321FB294967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624112$4ADC2004-C902-482D-9D6A-1F81CF8D8CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35aff8d4a4fcf9d12ebc8582d9b2af0183253bc2","datavalue":{"value":"5547914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624112$A24C4766-FEE9-461C-A028-5A772E48E66D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0658ee6615c73374865fda9e5cd9f9e6e8aa39c7","datavalue":{"value":"Computation Tree Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624112$78CAC4E4-9863-4B9B-A01F-675F575E220D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624112$0E958567-FDEE-4CCE-8E31-ACD18FD9F4DC","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":"Q3624112$FA7736E8-818A-41BD-A0D0-8BE84C8A33E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcd4591f71342cd23210cb6c76f6e07896d8f0","datavalue":{"value":{"entity-type":"item","numeric-id":5898019,"id":"Q5898019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68731f0be693e07dda1a16027eb5dde14ac194d2","datavalue":{"value":{"amount":"+0.8870187401771545","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":"Q3624112$29F97FB3-C2C9-4154-9EC0-BE8D6209AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653b99f3872659e4dcfc2a72d6d5308a1bd8d865","datavalue":{"value":{"entity-type":"item","numeric-id":5450882,"id":"Q5450882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07ca5112806f8e12d21ee6bffd8344371160975","datavalue":{"value":{"amount":"+0.8387253284454346","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":"Q3624112$5FF93FF8-CEFD-4718-9AA6-A8D24399E06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea33be34ed4f7a59e0c5cb48e5cd267fa9f0d49","datavalue":{"value":{"entity-type":"item","numeric-id":2999196,"id":"Q2999196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d95bf4ca975641411b9c4fbf3ccf9d057b5e55f","datavalue":{"value":{"amount":"+0.8242086172103882","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":"Q3624112$E5567465-370C-4B97-938B-7F04AB85B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b4059c13b05306bad8d5303731891c4bc09112","datavalue":{"value":{"entity-type":"item","numeric-id":3636015,"id":"Q3636015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e40c7b7a8899061f360f1c24ab24b75db6678b6","datavalue":{"value":{"amount":"+0.8225351572036743","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":"Q3624112$A93E6615-E1BF-4E74-BEF7-15F9E652F54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d5301750680033303db035c16f31d4c2b2f010","datavalue":{"value":{"entity-type":"item","numeric-id":3172903,"id":"Q3172903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709b3e7a7650cda9e0790f2fa7582127ef34e836","datavalue":{"value":{"amount":"+0.8021252751350403","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":"Q3624112$18D62DD9-9C53-4CDB-9337-BD2EDC857E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624112"}}}}}