{"entities":{"Q5504119":{"pageid":7533679,"ns":120,"title":"Item:Q5504119","lastrevid":50546264,"modified":"2026-01-14T08:49:09Z","type":"item","id":"Q5504119","labels":{"en":{"language":"en","value":"A Sound and Complete Deductive System for CTL* Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5495722"}},"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":"Q5504119$6B8256EE-98AE-4268-8E03-08B01A09C765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63ff61dcd51a921bd51f02d3cf4c765c2630090","datavalue":{"value":{"text":"A Sound and Complete Deductive System for CTL* Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504119$16226E5F-05B6-4D0E-B74D-68021B5DE59E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25a9b8de49fd9fb892b108407d277255eca4e805","datavalue":{"value":"1156.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$839BE2F4-41C7-4E57-BB84-76CF782A781C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504119$DC0AF40F-4A81-44D7-8DCF-2E1BC0F31394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504119$3E38C508-240F-4DBD-80F0-046281AC765C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf289ffa08c547e658749b84476576936008772","datavalue":{"value":{"time":"+2009-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504119$C1DBBEAF-9E33-413B-8673-26740829DB71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d99c4823d2cc4b9e0dec9ffb3f2c88602748f8e","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/26059","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504119$E69B6C44-EFC7-4630-A18A-5182CB0A2C53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$1591A568-91D9-41C2-87C4-F64837FA0E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$F374EE9E-F05F-405B-A86B-6C9A370EDD9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"358f7d9347d9e002bfe06e7dc3f7eda9fccc9a70","datavalue":{"value":"5495722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$A05DCDCA-05EE-415C-BBDC-B90AB41DBF40","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":"Q5504119$76778319-1B7B-4FC0-B03E-FE725C57A3E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50eb0f622b220421e82e8ca74840acb6681cff9f","datavalue":{"value":"W2110345230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$3FDBBB02-BC1B-41CC-8D82-1283C24B2DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657ddd5a9ffa3d06823e562afcc47c0358e85da2","datavalue":{"value":"10.1093/JIGPAL/JZN018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504119$FDC3AA67-638C-4F29-AF33-ABD2998C71FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504119$F94525B6-9D27-4B3B-A051-42A43F2CF6AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9e69462892f6b94ac32b33d81bb18c891011c4","datavalue":{"value":{"amount":"+0.9471535086631776","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":"Q5504119$322C034D-9BA1-47DC-A317-A450313A666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf3d8fe61900cb3a8d83f1a7238c707ca5f3a47","datavalue":{"value":{"amount":"+0.8986219763755798","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":"Q5504119$306281B6-0120-43CB-8BFF-B1E18DB995C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458a6f498cad375179f2a8d1240dbbac6536b43b","datavalue":{"value":{"amount":"+0.7883940935134888","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":"Q5504119$0CA086CF-E9FB-40BA-A951-FBAFBD002B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5968ac6de9f9fd43666300f0e96e35e47223a2","datavalue":{"value":{"entity-type":"item","numeric-id":2272920,"id":"Q2272920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3edeb9dc85574c7e3dd37156578d3522786896","datavalue":{"value":{"amount":"+0.7791637778282166","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":"Q5504119$A9B97FAA-5674-436E-B3C3-755ACB4A3322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2cd6ac266c53d3b9dc6fd98343cf7ed39f2abc","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcbbb9598e47a3ba3ed32684867816a7c7a2f93","datavalue":{"value":{"amount":"+0.7732890844345093","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":"Q5504119$1AFDCEFB-200A-4A6C-935D-6539E9DA9586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504119"}}}}}