{"entities":{"Q4989019":{"pageid":7018596,"ns":120,"title":"Item:Q4989019","lastrevid":54004043,"modified":"2026-01-26T01:50:28Z","type":"item","id":"Q4989019","labels":{"en":{"language":"en","value":"Runtime verification monitor construction for three-valued PPTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350163"}},"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":"Q4989019$7781BD79-3F10-4B19-9936-9402E868D0BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01b96ab3d6305cce46a139005d7fb3d78823a36f","datavalue":{"value":{"text":"Runtime Verification Monitor Construction for Three-valued PPTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989019$06F89AAF-CE33-4DB9-A3B2-7D9B7B5608C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259134b454e39508f872632e6309e26eda7d0af7","datavalue":{"value":"1461.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$28E14C47-2926-4414-8885-AD0200FD8CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83956b4fd4c942d1b65f1346e73e92dff7455615","datavalue":{"value":"10.1007/978-3-319-57708-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$251C35EC-52AA-4B6F-AD91-7FDB78D613BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46c13b4ed20d7be55f678f5b2789c4af66377d94","datavalue":{"value":{"entity-type":"item","numeric-id":4989013,"id":"Q4989013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989019$C0FFFCC6-3062-4C87-A069-C9E2D3F6F847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-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":"Q4989019$8981B244-7407-4C23-A54E-3B86833FA645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$56AFFE1D-B5A4-4B33-A955-BFDDBB7F9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$032CBB12-878D-49E3-B009-8A3CA025840E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$F0537228-5A13-4DA6-9334-36C674603D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$1B4347DE-B3F1-4C24-B0A1-69277626251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$14BBABDE-1AFF-4C8F-A4F8-504C4926E625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96103d6b8d32e0b2e0ce584820f2f1b99acd2d8d","datavalue":{"value":"7350163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$54D25795-1850-4A0E-8AF0-204EA5B9AF3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989019$7AF32237-6592-4253-8C3D-07277E2D1C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd115b14e79fa30654b00aae451c1c0e5ac9b1f","datavalue":{"value":"monitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989019$E9335DAC-3FF4-4868-AF44-9855F4E051B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989019$B6720427-632E-4683-94F7-F6E9B4477C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989019$4A1EF5D0-2780-4BE4-AC26-54FC80CD6DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989019$2839D923-4618-4988-BEAF-98D6B6491611","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":"Q4989019$E149568A-78FB-4C7D-9FB4-072A98CAA5B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"454675a5a466d73bf38e5c64e08c796c4ba9ef37","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57708-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989019$9EF640B2-3E15-4D59-AAD6-4D942505B581","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"387e704ff46a6d4e50d0feb2123189b0be90470c","datavalue":{"value":"W2605874545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989019$BD3E30D6-8963-43A6-AB4E-80F5046AD120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b2ff1fc86e9033d4b69219b34b0fbd6899effa","datavalue":{"value":{"amount":"+0.8010491132736206","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":"Q4989019$67E5B6F9-7E8F-43CB-BB85-4E082818FC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58e47279ad2f76800e94f958a23489946f6280","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990ca8cff01648fca0481f266fc11eb5ed23f8f0","datavalue":{"value":{"amount":"+0.8002055883407593","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":"Q4989019$380CC165-A1D8-4266-8A73-514BEDA02B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3317ea54dc51c3980de7ec0b3845987ac6e2aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3540087,"id":"Q3540087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b21b7b65baecde1eae886e4c5a72576348efba","datavalue":{"value":{"amount":"+0.7995573282241821","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":"Q4989019$8A049B32-8762-4BD2-87A3-723753B0F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b2c3867c2fc24814a79b54c5628f1c26b459b","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee80319c3a520de75c55625c903272705739a524","datavalue":{"value":{"amount":"+0.7893887758255005","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":"Q4989019$F810C845-D4E1-41EE-ACB8-6B1F57ED3998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b036a19e6b9efe4301f1b71090aff3642e95c8","datavalue":{"value":{"entity-type":"item","numeric-id":4997237,"id":"Q4997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b6a135eb15acb797d867aad47f30e0d14852d4","datavalue":{"value":{"amount":"+0.7893214225769043","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":"Q4989019$F650885F-6676-484A-95FE-6423D0A5603B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989019"}}}}}