{"entities":{"Q4926927":{"pageid":6956509,"ns":120,"title":"Item:Q4926927","lastrevid":51752519,"modified":"2026-01-19T20:37:04Z","type":"item","id":"Q4926927","labels":{"en":{"language":"en","value":"A quantitative approach for linear temporal logic based on finite transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6179148"}},"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":"Q4926927$6A5D9DD2-2A2F-4280-B915-C06C5E2D53CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd7b2d1fc31bc3b3a6b250a3234c2f1ade4a730","datavalue":{"value":"1274.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4926927$FD9B571F-55FD-4BB5-A719-195416AB6B82","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":"Q4926927$792E4FE1-1137-40FE-A9BC-A6CC1A8BDBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4926927$A37AD726-2336-4152-9182-75F05559E94E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c42f984d06608ffecaa9a55907765aabe7f17f1","datavalue":{"value":{"time":"+2013-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4926927$5A34C311-38CD-48C2-A698-C6EFF8A7CE4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4926927$2E45B23E-2DB1-4858-8C08-4DFD63DF8EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"627b4d67e7087c1a98dc7f22a1af1ae6f3299d91","datavalue":{"value":"6179148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4926927$CFA8FBEF-6B17-40F0-AFA2-24396F32C5DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4926927$B29A486C-D199-4985-B77B-A63CD23F8CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4926927$82BD6AAA-B730-4A91-84A4-43324CD453B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16582d4f053588868950219e1a69370d5daa3cdc","datavalue":{"value":"satisfaction degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4926927$BD58C304-9051-4CA0-907F-5B975FC19B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1e7d6f7fd62e880de4d979985683a98d91c8bf","datavalue":{"value":"discrete-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4926927$396ADA68-03A2-42E4-9C77-875992CBDE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8604f93c34bf76052c741048fc1bf0ebb30adf","datavalue":{"value":"logic metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4926927$03CDAB01-ED96-4890-96F6-6430C87A481F","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":"Q4926927$5FC343AB-44BA-410A-8070-2DD78787C28B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23847a2e2316078da2302ff84b4d8ef0c7ff88ef","datavalue":{"value":{"entity-type":"item","numeric-id":2993083,"id":"Q2993083"},"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":"Q4926927$38B08E53-5A2A-47F7-B82B-17CDC89EF596","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":"5c1676f9aa33f054d6b8c237b1ee6870d6282614","datavalue":{"value":{"amount":"+0.8600854873657227","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":"Q4926927$C48EEFCC-E197-46BD-9567-4E8A6DBD0091","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":"076c56510ca7ca110b5ad87062438dee177488ae","datavalue":{"value":{"amount":"+0.7745296359062195","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":"Q4926927$14FFB412-1DF4-49D8-B292-FC7B861345C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2b3d5759174db104359567c878921bd36d4e62","datavalue":{"value":{"entity-type":"item","numeric-id":5327419,"id":"Q5327419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c32c8b63c907725b7c73656902cb7ea8ce891f","datavalue":{"value":{"amount":"+0.771187961101532","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":"Q4926927$A859F30F-C1E8-4F9A-BB8F-0AC9A00FA424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c102d800a0fb24d6183f676a8864faab293e1f8","datavalue":{"value":{"amount":"+0.7672297358512878","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":"Q4926927$B7E792EF-E252-4D33-84F4-03F112D3CED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4926927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4926927"}}}}}