{"entities":{"Q2946661":{"pageid":2957381,"ns":120,"title":"Item:Q2946661","lastrevid":85283942,"modified":"2026-06-03T06:37:59Z","type":"item","id":"Q2946661","labels":{"en":{"language":"en","value":"Annotated probabilistic temporal logic: approximate fixpoint implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483167"}},"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":"Q2946661$39F08A94-9876-4396-9D6D-2154655C9BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eed15f5cdf279025caaac859c6f73417da4aebaf","datavalue":{"value":{"text":"Annotated Probabilistic Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946661$DF676C51-3EF1-4C2E-B7CB-28E9787D8E55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cf2085b935b7c0baaae973274497408de718230","datavalue":{"value":"1351.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$59812660-93F8-4681-9248-1AE7A933D7FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3c674791e7c2bda48b6e810fda60f462404d6a0","datavalue":{"value":"10.1145/2159531.2159535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$886C8A1A-D31C-4AD4-A524-96928371CE72","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":"Q2946661$33AADBE3-6E96-47DA-B732-5AA9F6AF3E49","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":"Q2946661$05203E8A-155B-4607-8A9D-70396AB35E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946661$3BE70A15-4F06-44A6-8C8B-BA441C7312C4","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":"Q2946661$2E3AC5EA-30F7-4F35-A833-DC0D61EF5DFA","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":"Q2946661$A96B5200-3671-4D7D-9B02-1BB2BC021532","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$58499EF0-DEDD-45C0-B1B2-9409A69DE201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$E39F91B9-6D11-4554-AA44-C15772CF874A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cb8928fe4b344d2af6b74ef1405be04da614b5a","datavalue":{"value":"6483167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$E9EDAEA7-4703-401E-8C27-D77AE57629B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946661$AB86CECC-1831-4A1A-BB4F-A5A0A24160D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946661$F61EE1F6-1DAB-4F26-89A4-F18F8C8F350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3d2b885a69cfe0f8e0c697fbc73c77f2d6fdb7","datavalue":{"value":"frequency functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946661$9F96969C-A5A9-45A0-8807-3997BE97F5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9335d12c465d60267eaf5aae3e8dbc9536b58eeb","datavalue":{"value":"imprecise probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946661$32433FD8-224B-4987-9A90-F2131A859350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dfdb95836185d31e6d5223b927b998901ca561","datavalue":{"value":"threads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946661$E605EBB5-B709-4D52-A9C0-73D11957CAB8","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":"Q2946661$04BE0B33-0734-4754-98CE-242C79B5DBCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d69102fa009d1f96e20fd4698d9047983dd3b859","datavalue":{"value":"https://doi.org/10.1145/2159531.2159535","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946661$42915F35-833A-4CBA-8476-D4B16AB92CC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf6ae0a04b9cbc2c5083b5c6222807b5487f89ab","datavalue":{"value":"W2142814561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$3BD8C3F4-61E3-4A8B-935B-851660253109","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e3e38d92fb8f2160757e3c3e0627508922e5120d","datavalue":{"value":"Q130864103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946661$E8246388-48E3-49BA-8D0B-1E84BFF0FD7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a7ca59ac9df0a29bfc571de7b5a69d5feefa18","datavalue":{"value":{"entity-type":"item","numeric-id":2946632,"id":"Q2946632"},"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":"Q2946661$EA31E482-894E-413C-97FD-3EF4602669E5","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":"c0e5f0636722100a817e2f97280539eecd800448","datavalue":{"value":{"amount":"+0.8484019041061401","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":"Q2946661$9D15A6CB-8EE5-4E57-9698-587916C51441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6e93c69feac48ba77559aeee36396851e078a","datavalue":{"value":{"entity-type":"item","numeric-id":2946725,"id":"Q2946725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3523f4ce0b0c276ab31a028051ba0f9f8af2ae10","datavalue":{"value":{"amount":"+0.7866142988204956","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":"Q2946661$EDF97DF7-572A-4D7E-888A-05AB8EB58A86","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":"4f9dc627eb5f4a7543237f65f24263107f5770e1","datavalue":{"value":{"amount":"+0.7855968475341797","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":"Q2946661$D4BF2A7A-D704-4D81-8F34-8677DD3D8E7D","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":"21938af72d0ae85658b0804eafbfaf9713f5bb2a","datavalue":{"value":{"amount":"+0.7547130584716797","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":"Q2946661$A063F93A-E90C-4A35-98A6-DCB26DE38275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Annotated probabilistic temporal logic: approximate fixpoint implementation","badges":[]}}}}}