{"entities":{"Q5096770":{"pageid":7126346,"ns":120,"title":"Item:Q5096770","lastrevid":91359005,"modified":"2026-06-04T22:58:18Z","type":"item","id":"Q5096770","labels":{"en":{"language":"en","value":"Suitability of the propositional temporal logic to express properties of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573020"}},"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":"Q5096770$79499405-472D-4190-8A87-62F6F9181AF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0876945cf0985980beb72cbdab3a475a1cead7d","datavalue":{"value":{"text":"Suitability of the propositional temporal logic to express properties of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096770$C1BCE158-F53E-482A-90AE-F2955C3E3FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a83a690684f49819053294e6793e22f90553e583","datavalue":{"value":"1493.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$7199C924-5967-4EDA-BD6B-941B6D463F41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6f4a73f81a530955352a824e6b45b7a1602e965","datavalue":{"value":"10.1007/3-540-55210-3_173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$1C877147-6FBD-4567-9644-B5A1DB3783F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7dd81812bae13cf20d4035717ea9baf8232de36","datavalue":{"value":{"entity-type":"item","numeric-id":5096769,"id":"Q5096769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$3563D09C-5BF1-43B1-A6D2-A016814941D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4129a560169634703c395866ff41878f4d502d","datavalue":{"value":{"entity-type":"item","numeric-id":1158762,"id":"Q1158762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$268A1529-D927-42D4-B02A-30ED412CFE88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73699815df52a11b9f0a027e039427fa47b837a6","datavalue":{"value":{"entity-type":"item","numeric-id":5096764,"id":"Q5096764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$BB52C328-11EF-42B9-9B40-9B44B2EFEEF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096770$6EFBA9EA-724A-461A-814B-5088305D633C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$7F1C52A9-4DBC-4C2D-BBC0-5CB3FFB6C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$DE8E16A6-C39F-4FDA-8EAF-B743A97C2C2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4f7165cb766e9e61948c7e5a9c002cef14fd52","datavalue":{"value":"7573020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$ED21FBAB-37F1-49D5-87E4-5A5BC48EE0CE","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":"Q5096770$A2D66E97-9AD3-4F47-8B3B-6B8FA97865B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95c21ff2cbb7e761a84cd10e70bdd3cde7eea47c","datavalue":{"value":"https://doi.org/10.1007/3-540-55210-3_173","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096770$637A6210-480A-42BA-B3BB-55CBEB21D8F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbdd0f7bf453319ffd35c47e4943d1550c4d952a","datavalue":{"value":"W1514316408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096770$AF6BCD9F-F2B2-4BB4-9500-7B5E4032AADE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$7BC0B035-ED80-43D8-B525-47CE2A3220E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf1863d83d4dd6182dd564ffb5b6d9a2933d4d","datavalue":{"value":{"entity-type":"item","numeric-id":4207570,"id":"Q4207570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$39866754-8085-4732-85C9-9AC821FF56CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e3a442ba590cac8ae88ceacdb0593242447bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$3F8DF384-27DA-4E0B-B0D3-580060B3C312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096770$F00E47FF-7FCA-41E7-86B6-97E6986102B0","rank":"normal"},{"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":"Q5096770$D2747645-002C-4329-8A7F-82E4A525A599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440b9b8447e9685bb4692d2e7c252c9abda0fd39","datavalue":{"value":{"amount":"+0.8103020787239075","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":"Q5096770$F44E3EBC-3758-4606-9C0F-80600F46B367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c22ec66550fb88d45639a6b3dd51a1a16c0749","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabea9f0df2bb140ea5edbe05ccf12bc1ecaab08","datavalue":{"value":{"amount":"+0.8053860664367676","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":"Q5096770$52E05437-0204-4981-9BED-3C13C9B682B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afacaae153a5515f538c9563d5360219e4dcd238","datavalue":{"value":{"entity-type":"item","numeric-id":2418645,"id":"Q2418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70c9d060717d56d4dbd08b8c529ae5e51da8535","datavalue":{"value":{"amount":"+0.8029864430427551","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":"Q5096770$38AF29CE-32C3-43E9-A8FB-F33FFDB98F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70b09b920e6858f49a751b9cb8c1b47af6d1fd1","datavalue":{"value":{"amount":"+0.8025875687599182","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":"Q5096770$784C269F-22DC-4758-A2A6-697B484DCD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16519d86034971d9263fb1c4df704e9ac00bd923","datavalue":{"value":{"amount":"+0.7931397557258606","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":"Q5096770$65EC30E7-6DD2-4819-8B8F-688F21DD8BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Suitability of the propositional temporal logic to express properties of real-time systems","badges":[]}}}}}