{"entities":{"Q2946632":{"pageid":2957352,"ns":120,"title":"Item:Q2946632","lastrevid":85390232,"modified":"2026-06-03T07:43:45Z","type":"item","id":"Q2946632","labels":{"en":{"language":"en","value":"Annotated probabilistic temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483139"}},"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":"Q2946632$8C3F8476-A5F8-469C-A30B-F83FF19B56DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d88cc56307cf28bc5875ccbe22ce192989d384a9","datavalue":{"value":{"text":"Annotated probabilistic temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946632$79F30961-699A-4D6B-BCA7-8FDF3AAA055D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f10addf8bcc31f3ba6ed6413fb7485a552b7b23f","datavalue":{"value":"1352.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$D3B91B9B-7070-4AC1-B603-C78E67CE7FD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29f4ba765825b73df3623dd1dfd99c55cc6925f2","datavalue":{"value":"10.1145/1877714.1877720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$3DDC4EAE-CE48-44E7-AB50-D93898D67511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b125dd5bd9db97ccff3d137f79bda5f7c45767","datavalue":{"value":{"entity-type":"item","numeric-id":287763,"id":"Q287763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946632$86060879-82FA-4F78-AAA1-99FAA27675D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7edf381c04ef7099714126b807539e83dddc3a","datavalue":{"value":{"entity-type":"item","numeric-id":622120,"id":"Q622120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946632$E4C78C35-C903-4E62-A6BD-788C9EF0A01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b40459fa01cb09ed08c6b3d034c4e8eb9dfd90dc","datavalue":{"value":{"entity-type":"item","numeric-id":287762,"id":"Q287762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946632$32732DFA-733E-4C8F-8F03-D77A1F34319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2c1f971e16d1473f799ae8bc9d62ed4e27a19f7","datavalue":{"value":{"entity-type":"item","numeric-id":2946631,"id":"Q2946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946632$0348CAD4-1AF7-43CE-AD29-D1F06724B27D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946632$3161139D-7825-4028-A32E-FA1622013DF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946632$EB9BC820-4852-4EA3-9E34-6E8449BCCD04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$94AA5D7A-BF44-4EC5-AF9E-6C09DABADC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$F21C49B9-7D01-4A45-8419-8E5A7E9AF8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$47A65E17-E6A8-467F-94D2-A1643092639D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$6BA89DB1-ADC5-488D-8758-911719DF1DF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa52786400909ec5fe1d2aaa859ba60685e44fd","datavalue":{"value":"6483139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$03131298-7E27-413D-9D11-A2B077D19A2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946632$9716B073-E20E-4E78-8C59-A8C010F8B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946632$8ECC320F-56E1-4C57-96DB-C4BB72875B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3d2b885a69cfe0f8e0c697fbc73c77f2d6fdb7","datavalue":{"value":"frequency functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946632$08F278C3-F206-4C19-88D6-389DC33449C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9335d12c465d60267eaf5aae3e8dbc9536b58eeb","datavalue":{"value":"imprecise probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946632$CB0641B8-1732-424C-805F-E3B0E12ED8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dfdb95836185d31e6d5223b927b998901ca561","datavalue":{"value":"threads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946632$3E17E4B7-47EB-4E2E-BF93-C96112CAF7A8","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":"Q2946632$13A76D1F-9F33-46D7-A016-8C2560F814FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5806a629ea3ebf5d9c8612f1ec0b89eccd1c97ae","datavalue":{"value":"https://doi.org/10.1145/1877714.1877720","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946632$F70ACED0-88FB-4E01-ADF7-8BC28F42E8FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e8e685801ec2eecf751acb2fdc8bc5410b30b5","datavalue":{"value":"W2045914854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$4ECABCAF-0C34-402F-B751-9587BA193988","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2b4bec1eb8f091418d24000a4460527cf9bcb6a","datavalue":{"value":"Q130866195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946632$383D6783-5A2D-4F01-B6D0-022AC93AD408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8918e71bc05ed004287272a72778b0f8e6319b10","datavalue":{"value":{"entity-type":"item","numeric-id":2946661,"id":"Q2946661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a649aac7e953c049336aa85d043db1d2922f0e92","datavalue":{"value":{"amount":"+0.8981503248214722","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":"Q2946632$64C3364F-D96B-4A99-9B4E-D7D9E5E99333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7dadefd2363753ca6413c6072b3de60a3f5261","datavalue":{"value":{"entity-type":"item","numeric-id":2909166,"id":"Q2909166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4cc5bce5fb0b05de048f072ed8d70b98c3320c","datavalue":{"value":{"amount":"+0.8451312184333801","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":"Q2946632$B203EADF-EFB0-444F-AC3D-677B40AB18BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7967ca4ad20d6eb8265d0fd6cbd2deb95fad64d2","datavalue":{"value":{"amount":"+0.8241547346115112","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":"Q2946632$CC7216BF-6588-4196-BAE5-8F3D4355079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f6e6b670f4244b0dcb4acaa1e103fa6105dd02","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e8a9394d71149fc902cea9d78d75a97146d04b","datavalue":{"value":{"amount":"+0.7975861430168152","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":"Q2946632$323DF591-7C86-4056-AF7A-0E6235DC42A0","rank":"normal"},{"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":"517456a00657facc2365ea56d85e8900c6bd047e","datavalue":{"value":{"amount":"+0.7917707562446594","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":"Q2946632$20A776A9-495C-48DE-906D-A1D015895BAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Annotated probabilistic temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Annotated_probabilistic_temporal_logic"}}}}}