{"entities":{"Q2870286":{"pageid":2881006,"ns":120,"title":"Item:Q2870286","lastrevid":79619870,"modified":"2026-05-06T14:20:23Z","type":"item","id":"Q2870286","labels":{"en":{"language":"en","value":"Exogenous probabilistic computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247675"}},"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":"Q2870286$382CFBE8-C240-47AD-8645-2582971731CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"728d24efa98c904e00ac7d1514ec5b84d3039dba","datavalue":{"value":"1279.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$741C8BC8-570E-4993-A6FA-7E4C57787702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc05f4209e964e04be06b54604f221ec49e29ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2254551,"id":"Q2254551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$C7F6982E-C1C2-421F-BE96-8BC3647AEB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84b60f04d7f3967bc1c5e6d2b05e98b9765d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":265391,"id":"Q265391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$0239DE0C-C491-4887-B33D-0216D5F791ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a076f0d6e955f7f099b5e572a601c0898ecdac2","datavalue":{"value":{"entity-type":"item","numeric-id":706489,"id":"Q706489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$8570D0A8-FE1E-4D83-BEC2-DDFE39B476BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dbb044bff98b0a8151539f2e1768acbe69e047e","datavalue":{"value":{"entity-type":"item","numeric-id":1787249,"id":"Q1787249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$25B4622A-EC6F-43F3-BCFE-40C6B6A708FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$A84C5817-503B-4AF4-A15B-56D807329F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870286$83F05E78-C33B-4E9A-9461-75F5AEA41253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$5DD42275-213B-4B88-BAA5-3DFECD3A1147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$9DA85248-91DC-4FEE-8E1D-32E3CCB9B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$DE485AAB-43FD-4E66-8069-F40762288388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$080C724C-553F-4047-8DD6-69D6F9D6CCC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecfd05973ce271bf8c87c4564186c78d37b3d7f7","datavalue":{"value":"6247675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$FA6327CC-D800-489E-ABE2-7FFA60F2C52D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac03ec47c51c672c22ad285d9578eacdc2f7b38f","datavalue":{"value":"stochastic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870286$FD523B75-02E5-4E36-AE61-A92AA82A2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870286$F91E7DDE-5F39-4AC5-BA86-D3567167A5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2fe1584dfe4edab292c6678257ea4e784809461","datavalue":{"value":"\\textsf{CTL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870286$15B283E1-74F0-40AD-AB47-F9E77770F6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9440e3f5c6cab34c413bc8fe4da49faed9651cf6","datavalue":{"value":"\\textsf{PCTL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870286$497F6341-2FFA-4E45-8C95-D9CFAA05F1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a822d2ebedefd101a5e1c209113b0c958d169dd","datavalue":{"value":"\\textsf{EPPL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870286$4268C64B-11B5-47CD-99B1-A81F12A05C69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$9E72074D-E07C-406E-B89A-076ADAF2C34A","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":"Q2870286$1282D52A-C99E-42A6-ABAB-EC05F96EDD4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c8f6248cb9b7bd9c7c15719073e19e23994ec1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.07.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870286$9FC7ACAC-F31E-4797-9F54-C8D37527E7B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c08bc5eaec71d02d266b2179c0fe44cf15808d92","datavalue":{"value":"W2120106863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$2BB1C989-60A3-4493-973C-03C59415C20B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0436a8010b6c64ac351a36d6a4666afb59df6381","datavalue":{"value":"Q59196683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$888300E4-7260-43F0-923A-55B8E1672AE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$47BF337A-5FDD-40CC-AD93-7709B6EF125C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95127141592e878799f1620a9e20ee4ed2d5aea0","datavalue":{"value":{"entity-type":"item","numeric-id":5906950,"id":"Q5906950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$96588411-41AA-41F9-AB3B-D9728668DAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b91b194160c4b9fe311a93b94be4b0dcd329e1","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$29C6DC43-17B2-48C3-9DCD-861853195400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$67E593BF-7343-486A-B30D-4E9C568B5BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124f7cc0d7a296d9ee4218f67492dbe433225e01","datavalue":{"value":{"entity-type":"item","numeric-id":4329287,"id":"Q4329287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$45CB4BD3-CF82-48BC-9F4E-F2A6F03BBFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e2e1ea5deff58196057ba3bd170a5916688977","datavalue":{"value":{"entity-type":"item","numeric-id":4699336,"id":"Q4699336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$EC25A79C-E117-4C3A-A159-E3902AFD2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2df5503548a1f952fefa1e0d56e4ea0eb75c55","datavalue":{"value":{"entity-type":"item","numeric-id":3613341,"id":"Q3613341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$F4F26B26-6B54-4054-96BE-76B1177E4626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e44ff29e928f19b892ec1c13836498e6c5624c","datavalue":{"value":{"entity-type":"item","numeric-id":3512441,"id":"Q3512441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$D4909910-18C6-48E0-A344-D2F1C0652952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$3D938F35-D233-4994-BE69-D90E38E1CA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$BDB2E8E1-85C1-485C-B713-C922836113D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$622EB8CC-5288-461E-8215-986085105D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$33DE8ED0-0CC7-4772-BBB6-243907581081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$3449E065-E8C1-4615-8ACE-B87BAE04813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$1CA3F3FC-B20D-477C-A694-673932590605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$91E48DD3-37B0-46EC-B1BE-1219E66CD3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$64211BF0-AC8D-4360-9392-D1B307504089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548b65b8d8840444c0150e6aad5e602e70adfe6f","datavalue":{"value":{"entity-type":"item","numeric-id":5394128,"id":"Q5394128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$294EB26A-82D2-4A87-987B-41AB9C1E9164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914f7110d6763b79f2d837055a1fde3267b5efba","datavalue":{"value":{"entity-type":"item","numeric-id":2495653,"id":"Q2495653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$93D9EC80-F9F0-4B26-AB08-F0B256CC4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635cc76bb032b05f486cbb05bce12e7227e678e5","datavalue":{"value":{"entity-type":"item","numeric-id":3527403,"id":"Q3527403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$387AF1CC-584D-48E7-B115-0D05657BA568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870286$0DB9E190-FB6F-406D-BFA1-C3D1F8DB30FF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"568027650c9cf173cc04efa187cdc936c2508360","datavalue":{"value":"journals/entcs/BaltazarMNP07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$11B7967F-0CD3-472F-86FE-B06CC56FEA08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04a2dee0ec7fab7a3003e128315b060379376827","datavalue":{"value":"10.1016/J.ENTCS.2007.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870286$E9D4C692-EE62-44EC-9390-C4D54D51DD9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"772a65cf5e1bba79031c40f330ae27b5b1b86131","datavalue":{"value":{"text":"Exogenous probabilistic computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870286$48D28524-5EAB-4C92-B0D2-C265F7B65A6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a38a0cf92162e431f41ba27bdefd776d71c933","datavalue":{"value":{"entity-type":"item","numeric-id":3605519,"id":"Q3605519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66deb702c5c5bf7411e6d2f9ebf377611c44017","datavalue":{"value":{"amount":"+0.7779632806777954","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":"Q2870286$A4AD742A-0572-4CC2-8D82-2E735DE0FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da88f1253fdb67fff95e2b857e74ac4fd8f9abd","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc4a7802caef31dd680ea063f1fc1bff867ed05","datavalue":{"value":{"amount":"+0.7720702886581421","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":"Q2870286$E42E47ED-E6E3-41FE-B9E1-D8F79B93E7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778fcb9122fa30783cd4add8f9520e541011c900","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f276a846218935d7d507569673bfe8ed58f5288","datavalue":{"value":{"amount":"+0.7533861398696899","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":"Q2870286$620841F8-08FA-46BF-ACDE-FDC15B89B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e94174da71a7c1629b915e66e7932b642eb547","datavalue":{"value":{"entity-type":"item","numeric-id":3534212,"id":"Q3534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8d26e31d171ce7fe368fd554157bebc09efc2e","datavalue":{"value":{"amount":"+0.7516306638717651","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":"Q2870286$DD2E4B4F-C8CC-4FB5-B1C3-AAC37FE1A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47aaa3e3b5a24ffe8df15105ffaa4e636b5d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":2154019,"id":"Q2154019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733bf7b91c8e76d803619889708a8051938319c9","datavalue":{"value":{"amount":"+0.7437012195587158","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":"Q2870286$727F4A51-E5DD-4F4B-A2DE-3C032CE40EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exogenous probabilistic computation tree logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exogenous_probabilistic_computation_tree_logic"}}}}}