{"entities":{"Q5415664":{"pageid":7445238,"ns":120,"title":"Item:Q5415664","lastrevid":39595818,"modified":"2024-12-30T15:56:42Z","type":"item","id":"Q5415664","labels":{"en":{"language":"en","value":"Model Checking Quantitative Linear Time Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294883"}},"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":"Q5415664$16E722E6-3021-476C-91BB-ABD9DFA7F2BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a028d2d9f84fbc0de523147172d619d5e8f527c0","datavalue":{"value":{"text":"Model Checking Quantitative Linear Time Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415664$F520B393-247D-439C-88C9-B9E59B38821F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27c93101e179979e8a4d71d2f158f0185e396ce3","datavalue":{"value":"1286.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$59A2058E-5D58-477D-BF00-21FD35DF3507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$E17F1D87-77C5-4457-BA54-7B63524E48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$8D59472C-C30B-4A38-8030-896785606451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$B4DE9742-0923-4B2C-B661-46F8C56F3580","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$ECE37EEE-8A27-4E11-9E08-598F8AEDB64B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415664$EE16318A-0BE9-4449-9915-B51C42F3C46F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$25BBBDDB-9208-46FA-8938-DF3B2FD87076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$C553AFFC-1F92-4CB8-90E4-E89E099AC771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$4F92A1E9-F411-4368-BBE8-5799334CBEB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"503d6958a400b037191404a13116c51e14f8879f","datavalue":{"value":"6294883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$066CE63C-0C71-41C8-BA92-6575AEF06260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415664$9844BB25-B2B8-4519-826F-BDB2F679C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415664$1FC6FAF8-5A6F-4E83-BE51-C7C78256E3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415664$CC692E3F-39B8-47BE-AF37-F838BA9853F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$00918979-EA55-472B-93E2-9825AEAAF81E","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":"Q5415664$A3693288-9AE0-4AD3-BE5D-392E280B16DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6699e834adcda11fe9edec76182dc68b14bf3a6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.11.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415664$16741803-954B-4381-94C4-792BB8AE3485","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4c337ab9726aaa18c3aa900115d00dd724915ee","datavalue":{"value":"W2128746993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$9CFE64C2-2492-4E45-ADD9-298B04416954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$6756CDF5-6088-4C33-B31E-AE555AF032E2","rank":"normal"},{"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":"Q5415664$E3DE5ABE-6AF2-42A5-BF2A-DCE7F90EB82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$400FF461-B35B-4D11-B96E-9F73F81F695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$F794FF03-FE7B-423F-959A-4BB69104EDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b13a58813c0de94b33769112ddc206faeff818","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$55F0EEDD-8559-44E3-8AF0-399FBA7EC9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$B6047FA3-AFCA-4F79-924B-5FAEE09F66A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$7E195A5E-E5D2-445C-9680-266A5E4765F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4ec52b4648c01916cc032df29870163cb10a","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$7E87F714-4F84-4342-83BF-D7DE64AB364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$903E3ECB-FE4D-4DBE-A43C-295D0D2C14CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$A7189F50-BB18-45BA-9A7D-83A70AD18E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$EA4875E0-A1D8-4CD7-9688-8FDD662CBC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$E6616333-C590-4535-B6CC-C6817A001D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$855D16A9-0CF9-40AF-92D0-88D15BAFAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$7912BA23-F752-45B9-B6BF-9BDAFDFED59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$5EADBFCD-09EB-4151-9C49-6FBFBE790E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415664$B404B40A-E04D-4B08-B6CE-CB3D71F41BCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bfbdd510cd71b4097b571099999c7728c5101d","datavalue":{"value":"10.1016/J.ENTCS.2008.11.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415664$3D2ABF49-BD49-4D6F-A827-92E32C761649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415664"}}}}}