{"entities":{"Q2993083":{"pageid":3003807,"ns":120,"title":"Item:Q2993083","lastrevid":52592099,"modified":"2026-01-23T01:39:47Z","type":"item","id":"Q2993083","labels":{"en":{"language":"en","value":"Quantitative approach for linear temporal logic based on DTMC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611796"}},"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":"Q2993083$CF104832-5CC3-4DD6-8B1D-9F395FF0F09F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48aa1a0979080b6622d54c8d24fedc0f29e55a6f","datavalue":{"value":"1349.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$79C81446-7ECE-4AE3-943F-9A8D1E7ED754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd7d1617f47ce879c34843fd8df2922d03b50ed3","datavalue":{"value":{"entity-type":"item","numeric-id":189972,"id":"Q189972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993083$10F52278-F23F-4239-AD2D-82870CBDB348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993083$D78CBABC-3690-4436-AF31-9E3EE0F89669","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993083$B248C071-1697-4521-B661-337A53CADA08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$C1D9923A-7AEC-4A48-A75E-EFE0157F391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$473BDDE3-1742-40ED-9F20-DDE991A39F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$EA0AF113-6023-44C7-82EC-C2D1DDD944EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65479b0678db21a86f2c99579184c39dd60e85e1","datavalue":{"value":"6611796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$CD8BD4D1-0BF7-438A-A589-4D2896E68B4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993083$19446E46-EB74-421A-8A5A-7ED44EEBF5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16582d4f053588868950219e1a69370d5daa3cdc","datavalue":{"value":"satisfaction degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993083$92D83789-04C0-43D3-AF0E-C8A55A3F2284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216b76ccde76ad20b67a49b68bd1e5f2c4650a5f","datavalue":{"value":"quantitative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993083$E9AA31B9-B3F9-4CAC-9389-A465B982F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8604f93c34bf76052c741048fc1bf0ebb30adf","datavalue":{"value":"logic metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993083$1200FFBB-97A7-44B6-B520-0E3AA991C83C","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":"Q2993083$1CFB760D-7425-4AEA-A237-CE8264FE2527","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f09cbf7a88679ae8396b03de0d83c0951e8792e","datavalue":{"value":"10.6040/J.ISSN.1671-9352.0.2014.401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993083$348E4DF0-1383-42AB-992F-85694F30DA9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c4a13ab880a66cb682c3f76cea9a1a9b8dc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4926927,"id":"Q4926927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d75fd82829b79b5738ecda9e71c703e15b39add","datavalue":{"value":{"amount":"+0.897873044013977","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":"Q2993083$941A5229-526E-4254-9023-0E70FCB3BF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d365e86cb068f601c6d2d7ccdc7e40a5b51875","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a39db6865a3bf84e8bcf2a01269337764841c9","datavalue":{"value":{"amount":"+0.7811725735664368","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":"Q2993083$CB0BD3F9-04D3-4608-ACF8-112BC7B672E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bab38de0d1c983ab76c78a4976e1cee572591b","datavalue":{"value":{"entity-type":"item","numeric-id":2924071,"id":"Q2924071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197b59e4278beffaa7ac3fbe91d4b7282163cf84","datavalue":{"value":{"amount":"+0.7802807092666626","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":"Q2993083$284E1C45-F680-44C0-AE2D-D339F8C79066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9367608fbc8fe3b14fe05c5a777bb73aac45ab","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93777a8df72c1e629486faf6b0dc862785cb3831","datavalue":{"value":{"amount":"+0.7734416723251343","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":"Q2993083$EB25A6CB-BEA2-4EF2-BE8A-A7A62D296689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a12d95967ad259acf137875a212f82bbae2a00c","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdf666a2e79c3a6e7c5c399bb41d3f84e18e93c","datavalue":{"value":{"amount":"+0.7729681730270386","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":"Q2993083$AE1A9DE0-95FF-46C1-817A-CE7124AA2876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2993083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2993083"}}}}}