{"entities":{"Q4636573":{"pageid":6666154,"ns":120,"title":"Item:Q4636573","lastrevid":82175303,"modified":"2026-05-06T20:17:01Z","type":"item","id":"Q4636573","labels":{"en":{"language":"en","value":"Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862054"}},"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":"Q4636573$AA8AE4D3-7A64-4F9D-936B-9A24ED774766","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73715772c3bf46b6a8ddc3e3951c842482ff21c5","datavalue":{"value":"1391.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$7E5D7C04-8CDC-4672-8923-6DBA95C5A92F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636573$15ABF7DD-8ACD-48E3-BED8-5A80B2A79538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ec1ab06cf3c87d739d2f1f8ed8faec056605f3","datavalue":{"value":{"entity-type":"item","numeric-id":329411,"id":"Q329411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636573$B9B93C16-2730-4D7B-BD85-094FD84660C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636573$0F67C894-9D2D-48E2-BCE1-A7D8ED722E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636573$D3F05078-1F06-4D9E-BD3C-C20811D01C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636573$68CBD99A-D8B5-4870-8167-CE2ED1FE4197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636573$CF5112FE-1197-4A7B-9B9C-0006C83C51FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d7282e72071e85eea98e72da17f1b65c13b1e5","datavalue":{"value":"https://arxiv.org/abs/1711.08191","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636573$CAA6BAC6-F8E1-48B8-AE89-05498EFC5394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$18736291-B1D6-4D0E-AC85-5945AB39993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$A58FE654-19AB-4147-B83F-B92A2368EF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6332a895484b1e92ec2fbb500c683f151b4e5423","datavalue":{"value":"6862054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$309261C3-24C4-4734-909A-09C6C679C01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636573$B9CFD13E-39E6-41DC-B741-4FDDA77F9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636573$FBD0D241-4296-4048-9E83-B14D4DB30C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636573$99049806-FFA2-4E40-A963-40F05F8FDDE3","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":"Q4636573$E6888EDB-F06A-40B9-A8A7-0D3051AE0124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c1a6d51bdaa4d91302daa46b2ce0e321203de3","datavalue":{"value":"W2931443989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$A8878E58-77F0-4648-8227-B6A3D10FC2D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b43aea6756f60a94535e1a08941e99c1a3ff482","datavalue":{"value":{"text":"Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636573$D1F4DCD5-F93A-47EE-90FB-1E51D40E249B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee4e5e29ce432c5b4e02ad2e32130e36ae83f898","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636573$BBE5CF2F-2F35-4C67-8D32-92640445CE9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d60d748437a2e8a470ce07272613be9969974","datavalue":{"value":{"entity-type":"item","numeric-id":4617981,"id":"Q4617981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423a927b42e433f736d0db1fe3dba7161ef47391","datavalue":{"value":{"amount":"+0.998737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$BC730076-9ADF-474C-A527-E4FCBF435D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02c0a5863625dc970677b7344e517885fcfe94b","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74e083bc27e7964482060c5414e276cf9fb2946","datavalue":{"value":{"amount":"+0.90836555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$9EF38BF3-C4C7-4C9C-9905-0D63A2737B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b4461c5dcc22ca7d18926a82ee5d326ecc4f53","datavalue":{"value":{"amount":"+0.90239525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$534364B7-3D6F-4CBD-AEA4-9A78ACC03E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f698ce49aee4dabccce62f10a50f4439e3c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5194653,"id":"Q5194653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ae4f91b435b6349ec73fb0a6a4d334e61aa561","datavalue":{"value":{"amount":"+0.9015644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$275F53B4-B33F-4151-B85E-EC354D3BCD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce1ff02b70c6adac741d876a12b423c42b19f2","datavalue":{"value":{"entity-type":"item","numeric-id":821561,"id":"Q821561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e7abe85e52e6652bb1756a42e41b29cf9ca094","datavalue":{"value":{"amount":"+0.9011227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$4AC6F8EE-1AA7-4668-A844-CA0DC1FE6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0986571c8d0ebdfe508d38d3d991960870fefdf","datavalue":{"value":{"entity-type":"item","numeric-id":6487561,"id":"Q6487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e7abe85e52e6652bb1756a42e41b29cf9ca094","datavalue":{"value":{"amount":"+0.9011227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$3D084DD1-8A26-46E4-9C32-D888219985E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8a10e45616e7d80e088877ecc8ec4585358b38","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceea1a50f3eece40fa744ec5f398052fd39c206","datavalue":{"value":{"amount":"+0.9007979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$21CD23F5-6574-47F8-B6DC-CEE90A38A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b6841f9ab8b93fc876b16d817d796e790f491d","datavalue":{"value":{"amount":"+0.89929754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$8691483A-AD92-4556-B869-A0A1987C31BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46f8f054ddedccbc3500b4a261de053d3a4f440","datavalue":{"value":{"entity-type":"item","numeric-id":6486433,"id":"Q6486433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751a6df59ff2cc4fb321ec22bc7609ee9cec329d","datavalue":{"value":{"amount":"+0.89411366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$94799423-07C9-46C6-9C09-E145C341E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0211c3285752a7689c0c330b38b0aa5cbce9c8","datavalue":{"value":{"entity-type":"item","numeric-id":737106,"id":"Q737106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ae4931fe9f559f1cce99a38833f7ab37bae9f2","datavalue":{"value":{"amount":"+0.89023554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636573$36B03F98-8954-4005-8BF4-899DBEA139A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_vs._Point_Temporal_Logic_Model_Checking:_an_Expressiveness_Comparison"}}}}}