{"entities":{"Q2300466":{"pageid":2311209,"ns":120,"title":"Item:Q2300466","lastrevid":57127743,"modified":"2026-03-26T17:29:04Z","type":"item","id":"Q2300466","labels":{"en":{"language":"en","value":"Incremental reasoning in probabilistic signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175311"}},"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":"Q2300466$7F84374A-A7EA-4F25-A54F-FB9FF04CDB3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2abf009f7c5b8bb2ea87e47cc9d9f453217664b5","datavalue":{"value":{"text":"Incremental reasoning in probabilistic signal temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300466$F8B6D7D1-90D2-4EFF-9E0C-2788BC49F9B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53afc7264171a57f999772657b90f554e5762637","datavalue":{"value":"1434.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$3F32F343-9808-41D0-8929-F82CB0F2505E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c157c3ea9cdaef2e772c52a5d16a6dc8b6d2bdea","datavalue":{"value":{"entity-type":"item","numeric-id":2300464,"id":"Q2300464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$9FD302F3-A691-4015-B153-E2960E819D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83d05362e140278230136cbe9bdc410832234ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2300465,"id":"Q2300465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$9DADCE49-BD99-4785-BBB7-EBA25CD26FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$F150E157-F06C-419B-BE05-68FD3B8BC737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d87fa8a2cba4b4d1ddf39a3502e23a08a9ab3f","datavalue":{"value":{"time":"+2020-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2300466$979E38C6-E21D-4581-9ADB-2EF2DF48810C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$0E88B29D-BD94-452E-A38D-850C6A0A04F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$873DEB93-3E57-4D29-B644-5867199C6E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$B1F3E84B-7077-47D6-B462-2B27C5307CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$AD054808-DA79-4F17-97A5-E69B8DBF40A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dab64dc159489f9a1a2aee260f60d53a70765396","datavalue":{"value":"7175311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$062A3FB7-A979-45C8-8CC1-4AA4A898725F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$3EBC06F5-33CD-4C2A-B14B-D05C1D3F9684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8083a2a8c987df13869e1f9568d40f5ba116e6","datavalue":{"value":"stream reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$1FE7C6AC-9627-4069-8AE0-F6C12F9DA782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253ab9aedaf474543d4c88b87a645c8d79b7b615","datavalue":{"value":"incremental reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$20B98D17-1842-4D51-B706-12102F829BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$CB2CCF80-7679-49EA-B5EB-F03301B299B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$6646B23B-96CC-408D-857C-AA53C0933CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300466$ABD774B9-E15B-4831-97AE-A25AE016ED59","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":"Q2300466$19216943-EB1D-4BED-B19A-C59745C40BA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c804377f3a43982ab161190ed86f24a0db982e29","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2020.01.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300466$584F7F76-9687-469A-877E-AFD43BADDE28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a11ba3b66ff6d06f172363f81bffa908d625f2","datavalue":{"value":"W3003004875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$CCC11A30-A16B-4768-82E8-FB07039A1D0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef639945248729ea4ed68010c9922a21ab4e8f3a","datavalue":{"value":"Q126289524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$B7F51B4D-6194-47E5-9CB7-C7BF79FBD576","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f626cf3f09859dfb0f492c8497bc4e7ccc4c19d3","datavalue":{"value":{"entity-type":"item","numeric-id":5355776,"id":"Q5355776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$84428D7F-AC18-4AEB-BCB0-A55B83092C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975127442acd20454f01790089b7f3903a544ed1","datavalue":{"value":{"entity-type":"item","numeric-id":894692,"id":"Q894692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$8D3C0379-B1A2-4456-9CFF-A9184785585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$6B8A64D0-9791-4EE3-ADFA-2D13AECF80C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$ADCBE0AD-8265-49F2-8F88-A8C11F7F89C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5df8f42a9de5afc83a14e8ca14413bfbbf914","datavalue":{"value":{"entity-type":"item","numeric-id":2453214,"id":"Q2453214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$1DAAC56A-8854-4B96-A742-8E5A18D6AC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$67EC0ACC-B5E9-40D9-83B3-7264384F1CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$125F6D63-3B8F-4BD9-9241-3586650A9BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f680ffb2f4eb3d31952f9e019778bba36176639","datavalue":{"value":{"entity-type":"item","numeric-id":3303922,"id":"Q3303922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$B83072D0-B718-4DCF-B9D4-F4B8E15D14E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4442746a61c8a892bac5442ec4771d3fa9c256b","datavalue":{"value":{"entity-type":"item","numeric-id":2957029,"id":"Q2957029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$5EAC8F16-26C3-4A3E-93EA-310F49EAD0C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa34bb72134d2578903c848ac9ff15a01d7c229","datavalue":{"value":"10.1016/J.IJAR.2020.01.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300466$9076B094-17CB-440F-BC85-05EF33DBDF5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1d413c4ba8a411d364143be2d1298701d0013d","datavalue":{"value":{"amount":"+0.7076743245124817","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":"Q2300466$BBFCF426-9484-41F8-8898-9E67D37A8F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1789deb262cc0d6ab025ed89f42ba960d35db0","datavalue":{"value":{"amount":"+0.6986398100852966","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":"Q2300466$46B7DEA8-6419-47E8-8228-A2F18D1D2F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b65ed6e41197d263a73fd0380cde68f0a8a5499","datavalue":{"value":{"amount":"+0.6911503672599792","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":"Q2300466$823222B0-D233-42B2-935C-26E71664AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7705e23c8ee4cb1ccd8a0f6eeb2ba453dc499b","datavalue":{"value":{"entity-type":"item","numeric-id":682357,"id":"Q682357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7808c1797e2e0b580f8ac8433a74bfcbe63f426","datavalue":{"value":{"amount":"+0.6806143522262573","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":"Q2300466$766752DE-2F4D-413E-8E0A-CC642D8116EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3b20113736f5ed0ff99b08b71ce6f98b2483e2","datavalue":{"value":{"amount":"+0.6780768632888794","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":"Q2300466$69735CA6-F8E8-4B57-99A1-E82E4B9231BC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300466$7913159A-7F54-4DBF-ACFC-F377A672A73F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2300466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2300466"}}}}}