{"entities":{"Q6186316":{"pageid":13321204,"ns":120,"title":"Item:Q6186316","lastrevid":93968501,"modified":"2026-06-05T05:33:50Z","type":"item","id":"Q6186316","labels":{"en":{"language":"en","value":"Temporal logics with language parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798814"}},"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":"Q6186316$B964AAF3-25DE-4744-9E70-F7DDD72F7CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac5958726f2064ad870db780f1280b7842a9690f","datavalue":{"value":{"text":"Temporal logics with language parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6186316$61C78232-DA28-4CA4-8A61-1D2D30114C99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94d14380408cac224f8643ab3f139ded7419915c","datavalue":{"value":{"entity-type":"item","numeric-id":2232277,"id":"Q2232277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$3AADBA92-B83F-41B2-9081-2FDEE31AF859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$168313F8-CC82-4B07-9775-A768DFC38042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4ce71f98e99b8662be6702f00c532c88661b04","datavalue":{"value":{"entity-type":"item","numeric-id":2232278,"id":"Q2232278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$8574BD7D-095F-4510-AFA2-25F228C4DF01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$ADDC9738-4DA3-4CAE-BA04-609DA99A4767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf1fba24e920aa6baf40d2b3b21f6509cc5627fb","datavalue":{"value":{"time":"+2024-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6186316$70E3BCB3-2CA2-4658-9345-4B734CD9728F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6186316$1F4F7251-F6DC-4E48-9F6D-BAE2A9CACCED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8f02a565f07cf20f6d0dea0a1a836ef37f056ae","datavalue":{"value":"7798814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6186316$9418D503-6B8B-45D8-BBED-D6A0681C2C8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6186316$267F62CA-150C-4B9D-810E-02AC7424C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6186316$42560FFA-631B-4A68-99A4-378AFB312003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6186316$CA5293FF-7E0E-42E8-A79C-253686B822B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6186316$0E0E60B1-B7C3-4858-8BC2-9E49E1E31E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6186316$D3BAB045-7D6D-4EBB-B6EC-53C3C7FB5D11","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":"Q6186316$0FFED842-D7B6-4AFD-B9D8-4A23D61629B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$5DD8C4D1-9859-4C86-955C-93E5FB94C913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$14DEB8B3-EB9B-45C2-810F-8FC681CB7CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$10591E51-9E0D-4786-9000-85930B59D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$25C7498D-4AF9-4646-92E4-FDB72C34F647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$1D644CFC-3629-49A4-A12B-B09C94DF4431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$7D2526BD-8203-4CB7-AEA3-9A6147D8EDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$6F5AF94B-2754-40DF-891C-CE926B77C62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e3f767018b0d9ecd0f4b6f5466bab9f169fab","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$6F7CD362-5B2E-43E2-AC33-35B6EC73106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4cf0e5263f18d6bf7fc0d1be1bccdb7dde47a2","datavalue":{"value":{"entity-type":"item","numeric-id":2453980,"id":"Q2453980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$9A119AD2-44F7-4648-AE9D-4628BF977E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$CE44805F-0057-4C96-B16F-2AC24D5DBD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fac3e593bbdc4bf38035515355792d7f6d6bba","datavalue":{"value":{"entity-type":"item","numeric-id":5348921,"id":"Q5348921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$DB06B7BB-23A6-4349-AFB6-F027C1CB41D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$B42D6C82-07B7-4F02-BE2D-13C524EB0300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$FA0E44AA-5BB1-4339-9623-0F19B8D49E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1ec3d2ed5a13fa2a35346c1e3b0c25659277d9","datavalue":{"value":{"entity-type":"item","numeric-id":2232279,"id":"Q2232279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$2D081309-5F2F-4999-8CA2-1826F04A0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$FD3051D2-0A7D-4C07-8195-813A9B3E4835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$FD3EE8BA-96D9-451A-B0CD-83A7E5355EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfdb1709d5fa2e8afa920e058ed7bb34ec3bed94","datavalue":{"value":{"entity-type":"item","numeric-id":1786616,"id":"Q1786616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$8B27031F-BDE5-452A-93FC-01CBF05AFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bdc1028b5bd29b72e5d3773bc059ad70e6d128","datavalue":{"value":{"entity-type":"item","numeric-id":5521476,"id":"Q5521476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$361615F0-BCAE-4070-957C-E6CBFF0C22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$2D21EA7A-39FF-4B25-8EFD-7A66A643C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f704deeacf685ba70b6b2ce20bba65bde381c","datavalue":{"value":{"entity-type":"item","numeric-id":4449218,"id":"Q4449218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$CFD09BBD-54B5-4FBB-BEFA-CB2B07A6C153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c9f9c418382824d2175732eb97c5ec8a5259b3","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$95C6BD18-7B5E-43B1-99BA-4E609B40BACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152f9f3458fc790c964ae50f9c27a6695c7ca7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$D1A0BCD2-92DB-4CBF-9888-5A3DF1F63E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$A868B1DB-0E18-4BA8-B42D-C293673C4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32e79a316f4ba915617aa14ef93a799456844c","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$1CA67F4C-8E2B-45E7-88B6-0DD476B7CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f0705208bd08bf365d8e849c141104487eec1","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$49E2C350-3BFE-4F36-8360-33CAD12E369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$781033C2-6A73-4767-98D4-5CC8CFDE9FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$87CAE5DE-A42C-4128-BC43-526ED0430ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9392e21b94e23a27f24de1f8b6b029681280ed9b","datavalue":{"value":{"entity-type":"item","numeric-id":386037,"id":"Q386037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6186316$7FC4E918-B715-4893-ABE6-AD30FC3A8F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"664bae15b42e6d3c8e19edc43f9ca14edeaf6599","datavalue":{"value":"10.1016/J.IC.2023.105087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6186316$E2DAC7EA-C1DB-4937-A207-26D5D8D7AC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logics with language parameters (scientific article; zbMATH DE number 7798814)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logics_with_language_parameters_(scientific_article;_zbMATH_DE_number_7798814)"}}}}}