{"entities":{"Q5166663":{"pageid":7196235,"ns":120,"title":"Item:Q5166663","lastrevid":52037048,"modified":"2026-01-20T19:38:12Z","type":"item","id":"Q5166663","labels":{"en":{"language":"en","value":"Toward the revision of CTL models through Kripke modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314092"}},"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":"Q5166663$65981E12-366E-4EA1-AFE2-33E3DFC6BDDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5918680b4097864d25f4d9e5250be6b2f818f20c","datavalue":{"value":{"text":"Toward the Revision of CTL Models through Kripke Modal Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166663$5D0A4580-6037-4D93-9340-F102A53EB5BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f3354e97245cbd540570449b061a8913373ea5","datavalue":{"value":"1409.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166663$928B026C-28CD-463F-8B7D-9EB6472CA80B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ab2526750ca64da27bcc70ad7b4264b1e59160","datavalue":{"value":"10.1007/978-3-642-41071-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166663$8918951D-8D41-4820-8568-4CB11FBE8342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13258c622ba62b837e6d76084eac94f7712c0a02","datavalue":{"value":{"entity-type":"item","numeric-id":2294583,"id":"Q2294583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166663$F2D83C9E-443D-4E6F-BCC1-EA0893D34598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b8620c63b859ff78998b23cf05cdfef66968190","datavalue":{"value":{"entity-type":"item","numeric-id":1784788,"id":"Q1784788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166663$F4D85DC5-0AC6-4B31-A28A-29519221B8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166663$55EFEF99-5411-47BA-812E-D5FC0973A7ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166663$1648A6BF-2D4C-42D0-B094-E32D2E3B9B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166663$17959273-EF1D-408D-900C-0D741499A32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166663$CF206FA1-9F35-48C3-B878-4159532A93C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9430c02b7282d37894862eb3777627ad7cd02ffa","datavalue":{"value":"6314092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166663$E08930E1-A5D7-4A15-BF2E-66A6848F07F1","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":"Q5166663$B30357A9-AB7D-4ADF-A096-F9CE19E4E584","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b94d6b3c6979d39123d414d76bc0999e8014dfe6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41071-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166663$0291191D-6C8D-43ED-8807-BA14C1037716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bddbe2338103dedf2ed24e1210c761bbc0fb219","datavalue":{"value":"W5032134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166663$50578E2C-30E1-47AB-9CFD-B98CD07546C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114b68b0d9222dadefb7f85d0f68a98cf0aa7fe6","datavalue":{"value":{"amount":"+0.8229091763496399","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":"Q5166663$438929F8-0BD9-417D-BFCA-F25F612406A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e56c25c6dc05943f6af0757a52513f5eaa1995","datavalue":{"value":{"entity-type":"item","numeric-id":2294584,"id":"Q2294584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ec9143b80572f7a17f987c68ee9c013dfaa7fd","datavalue":{"value":{"amount":"+0.7984066009521484","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":"Q5166663$CA4BF8E0-A064-4496-99FC-8916F6E66B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e72af951e12935fe62e3ba3d5a7d196b5b00ba","datavalue":{"value":{"entity-type":"item","numeric-id":1784789,"id":"Q1784789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1b5a0c66de3bd8f677fcfd1cf63b151a4f7a49","datavalue":{"value":{"amount":"+0.790123462677002","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":"Q5166663$494E158F-F645-4B63-A925-0BDFB76BDE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41dceda5b2b67b842f05a750364ee072e559d15","datavalue":{"value":{"entity-type":"item","numeric-id":6097773,"id":"Q6097773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee0f679385ab45294af48f53c462fc2fb778180","datavalue":{"value":{"amount":"+0.7526369690895081","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":"Q5166663$2ACA7A40-9F72-428A-817B-193C0E125070","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":"42bb6170477824e41a8fe9f5e16dcd279b7866f8","datavalue":{"value":{"amount":"+0.7521575093269348","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":"Q5166663$9AFC5D81-9B2D-4887-A344-0BB936AE75F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166663"}}}}}