{"entities":{"Q4899142":{"pageid":6928721,"ns":120,"title":"Item:Q4899142","lastrevid":51626318,"modified":"2026-01-19T03:28:27Z","type":"item","id":"Q4899142","labels":{"en":{"language":"en","value":"LTL-model-checking via model composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122416"}},"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":"Q4899142$9C426D25-31C0-4C78-8306-4A826BEF99FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"976e63481b2b2807eb6afeb43b615370e9b46d56","datavalue":{"value":{"text":"LTL-Model-Checking via Model Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899142$A1EC4109-A3E1-4BD9-BD78-D4D2889F1BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f5207b393f5d21ab722978696fdce2dbabce6a","datavalue":{"value":"1374.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$97A78A43-F9EC-42CF-A6C5-BD1F4F9D08EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e81e36beea1c0ba89a3d037bf6580d210bd53a5","datavalue":{"value":"10.1007/978-3-642-33512-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$685A9936-3117-4C31-80AE-44BA151DB4E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a5cca4d8cbd754cfd9996a83a925a1a1597b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3646169,"id":"Q3646169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899142$53B6ADBB-ED2D-4402-A5FF-F0293AF7A555","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":"Q4899142$F8D0F68B-FCAB-45A3-A408-2A53C2B7484E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899142$F52528FF-5CCE-460D-B24F-2EDE00BCFF71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$9F87B2C1-071D-40DA-9013-D7193B47A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$DE62A641-56CA-4142-83F7-14CBEAF669D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb949e25ac8749d0dd1cc697a79e1aa93282ee4","datavalue":{"value":"6122416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$D3B5041E-1010-4B95-865E-0D7C35047C9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899142$09544352-9EB7-4B08-BE70-73DC3CD43EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84893e36c753d19c100f5cc3d6a81cac047dd6f3","datavalue":{"value":"linear-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899142$9FFAC226-3447-437E-932B-67690278928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9331b9ac2b1703ccfe6fda7e15808c6bbb5911","datavalue":{"value":"model composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899142$349DD716-7132-44FD-9818-C5DA099C7FE8","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":"Q4899142$958B4DBD-A96B-460C-8E42-71F38B591C4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f18375966ee412cda506b2e3fec70debacc3fd53","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33512-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899142$1047A4FC-7DCE-45E4-8B7D-2147D80E8270","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a666099c128c698c90e1b6b5d8131aef43df6fea","datavalue":{"value":"W2270485354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899142$DF928B96-549F-45A1-B461-0FF9938A11D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610a6860777f1ab7d159bc2eec70a5b219544187","datavalue":{"value":{"amount":"+0.7472915053367615","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":"Q4899142$547B9CCD-5BC6-49E5-AD8F-C3F876C0D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ce0baf6fd99bf7f95c29ddf51af359d4829729","datavalue":{"value":{"amount":"+0.7455379962921143","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":"Q4899142$7F4497BA-B405-4019-B5EE-EF7BC2F0206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef729d20963c97b9e0d471d5c446dc0f0dabbd12","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ba4559caf95f28d5c4c6bb352b4c15e4c47fdd","datavalue":{"value":{"amount":"+0.7402615547180176","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":"Q4899142$8524C51C-29E8-44CB-B250-A8B297E7947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6dce66b79bb13435bc9235b0b2d3173b653bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5711540,"id":"Q5711540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcc4043ded8fee6e4591ac52df4314f88f61089","datavalue":{"value":{"amount":"+0.7394862771034241","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":"Q4899142$9AEB4D85-39B2-4A17-9307-6FCC306D6CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf658730e9a48c423dda7e0d7cceebe191f0983","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f23e7acb16c64e3b1040732805e0c350b91575e","datavalue":{"value":{"amount":"+0.7386252284049988","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":"Q4899142$8A9497B4-BE15-4A7B-9363-AAEB1EBFE428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899142"}}}}}