{"entities":{"Q4017600":{"pageid":6047381,"ns":120,"title":"Item:Q4017600","lastrevid":55194688,"modified":"2026-02-04T16:14:31Z","type":"item","id":"Q4017600","labels":{"en":{"language":"en","value":"Temporal logic and applications\u2014a tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 91803"}},"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":"Q4017600$5A374B4C-220D-473A-B16B-56FADFB9C362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b4bc80e16e7b168cef8718405e5585f249fc309","datavalue":{"value":{"text":"Temporal logic and applications\u2014a tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4017600$F516C7E6-1675-4266-8E82-16FF1B03B5F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"561df8c7d72dda3ee3e71a78dd03a8fc29dbbda1","datavalue":{"value":"0767.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$03F9D450-D9F5-4B1B-AF74-7F9A60ADFD7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb49a49f8042c4e0538268ee59982618c9c357f","datavalue":{"value":"10.1016/0169-7552(92)90109-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$EDCF5DB3-5B91-4668-85A6-F8F8DA0C3570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81741ed556007e13f2d61f7e6e391b145cc5181c","datavalue":{"value":{"entity-type":"item","numeric-id":1400426,"id":"Q1400426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017600$FFAAFC1C-F428-4478-A8E0-59AC5E532DE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c968a1ef8d0033339fd2c089e4a121a423a1be5","datavalue":{"value":{"entity-type":"item","numeric-id":3495099,"id":"Q3495099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017600$EC478035-DFBE-44BA-B3E6-AF4C6D8899B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4017600$88502973-44D2-4067-8E25-2425266FD896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$B0EF28DC-45C1-478D-9D15-E1693FA7E6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$C6173480-3A28-4D46-BDEB-EC6F51C5E52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$8188D319-DF7D-4B97-B898-C025F4401E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bccfeb44b3683a6ceff1521b830a148388c073c7","datavalue":{"value":"91803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$2ADC9758-0002-489E-95D6-44416B7779C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$CFB6A798-3036-461E-A267-9A5ED4848694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$584F7955-F918-4E6F-AAC3-D07E3D03EAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$01C5552D-C13F-47E4-B763-F0EF7B3A1CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$F409EFCB-FC8E-47D1-AE9B-C19B34B0A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c237712b1cc30dd8864c012a1f1cf5e8ba1288","datavalue":{"value":"unreliable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$27C57CB6-42F5-4AC1-9AE5-DADAE64DFF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$82A7B8DC-AC73-4A9B-A95C-0E3E69BA740A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$8C0FE4AD-6A14-40D9-9255-67216E8CAB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$E085D49A-5712-4E6C-908F-A1C708F37647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2870e79f2543679d4cea52666f667c761a6b89a3","datavalue":{"value":"communication service","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$0039649B-7A04-435E-BA97-0A2BB84E5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017600$D7C57DF8-876B-4749-889F-E679AAB08F6A","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":"Q4017600$7A2F3191-CADA-453E-A952-DA1B134315C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4691370ace513a7385afb40769d5e36dccf0d137","datavalue":{"value":"https://doi.org/10.1016/0169-7552(92)90109-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4017600$DF10E530-342D-4887-8D39-66AC81FB1918","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"146b2f908d8a552d13b5e119aa18dfc781b081e4","datavalue":{"value":"W2062934926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017600$330FE52B-F77A-4560-9DFF-D0ABE449FFA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906b7d1a81eaabf3a8edc1d9f65e4554a05a0762","datavalue":{"value":{"amount":"+0.8562626242637634","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":"Q4017600$86EC1EF5-1F64-4BD4-82C1-CC94F6CEE28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e080e07366034090a954165c1c16486b487dcfc","datavalue":{"value":{"amount":"+0.8334476351737976","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":"Q4017600$D0D36180-8603-43FD-9B5F-22D83286DFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14be954f33392033e19b56b7ab93ffca9b5afffd","datavalue":{"value":{"amount":"+0.8304163813591003","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":"Q4017600$C9604E90-83C9-45D8-A7EE-C42B74539540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6014bc0161bbaec00f86ce565117cbc0bc1500","datavalue":{"value":{"amount":"+0.8220908045768738","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":"Q4017600$F21289A1-24F2-4404-8C20-B613EB1758E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93d7b89fd9d2de2283f7a2cfea3d235e12b0235","datavalue":{"value":{"amount":"+0.8165217041969299","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":"Q4017600$7A914E02-2906-4494-A126-619C7B76512C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4017600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4017600"}}}}}