{"entities":{"Q4907867":{"pageid":6937446,"ns":120,"title":"Item:Q4907867","lastrevid":51657296,"modified":"2026-01-19T07:22:10Z","type":"item","id":"Q4907867","labels":{"en":{"language":"en","value":"Specification and verification using temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138807"}},"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":"Q4907867$62E2054A-8BDB-4DC6-BAFE-55B28D22A696","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1785fe2a8b8f344ef01b51ffd872059fec549739","datavalue":{"value":{"text":"Specification and Verification using Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907867$2C5B5089-8DF4-4C3D-A41F-3532D3CD1CBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fcfbf893475e2c2838060785f00124f405d3538","datavalue":{"value":"1256.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$2E23C0D9-BFA0-43A4-8694-8B244C88EE75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88c91d0c16156dab95f1484ce5e567617447122f","datavalue":{"value":"10.1142/9789814271059_0015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$2B6DECA9-6912-4E3C-B748-1F7E09DB8D2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907867$6C725B87-06D5-482A-932E-8569B07FBD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907867$AEB82047-B651-4997-B59A-34EFA3E93729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907867$C88E37D5-EA90-4A70-82D5-35CC828264A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907867$78D34D6D-621A-4ED3-AAD5-66C2DB5724AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$265907BE-30B8-4E39-AC7B-9BCC9FA31584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$373E8C65-BFB8-4185-9458-FA73817842B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$6AD7FD5C-0D62-4E4C-A729-A9CE6C65C21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$9658F051-4FFA-43F4-A053-86D1FF7DEDC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23020057b572bd54a535989c75ab99eb94b6e583","datavalue":{"value":"6138807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$498B6726-DBE2-4FBC-BB28-4B1CEB4978CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907867$02DFC53F-A18E-448B-A130-1EA6F4E6E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907867$439C069B-02FE-4402-90D8-8CC48AE28956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907867$A5E7D8C8-5F34-4BF2-9E5C-66CD9C558BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030243cd72344b25287c5ed3e7e4a9d640fa7a69","datavalue":{"value":"lineartime temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907867$5DF3363E-8E4C-4C02-97A6-BC9F113EBF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907867$D5B74AEA-BEAD-419F-A05B-98B398F0FD0D","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":"Q4907867$6952E6AF-E3F1-45D1-8CA8-D10B9C1E8A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a91cfafad7f7a03c266a6ee76582207b74cf866","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0015","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907867$BD16A18C-3E84-4C95-AEF5-17C3105055AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61943ecd8b74d657d369b5b1c073f95a4f1984ff","datavalue":{"value":"W2406477300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907867$EED521A0-B021-4E14-A7FB-37577E83AB38","rank":"normal"}],"P1643":[{"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":"747d94e990df0f506e2210df998f9bdc4d35da7a","datavalue":{"value":{"amount":"+0.8325796127319336","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":"Q4907867$CF5E17A7-315E-4BFC-9759-AC0AE1B3C0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e515c8c16ac8ccd191ba7bb0682f9d2abada4ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc07e442af2f59eba575d360478b03026760e15","datavalue":{"value":{"amount":"+0.8198802471160889","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":"Q4907867$E98A647D-CEEA-46BC-9BC1-1DD3379D2498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f9d7747c9d80ff170b782b26fb981d975b5b59","datavalue":{"value":{"entity-type":"item","numeric-id":5435639,"id":"Q5435639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fad18216094543668f1e66777c4d502885df76","datavalue":{"value":{"amount":"+0.815841794013977","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":"Q4907867$D58753EC-00FC-45AC-AC6D-1B4894B14649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379c78777c7f071e31cc6bd0605c6ffd3d917349","datavalue":{"value":{"amount":"+0.805001437664032","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":"Q4907867$F9FFE3F9-12D7-4BE7-B04A-939416B832BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db385e3ddd77fbcc8e5058c24a82af976c062e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e0bfccb230bc4adb69b5f2332297e498e36d5","datavalue":{"value":{"amount":"+0.7993342280387878","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":"Q4907867$0B6F1DC6-9125-4981-8501-7C3269084FA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907867"}}}}}